Виды простых суждений

1. Суждения свойства (атрибутивные). В суждениях этого вида утверждается или отрицается принадлежность предмету известных свойств, состояний, видов деятельности. Примеры: «У розы приятный запах», «Певец исполняет арию из оперы «Евгений Онегин», «Всякий терьер — собака», «7 не есть четное чис­ло». Схемы этого вида суждения: S есть Р или S не есть Р.

2. Суждения с отношениями. В этих суждениях говорится об отношениях между предметами. Например, «Всякий протон тя­желее электрона», «Эльбрус выше Монблана», «Н. В. Гоголь родился позднее А. С. Грибоедова», «В. Г. Белинский — совре­менник Н. В. Гоголя», «Отцы старше своих детей» и т. д.

Формула, выражающая суждение с двухместным отношени­ем, записывается как аRb или R (а, b), где а и b — имена пред­метов, a R — имя отношения. В суждении с отношением может что-либо утверждаться или отрицаться не о двух, а о трех, четырех или большем числе предметов. Например, «Бологое находится между Санкт-Петербургом и Москвой». Такие сужде­ния выражаются формулой R (a₁ ,а₂ , а₃ ..., а_n ).

3. Суждения существования (экзистенциальные). В них утвер­ждается или отрицается существование предметов (материаль­ных или идеальных) в действительности. Примеры этих сужде­ний: «Существует атомный реактор в Чернобыле», «Не существу­ет беспричинных явлений».

Категорические суждения и их виды (деление do количеству и качеству)

В традиционной логике все три указанных вида представляют простые категорические суждения. По качеству связки («есть» или «не есть») категорические суждения делятся на утвердитель­ные и отрицательные. Суждения «Многие промышленные пред­приятия рентабельны», «Все страусы — птицы» утвердительные. Суждения «Некоторые дома не являются благоустроенными», «Ни один карась не является хищной рыбой» отрицательные. Связка «есть» в утвердительном суждении отражает наличие у предмета (предметов) некоторых свойств. Связка «не есть» отражает то, что предмету (предметам) не присуще некоторое свойство.

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

В зависимости от того, обо всем классе предметов, о части этого класса или об одном предмете идет речь в субъекте, сужде­ния делятся на общие, частные и единичные. Например, «Все соболя — ценные пушные звери» и «Все здравомыслящие люди хотят долгой, счастливой и полезной жизни» (Поль С. Брэгг) — общие суждения; «Некоторые цветы — розы» — частное; «Везу­вий — действующий вулкан» — единичное.

Структура общего суждения: «Все S есть (не есть) Р». Единич­ные суждения будут трактоваться как общие, так как их субъек­том является одноэлементный класс.

Среди общих суждений встречаются выделяющие суждения, в состав которых входит кванторное слово «только», — «Только добрый человек может быть врачом» (П. Дюбуа). Примерами выделяющих суждений являются и следующие: «Поль С. Брэгг пил только дистиллированную воду», «Человеческий организм может усваивать только органические вещества», «Смелый чело­век не боится правды. Ее боится только трус» (А. Конан Дойл).

Среди общих суждений имеются исключающие суждения, на­пример: «Все студенты нашей группы, за исключением больных, пришли на семинар». К числу исключающих суждений относятся и те, в которых выражены исключения из правил русского или иных языков, правил логики, математики и других наук.

Частные суждения имеют структуру: «Некоторые S есть (не есть) Р». Они делятся на неопределенные и определенные. Напри­мер, «Некоторые грибы — съедобны» — неопределенное частное суждение. Мы не установили, обладают ли признаком съедоб­ности все грибы, но не установили и того, что признаком съедоб­ности не обладают некоторые грибы. Если мы установили, что «Только некоторые S обладают признаком Р», то это будет определенное частное суждение, структура которого: «Только некоторые S есть (не есть) Р». Примеры: «Только некоторые грибы съедобны»; «Только некоторые остроугольные треуголь­ники являются равносторонними»; «Только некоторые тела легче воды». В определенных частных суждениях часто применяются кванторные слова: большинство, меньшинство, немало, не все, многие, почти все, несколько и др.

Единичные суждения имеют структуру: «Это S есть (не есть) Р». Примеры единичных суждений: «Эверест — высочайшая вер­шина мира», «Третьяковская галерея в Москве — крупнейший в России музей, где собраны лучшие произведения отечествен­ного искусства».