понятие звезда – истинное, а понятие планета – ложное и т. п. Но разве понятия Змей Горыныч или Кащей Бессмертный, или вечный двигатель не ложные? Нет, не ложные, эти понятия являются нулевыми или пустыми, но не истинными и не ложными. Вспомним, понятие – это форма мышления, которая обозначает собой какой-либо объект, – и именно поэтому не может быть истинным или ложным. Истинность или ложность – это всегда характеристика какого-то высказывания, утверждения или отрицания, в силу чего она применима только к суждениям, но не к понятиям. Поскольку любое суждение принимает одно из двух значений – истины или лжи, – то аристотелевская формальная логика также часто называется двузначной логикой.
4. Суждения бывают простыми и сложными. Сложные суждения состоят из простых, соединенных каким-либо союзом. О простых и сложных суждениях речь пойдет далее.
2.2. Структура суждения
Суждение – это более сложная форма мышления по сравнению с понятием. Неудивительно поэтому, что суждение имеет определенную структуру, в которой можно выделить четыре части.
1. Субъект (обычно обозначается латинской буквой S) – это то, о чем идет речь в суждении. Например, в суждении: Все учебники являются книгами речь идет об учебниках, поэтому субъектом данного суждения выступает понятие учебники.
2. Предикат (обычно обозначается латинской буквой Р) – это то, что говорится о субъекте. Например, в том же суждении:
Все учебники являются книгами о субъекте (т. е. об учебниках) говорится, что они – книги, поэтому предикатом данного суждения выступает понятие книги.
3. Связка – это то, что соединяет субъект и предикат. В роли связки могут быть слова есть, является, это и т. п.
4. Квантор – это указатель на объем субъекта. В роли квантора могут быть слова все, некоторые, ни один и т. п. Рассмотрим суждение: Некоторые люди являются спортсменами. В нем субъектом выступает понятие люди, предикатом – понятие спортсмены, роль связки играет слово являются, а слово некоторые представляет собой квантор. Если даже в каком-то суждении (выраженном в форме предложения) отсутствует связка или квантор, то они все равно там подразумеваются. Например, в суждении: Тигры – это хищники квантор отсутствует, но он подразумевается – это слово все. С помощью условных обозначений субъекта и предиката у любого суждения можно отбросить его содержание и оставить только его логическую форму. Например, если у суждения: Все прямоугольники – это геометрические фигуры отбросить содержание и оставить форму, то получится: Все S есть Р. Точно так же логическая форма суждения: Некоторые животные не являются млекопитающими – Некоторые S не есть Р.
Субъект и предикат любого суждения всегда представляют собой какие-либо понятия, которые, как мы уже знаем, могут находиться в различных отношениях между собой. Между субъектом и предикатом суждения могут быть следующие отношения.
1. Равнозначность.
