Суждение как форма мышления

Суждение – это образованная из понятий с помощью связки более сложная форма мысли, в которой утверждается или отрицается связь между предметом и его признаком или отношение между предметами и которая обладает свойством выражать либо истину, либо ложь.Если мы скажем, что «на улице сегодня пасмурная погода», то в этой мысли (суждении) относительно понятия «сегодня» утверждается наличие «пасмурной погоды».

Суждение и предложение.
Если понятия мы выражали в естественном языке посредством слов или словосочетаний, то суждения выражаются предложениями. Однако из всей совокупности предложений – вопросительных, побудительных, повествовательных, только последние – повествовательные - выражают суждения. Это обусловлено тем, что, строго говоря, только повествовательные предложения содержат в себе конкретную информацию или сообщение и, более того, ярко и непосредственно выражают утверждение или отрицание. Можно, правда, сказать, что в ряде побудительных предложений содержится определенного рода сообщение и что-то даже отрицается или утверждается. Например: «Закройте окно». «Не выходите на улицу без пальто». И все же эти утверждение или отрицание содержатся здесь в неявном виде.

Простое суждение и его состав. Виды простых суждений.
Во всех языках мира суждения имеют одинаковую логическую форму или структуру. Они состоят из субъекта, предиката и связки, а записываются они так: S есть P. Где S – это субъект, или понятие о предмете суждения, Р – предикат, т.е. понятие, характеризующее субъект, или понятие о признаке предмета суждения. Что же касается связки, то она соединяет между собой субъект и предикат, которые называются терминами суждения. Связка может выражаться по-разному: одним словом - есть, суть, является; тире; группой слов или простым согласованием слов. Кстати говоря, в отличие от большинства европейских языков, в которых связка почти всегда выступает в чистом виде, в русском языке она порой опускается и заменяется согласованием падежных окончаний. И, тем не менее, ее всегда можно выразить в явном виде, переформулировав предложение. Например, фразу: «Студент пишет» можно перефразировать следующим образом: «Студент есть пишущий». Чтобы отыскать в суждении его термины – субъект и предикат, следует поставить два вопроса: О ком (о чем) говорится в суждении? И что говорится?»

Простое суждение выражает обычно связь между субъектом и предикатом и имеет структуру S есть Р. В зависимости от того, что они отражают – свойства, отношения или существование, простые суждения могут быть:

Атрибутивные суждения(категорические)
Суждения с отношениями
Экзистенциональные суждения

1. Атрибутивные суждения(категорические) утверждают (или отрицают) принадлежность предмету определенных свойств, признаков и т.д. Например: «Все адвокаты – юристы». «Все пионы – цветы».

2. Суждения с отношениями выражают отношения между предметами – временные, пространственные, отношения родства, тождества, противоположности и т.п. Например: «Река Неман больше Свислочи. Лев сильнее кошки».

3. Экзистенциальные суждения (от лат. existentia – существование) говорят о существовании или не существовании каких-то предметов или явлений. Например: «Существует множество причин поражения французов в Отечественной войне 1812 г.»

Классификация суждений по качеству и количеству.
Дальше мы будем говорить пока только о простых категорических суждениях, в которых, в отличие от др. видов суждений, всегда что-то утверждается или отрицается в безусловной форме. Эти простые категорические суждения в формальной логике делятся на виды по качеству и количеству.

Классификация суждений по качеству, означает их деление на утвердительные, в которых всегда что-то утверждается, и отрицательные, в которых всегда что-то отрицается.
Для определения вида суждения по качеству следует обратить внимание на характер связки: если это связка «есть», то суждение утвердительное, если связка «не есть» - отрицательное. Например: «Он неумелый» будет утвердительным суждением, так как связка здесь утвердительная, а отрицательным является только предикат данного суждения – «Он есть неумелый».

По количеству суждения делятся на:

Единичные
Частные
Общие

Если в суждении речь идет об одном единственном предмете – оно будет единичное, о части класса предметов – частное, обо всем классе предметов – общее. Обычно для указания того, каким является по количеству данное суждение, перед субъектом ставится так называемый квантор общности – «все», «всякий», «каждый», «ни один» (эти слова обычно характерны для общих суждений), или квантор существования - «некоторые», «большинство», «многие», «существует» (эти слова характерны для частных суждений). Хотя квантор может и подразумеваться, например, в суждении: «Рыбы дышат жабрами» квантор общности «все» подразумевается, значит, суждение будет общим.

Объединенная классификация суждений по качеству и количеству состоит из четырех видов суждений:

