Простое суждение содержит только одно S и одно P, может быть либо истинным, либо ложным. Суждение «День был холодным» является простым, а «День был холодным, к вечеру пошел дождь» – сложным.
По различиям СОДЕРЖАТЕЛЬНЫХ СВЯЗЕЙ МЕЖДУ ТЕРМИНАМИ выделяют следующие виды суждений:
в суждениях свойства (категорических, атрибутивных) утверждается или отрицается принадлежность субъекту определенных свойств, например, «У розы приятный запах»;
в суждениях с отношениями описываются отношения между предметами, например, «Всякий протон тяжелее электрона»;
в суждениях существования говорится о существовании или несуществовании тех или иных предметов, например, «Не существует беспричинных явлений», «На Марсе существует жизнь»;
в модальных суждениях не констатируется связь между субъектом и предикатом, а оценивается возможность этой связи, например, «Возможно, что существуют внеземные цивилизации», «Необходимо, что все тела падают на Землю» и др.
Эти различия в содержании следует учитывать при логическом анализе высказываний.
Наиболее распространенной формой простых суждений являются категорические (многие другие простые суждения могут быть сведены к категорическим, например, «Всякий протон есть более тяжелый, чем электрон»). Поэтому в логике более детально проанализированы виды именно таких простых суждений.
ПО КОЛИЧЕСТВУ СУБЪЕКТА категорические суждения бывают:
à общие суждения – речь идет обо всем классе предметов: «Все S есть (не есть) Р», например, «Все люди смертны», «Каждая работа нуждается в оценке», «Ни одно растение не может жить без воды»; используются кванторы «все», «всякий», «каждый», «ни один»;
à частные суждения – речь идет о части класса предметов: «Некоторые S есть (не есть) Р», например, «Многие студенты отсутствовали на лекции»; вводятся кванторами «некоторые», «иногда», «часто», «много», «изредка», «обычно», «чаще всего», «большинство», «немало», «не все», «почти все», «несколько», «часть»;
à единичные суждения – речь идет об одном предмете: «Это S есть P», например, «Эверест – высочайшая вершина мира»; так как единичные суждения охватывают весь класс предметов, состоящий из одного предмета, их можно рассматривать как общие.
ПО КАЧЕСТВУ СВЯЗКИ категорические суждения бывают:
à утвердительные суждения – указывают на наличие признака у предмета: «S есть P», например, «Книги стоят на полке»;
à отрицательные суждения – указывают на отсутствие признака у предмета: «S не есть P», например, «Некоторые деревья не являются хвойными».
ОБЪЕДИНЕННАЯ КЛАССИФИКАЦИЯ видов простых категорических суждений:
à общеутвердительное суждение (А): «Все S есть P», например, «Все книги полезны»;
à частноутвердительное суждение (I): «Некоторые S есть P», например, «Некоторые книги полезны»;
à общеотрицательное суждение (Е): «Ни одно S не есть P», например, «Ни одна книга не полезна»;
à
| А |
| I |
| О |
| E |
Латинские буквы, которыми обозначены виды простых категорических суждений по объединенной классификации, имеют следующее происхождение. Буквы А и I, обозначающие общеутвердительное и частноутвердительное суждения, являются гласными буквами латинского слова affirmo, т.е. «утверждаю». Буквы Е и О, обозначающие общеотрицательное и частноотрицательное суждения, являются гласными буквами латинского слова nego, т.е. «отрицаю».
Эти суждения можно представить вершинами квадрата, который в логике называется «логическим квадратом». Важно правильно запомнить расположение суждений по вершинам: общие суждения – наверху, частные – внизу, утвердительные – слева, отрицательные – справа.
Выполните упражнения №2 (определите вид суждений), №3 и №4.