Тема 4. Суждения и их логическая структура.

Вопросы: 1. Характеристика простого суждения.

2. Понятие распределенности терминов суждения.

3. Отношения между простыми суждениями.

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

5. Модальность суждений.

Суждение – это мысль, которая может быть оценена как истинная или как ложная.

Истинность или ложность суждения (высказывания) есть его логическое значение.

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

Суждения делятся на простые и сложные.

Простое – суждение, не содержащее в себе других суждений в качестве своих частей.

1. Характеристика простого суждения.

В состав простого суждения входят следующие части:

Субъект (S) – это логическое подлежащее, т.е. понятие об объекте суждения.

Предикат (Р) – это логическое сказуемое, т.е. понятие о признаке объекта суждения.

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

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

Квантор – логическая константа, указывающая, относится ли суждение ко всему объему субъекта («S») или только к его части («S»).

Понятие, как форма мышления, также является видом мысли. Но эта мысль не имеет такого состава частей, как суждение, и фактически представлена только именем объекта, одним термином.

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

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

Классификация простых суждений.

1.1. Деление суждений по предикату.

Суждение существования. Логическая форма: S есть (не есть). Пример: «Бог есть», «Счастья нет». В данном суждении в качестве предиката подразумеваются слова: «объект, который существует», т.е «Счастье не есть объект, который существует».

Суждение категорическое. Логическая форма: S есть (не есть) Р. Пример: «Вселенная – безгранична».

Суждение сравнения. Логическая форма: S₁ С S₂ . Пример: «Смоленск западнее Москвы». В данном суждении сравнению подлежат два объекта, признаком которых является их место расположения.

1.2. Деление суждений по качеству связки.

Суждение утвердительное. Логическая форма: S есть Р.

Суждение отрицательное. Логическая форма: S не есть Р.

1.3. Деление суждений по объему субъекта.

Суждение единичное. Логическая форма: Это S есть (не есть) Р. Пример: «Здесь вам не равнина».

Суждение частное. Логическая форма: S есть (не есть) Р. Пример: «Некоторые птицы не летают». Различают два вида частных суждений. Неопределенные частные: здесь квантор читается «некоторые, а может быть все». Определенные частные: здесь квантор читается «только некоторые», «не все», «меньшинство» и т.п.

Суждение общее. Логическая форма: S есть (не есть) Р. Пример: «Никто не поможет России».

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

Не трудно заметить, что в каждом суждении имеется и качественная, и количественная характеристика. Поэтому используется объединенная классификация суждений:

Суждение общеутвердительное (А). Логическая форма: S есть Р, сокращенно – SaP;

Суждение частноутвердительное (I). Логическая форма: S есть Р, – SiP;

Суждение общеотрицательное (Е). Логическая форма: S не есть Р, – SeP;

Суждение частноотрицательное (О). Логическая форма: S не есть Р, – SoP.