1.А. Общеутвердительные. Формула таких суждений: Все S есть Р. (Все слоны – животные).
2.Е. Общеотрицательные с формулой: Ни одно S не есть Р. (Ни один человек не побывал на Юпитере).
3.I. Частноутвердительные с формулой: Некоторые S есть Р.(Некоторые студенты учатся в Международном гуманитарно-экономическом институте).
4.О. Частноотрицательные с формулой: Некоторые S не сеть Р.(Некоторые студенты не изучают логику).
Обозначать суждения буквами А, I, E, O было принято еще в средние века. Причем, эти четыре латинских гласных буквы взяты из двух латинских слов – affirmo (утверждаю), nego (отрицаю). Сокращенное обозначение суждений осуществляется следующим образом: утвердительные обозначаются буквами А и I, а отрицательные – Е и О.

Распределенность терминов в суждениях. Круговые схемы отношений между терминами. В логических операциях с суждениями часто возникает необходимость выяснить, распределены ли его термины – субъект и предикат. При этом термин считается распределенным, если его объем полностью включен в объем другого термина, или же полностью исключается из него. Термин считается нераспределенным, если его объем лишь частично входит в объем другого термина, или же частично из него исключается. Это следует разъяснить на примере четырех выделенных нами видов суждений.

Так, в суждениях А – общеутвердительных (Все S есть Р), например, «Все слоны – животные» субъект распределен, а предикат нет. Мы можем следующим образом изобразить отношения между терминами этого суждения, используя круговые схемы Эйлера:

Субъект здесь распределен потому, что его объем полностью включен в объем предиката. Предикат же не распределен потому, что в нем мыслится только часть животных, совпадающих со слонами. Ясно, что в число животных входят и другие, а не только слоны.

В суждениях Е – общеотрицательных (Ни одно S не есть Р), например, «Ни один человек не дышит жабрами» и субъект и предикат распределены, т.е., взяты в полном объеме. Иначе говоря, объем S здесь полностью исключается из объема Р и наоборот. Это можно изобразить следующим образом:

В суждениях I – частноутвердительных (Некоторые S есть Р), например, «Некоторые юристы работают в частных фирмах» S не распределен, так как в нем мыслится только часть юристов, объем лишь частично включен в объем предиката, только некоторые юристы работают в частных фирмах. Предикат здесь также не распределен, так как и он лишь частично включен в объем субъекта, не все работники частных фирм являются юристами. Это следует изобразить так:

Однако есть и другой вариант, когда в частноутвердительных суждениях предикат распределен. Это имеет место в тех случаях, когда его объем меньше объема субъекта, например, «Некоторые юристы – адвокаты». На схеме это будет выглядеть так:

где S - юристы,
Р – адвокаты.

И, наконец, суждения О – частноотрицательные (Некоторые S не есть Р), например, «Некоторые студенты не изучают логику». Субъект здесь не распределен, так как речь идет лишь о части студентов, предикат же распределен, так как в нем мыслятся все изучающие логику, и ни один из них не включен в ту часть студентов, которые мыслятся в субъекте. На схеме это выглядит следующим образом:

Сложное суждение и его виды.Таблица истинности сложных суждений.
До сих пор речь шла о простых суждениях. Однако наряду с простыми мы в своих мыслях оперируем и сложными суждениями. Если в структуре простого суждения мы выделяли в качестве терминов S и Р, то в сложном суждение может быть несколько субъектов или предикатов. Т.е., сложное суждение это такое суждение, которое состоит их нескольких простых. При этом важно отметить, что подобно тому, как сложное предложение строится из простых предложений с помощью союзов, так и сложное суждение образуется из простых суждений с помощью логических связок. Такими логическими связками являются: конъюнкция, дизъюнкция, импликация, эквиваленция и отрицание. Следует обратить внимание, что именно выше перечисленные логические связки являются важнейшим элементом сложных суждений, определяя и структуру, и логические характеристики этих суждений. Т.е., для того, чтобы определить характер сложного суждения, необходимо выяснить, с помощью каких логических связок оно образовано. Рассмотрим виды сложных суждений.

Сложное конъюнктивное, или соединительное суждение состоит из двух или более простых суждений, соединенных между собой логической связкой конъюнкцией. В естественном языке, конъюнкции соответствует соединительный союз - «и», а также союзы «да», «а», «но», «хотя»,«однако», взятые в значении «и». Для обозначении конъюнкции в логике используют значки ∧, &. Если обозначить каждое из двух, к примеру, простых суждений, входящих в состав сложного, буквами латинского алфавита - а, в, то сложное соединительное суждение будет выглядеть так – а ∧ в. Например, «Рига и Вильнюс – столицы стран Балтии».

