Логика

И.И. Веревичев

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

Простое суждение может выражать логическую связь между двумя понятиями, характеризующими либо отношения между предметами и их признаками, либо отношения между самими предметами, либо сами факты существования предметов или признаков. К простым суждениям относятся:

1) атрибутивные суждения (категорические);
2) реляционные суждения (суждения с отношениями);
3) экзистенциальные суждения (суждения существования), а также выделяющие суждения и исключающие.

Атрибутивные суждения подчиняются логической схеме «S есть Р», где S — субъект суждения, т. е. понятие о самом предмете суждения, а Р — предикат, т. е. понятие о признаке предмета суждения. S и Р называются основными терминами: их взаимосвязь может быть выражена явно (с помощью логических связок: «есть», «суть» и др.) или неявно (с помощью дефиса «-»). В такого рода суждениях могут присутствовать также (явно или неявно) кванторные слова, уточняющие объем субъекта в суждении. Различают кванторы всеобщности — («все»), и кванторы существования — «некоторые»).

Схема реляционных суждений: " а R в «, где а и в — предметы, а R — отношение между ними. Реляционные суждения обычно выражают отношения между однородными предметами. К примеру, суждение «Иван любит Марью» является реляционным, а суждение «Иван любит Родину» — уже является атрибутивным, так как по смыслу оно тождественно суждению «Иван — патриот»

В экзистенциальных суждениях выражается сам факт наличия или отсутствия какого-либо предмета, признака или отношения («Я здесь», «Дождь идет», «Хуже не будет», «Цепь висит», «Сидоров влюбился» и т. п.).