3. Суждение

!	Суждение - форма речемыслительной деятельности, в которой содержится утверждение или отрицание.

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

• субъект суждения – то, относительно чего что-либо утверждается или отрицается, обозначается буквой Ѕ;

• предикат суждения – то, что утверждается или отрицается относительно субъекта суждения, обозначается буквой Р;

• логическую связку субъекта и предиката суждения: «Ѕ есть (не есть) Р»;

• квантор (кванторное слово), с помощью которого фиксируется, в каком объеме взят в данном суждении субъект: «все Ѕ…», «некоторые Ѕ…», «ни одно Ѕ…».

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

• конъюнкции (соединительные суждения р /\ q );

• дизъюнкции (разделительные суждения р \/ q );

• импликации (условные суждения р → q ).

Из всего множества видов простого суждения рассмотрим суждения атрибутивные; они делятся, во-первых, по качеству, образуя два подмножества суждений: суждения утвердительные и суждения отрицательные, во-вторых, по количеству, образуя суждения частные и общие.

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

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

• Общеутвердительные суждения: «Все Ѕ есть Р», обозначается (А);

• Частноутвердительные суждения: «Некоторые Ѕ есть Р», обозначается (I);

• Общеотрицательные суждения: «Ни одно Ѕ не есть Р», обозначается (Е);

• Частноотрицательные суждения: «Некоторые Ѕ не есть Р», обозначается (О).

Распределенность субъекта и предиката в суждениях А, I, Е, О можно зафиксировать в следующей таблице:

	A	E	I	O
S	+	+	-	-
P	-	+	-	+

Отношения между суждениями типа А, I, Е, О составляют логический квадрат:

А	противоположность	Е
подчинение	противоречие	подчинение
I	частичная совместимость	O

Отношение А – Е, отношение противоположности (контрарности). Эти суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Если А истинное суждение, то Е – ложное, если Е истинное, то А – ложное. Из ложности А или Е нельзя сделать вывод о ложности или истинности, соответственно, Е или А. Схема: А(и)→Е(л), Е(и)→А(л); А(л)→Е?; Е(л)→А?.

Отношение I – О, отношение частичной совместимости (субконтрарности). Схема: I(и)→О?; О(и)→I?; I(л)→О(и); О(л)→I(и).

Отношение А - О, Е - I, отношение противоречия (контрадикторности). Схема: А(и)→О(л); А(л)→ О(и); Е(и)→ I(л); Е(л)→ I(и).

Отношение А - I, Е – О, отношение подчинения. Схема: А(и) →I(и); Е(и) →О(и);I(и) →А?;О(и) →Е?; А(л) →I?; Е(л) →О?; I(л) →А(л); О(л) →Е(л).

11. Дано суждение: «Все студенты деффака изучают логику». Определить субъект, предикат данного суждения и найти его место в логическом квадрате; построить соответствующие суждения типа Е и I, установить, если это возможно, их истинность (ложность) при условии, что исходное суждение истинное.

    S
    P
    E
    I

12. Дано суждение «Есть студенты, которым курс традиционной логики дается легко». Определить субъект, предикат данного суждения, с помощью кругов Эйлера изобразить отношения между ними. Аналогичное задание выполнить по отношению к следующему суждению: «Нет ни одного декана факультета, кто сдавал бы зачет по логике вместо студента».

S
P