Место логики в системе современных наук. Изучение особенностей суждений как формы мысли и рассмотрение их разновидностей. Структура атрибутивных суждений. Изучение отношений между объемами субъекта и предиката в утвердительном и отрицательном суждении.
Аннотация к работе
Суждение - форма мышления , в которой что-либо утверждается или отрицается о предмете , его свойствах или отношениях между предметами. Например, суждение об отношениях «Земля (субъект суждения) вращается вокруг (предикат суждения) Солнца (субъект суждения)» может быть истолковано как атрибутивное - например, «Земля (субъект суждения) есть (связка) планета, которая вращается вокруг Солнца (предикат суждения)», или «Солнце (субъект суждения) есть (связка) небесное тело, вокруг которого вращается Земля (предикат суждения)», либо как «Отношение между Солнцем и Землей (субъект суждения) есть (связка) отношение такое, что Земля вращается вокруг Солнца (предикат суждения)». Любое суждение можно выразить в предложении, но не всякое предложение может выражать суждение. Кроме названных элементов в суждениях имеется не всегда выразимый элемент, отражающую количественную характеристику, его называют «квантор» суждения. Утверждая или отрицая принадлежность признака предмету, мы вместе с тем отображаем в суждении существование или не существование предмета суждения в действительности.Суждение - это идеальная, смысловая сторона предложения, они не совпадают по структуре, одно и то же суждение можно выразить в различных предложениях. Всякое суждение выражается в предложении, но только в повествовательном, содержащем сообщение о чем-либо. Вопросительные и побудительные предложения, выражая волеизъявления и побуждения к получению информации, сами ничего не отрицают и не утверждают, не могут характеризоваться как истинные или ложные, а значит, не выражают суждений. Суждение - это форма мысли, в которой утверждается или отрицается существование предметов, связь между предметами и их признаками и отношение между предметами. Субъект суждения (S) - это предмет суждения или то, о чем говорится в суждении.
Введение
Логика занимает особое место в системе наук. Особенность ее положения определяется тем, что она выполняет по отношению к другим наукам методологическую роль своим учением об общенаучных формах и методах мышления. Предмет логики довольно специфичен, - это формы мысли. Поэтому на первоначальном этапе необходимо определить, что же такое мысль, форма мысли, мышление. Обратившись к философии, как науке родственной логике, можно представить себе мышление как способ отражения действительности. Существуют несколько форм отражения действительности, последовательное рассмотрение которых приводит к пониманию предмета логики.
Суждение - это форма мысли, посредством которой что-либо утверждается или отрицается, и которая принимает логическое значение истинности или ложности. Если то, что утверждает суждение истинно => оно истинно. Ложное суждение - «все растения съедобны». Суждение может быть неопределенным: «на Марсе есть жизнь». Неизвестно, правда это или ложь. [5, с. 98]
Суждение - форма мышления , в которой что-либо утверждается или отрицается о предмете , его свойствах или отношениях между предметами.
Виды суждений и отношения между ними изучаются в философской логике . В математической логике суждениям соответствуют высказывания .
Атрибутивные суждения - это суждения, в которых либо утверждается, либо отрицается наличие некоторого свойства у предмета. Атрибутивное суждение называют также категорическим, поскольку утверждение или отрицание свойств или признаков предмета производится с необходимостью, т.е. безотносительно к каким- либо условиям. Атрибутивные суждения можно рассматривать так же, как частный случай суждений об отношениях, а именно как суждения с одноместным предикатом. Часто некоторые суждения об отношениях допускают свой перевод в форму атрибутивного суждения. Например, суждение об отношениях «Земля (субъект суждения) вращается вокруг (предикат суждения) Солнца (субъект суждения)» может быть истолковано как атрибутивное - например, «Земля (субъект суждения) есть (связка) планета, которая вращается вокруг Солнца (предикат суждения)», или «Солнце (субъект суждения) есть (связка) небесное тело, вокруг которого вращается Земля (предикат суждения)», либо как «Отношение между Солнцем и Землей (субъект суждения) есть (связка) отношение такое, что Земля вращается вокруг Солнца (предикат суждения)».
Объектом изучения в работе послужили суждения. Предмет изучения - понятие и классификация суждений.
Цель работы - выявить особенности суждений как формы мысли и рассмотреть их разновидности.
Задачи работы: - проанализировать учебную литературу по теме работы;
- дать определение суждения;
- рассмотреть классификацию суждений;
- выявить особенности и структуру атрибутивных суждений;
- изучить отрицание суждений;
- сделать выводы по работе.
1. Понятие и сущность суждения
1.1. Определение суждений
Суждение представляет собой форму мысли, устанавливающую логическую связь между двумя и более понятиями. Между понятиями, как вышеперечисленно, устанавливаются отношения тождества, подчинения, частичного совпадения, которые могут выражаться логической связкой «есть». Отношения противоречия, противоположности и соподчинения могут выражаться логической связкой «не есть». Эти отношения, выраженные в форме грамматических предложений, будут суждениями разного вида. [3, с. 221]
Представители номиналистической логики рассматривают логику как науку о языке. “Логика, - говорит английский номиналист Р. Уэтли, - имеет дело только с языком. Язык вообще, для какой бы цели он не служил, составляет предмет грамматики, язык же, насколько он служит средством для умозаключения, составляет предмет логики». Исходя из такого понимания предмета логики, номиналисты отождествляют суждение с предложением. Для них суждение - это сочетание слов или имен. “Предложение, - говорит номиналист Гоббс, - есть словесное выражение, состоящее из двух, связанных между собой связкой имен…». Таким образом, согласно номиналистам, то о чем мы, что-либо утверждаем (или отрицаем) в суждении, есть определенная связь этих слов. Такое истолкование природы суждения неправильно. Конечно, всякое суждение выражается в предложении. Однако предложение есть только языковая оболочка суждения, а не само суждение.
Любое суждение можно выразить в предложении, но не всякое предложение может выражать суждение. Так не выражают суждений вопросительные, побудительные предложения, поскольку они не отражают ни истины, ни лжи, не устанавливают логических отношений. Хотя они и являются формами мысли.
Суждения, реально отражающие предмет и его свойства, будут являться истинными, а неадекватно отражающие - ложными.
Как форма мысли суждение идеальное отражение предмета, процесса, явления, поэтому оно материально выражается в предложении. Признаки предложений и признаки суждений не совпадают и не тождественны друг другу. Элементами предложений являются подлежащее, сказуемое, дополнение, обстоятельство, а элементами суждений - предмет мысли (субъект), признак предмета мысли (предикат) и логическая связка между ними. Логическое №подлежащее» - это понятие, отражающее предмет, оно обозначается латинской буквой «S». Логическое «сказуемое» - это понятие, которое отражает присущие или не присущие субъекту признаки, и обозначается латинской буквой «Р». Связка может выражать в русском языке словами «есть»-«не есть», «суть»-«не суть», «является»-«не является», помимо этого она может и опускаться. Например, суждение «береза есть дерево», как правило, выражается «береза-дерево». Кроме названных элементов в суждениях имеется не всегда выразимый элемент, отражающую количественную характеристику, его называют «квантор» суждения. В языке он выражается словами «все», «без исключения», «каждый», «многие», «часть». Например, «Часть S есть Р», «Все S суть Р». В соответствии с количественными и качественными показателями элементов суждений, последние подразделяются на несколько видов. По числу субъектов и предикатов суждения делятся на простые и сложные. [2, с. 133]
1.2 Классификация суждений
Среди простых суждений по качественной характеристике связки выделяются суждения действительности, необходимости и возможности. В целом эту группу суждений считают суждениями модальности, которая представляет собой степень достоверности того или иного простого суждения.
К суждениям действительности относятся те, что адекватно или не адекватно, но категорично отражают действительность с помощью связок «есть» («не есть»), «суть» («не суть»). Примеры суждений действительности: «Иванов - студент юридического факультета», «Иванов не является студентом юридического факультета».
Суждения необходимости могут отражать прошлое, настоящее и будущее. Они выражаются с помощью слова «необходимо», включенным в структуру суждения. Например, «Необходимо, что наличие кислорода есть условие реакции горения» или «Наличие кислорода - необходимое условие реакции горения». [4]
Суждения возможности так же отражают то, что могло быть в прошлом, может быть в настоящем или в будущем. Они выражаются с помощью слова «возможно»: «Возможно, данное предложение не согласовано» («Возможно S есть Р»).
Особенную группу составляют суждения существования, которые утверждают существование того или иного предмета, процесса, явления. Например, суждение «Жизнь существует», в нем предикат и связка как бы сливаются. Конечно же это суждение можно представить как «S-«, но все встанет на свои места в следующей его формулировке «Жизнь есть существующее». Не следует забывать, что язык накладывает свой отпечаток на формулировку суждений, но путем его несложного преобразования можно все расставить на свои места.
Утверждая или отрицая принадлежность признака предмету, мы вместе с тем отображаем в суждении существование или не существование предмета суждения в действительности. Так, например, в таких простых суждениях, как: “существуют космические луга”, “Русалки не существуют в действительности” и т.п., мы непосредственно утверждаем (или отрицаем) существование предмета суждения в действительности. В прочих простых суждениях существование предмета суждения в действительности нам уже заведомо известно. Не только в суждениях существования, а и во всяком простом суждении содержится знание о существовании или не существовании этого суждения в действительности.
Помимо суждений модальности выделяются суждения отношений, в которых устанавливается отношения причины и следствия, части и целого и т.п., выраженные в русском языке словами «больше», «меньше», «старше», «взрослее» и т.п. Например, «Новосибирск восточнее Москвы», «Москва больше Новосибирска». Символически эти суждения выражаются формулой «в R с», что читается как «в и с находятся в отношении R”. [7]
Наиболее подробно в логике рассматривается простые категорические суждения. Это такие суждения, в которых между субъектом и предикатом устанавливается категорическая утвердительная или отрицательная связь, а именно отношения тождества, подчинения, частичного совпадения, противоречия, противоположности и соподчинения.
Простое категорическое суждение может быть истинным или ложным. По количественному и качественному признакам простые категорические суждения подразделяются на виды.
По количественному показателю они делятся на единичные, частные и общие.
Единичное суждение отражает единственный предмет мысли, а значит субъект этого суждения - единичное понятие. Например, «Новосибирск - крупнейший город Сибири».
Частное суждение отражает некую совокупность предметов, процессов, явлений, но не всю. Это подчеркивается квантором: «Некоторые крупные города России являются областными центрами».
Общие суждения - суждения обо всех предметах определенного вида с квантором «все» (ни один, каждый, всякий) перед субъектом: «Все S есть Р». Например, «Каждый студент имеет зачетную книжку».
По качественному признаку, а именно по характеру связки, простые категорические суждения делятся на отрицательные и утвердительные. В русском языке утвердительная связка может опускаться.
Если объединить качественный и количественный показатель, то все простые категорические суждения можно разделить на шесть видов: общеутвердительные, общеотрицательные, частноутвердительные, частноотрицательные, единичноутвердительные, единичноорицательные.
Между видами простых категорических суждений устанавливаются следующие отношения.
Отношения противоречия складываются между суждениями разными по качеству и по количеству, т.е. между общеутвердительными и частноотрицательными, общеотрицательными и частноутвердительными.
Отношения противоположности устанавливаются между общими суждениями разными по качеству, а именно между общеутвердительными и общеотрицательными. Отношения подпротивоположности (частного совпадения) - разными по качеству частными суждениями (часноутвердительными и частноотрицательными).
В отношении подчинения находятся суждения одинакового качества, но разного количества, т.е. общеутвердительные и частноутвердительные, общеотрицательные и частноотрицательными.
2. Атрибутивные суждения
2.1 Особенности и структура атрибутивных суждений
Атрибутивные суждения. Наиболее распространенными являются атрибутивные суждения, поэтому целесообразно рассмотреть их в первую очередь. Прежде всего, рассмотрим структуру атрибутивного суждения. Данное суждение состоит из терминов, квантора и глагола-связки. [1, с. 108]
В каждом атрибутивном суждении имеется два обязательных термина: субъект (или логическое сказуемое) - термин, обозначающий те предметы, о которых нечто утверждается или отрицается, и предикат (или логическое подлежащее) - термин, обозначающий то, что утверждается или отрицается об этих предметах.
Для символического обозначения субъекта используется латинская буква "S", а предиката - буква "Р". Отметим, что нет однозначного соответствия между субъектом и предикатом суждения, с одной стороны, и подлежащим и сказуемым предложения - с другой. Такое соответствие может иметь место лишь в простых нераспространенных предложениях типа: "Роза красна", "Люди смертны". [10]
В распространенных же предложениях дело обстоит сложнее. Так, в предложении "Роза, посаженная под окном, издает приятный запах" подлежащее - "роза", а сказуемое - "издает". Субъект же заключенного здесь суждения выражен группой подлежащего: "роза, посаженная под окном", а предикат - группой сказуемого: "издает приятный запах". Причем может быть и обратная ситуация, когда субъект суждения выражен в предложении сказуемым (или его группой). Например: "Выдающимся русским поэтом является А.С. Пушкин". Здесь субъект суждения - "выдающийся русский писатель" выражен группой сказуемого, а предикат - "А.С. Пушкин" - подлежащим.
Квантор - это термин, задающий количественную характеристику суждения. По количеству атрибутивные суждения делятся на единичные, частные и общие. В единичных суждениях признак рассматривается по отношению к отдельному предмету, то есть субъект является единичным термином (например, "Студент вошел в аудиторию"). Для усиления могут использоваться местоимения "этот", "это" и "эта" (например, "Этот студент вошел в аудиторию").
В общих и частных суждения, признак относится к предметам некоторого класса. К общим относятся высказывания, содержащие квантор общности (?), выражаемый словами "всякий", "любой", "каждый", "все" (для отрицательных высказываний часто используется словосочетание "ни один") и другими их синонимами. К частным относятся высказывания, содержащие квантор существования (?), выражаемый словами "некоторый", "какой-либо", "некий" и др.
Связка задает качество атрибутивного суждения. По качеству суждения делятся на утвердительные, указывающие на факт наличия свойства, и отрицательные, соответственно, указывающие на факт отсутствия свойства. Как правило, отрицание суждения задается при помощи частицы "не". В качестве связок могут выступать слова "есть, является, суть". Других связок нет! Иногда, в соответствии с правилами русской языка, связка "есть" заменяется знаком "тире". Часто также вместо слова "есть" употребляется слово "является", зачастую связка вообще не выражается, а только подразумевается. Например, вместо "Человек есть разумный" говорят "Человек является разумным" или "Человек разумен".
Единичные суждения (Это S есть Р) и выделяющие суждения (S и только S есть Р) необходимо рассматривать как общие, а исключающие суждения (все S, кроме S1, есть Р) - как частные.
Поскольку существует отмеченное несоответствие структуры суждения и структуры предложения, то в логике с целью избежать неоднозначности интерпретации логического значения выражения целесообразно записывать суждение в так называемой классической записи. В данной записи в явном виде присутствуют все термины. Например, суждение "У всякого портного свой взгляд на искусство" в классической записи представлено как "Всякий (?) портной (S) является [человеком, имеющим] свой взгляд на искусство (Р)".
Связка в простом атрибутивном суждении по качеству может быть утвердительной или отрицательной. Утвердительная связка выражается в языке словами “есть”, “является”, “суть”. Отрицательная связка выражается глаголами “не есть”, “не является”, “не суть”. Соответственно все атрибутивные суждения в зависимости от типа связки в них делятся на утвердительные и отрицательные.
Утвердительное суждение (1 определение) - это суждение, в состав которого входит утвердительная связка. Примеры утвердительных суждений: “Книги стоят на полках”, “Буратино деревянный”. В этих суждениях говорится о принадлежности некоторым предметам, а именно предметам, которые входят в объем субъекта, признаков, которые составляют содержание, предиката. В суждении “Книги стоят на полках” утверждается, что книги, о которых идет речь, обладают признаком “стоящие на полке”. Таким образом, утвердительному суждению можно дать еще одно определение. Утвердительное суждение (2 определение) - это суждение, в котором утверждается принадлежность предметам, входящим в объем субъекта признаков, составляющих содержание предиката.
Отрицательное суждение (1 определение) - это суждение, в состав которого входит отрицательная связка. По аналогии с утвердительным суждением, отрицательному суждению можно дать еще одно определение. Отрицательное суждение (2 определение) - это суждение, в котором отрицается принадлежность предметам, входящим в объем субъекта признаков, составляющих содержание предиката. Примеры отрицательных суждений: “Дикие попугаи не живут в Сибири”, “Мой друг не глуп”. Иногда бывает трудно отличить отрицательное суждение от утвердительного суждения, предикат которого содержит отрицательное понятие. В частности, суждение “Мой друг не глуп” можно трактовать как отрицательное, каноническая форма которого “Мой друг не является глупым”, или как утвердительное с канонической формой “Мой друг является неглупым”. Определить тип суждения должен сам человек, использующий это суждение, в зависимости от того, какое понятие он использует в качестве предиката. Но в любом случае в отрицательном суждении частица “не” должна стоять перед связкой.
По количеству суждения делятся на общие и частные. Общее суждение - это суждение, в котором что-то утверждается или отрицается относительно всего объема субъекта. Примеры общих суждений: “Все киты -млекопитающие”, “Ни один кит не является рыбой”. Частное суждение - это суждение, в котором что-то утверждается или отрицается относительно части объема субъекта. Примеры частных суждений: “Некоторые цветы - розы”, “Некоторые деревья не являются хвойными”. Для указания количества субъекта перед ним обычно ставится кванторное слово (квантор). Кванторы делятся на два типа: кванторы общности и кванторы существования. Квантор общности - это квантор, который указывает на весь объем субъекта. Квантор общности выражается словами “все”, “всякий”, “каждый”, “любой”, “ни один” и входит в состав общих суждений. Квантор существования - это квантор, который указывает на часть объема субъекта. Квантор существования выражается словами “некоторые”, “многие”, “немногие”, “несколько” и входит в состав частных суждений.
К общим суждениям относят и суждения, субъектом которого является единичное понятие. Например, суждение “Джонатан Свифт жил в Англии” является общим, поскольку речь в нем идет обо всем объеме субъекта, хотя квантор всеобщности отсутствует.
Объединяя разделение суждений по качеству и количеству, мы получаем объединенную классификацию простых атрибутивных суждений, которая включает в себя 4 различных типа суждений.
Общеутвердительные суждения (суждения типа A) - это общие суждения, имеющие утвердительную связку. Структуру этого типа суждений выражает формула “Все S есть P”. Примером общеутвердительного суждения является высказывание “Все люди - позвоночные”.
Рисунок 1
Любое атрибутивное суждение утверждает некоторое отношение между объемами субъекта и предиката. Это отношение можно выразить с помощью кругов Эйлера. На рисунке показано отношение между объемами субъекта и предиката в общеутвердительном суждении. Буква “S” обозначает объем субъекта, буква “Р” - объем предиката. Заливкой показана та часть объема субъекта, которая рассматривается в суждении. Как видно из рисунка, весь объем субъекта входит в состав объема предиката. Поэтому этому типу суждений можно дать еще следующее определение. Общеутвердительное суждение - это суждение, в котором утверждается принадлежность всем предметам объема субъекта признаков, составляющих содержание предиката.
Частноутвердительные суждения (суждения типа I) - это частные суждения, имеющие утвердительную связку. Структуру этого типа суждений выражает формула “Некоторые S есть P”. Примером общеутвердительного суждения является высказывание “Некоторые элементарные частицы имеют заряд”. В частноутвердительном суждении рассматривается только часть объема субъекта, содержащая те предметы, которые обладают признаками, составляющими содержание предиката. Об остальной части объема субъекта ничего не известно. Предметы, входящие в эту часть, могут обладать признаками предиката, а могут и не обладать.
Рисунок 2
На рисунке с помощью кругов Эйлера показано отношение между объемами субъекта и предиката в частноутвердительном суждении. Заштрихованная часть эллипса S обозначает ту часть объема субъекта, о которой идет речь в суждении. На основе отношения между объемами субъекта и предиката можно дать следующее определение этому виду суждений: частноутвердительное суждение - это суждение, в котором утверждается принадлежность признаков, составляющих содержание предиката только части предметов из объема субъекта.
Общеотрицательное суждение (суждение типа E) - это суждение, в котором отрицается принадлежность какому-либо предмету из объема субъекта признаков, составляющих содержание предиката.
Рисунок 3
Общеотрицательное суждение - это общее суждение с отрицательной связкой. Пример этого типа суждений: “Ни один дельфин не является рыбой”. Структуру общеотрицательного суждения выражает формула “Ни один S не есть P”. На рисунке с помощью кругов Эйлера изображено отношение между объемами субъекта и предиката.
Частноотрицательное суждение (суждение типа О) - это суждение, в котором отрицается принадлежность предметам из части объема субъекта признаков, составляющих содержание предиката.
Рисунок 4
Частноотрицательное суждение -это частное суждение с отрицательной связкой. Примером данного типа суждения может служить высказывание “Некоторые деревья не являются хвойными”. Структуру частноотрицательного суждения выражает формула “Некоторые S не есть P”. На рисунке с помощью кругов Эйлера изображено отношение между объемами субъекта и предиката, причем заштрихованная часть эллипса S обозначает ту часть объема субъекта, о которой идет речь.
В частных суждениях квантор “некоторые” может иметь смысл “некоторые, а может и все”, а иногда истолковывается как “только некоторые”. То или иное истолкование определяется контекстом суждения.
Буквенные обозначения типов утвердительных суждений (A, I) взяты от латинского слова “AFFIRMO” - “утверждаю”, первая гласная (A) - для общих суждений, вторая гласная (I) - для частных суждений. Буквенные обозначения типов отрицательных суждений (E, O) взяты от латинского слова “NEGO” - “отрицаю”, первая гласная (E), для общих суждений, вторая гласная (O) - для частных суждений.
Субъект и предикат суждения называют его терминами. Термин называется распределенным в суждении, если в этом суждении речь идет обо всем объеме данного термина, и термин считается нераспределенным, если суждение говорит лишь о части его объема. Очевидно, что в общих суждениях субъект распределен, т.к. слова “всякий”, “каждый”, “ни один” как раз и показывают, что речь идет обо всех предметах объема субъекта. Так же ясно, что в частных суждениях субъект нераспределен, об этом говорят слова “некоторые”, “немногие”, “несколько”. Что же касается распределенности предиката, то принято считать, что в отрицательных суждениях предикат распределен, т.к. мы вычитаем объем субъекта из всего объема предиката, а в утвердительных суждениях предикат нераспределен, поскольку в них мы говорим только о той части объема предиката, которая совпадает с объемом субъекта. [7, с. 421] логика суждение мысль атрибутный
2.2 Отрицание суждений
Подобно тому как можно проделывать операции с понятиями, так и возможно производить определенные действия с суждениями. Операции с суждениями, как с единством составных частей, позволяют произвести интеллектуальные действия с данной формой мысли. К таким логическим операциям относятся отрицание, обращение, превращение и противопоставление. Наиболее подробно остановимся на отрицании суждений.
Отрицание суждений связано с отрицательной частицей «не». Производится оно путем отрицания связки суждения, т.е. замены утвердительной связки на отрицательную. Отрицать можно не только утвердительное, но и отрицательное суждение. Этим действием истинное исходное суждение преобразуется в ложное, а ложное - в истинное. Отрицается суждение по средством отрицания квантора, субъекта, предиката или нескольких элементов сразу. Например, отрицая суждение «Кеша -(есть) мой любимый волнистый попугай», получаем следующие суждения «Кеша не есть мой любимый волнистый попугай», «Не Кеша есть мой любимый волнистый попугай», «Кеша есть не мой любимый волнистый попугай», «Не Кеша не есть мой любимый волнистый попугай» и т.д.
В процессе отрицания суждений возникает ряд сложностей. Так суждение «Не все студенты - спортсмены» («Не все S есть Р») тождественно частноутвердительному «Некоторые студенты спортсмены» (Некоторые S есть Р). Значит подчиненное суждение иногда может выступать отрицанием общего. Например, суждение «Все студенты - спортсмены» можно отрицать суждением «Только некоторые студенты - спортсмены» или «Неверно, что все студенты - спортсмены».
Более понятной в логике является операция отрицания суждения - превращение. Она представляет собой действие, связанное с изменением качества исходного суждения - связки. При этом предикат полученного суждения должен противоречить исходному. Таким образом утвердительное суждение превращается в отрицательное и наоборот. В виде формул это выглядит так: [5]
S есть Р S не есть Р
______________ ___________
S не есть не-Р S есть не Р
Общеутвердительное суждение «Все студенты есть учащиеся» превращается в общеотрацательное «Все студенты не есть не учащиеся», а общеотрицательное «Все растения не есть фауна» - в общеутвердительное «Все растения есть не-фауна». Частноутвердительное суждение «Часть студентов есть спортсмены» превращается в частноотрицательное «Часть студентов не есть не-спортсмены». Частноотрицательное суждение «Некоторые цветы есть домашние» превращается в частноутвердительное «Некоторые цветы не есть не-домашние»
При отрицании какого-либо суждения необходимо так же помнить о принципах логики. Обычно формулируются четыре основных: принцип тождества, противоречия и достаточности. Не вдаваясь в подробности, можно остановиться не наиболее существенных для операции отрицания суждений.
Принцип противоречия требует, чтобы мышление было последовательным. Он требует, чтобы, утверждая нечто о чем-то, мы не отрицали того же о том же в том же самом смысле в то же самое время, т.е. запрещает одновременно принимать некоторое утверждение и его отрицание.
Вытекающий из принципа противоречия, принцип исключенного третьего требует не отвергать одновременно высказывание и его отрицание. Суждения «S есть Р» и «S не есть Р» нельзя отвергнуть одновременно, так как одно из них обязательно истинно, поскольку произвольная ситуация либо имеет, либо не имеет места в действительности.
Согласно этому принципу нужно уточнять наши понятия так, чтобы можно было давать ответы на альтернативные вопросы. Например: «Является ли это деяние преступлением или оно не является преступлением?». Если бы понятие «преступление» не было точно определено, то в некоторых случаях на этот вопрос невозможно было бы ответить. Другой вопрос: «Солнце взошло или не взошло?». Представим себе такую ситуацию: Солнце наполовину вышло изза горизонта. Как ответить на этот вопрос? Принцип исключенного третьего требует, чтобы понятия уточнялись для возможности давать ответы на такого рода вопросы. В случае с восходом Солнца мы можем, например, договориться считать, что Солнце взошло, если оно чуть-чуть показалось изза горизонта. В противном случае считать, что оно не взошло.
Уточнив понятия, мы можем сказать о двух суждениях, одно из которых является отрицанием другого, что одно из них обязательно истинно, т.е. третьего не дано.
Вывод
Итак, в речи суждения высказываются в предложениях, но не тождественны им. Суждение - это идеальная, смысловая сторона предложения, они не совпадают по структуре, одно и то же суждение можно выразить в различных предложениях. Всякое суждение выражается в предложении, но только в повествовательном, содержащем сообщение о чем-либо. Вопросительные и побудительные предложения, выражая волеизъявления и побуждения к получению информации, сами ничего не отрицают и не утверждают, не могут характеризоваться как истинные или ложные, а значит, не выражают суждений.
Суждение - это форма мысли, в которой утверждается или отрицается существование предметов, связь между предметами и их признаками и отношение между предметами.
Любое простое суждение состоит из субъекта, предиката и связки.
Субъект суждения (S) - это предмет суждения или то, о чем говорится в суждении.
Предикат суждения (P) - это признак предмета или то, что говорится о субъекте суждения.
Связка (-) выражает отношение между субъектом и предикатом, бывает утвердительная либо отрицательная. В русском языке связка, как правило, подразумевается, а когда высказывается, она выражается словами "есть", "суть", "является", "имеется" (утвердительная связка); либо "не есть", "не суть", "не является", "не имеется" (отрицательная связка).
Виды простых суждений
1. Атрибутивные суждения или суждения свойства. В суждениях этого вида с предметом связывается наличие или отсутствие какого-либо свойства.
2. Экзистенциальные суждения или суждения существования.
3. Релятивные суждения или суждения с отношениями.
Список литературы
1. Бартон В.И. Логика. Минск, 2001.
2. Бочаров В.А., Маркин В.И. Основы логики. М., 2000.
3. Горский Д.П., Ивин А.А., Никифоров А.Л. Краткий словарь по логике М., 1991.
4. Гладкий А.В. Введение в современную логику. - М.: МЦНМО, 2001. - 200 с.
5. Ивлев Ю.В. Логика: учебник. - М.: Издательство Московского университета, 1992.
6. Ивлев Ю.В. Логика для юристов. - М., 2010.
7. Иванов Е.А. Логика: Учебник. - М.: Издательство БЕК, 2001.
8. Кириллов В.В., Старченко А.А. Логика. - М.: Высшая школа, 1982.
9. Кобзарь В.И. Основы логических знаний. - СПБ.: Аверс, 1999.