Краткий курс логики: Искусство правильного мышления   ::   Гусев Дмитрий Алексеевич

Например, суждение: « Все розы – это цветы », – является истинным, а суждение: « Все мухи – это птицы », – ложным. Надо отметить, что понятия, в отличие от суждений, не могут быть истинными или ложными. Невозможно, например, утверждать, что понятие « школа » – истинное, а понятие « институт » – ложное, понятие « звезда » – истинное, а понятие « планета » – ложное и т. п. Но разве понятия « Змей Горыныч », « Кощей Бессмертный », « вечный двигатель » не ложные? Нет, эти понятия являются нулевыми (пустыми), но не истинными и не ложными. Вспомним, понятие – это форма мышления, которая обозначает какой-либо объект, – и именно поэтому не может быть истинным или ложным. Истинность или ложность – это всегда характеристика какого-то высказывания, утверждения или отрицания, поэтому она применима только к суждениям, но не к понятиям. Поскольку любое суждение принимает одно из двух значений – истины или лжи – то аристотелевская логика также часто называется двузначной логикой .

4. Суждения бывают простыми и сложными. Сложные суждения состоят из простых, соединённых каким-либо союзом.

Как видим, суждение – это более сложная форма мышления по сравнению с понятием. Неудивительно поэтому, что суждение имеет определённую структуру, в которой можно выделить четыре части:

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

2. Предикат (обозначается латинской буквой Р ) – это то, что говорится о субъекте. Например, в том же суждении: « Все учебники являются книгами », – о субъекте (об учебниках) говорится, что они – книги, поэтому предикатом данного суждения выступает понятие « книги ».

3. Связка – это то, что соединяет субъект и предикат. В роли связки могут быть слова «есть», «является», «это» и т. п.

4. Квантор – это указатель на объём субъекта. В роли квантора могут быть слова «все», «некоторые», «ни один» и т. п.

Рассмотрим суждение: « Некоторые люди являются спортсменами ». В нём субъектом выступает понятие « люди », предикатом – понятие « спортсмены », роль связки играет слово « являются », а слово « некоторые » представляет собой квантор. Если в каком-то суждении отсутствует связка или квантор, то они всё равно подразумеваются. Например, в суждении: « Тигры – это хищники », – квантор отсутствует, но он подразумевается – это слово «все». С помощью условных обозначений субъекта и предиката можно отбросить содержание суждения и оставить только его логическую форму.

Например, если у суждения: « Все прямоугольники – это геометрические фигуры », – отбросить содержание и оставить форму, то получится: «Все S есть Р ». Логическая форма суждения: « Некоторые животные не являются млекопитающими », – «Некоторые S не есть Р ».

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

1. Равнозначность . В суждении: « Все квадраты – это равносторонние прямоугольники », – субъект « квадраты » и предикат « равносторонние прямоугольники » находятся в отношении равнозначности, потому что представляют собой равнозначные понятия (квадрат – это обязательно равносторонний прямоугольник, S = P а равносторонний прямоугольник – это обязательно квадрат) (рис. 18).

2. Пересечение . В суждении:

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

3. Подчинение .