Суждение как форма мышления
Суждение - форма мышления, посредством которой что-либо утверждается или отрицается о предмете и которая обладает логическим значением истины или ложности. Данное определение характеризует простое суждение.Состав простого суждения
В традиционной логике установилось членение суждения на субъект, предикат и связку.Субъект - часть суждения, в которой выражается предмет мысли.
Предикат - часть суждения, в которой что-либо утверждается либо отрицается о предмете мысли. Например, в суждении Земля -планета Солнечной системы субъектом является Земля, предикатом планета солнечной системы. Нетрудно заметить, что логический субъект и предикат не совпадают с грамматическими, т. е. с подлежащим и сказуемым. Вместе субъект и предикат называются терминами суждения и обозначаются соответственно латинскими символами S и P.
Кроме терминов, суждение содержит связку. Как правило, связка выражается словами есть, суть, является, быть. В приведенном примере она опущена.
Классификация простых суждений
Деление суждений по характеру предикатаПо характеру предиката все суждения делятся на суждения свойства (атрибутивные суждения) и суждения отношения.
Атрибутивные суждения - суждения, в предикате которых выражаются свойства или признаки предмета. Например, Человек - разумное существо.
Атрибутивное суждение называют также категорическим, поскольку утверждение или отрицание свойств или признаков предмета производится с необходимостью, т. е. безотносительно к каким-либо условиям.
Логическая схема категорического (атрибутивного) суждения S есть P.
Суждения отношения (релятивные) - суждения, в предикате которых выражаются отношения между предметами. Например, Иван любит Марью, Волга длиннее Оки, Свой дурак дороже чужих умников и т. д.
В зависимости от числа предметов, вступающих в то или иное отношение, различают двухчленные, трехчленные, n-членные отношения. Например, в суждении Иван брат Петра мыслится двухчленное отношение, Москва расположена между Брестом и Кировым - трехчленное отношение. Соответственно этому выделяют суждения с двух-, трех-, n-местными предикатами, где в предикате R фиксируется определенное отношение, а в субъекте xi, ... xn - предметы, вступающие в это отношение.
Структура суждения отношения символически записывается так: R(хь ... Xn).
В настоящее время наиболее разработанной является теория двухчленных (бинарных) отношений.
Свойства бинарных отношений
Отношение рефлексивности
Некоторое отношение, имеющее место среди предметов определенного класса, называется рефлексивным, если каждый предмет этого класса находится в данном отношении к самому себе.Символически это отношение записывается так:
VxVy(xRy ^ xRx л yRy).
Примером рефлексивных отношений будут отношения равенство, эквивалентность, тождество.
Отношение антирефлексивности. Отношение называется ан-тирефлексивным, если ни один предмет данного класса не находится в этом отношении к самому себе. Таковы отношения отцовство, больше, неравенство.
Отношение симметричности
Отношение называется симметричным, если для любых предметов x и у данного класса верно, что если предмет x находится в каком-то отношении к предмету y, то и предмет y находится в этом отношении к предмету x. Символическая запись данного свойства:VxVy(xRy ^ yRx).
Свойством симметричности обладают отношения равенство, неравенство, соседство.
Отношения асимметричности. Отношение между предметом называется асимметричным, если перестановка их влечет за собой исчезновение этого отношения. Например, является мужем, быть больше.
Отношение несимметричности имеет место тогда, когда оно не является ни симметричным, ни асимметричным. Например, ухаживать за (оно не является симметричным, в то же время с необходимостью не является асимметричным).
3. Отношение транзитивности
Отношение называется транзитивным, если из наличия этого отношения между предметами x и у, а также между у и z следует его наличие между x и z
VxVyVz(xRy л yRz ^ xRz).
Примером транзитивных отношений являются отношения больше, равно, ниже.
В случае, если указанное выше условие не выполняется, отношение называется нетранзитивным. Таковыми являются отношения любить, дружба, зависеть.
4. Отношение эквивалентности
Отношение будет эквивалентным, если оно обладает свойствами рефлексивности, симметричности и транзитивности. Эквивалентными будут отношения равенство, тождество, сверстничество (одного возраста).
Теория суждений отношений выходит за рамки традиционной логики. Современная формальная логика рассматривает суждения свойства (атрибутивные) как частный случай суждений отношений, а именно как суждения с одноместным предикатом.
Деление атрибутивных суждений по качеству и количеству
Деление атрибутивных суждений по качеству
Деление атрибутивных суждений по качеству производится в зависимости от характера связки, указывающей на наличие или отсутствие свойства предмета мысли и выражающейся словами есть, суть, быть, являться.
В соответствии с этим атрибутивные суждения делятся не утвердительные и отрицательные. Например, Все люди суть разумные существа - утвердительное суждение, Ни один папоротник никогда не цветет - отрицательное суждение.
Деление атрибутивных суждений по количеству
В зависимости от того, утверждается или отрицается что-либо о предмете мысли относительно всего логического класса, части его или одного предмета, атрибутивные суждения делятся на общие, частные или единичные. Например, суждение Все металлы - проводники -общее, Некоторые люди не знают грамоты - частное, Иван Сергеевич Тургенев - автор романа Отцы и дети - единичное.
Объединенная классификация суждений по качеству и количеству
По качеству и количеству атрибутивные суждения делятся на четыре вида.
1. Общеутвердительные - суждения, являющиеся одновременно общими и утвердительными. Например, Все крокодилы суть пресмыкающиеся животные.
2. Частноутвердительные - суждения, частные и утвердительные одновременно. Например, Некоторые юристы являются прокурорами.
3. Общеотрицательные - общие и отрицательные одновременно. Например, Ни одна планета не светит собственным светом.
4. Частноотрицательные - частные и отрицательные одновременно. Например, Некоторые утверждения не являются истинными.
Единичные суждения в отдельную группу не выделяются, анализируются как общие.
Символическое выражение категорических суждений
Указанные виды суждений принято обозначать гласными буквами латинских слов affirmo (утверждаю) и nego (отрицаю). Первые гласные буквы этих слов обозначают общие суждения, а вторые - частные.
Общеутвердительные суждения обозначаются буквой А.
Общеотрицательные - Е.
Частноутвердительные - I.
Частноотрицательные - О.
Современная символическая логика вводит специальные средства для обозначения А, Е, I, О: кванторы, логические переменные и логические постоянные.
А - Vx(s(x) ^ P(x)) - Все S суть Р (для всякого х верно, что если он обладает свойством S, то обладает свойством P).
I - 3x(s(x)л P(x)) - Некоторые S суть P (существуют х, обладающие свойством S и свойством P).
E - Vx(s(x) ^ P(x)) - Ни одно S не суть Р (для всякого х верно, что если он обладает свойством S, то не обладает свойством P).
O - 3x(s(x)лP(x))- Некоторые S не суть P (существуют х, обладающие свойством S и не обладающие свойством P).
Распределенность терминов в суждении
Распределенность терминов - это количественная характеристика субъекта и предиката в суждении.Термин считается распределенным, если его объем либо полностью включен в объем другого термина, либо полностью из него исключен. Или иначе - термин считается распределенным, если он мыслится в полном объеме. Для распределенного термина характерно кванторное слово все, для нераспределенного - некоторые.
Графически распределенность терминов изображается с помощью круговых схем и штриховки той части терминов, которые мыслятся в суждении.
В общеутвердительном суждении Все S суть P субъект распределен, так как мыслится в полном объеме, предикат не распределен, так как его объем не исчерпывается лишь объемом субъекта. Например, Карась-рыба.
Исключение составляют выделяющие суждения, в которых объем субъекта и предиката совпадают. Например, Все люди суть разумные существа, Александр Сергеевич Пушкин - автор романа Евгений Онегин.
В частноутвердительном суждении Некоторые S суть Р ни субъект, ни предикат не распределены, так как мыслятся не в полном объеме. Например, Некоторые юристы являются депутатами Государственной Думы.
Исключение составляют частновыделяющие суждения, в которых предикат мыслится в полном объеме, следовательно, распределен. Например, Некоторые прямоугольники являются квадратами.
В общеотрицательном суждении Ни одно S не суть Р и субъ-
?ект, и предикат являются распределенными, так как их объемы полностью исключают друг друга. Например, Ни один крокодил не летает.
В частноотрицательном суждении (Некоторые S не суть Р) субъект не распределен, так как мыслится лишь в некоторой части, предикат распределен, так как его объем полностью исключен из объема субъекта. Например, Некоторые студенты не являются спортсменами.
Общая схема распределенности терминов в суждении такова: субъекты распределены в общих суждениях, предикаты - в отрицательных.
Отрицание суждения
Отрицанием называется логическая операция, посредством которой образуется новое суждение, принимающее логическое значение истины тогда и только тогда, когда исходное суждение ложно и, наоборот, логическое значение ложности тогда, когда исходное суждение истинно. Отрицание отрицания (двойное отрицание) есть возврат к исходному логическому значению. Логическое значение отрицания и двойного отрицания можно представить в виде матрицы, которая называется таблицей истинности.Отношения между суждениями по истинности. Логический квадрат
Между суждениями, имеющими один и тот же субъект и предикат, имеют место следующие отношения: отношение противоречия или контрадикторности; отношение противоположности или контрарности; отношение подпротивности; отношение подчинения.
Эти отношения принято изображать в виде схемы - так называемого логического квадрата.
Буквы А, Е, I, О, помещенные в углах квадрата, обозначают виды суждений, а стороны и диагонали - возможные отношения между суждениями.
Отношение противоречия (А - О; Е - I)
Отношение противоречия между суждениями с одинаковыми субъектами и предикатами характеризуются тем, что находящиеся в этом отношении суждения не могут быть одновременно ни истинными, ни ложными. Если одно из противоречащих суждений истинно, то другое непременно ложно и наоборот, если одно из них ложно, то другое истинно. Примером противоречащих высказываний являются следующие: А - Все люди смертны и О - Некоторые люди не являются смертными; Е - Ни один пацифист не хочет войны и I - Некоторые пацифисты хотят войны. Символически отношение противоречия записываются так:A - -
=: Vx(S(x) ^ P(x)) ^ 3x(S(x) л P(x)).
O
Если верно, что все S суть P, то неверно, что некоторые S не
суть P
А -
О: Vx(S(x) ^ P(x)) ^3x(S(x) л P(x)).
Если не верно, что все S суть P, то верно, что некоторые S не
суть P
-: 3x(s(x )л P(x))^Vx(S(x P(x)).
A.
Если верно, что некоторые S не суть P, то неверно, что все S
суть P
: 3x(s(x )л P(x))^Vx(s(x )^ P(x)).
A
Если неверно, что хотя бы некоторые S не суть P, то верно, что все S суть P
E -
: Vx(S(x) ^ P(x)) ^ 3x(S(x) л P(x)).
I
Если верно, что ни одно S не суть P, то неверно, что некоторые S
суть P
E -
: Vx(S(x) ^ P(x)) ^ 3x(S(x) л P(x)).
Если неверно, что ни одно S не суть P, то верно, что некоторые S
суть P
= : 3x(s(x)лP(x)) ^ Vx(s(x)^ P(x)).
E
Если верно, что некоторые S суть P, то неверно, что ни одно S не
суть P
-E-: 3x(s(x )л p(x ))^Vx(s(x )^ P(x)).
Если неверно, что хотя бы некоторые S суть P, то верно, что ни одно S не суть P.
Отношение противоположности (А - Е)
Отношение противоположности характеризуется тем, что находящиеся в этом отношении суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Отсюда следует, что если одно из противоположных суждений истинно, то другое ложно, но не наоборот. Если одно из них ложно, то другое неопределенно. Примеры противоположных суждений:А - Все рыбы дышат жабрами,
Е - Ни одна рыба не дышит жабрами.
Символически отношение противоположности записывается так:
: Vx(s(x) ^ P(x)) ^ Vx(s(x) ^ P(x)).
E
Если верно, что все S суть P, то неверно, что ни одно S не суть P
= : Vx(s(x )^ P(x))^Vx(s(x )^ P(x)).
A
Если верно, что ни одно S не суть P, то неверно, что все S суть P
Отношение подпротивности (I - O)
Отношение подпротивности состоит в том, что суждения, находящиеся в этом отношении, не могут быть одновременно ложными, но могут быть одновременно истинными. Отсюда следует, что если одно из них ложно, то другое истинно. Если же одно истинно, то другое неопределенно. Например:0 - Некоторые люди бывали на Марсе - ложно,
1 - Некоторые люди не бывали на Марсе - истинно.
Символически это отношение записывается так:
0: 3x(s(x)лР(х))^3x(s(x)лР^).
Если неверно, что некоторые S суть Р, то верно, что некоторые S не суть Р
0: 3x (s(x )л р(Г)) ^ 3x(s(x )л P(x)).
Если неверно, что некоторые S не суть Р, то верно, что некоторые S суть Р.
Отношение подчинения
Отношение подчинения имеет место между, с одной стороны, общими суждениями, с другой - между частными (А - I), (Е - О). При этом общие называются подчиняющими, частные - подчиненными. Отношение подчинения характеризуется тем, что истинность подчиняющих суждений обусловливает истинность подчиненных, но не наоборот. В то же время ложность подчиненных суждений обусловливает ложность подчиняющих, но не наоборот.Так, из истинности общеутвердительного суждения (А) Все планеты светят отраженным светом следует истинность частноутвердительного суждения (I) Некоторые планеты светят отраженным светом.
Символически это отношение записывается так:
у: V(x XS(x) P(x)) 3(x )(S(x) л P(x)).
Если верно, что все S суть Р, то верно, что некоторые S суть Р
O Vx (s(x )^ p(x))^3x(s(x )л p(x)).
Если верно, что ни одно S не суть Р, то верно, что некоторые S не суть Р.
Модальность суждений
Всякое суждение может быть рассмотрено с точки зрения модальности (лат. мо^8 - мера, способ, вид). Модальность - характеристика суждения в зависимости от степени устанавливаемой им достоверности, т. е. от того, утверждается ли в нём возможность, действительность или необходимость чего-либо.В традиционной формальной логике суждения по модальности делятся на три группы: суждения возможности (проблематические), суждения действительности (ассерторические) и суждения необходимости (аподиктические).
В суждении возможности отражается вероятность наличия или отсутствия признаков у предмета - напр.: Возможно, в этом году я поеду к морю.
В суждении действительности констатируется наличие или отсутствие у предмета того или иного признака - напр.: Некоторые числа делятся на 5.
В суждении необходимости отображается такой признак, который является необходимым, существенным для предмета - напр.: Живые организмы не могут существовать без обмена веществ.
Модальность - одно из важнейших свойств суждения, так как она выражает степень существенности того или иного признака для данного предмета, отображённого в суждении. При этом следует иметь в виду, что различие суждений по модальности определяется не субъективными желаниями, а тем, насколько основательны и реалистичны способы установления и объяснения реальности. Например, наличие в суждении слова необходимо ещё не означает, что это суждение непременно аподиктическое.
Аналогично высказывания о вероятности наступления того или иного события или о принадлежности какого-либо признака предмету опираются на исследования фактов, на изучение объективной действительности.
Сложные суждения и их виды.
Понятие о логическом союзе
Сложное суждение - суждение, образованное из простых посредством логических союзов конъюнкции, дизъюнкции, импликации, эквивалентности.Особенность сложных суждений заключается в том, что их логическое значение (истинность или ложность) определяется не смысловой связью простых суждений, составляющих сложное, но двумя параметрами:
1) логическим значением простых суждений, входящих в сложное;
2) характером логической связки, соединяющей простые суждения.
Современная формальная логика отвлекается от содержательной
связи между простыми суждениями и анализирует такие высказывания, в которых эта связь может отсутствовать. Например, Если квадрат гипотенузы равен сумме квадратов катетов, то на Солнце существуют высшие растения.
Конъюнктивные суждения
Конъюнктивное суждение - суждение, которое является истинным тогда и только тогда, когда истинны все входящие в него суждения. Образуется посредством логического союза конъюнкции, выражающегося грамматическими союзами и, да, но, однако. Например, Светит, да не греет. Символически обозначается следующим образом: p л q, где p, q - переменные, обозначающие простые суждения, л - символическое выражение логического союза конъюнкции. Определению конъюнкции соответствует таблица истинности:Дизъюнктивные суждения
Имеется два вида дизъюнктивных суждений: строгая (исключающая) дизъюнкция и нестрогая (неисключающая) дизъюнкция.Строгая (исключающая) дизъюнкция - сложное суждение, принимающее логическое значение истины тогда и только тогда, когда истинно только одно из входящих в него суждений. Например, Данное число либо кратно, либо не кратно пяти. Логический союз дизъюнкция выражается посредством грамматического союза либо... либо. Символически записывается p v q. Логическое значение строгой дизъюнкции соответствует таблице истинности:
Нестрогая (неисключающая) дизъюнкция - сложное суждение, принимающее логическое значение истины тогда и только тогда, когда истинным является, по крайней мере, одно (но может быть и больше) из простых суждений, входящих в сложное. Например, Писатели могут быть или поэтами, или прозаиками (или тем и другим одновременно). Нестрогая дизъюнкция выражается посредством грамматического союза или. или в разделительно-соединительном значении. Символически записывается p v q. Нестрогой дизъюнкции соответствует таблица истинности:
Импликативные (условные) суждения Импликация - сложное суждение, принимающее логическое значение ложности тогда и только тогда, когда предшествующее суждение (антецедент) истинно, а последующее (консеквент) ложно. В естественном языке импликация выражается союзом если..., то в смысле наверно, что р и не-q. Например, Если число делится на 9, то оно делится и на 3. Символически импликация записывается p ^ q (если р, то q). Логическое значение представлено в таблице истинности:
Анализ свойств импликации показывает, что истинность антецедента является достаточным условием истинности консеквента, но не наоборот.
Достаточным для некоторого явления считается такое условие, наличие которого непременно вызывает это явление. В то же время истинность консеквента является необходимым условием истинности антецедента, но недостаточным.
Необходимым для явления считается такое условие, без которого оно (явление) не имеет место.
Суждения эквивалентности
Эквивалентность - сложное суждение, которое принимает логическое значение истины тогда и только тогда, когда входящие в него суждения обладают одинаковым логически значением, т. е. одновременно либо истинны, либо ложны. Логический союз эквивалентности выражается грамматическими союзами тогда и только тогда, когда, если и только если. Например, Если и только если треугольник равносторонний, то он и равноугольный. Символически записывается p ^ q (если и только если р, то q).Логическое значение эквивалентности соответствует таблице истинности:
Эквивалентное суждение со связанными по содержанию членами выражает одновременно условие достаточное и необходимое:
(Р ^ q)^(q ^ р).
Равносильность выражений (р^q) и (р^q)A(q^р) может быть доказана с помощью таблицы истинности.
Выражение одних логических связок посредством других
Рассмотренные выше логические союзы взаимозаменяемы и выразимы через другие. Например:р ^ q = р ? q - импликация через дизъюнкцию
р ^ q = q ^ р - импликация через импликацию
р ^ q = р a q - импликация через конъюнкцию р a q = р ? q - конъюнкция через дизъюнкцию р ? q = р a q - дизъюнкция через конъюнкцию
р a q = р ? q - конъюнкция через дизъюнкцию Существует метод проверки равносильности сложных суждений. Он заключается в построении таблиц истинности для соответствующих символических выражений. Если таблицы истинности совпадают при одинаковых логических значениях переменных, то такие выражения равносильны. Докажем равносильность следующей формулы р ^ q = р ? q (дизъюнкция нестрогая).
Таблицы истинности двух последних столбцов совпали, следовательно, данные выражения равносильны.
Вопросы для повторения
1. Дайте определение суждения. Какие суждения называются простыми, а какие сложными?2. Какова логическая структура атрибутивных суждений и суждений отношения?
3. Каково отношение суждения и высказывания?
4. Чем определяется логическое значение (истинность или ложность) высказываний?
Например, в умозаключении
