Проверьте себя:

1. Что такое суждение? Каковы его основные свойства и отличия от понятия?

2. В каких языковых формах выражается суждение? Почему вопросительные и восклицательные предложения не могут выражать собой суждения? Что такое риторические вопросы и риторические восклицания? Могут ли они быть формой выражения суждений?

3. Найдите в приведённых ниже выражениях языковые формы суждений:

1) Неужели ты не знал, что Земля вращается вокруг Солнца?

2) Прощай, немытая Россия!

3) Кто написал философский трактат «Критика чистого разума»?

4) Логика появилась примерно в V в. до н. э. в Древней Греции.

5) Первый президент Америки.

6) Разворачивайтесь в марше!

7) Мы все учились понемногу…

8) Попробуй-ка двигаться со скоростью света!

4. Почему понятия в отличие от суждений не могут быть истинными или ложными? Что такое двузначная логика?

5. Какова структура суждения? Придумайте пять суждений и укажите в каждом из них субъект, предикат, связку и квантор.

6. В каких отношениях могут быть субъект и предикат суждения? Приведите по три примера для каждого случая отношений между субъектом и предикатом: равнозначности, пересечения, подчинения, несовместимости.

7. Определите отношения между субъектом и предикатом и изобразите их с помощью круговых схем Эйлера для следующих суждений:

1) Все бактерии являются живыми организмами.

2) Некоторые русские писатели – это всемирно известные люди.

3) Учебники не могут быть развлекательными книгами.

4) Антарктида представляет собой ледовый материк.

5) Некоторые грибы несъедобны.

8. Что такое атрибутивные, экзистенциальные и релятивные суждения? Приведите, самостоятельно подобрав, по пять примеров для атрибутивных, экзистенциальных и релятивных суждений.

2.2. Простые суждения

Если в суждении присутствуют один субъект и один предикат, то оно является простым. Все простые суждения по объёму субъекта и качеству связки делятся на четыре вида. Объём субъекта может быть общим («все») и частным («некоторые»), а связка может быть утвердительной («есть») и отрицательной («не есть»):

Объём субъекта ……………… «все» «некоторые»

Качество связки ……………… «есть» «не есть»

Как видим, на основе объёма субъекта и качества связки можно выделить только четыре комбинации, которыми исчерпываются все виды простых суждений: «все – есть», «некоторые – есть», «все – не есть», «некоторые – не есть». Каждый из этих видов имеет своё название и условное обозначение:

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

2. Частноутвердительные суждения (обозначаются латинской буквой I) – это суждения с частным объёмом субъекта и утвердительной связкой: «Некоторые S есть Р». Например: «Некоторые животные являются хищниками».

3. Общеотрицательные суждения (обозначаются латинской буквой E) – это суждения с общим объёмом субъекта и отрицательной связкой: «Все S не есть Р (или «Ни одно S не есть Р»). Например: «Все планеты не являются звёздами», «Ни одна планета не является звездой».

4. Частноотрицательные суждения (обозначаются латинской буквой O) – это суждения с частным объёмом субъекта и отрицательной связкой: «Некоторые S не есть Р». Например: «Некоторые грибы не являются съедобными».

Далее следует ответить на вопрос, к каким суждениям – общим или частным – следует относить суждения с единичным объёмом субъекта (т. е. те суждения, в которых субъект представляет собой единичное понятие), например: «Солнце – это небесное тело», «Москва основана в 1147 г.», «Антарктида – это один из материков Земли». Суждение является общим, если речь в нём идёт обо всём объёме субъекта, и частным, если речь идёт о части объёма субъекта. В суждениях с единичным объёмом субъекта речь идёт обо всём объёме субъекта (в приведённых примерах – обо всём Солнце, обо всей Москве, обо всей Антарктиде). Таким образом, суждения, в которых субъект является единичным понятием, считаются общими (общеутвердительными или общеотрицательными). Так, три приведённых выше суждения – общеутвердительные, а суждение: «Известный итальянский учёный эпохи Возрождения Галилео Галилей не является автором теории электромагнитного поля», – общеотрицательное.

В дальнейшем будем говорить о видах простых суждений, не употребляя их длинных названий, с помощью условных обозначений – латинских букв A, I, E, O. Эти буквы, взятые из двух латинских слов: affirmo – утверждать и nego – отрицать, были предложены в качестве обозначения видов простых суждений ещё в Средние века.

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

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

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

Частный объём субъекта и отрицательная связка суждений вида O обусловливают то, что в них субъект и предикат, так же как и в суждениях вида I, могут быть только в отношениях пересечения и подчинения. Читатель без труда сможет подобрать примеры суждений вида O, в которых субъект и предикат находятся в этих отношениях.