Тема 4. Высказывания и их логическая структура.
Вопросы: 1. Простое суждение: структура и классификация.
2. Понятие распределенности терминов суждения.
3. Отношения между простыми суждениями.
4. Сложные суждения.
5. Модальность суждений.
Суждение – это мысль, которая может быть оценена как истинная или как ложная.
Истинность или ложность суждения (высказывания) есть его логическое значение.
Вопросительные и побудительные предложения не являются суждениями, так как они не обладают указанными логическими значениями.
Суждения делятся на простые и сложные.
Простое – суждение, не содержащее в себе других суждений в качестве своих частей.
1. Простое суждение: структура и классификация.
Субъект (S) – это логическое подлежащее, т.е. понятие о предмете суждения.
Предикат (Р) – это логическое сказуемое, т.е. понятие о признаке предмета суждения.
Субъект и предикат называются терминами суждения.
Связка – логическая константа, связывающая термины суждения. В простом суждении связка – это утверждение («есть») или отрицание («не есть»). Иногда в суждениях о нескольких объектах используется связка «суть».
Квантор – логическая константа, указывающая, относится ли суждение ко всему объему субъекта («S») или только к его части («S»).
В суждении утверждается или отрицается существование предмета, связь предмета с каким-либо признаком или связь одного предмета с другим. В соответствии с этим осуществляется классификация простых суждений.
Классификация простых суждений.
-
Деление суждений по предикату.
Суждение существования. Логическая форма: S есть (не есть). Пример: «Бог есть», «Счастья нет». В данном суждении в качестве предиката подразумеваются слова: «объект, который существует».
Суждение категорическое. Логическая форма: S есть (не есть) Р. Пример: «Вселенная – безгранична».
Суждение отношения. Логическая форма: S1 R S2 . Пример: «Смоленск западнее Москвы».
-
Деление суждений по качеству связки.
Суждение утвердительное. Логическая форма: S есть Р.
Суждение отрицательное. Логическая форма: S не есть Р.
Суждение отрицающее. Логическая форма: Не верно, что S есть Р. «Не верно, что Земля – звезда».
-
Деление суждений по объему субъекта.
Суждение единичное. Логическая форма: Это S есть (не есть) Р. Пример: «Здесь вам не равнина».
Суждение частное. Логическая форма: S есть (не есть) Р. Пример: «Некоторые птицы не летают». Различают два вида частных суждений. Неопределенные частные: здесь квантор читается «некоторые, а может быть все». Определенные частные: здесь квантор читается «только некоторые», «не все», «меньшинство» и т.п.
Суждение общее. Логическая форма: S есть (не есть) Р. Пример: «Никто не поможет России».
Разница суждений состоит в том, что объем субъекта составляет один объект, часть объектов некоторого класса и в объем субъекта входят все объекты данного класса. Единичные суждения при анализе приравниваются к общим, поскольку их субъектом является целый класс (множество), в который входит только один элемент.
Не трудно заметить, что в каждом суждении имеется и качественная, и количественная характеристика. Поэтому используется объединенная классификация суждений:
Суждение общеутвердительное (А). Логическая форма: S есть Р, сокращённо – SaP;
Суждение частноутвердительное (I). Логическая форма: S есть Р, сокращённо – SiP;
Суждение общеотрицательное (Е). Логическая форма: S не есть Р, сокращённо – SeP;
Суждение частноотрицательное (О). Логическая форма: S не есть Р, сокращенно – SoP.