Тема 4. Высказывания и их логическая структура.

Вопросы: 1. Простое суждение: структура и классификация.

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

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

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

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

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

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

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

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

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

1. Простое суждение: структура и классификация.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Суждение отрицающее. Логическая форма: Не верно, что S есть Р. «Не верно, что Земля – звезда».

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

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

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

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

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

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

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

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

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

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