Сложное дизъюнктивное, или разделительное суждение состоит из простых суждений, соединенных логической связкой дизъюнкцией, которой в естественном языке соответствуют союзы «или», «либо». Можно говорить о двух разновидностях дизъюнкции: слабой (не исключающей) и строгой (исключающей). Для слабой дизъюнкции характерно употребление союзов «или» / «либо» в соединительно-разделительном смысле - или то, или другое, или то и другое вместе. Например, «Информацию о последних событиях в Ираке опубликовали в газетах или передали по радио». Разумеется, здесь возможно или то, или другое, или то и другое вместе. Слабая дизъюнкция обозначается значком «∨», а ∨ в (а или в). Что касается сильной дизъюнкции, то для нее характерно употребление союзов «или» / «либо» в исключающе-разделительном смысле – или то, или другое, но не то и другое вместе. Обозначается она, как и слабая дизъюнкция, но с точкой наверху: а ∨ в. Например: «Знак беды» написали или Быков, или Шамякин». Члены дизъюнкции здесь исключают друг друга и не могут быть одновременно истинными.

Сложное импликативное, или условное суждение образуется из двух простых с помощью логической связки импликации, которой в естественном языке соответствует союз «если…, то…». Например, «Если хочешь быть здоровым, то закаляйся». Символически импликацию обозначают следующим образом: а → в (если а, то в). Первый член импликации, стоящий между словами «если» и «то», называется основанием, второй, после слова «то» - следствием. Обычно с помощью импликации мы выражаем причинно-следственные связи и отношения в действительности.

Суждения эквиваленции – это сложные суждения, состоящие из простых суждений, соединенных логической связкой эквиваленции, которой в естественном языке соответствуют следующие союзы: «если и только если», «тогда и только тогда, когда…». Само слово эквиваленция в переводе с латинского языка обозначает тождественность, равноценность. В логике эта равноценность сводится к принятию суждениями одинаковых логических значений, т.е., указывает на взаимозависимость, взаимосоответствие предметов, о которых идет речь в простых суждениях. Например, «Прямоугольник является квадратом, если и только если его стороны равны». Символически эквиваленция записывается с помощью тройного равенства «а ≡ в».

Отрицание. В естественном языке отрицание выражается словами «неверно, что», «неправда, что» или просто используется отрицательная частица «не». В отличие от выше рассмотренных логических связок, отрицание применяется только к одному суждению и обозначается чертой, которая ставится над ним «ā». Например, «Неверно, что Шамякин автор «Знака беды». При этом если отрицание стоит внутри суждения, мы имеем дело с обычным простым суждением – «Шамякин – не автор «Знака беды». Если же отрицание присоединяется к суждению снаружи – «Неверно, что Шамякин – автор «Знака беды», то мы имеем дело с логической связкой, преобразующей простое суждение в сложное.

Таблица истинности сложных суждений. Истинность или ложность простых суждений проверяется обычно их сопоставлением с реальным положением дел. Так, если мы скажем, что «Река Свислочь впадает в Черное море», то достаточно посмотреть на карту, чтобы убедиться в ложности этого суждения. Чтобы установить истинность или ложность сложных суждений, надо обратиться к принятой в формальной логике таблице истинности. В ней отражено то, как зависит истинность сложного суждения от истинности или ложности входящих в его состав простых суждений:

А	В	А∧В	А∨В	А∨В	А → В	А≡В	Ā
И	И	И	И	Л	И	И	Л
И	Л	Л	И	И	Л	Л	Л
Л	И	Л	И	И	И	Л	И
Л	Л	Л	Л	Л	И	И	И

Согласно этой таблице мы видим, что соединительное суждение истинно тогда и только тогда, когда истинны все составляющие его высказывания и, наоборот, оно ложно, если ложным является хотя бы одно из составляющих его простых. Слабая дизъюнкция истинна тогда, когда истинно хотя бы одно из входящих в него простых суждений, а ложна она в одном единственном случае, когда все простые суждения, входящие в ее состав, ложны. Иначе обстоят дела с сильной дизъюнкцией. Согласно таблице, она не допускает одновременной истинности исходных высказываний: либо то, либо другое, но не оба сразу. В самом деле, если взять пример: «Минск или Москва столица России», то ясно, что эта сильная дизъюнкция не будет истинна в случае одновременной истинности или ложности обоих входящих в него суждений. Что касается импликации, то она ложна в одном единственном случае, когда основание истинно, а следствие ложно. Во всех остальных случаях она истинна. Эквиваленция является истинной только тогда, когда составляющие ее простые суждения либо одновременно истинны, либо одновременно ложны. И, наконец, отрицание. Здесь отрицательное суждение будет истинно тогда, когда исходное суждение ложно, и ложно, когда исходное истинно.

Дата добавления: 2015-08-10