– Что ж, вот и добрались мы до суждений! – профессор Лейн взмахом палочки стёрла с доски какие-то свои вычисления, откопала из бумаг на столе нужный свиток с планом занятия и быстро приступила к объяснению новых понятий. – Многое из того, что вы увидите сегодня, покажется знакомым, мы сталкивались с формами логического мышления напрямую в первой лекции. Сегодня мы развернём и углубим этот материал. Лекция обзорная, готовьтесь много писать. А разбираться будете в домашней работе.

В структуру суждения входят:

1. Субъект (обозначается буквой S) – понятие, о котором идет речь в суждении.

Например, в суждении «Все яблоки являются фруктами» речь идет о яблоках, соответственно, субъектом данного суждения выступает понятие «яблоки». S = яблоки.

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

Например, в том же суждении «Все яблоки являются фруктами» о субъекте (о яблоках) говорится, что они – фрукты, соответственно, предикатом данного суждения выступает понятие «фрукты». P = фрукты.

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

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

Исходный пример «Все яблоки являются фруктами» можно схематично записать так: «Все S есть P».

Суждения бывают следующих видов:

I. Истинные или ложные

Истинные суждения утверждают реально существующие или отсутствующие свойства и отношения между предметами.

Например: «Все яблоки – фрукты», «Все люди смертны». В обоих случаях суждения можно записать, как «Все S есть P».

Ложные суждения утверждают отношение, которое в действительности не имеет места, или отрицает существующую в действительности связь.

Например: «Все яблоки – овощи» («Все S есть P»), «Некоторые звери являются птицами» («Некоторые S есть P»).

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

Простым называется суждение, в котором есть один субъект и один предикат.

Например: «Все короли – люди» («Все S есть P»), «Некоторые люди – короли» («Некоторые S есть P»).

Сложным называется суждение, которое состоит из нескольких простых.

Например: «Людовик XVI – король, кроме того, он известный человек».

О сложных суждениях мы поговорим через несколько лекций.

Ассерторические суждения просто констатируют факт, не давая ему каких-нибудь дополнительных оценок.

В зависимости от того, что утверждается или отрицается в ассерторическом суждении, они делятся на:

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

Например: «Все кошки красивы» («Все S есть P»), «Некоторые кошки черные» («Некоторые S есть P»).

– Суждения с отношениями – отражают отношения между предметами (это могут быть отношения равенства, неравенства, родства, пространственные, временные, причинно-следственные отношения).

Например: «А=В», «Людовик XVI – сын Людовика XV», «Расстояние от Хогвартса до Хогсмида меньше меньше, чем расстояние от Хогвартса до Думстранга». Схема такого суждения А R B, где А и В – имена предметов, а R отношение между ними.

– Экзистенциальные суждения (суждения существования) – отражают факт существования или несуществования предмета суждения.

Например: «Мир существует», «Нет дыма без огня», «Нет людей без вредных привычек».

Предикаты данных суждений – это понятия о существовании или несуществовании. Связка чаще всего в языке не выражается.

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

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

Утвердительные или отрицательные

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

Например: «Все философы – люди» («Все S есть P»), «Некоторые дети – учащиеся» («Некоторые S есть P»).

Отрицательные суждения выражают отсутствие у предмета некоторого признака.

Например: «Ни одно яблоко не является овощем» («Ни одно S не есть P»), «Некоторые дети не учатся» («Некоторые S не есть P»), «Некоторые люди бессмертны» («Некоторые S не есть P»).

Общие, единичные или частные

– Общие суждения имеют структуру: «Все S есть/не есть P». В них нечто утверждается или отрицается относительно всех объектов данного класса.

Например: «Все люди не жирафы», «Все машины созданы человеком» и т.д.

– Единичные суждения имеют структуру: «Это S есть/не есть P». Их субъектом является единичное понятие, т.е. понятие, объем которого исчерпывается лишь одним элементом.

Например: «Амазонка – самая длинная река в мире», «Сократ – учитель Платона» и т.д.

– Частные суждения имеют структуру: «Некоторые S есть/не есть P». Они, в свою очередь, делятся на определенные и неопределенные:

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

Например: «Некоторые кошки прекрасны». Мы не установили и не указали, есть ли в действительности какие-нибудь безобразные кошки.

– определенные частные суждения определяются по кванторным словам только, большинство, почти все, многие, немало, несколько, не все, меньшинство и т.д. В них установлено, что «только некоторые S обладают признаком P».

Например: «Только люди обладают мышлением», «Почти все собаки верны», «Меньшинство кошек послушны» и т.д.

– Ну что? Устали, запутались? Я тоже! – профессор взглянула на доску, исписанную понятиями со всех сторон. Держите домашнее задание, оно поможет вам разобраться.