Суждение

- формируется из понятий и представляет собой целостную мысль, выраженную путем сочетания понятий. При этом суждения обычно раскрывают содержание понятий. Суждения включают в себя некое базовое понятие, содержание которого необходимо раскрыть, это понятие называется [логическим] субъектом, обозначается S. Второе понятие, которое раскрывает содержание первого называется предикатом, обозначается Р. Между субъектом и предикатом находится логическая связка. При этом связка может быть утвердительной (есть)/отрицательной (не есть). Квантор показывает на какие субъекты распространяются суждения. Суждение с квантором ВСЕ будет общим, но суждения могут распространяться не на все субъекты (квантор НЕКОТОРЫЕ), в данном случае суждение будет являться частным. Суждения могут быть также и единичными (без квантора). Если квалифицировать суждения квантор – связка, то мы можем получить 4 варианта:

1. Общеутвердительное суждение – S есть P (всякое S есть P) – обозначаются «А»

2. Общеотрицательное суждение – никаких S не есть P – обозначаются «Е»

3. Частноутвердительное суждение – некоторые S есть P – обозначаются «I»

4. Частноотрицательное суждение – некоторые S не есть P – обозначаются «О»

Линии АЕ и линии IO выражают противоположность.

Линии AI и линии EO выражают подчинение.

Линии AO и линии EI выражают противоречие.

Суждение может быть истинным и суждение может быть ложным. Трансформация суждения в рамках логического квадрата может менять его смысл.

Суждение можно классифицировать по следующим группам:

1. Атрибутивные суждения – указывают на свойства (показывают признаки предмета)

2. Реляционные суждения – выражают отношения между объектами

Могут быть отношения пространственные, временные, сходства/различия, причины/следствия.

3. Экзистенциальные суждения – выражают факт существования предмета или явления

Суждения можно классифицировать по количеству и качеству.

Особое разновидностью утвердительных и отрицательных суждений являются выделяющие и исключающие суждения.

Выделяющие суждения - S и только S есть P. (Пример: СССР и только СССР внесла решающий вклад в победу над нацизмом)

Исключающие суждения – все S за исключением S есть P. (Пример: Все великие державы в 30-е годы кроме СССР стремились к войне)

В том случае, если термин (т.е. то понятие, которое используется в качестве субъекта или предиката) распространяется на весь объем данного понятия, то термин является распределенным, а в противном случае нераспределенным.

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

«+» - распределен «-» - нераспределен

Сложные суждения

– представляет собой суждения, которые состоят из двух или более простых суждений, связанных между собой [логической] связкой.

1. Конъюнкция – соединяет между собой два суждения. P ^ Q

Соединительное суждение утверждают одновременное наличие двух ситуаций.

Пример: у меня есть апельсин и яблоко.

2. Дизъюнкция – операция при которой утверждается наличие одной из ситуаций. P V Q

Пример: у меня есть апельсин или яблоко (нестрогая дизъюнкция И/ИЛИ – может быть оба варианта), я мальчик или девочка (строгая дизъюнкция ИЛИ – только один вариант).

3. Импликация – условная связка. P -> Q, где Р – причина, Q – следствие

Импликация будет ложной только в одном случае, если P – истинное, а Q – ложное, в остальных случаях импликация дает истинное значение.

Пример: если петух прокукареет, то солнце взойдет.

4. Эквивалентное суждение – суждения, в которых утверждаются одновременное наличие или одновременное отсутствие двух ситуаций, при этом каждая из ситуаций может рассматриваться как причина второй. P <-> Q

Пример: если солнце находиться в зените, то тени отсутствуют.

Такой тип суждений будет являться истинным, только в том случае, если обе части суждения будут истинными или обе части суждения ложные.

5. Суждения отрицания отрицают наличие какой-либо ситуации. 7р

P	Q	P ^ Q	P V Q	P V Q	P -> Q	P <-> Q	7р
Истина	Истина	Истина	Истина	Ложь	Истина	Истина	Истина
Истина	Ложь	Ложь	Истина	Истина	Ложь	Ложь
Ложь	Истина	Ложь	Истина	Истина	Истина	Ложь	Ложь
Ложь	Ложь	Ложь	Ложь	Ложь	Истина	Истина