Тема 3. Суждение

3.1. Суждение как логическая форма мышления. Виды суждений.

3.2. Простые категорические суждения.

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

3.4. Логические отношения между суждениями.

3.5. Модальные суждения.

3.1. Суждение как логическая форма мышления. Виды суждений

3.1.1.Суждение как логическая форма мышления

Суждение - это логическая форма мышления, посредством которой нечто утверждается или отрицается о принадлежности свойства предмету, о наличии отношений между предметами или о существовании предмета.

Важнейшей характеристикой суждения является способность выражать истинность или ложность.

Объективной основой для суждения является наличие связи между предметами. В составе суждения выделяют термины, которые выражают понятия, связку; в некоторых суждениях выделяют кванторное слово. Большинство суждений имеют два термина: субъект и предикат. Субъект обозначает понятие, в котором мыслится предмет, о котором что-то утверждается или отрицается. Предикат - термин, в котором выражены свойства предмета, то, что утверждается о субъекте. Предикат и субъект суждения могут меняться в зависимости от логического ударения.

Суждения выражаются в виде повествовательных предложений. Вопросительные и побудительные предложения суждения, как правило, не выражают. Одно из исключений – риторический вопрос.

Грамматическая структура предложения, как правило, не совпадает с его логической структурой. Например, “Все старательные студенты сдали зачет по логике”. Логическая структура суждения: “все” – кванторное слово; “старательные студенты” – S-субъект; “сдали зачет по логике” - P –предикат (связка “суть” – опущена). Грамматическая: “студенты” – подлежащее; “сдали” – сказуемое, остальное – второстепенные члены предложения.

3.1.2. Виды суждений

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

Простые суждения бывают:

1. - атрибутивные суждения: в них утверждается или отрицается принадлежность свойства к предмету. Схема S есть P (структура рассмотрена в 3.11);

2. - суждения об отношениях: утверждается или отрицается отношение между предметами. Например, “3 меньше 5”, “Новгород расположен между Москвой и Петербургом”;

3. - суждения существования: нечто утвёерждается или отрицается о существовании предмета. Например, “Золотая гора не существует в действительности”.

Суждения об отношениях и суждения существования близки в ряде отношений атрибутивным суждениям.

3.2. Простые категорические суждения

3.2.1. Виды категорических суждений. Объединенная классификация

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

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

Качество суждения определяется тем, включается ли предмет или класс предметов в некоторый другой класс предметов. Внешним отличительным признаком отрицательных суждений является, как правило, наличие частицы “не” перед связкой. Суждения бывают по качеству отрицательными и утвердительными. Если частица “не” стоит перед связкой, то это суждение будет отрицательным, если только перед предикатом, то суждение - утвердительное. Например: “Некоторые люди являются несправедливыми” – утвердительное суждение, так как отрицание относится к предикату..

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

Единичные суждения - это суждения, в которых нечто утверждается или отрицается о единичном предмете. Форма: Этот S есть P; Этот S не есть P. Например, “Самый большой город России является его столицей”.

В частных суждениях нечто утверждается или отрицается о части предметов некоторого класса. Форма: Некоторые S суть P; Некоторые S не суть P. Например, “Некоторые млекопитающие живут в воде”.

В общих суждениях речь идет обо всех предметах данного класса. Форма: Все S суть P; Ни один S не суть P. Например, “Все металлы электропроводны”.

Особо отличают выделяющие и исключающие суждения. Все S (и только S) суть P – выделяющее суждение; Все S (кроме r) суть P- исключающее суждение.

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