Логическая структура суждения

Суждение – это более сложная форма мышления по сравнению с понятием. Суждение имеет определенную структуру, в которой можно выделить четыре части:

1. Субъект (обычно обозначается латинской буквой S) – это то, о чем идет речь в суждении.

2.Предикат (обычно обозначается латинской буквой Р) – это то, что говорится о субъекте.

Субъект (S) и предикат (Р) называются терминами суждения.

3.Связка – это то, что соединяет субъект и предикат. В роли связки могут быть слова «есть», «является», «этот» и т. п.;

4.Квантор – это указатель на объем субъекта. В роли квантора мо­гут быть слова: все, некоторые, ни один и т. п.

Например, в суждении «Некоторые люди являются спортсменами» субъектом выступа­ет понятие «люди», предикатом – понятие «спортсмены», роль связки иг­рает слово «являются», а слово «некоторые» представляет собой квантор.

С помощью условных обозначений субъекта и предиката у любого суждения можно отбросить его содержа­ние и оставить только его логическую форму. Например, если у сужде­ния: «Все прямоугольники – это геометрические фигуры» отбросить со­держание и оставить форму, то получится: Все S есть Р. Точно так же логическая форма суждения: «Некоторые животные не являются мле­копитающими» – Некоторые S не есть P.

4. 3.Так как каждое понятие, выражающее субъект и предикат суждения, имеет свой объем и свое содержание, то и суждение приобретает различные виды в зависимости от того, в каком объеме берется субъект и предикат суждения и какое отношение устанавливается связкой суждения между содержанием субъекта и предиката. При этом объем субъекта дает количество суждения, а устанавливаемое связкой отношение между содержаниями субъекта и предиката дает качество суждения.

I. По количеству суждения делятся на общие, частные и единичные.

Общие суждения имеют (подразумевают) квантор «все», то есть полный объем субъекта. Например: «Все граждане Российской Федерации обязаны соблюдать российские законы», «Ни один человек не является бессмертным».

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

Единичнымназывается суждение, в котором субъектом является единичное понятие. Например: «А. В. Суворов – великий российский полководец».

II. По качествусуждения могут бытьутвердительными или отрицательными.

Утвердительнымявляется суждение, в котором предикат указывает на наличие у субъекта какого-либо признака. Формула утвердительного суждения S есть P. Например: «Все люди смертны».

Отрицательным является суждение, в котором предикат указывает на отсутствие у субъекта какого-либо признака. Формула отрицательного суждения S не есть P.

На основе объема субъекта и качества связки можно вы­делить только четыре комбинации, которыми исчерпываются все виды простых суждений (все – есть, некоторые – есть, все – не есть, неко­торые – не есть). Каждый из этих видов имеет свое название и услов­ное обозначение.

1. Общеутвердительные суждения – суждения с общим объемом субъекта и утвердительной связкой. Формула таких суждений: Все S есть Р. Например: «Все школьники являются учащимися». Эти суждения обозначаются в логике латинской буквой А.

2. Частноутвердительные суждения – суждения с частным объе­мом субъекта и утвердительной связкой. Формула таких суждений: Некоторые S есть Р. Напри­мер: «Некоторые животные являются хищниками». Эти суждения обо­значаются латинской буквой I.

3. Общеотрицательные суждения – это суждения с общим объемом субъекта и отрицательной связкой. Формула таких суждений: Все S не есть Р (или Ни одно S не есть Р). Например: «Все планеты не являются звездами» (или «Ни одна планета не является звездой». Такие суждения обозначаются латинской буквой E.

4. Частноотрицательные суждения – это суждения с частным объе­мом субъекта и отрицательной связкой. Формула таких суждений: Некоторые S не есть Р. Например: «Некоторые грибы не являются съедобными». Эти суждения обозначаются латинской буквой О.

Суждения с единичным объемом субъекта (т. е. те суждения, в которых субъект представляет собой единичное понятие), например, «Солнце – это небесное тело»; «Москва основана в 1147 году»; «Антарктида – это один из материковЗемли», считаются общими (общеутвердительными или общеотрицательными).

В дальнейшем виды простых суждений будут обозначаться с помощью условных обозначений – ла­тинских букв А, I, Е, О. Эти буквы, взятые из двух латинских слов: AFFIRMO – утверждать и NEGO – отрицать, были предложены в ка­честве обозначения видов простых суждений еще в Средние века.

III. По характеру отражаемой в суждении взаимосвязи между субъектом и предикатомсуждения делятся накатегорические (атрибутивные) суждения, суждения существования (экзистенциальные) и суждения отношений (релятивные).

Обычно суждения подразделяют на три вида.

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

2. Суждения существования (экзистенциальные) – это суждения, в которых преди­кат указывает на существование или несуществование субъекта. Например, суждение «Вечных двигателей не бывает» является экзистенциальным, так как его предикат (выраженный здесь не совсем обычно – глаголом с частицей «не») сви­детельствует о несуществовании субъекта (вернее, о несуществовании предмета, который обозначен субъектом).

3. Суждения отношений (релятивные)– это суждения, в которых предикат вы­ражает собой какое-то отношение к субъекту. Например, суждение «Москва основанараньше Санкт-Петербурга» является релятивным, потому что его предикат (основана раньше Санкт-Петербурга) указывает на временное (возрастное) отно­шение одного города и соответствующего понятия к другому городу и соответствующему понятию, представляющему собой субъект суждения.

Примеры атрибутивных, экзистенциальных и релятивных суждений.

1) «Все люди – это разумные живые существа» (атрибутивное суж­дение).

2) «Мой родной брат старше меня на три года» (релятивное суждение).

3) «Технических приспособлений, способных двигаться со скоростью света, нет» (экзистенциальное суждение).

4) «Некоторые студенты получают именные стипендии» (атрибутивное суждение).

5) «Человек появился намного позже животных и растений» (реля­тивное суждение).

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

В мышлении и языке большую часть составляют атрибутивные суж­дения. Они встречаются чаще, чем экзистенциальные и релятивные.

4.4. Термин считается распределенным, если в суждении речь идет обо всех объектах, входящих в объем этого термина (если он полностью входит в объем другого термина или полностью исключается из объема другого термина).