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

• [1] Суждение в логике. Общая характеристика

• [2] Простые суждения

• [3] Сложные суждения

[1] Суждение — это форма мысли, в которой утверждается или отрицается существование предметов, связь между предметами и их признаками, отношения между предметами

Языковой формой выражения суждение является предложение

Суждение — это смысловая сторона предложения, но не тождественная единица

Всякое суждение выражено в повествовательном предложением содержащим сообщение о чем-либо, как и предложение суждение бывают простые и сложные

• Простые – это суждение выражающие связь двух понятий

• Сложные – образуются из нескольких простых при помощи логических союзов

[2] В простом суждении выражается связь двух понятий. Имеются следующие структурные элементы:

1. Субъект суждения — это понятие о предмете суждения, то есть то, о чем говорится в суждении [S]

2. Предикат суждения — это понятие признака предмета, то есть то, что говорится о субъекте суждение [P]

3. Связка выражает отношение между S и P.

Бывает утвердительной или отрицательной обозначается словами «есть/не есть», «суть/не суть» и так далее "тире", группы слов, простым согласование слов.

4. Квантор указывает на отношение суждения ко всему объему понятия выражая субъект или его часть.

Квантор общности [ɏ] (все…)

Квантор существования [Ǝ] (некоторые…)

Ǝ S связка P

Некоторые люди не долгожители

S связка P

Акулы – рыбы

Виды простых суждений

1. Атрибутивные/суждения свойства. Они содержит в себе знания о свойствах предметов или принадлежности предметов к определённому классу

2. Суждение отношения/релятивные. Выражают различные отношения между предметами по месту, величине, времени, причин зависимости и так далее

3. Суждение существования/экзистенциальный. Это суждение который содержит информацию о наличии или отсутствии предмета наши мысли в реальности "бог есть" и "есть ли жизнь на Марсе"

Суждение имеет 2 основных характеристики

• Количество

• Качество

Качество зависит от связки между субъектом и предикатом поэтому по качеству суждения могут быть утвердительные или отрицательные

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

Единичные в логическом анализе приравниваются к общим поэтому логике классифицируются по количеству только частные и общие

Количественную сторону суждение определяет через кванторное слово

Вид суждения	Обозначение	Логическая формула	Рапредел. термин		Отношение между S и P
			S	P
Общеутвердительные	А	Все S есть Р 1 2	+	+	(S+) = (P+) 1	S+ P- 2
			+	-
Общеотрицательные	E	Все S не есть Р	+	+	P+ S+
Частноутвердительные	I	Некоторые S 1 есть Р 2	-	-	P- S- 1	P+ S- 2
			-	+
Частноотрицательные	O	Некоторые S 1 не есть Р 2	-	+	P+ S- 1	P+ S- 2
			-	+

Термином категоричности суждения является субъект и предикат

Термин считается распределённым если он рассматривается в данном суждение во всём объеме, в противном случае термин не распределён

Термин рассматривается в суждении во всём объеме если он полностью включён в объем другого понятия или полностью исключён из него

O

Пример:

P+

S-

Ǝ S связка P Р

Некоторые люди не умеют скрывать своих мыслей

• Количество частное

  I

• качество отрицательная

S-

P-

Ǝ S связка P Р

Некоторые юристы — отличники учёбы

• Количество частное

• качество утвердительное

Если в одном суждении встречается хотя бы один термин не входящий в другое суждение, то такие два суждения называют несравнимыми

У сравнимых суждениях совпадают оба термина (субъект и предикат)

О тношения между субъектами по значению истинности изображается в логическом квадрате

Сравнимые суждение делятся на совместимые и не совместимые

Сравнимые суждение совместимы если они могут быть единовременно истинными

Несовместимые если они не могут быть вместе истинны

В свою очередь совместимые суждение могут находиться в отношении подчинения и субконтрарности

Несовместимые на отношения противоположности и противоречивости

Из логического квадрата следует что частные суждения подчиняется общим поэтому истинность общего суждения определяет истинность частного, но ложность общего суждения оставляет частное неопределённым

Истинность частного суждения также оставляет общее неопределённым

Ложность частного суждения обусловлено ложности общего

В отношении частичного совпадение действует следующие правило:

• Оба они одновременно могут быть истинными, но не могут быть одновременно ложными если одно из них ложно, то и другое обязательно истинно, но если одно из них истинно, то другое неопределенно

Для отношения противоречивости действует правило:

• Два противоречивых суждения не могут быть одновременно истинными и одновременно ложными

Для отношений противоположности:

• Если одно из противоположных субъектов истинно, то другое будет ложным, однако ложность одного из них оставляет другое суждение неопределённым

[3] Сложные суждения – это суждения которые состоят из двух или нескольких простых связанных логическими союзами

Зависимости от логических союзов выделяют:

1. соединительные сложные суждения (конъюнкция)

2. Условное (союзу "если, то")

3. Разделительное (дизъюнкция)

4. Отрицательное (логический союз с НЕ)

5. Эквивалентное (эквиваленция)

Также сложное суждение делится по модальности, то есть по характеру выраженного в них знания