мысль, в которой утверждается наличие или отсутствие каких-либо положений дел. Различают простые и сложные суждения. Простым называется суждение, в котором нельзя выделить правильную часть, т. е. часть, не совпадающую с целым, в свою очередь являющуюся суждением. Основными видами простых суждений являются атрибутивные и суждения об отношениях. Атрибутивными называются суждения, в которых выражается принадлежность предметам свойств или отсутствие у предметов каких-либо свойств. Атрибутивные суждения можно истолковать как суждения о полном или частичном включении или невключении одного множества предметов в другое или как суждения о принадлежности или непринадлежности предмета классу предметов. Атрибутивные суждения состоят из субъекта (логического подлежащего), предиката (логического сказуемого) и связки, а в некоторых имеются еще так называемые кванторные (количественные) слова («некоторые», «все», «ни один» и др.). Субъект и предикат называются терминами суждения.
Субъект часто обозначается латинской буквой S (от слова «subjectum»), а предикат — P (от слова «praedicatum»). В суждении «Некоторые науки не являются гуманитарными» субъект (S) — «науки», предикат (P) — «гуманитарные», связка — «не являются», а «некоторые» — кванторное слово. Атрибутивные суждения делятся на виды «по качеству» и «по количеству». По качеству они бывают утвердительными (связка «суть» или «есть») и отрицательными (связка «не суть» или «не есть»). По количеству атрибутивные суждения делятся на единичные, общие и частные. В единичных суждениях выражается принадлежность или непринадлежность предмета классу предметов. В общих — включение или невключение класса предметов в класс.
В частных суждениях выражается частичное включение или невключение класса предметов в класс предметов. В них слово «некоторые» употребляется в Смысле «по крайней мере некоторые, а может быть и все».
Суждения форм «Все S суть Ps> (общеутвердительное), «Ни один S не сугьР» (общеотрицательное), «Некоторые S суть Р» (частноутвердительное), «Некоторые S не суть Р» (частноотрицательное) называются категорическими. Термины в категорических суждениях могут быть распределены (взяты в полном объеме) и не распределены (взяты не в полном объеме). В общих суждениях распределены субъекты, а в отрицательных предикаты. Остальные термины не распределены.
Суждения, в которых говорится о том, что определенное отношение имеет место (или не имеет места) между элементами пар, троек и т. д. предметов, называются суждениями об отношениях. Они делятся по качеству на утвердительные и отрицательные. По количеству суждения о двухместных отношениях делятся на единично-единичные, обще-общие, частно-частные, единично-общие, единично-частные, общеединичные, частно-единичные, обще-частные, частно-общие. Напр., суждение «Каждый студент нашей группы знает какого-нибудь академика» является обще-частным. Аналогично деление на виды по количеству суждений о трехместных, четырехместных и т. д. отношениях. Так, суждение «Некоторые студенты философского факультета знают некоторые древние языки лучше любого современного иностранного языка» является частно-частно-общим.
Кроме атрибутивных и суждений об отношениях в качестве специальных видов простых суждений выделяют суждения существования (типа «Инопланетяне существуют») и суждения тождества (равенства) (типа «a=fe>).
Описанные суждения, а также образованные из них сложные суждения называются ассерторическими. Они являются (просто) утверждениями или отрицаниями. Наряду с утверждениями и отрицаниями выделяют так называемые сильные и слабые утверждения и отрицания. Напр., усилением ассерторических суждений «Человеку присуще свойство общения с себе подобными», «Человек не живет вечно», «Человек имеет мягкие мочки ушей» являются соответственно суждения «Человеку по необходимости присуще свойство общения с себе подобными», «Человек не может жить вечно», «Человек случайно имеет мягкие мочки ушей». Сильные и слабые утверждения и отрицания являются алетическими модальными суждениями. Среди них выделяют суждения необходимости (аподиктические), возможности и случайности.
Среди сложных суждений выделяют несколько видов. Соединительные суждения — это суждения, в которых утверждается наличие двух или более ситуаций. В естественном языке они образуются из других суждений чаще всего посредством союза «и». Этот союз обозначается символом л, называемым знаком (коммутативной) конъюнкции. Суждение с этим союзом называется (коммутативно) конъюнктивным. Определением знака конъюнкции является таблица, показывающая зависимость значения конъюнктивного суждения от значений составляющих его суждений. В ней «и» и «л» — это сокращения для значений «истина» и «ложь».
Суждения, в которых утверждается последовательное возникновение или существование двух или более ситуаций, называются некоммутативно-конъюнктивными. Они образуются из двух или более суждений при помощи союзов, обозначаемых символами T-t, 7з и т. д. в зависимости от числа суждений, из которых они образуются. Эти символы называются знаками некоммутативной конъюнкции и соответственно читаются «..., а затем...», *..., затем..., а затем...» и т. д. Индексы 2,3 и т. д. указывают на местность союза.
Разделительные суждения — это суждения, в которых утверждается наличие одной из двух, трех и т. д. ситуаций. Если утверждается наличие по крайней мере одной из двух ситуаций, суждение называется (нестрого) разделительным, или дизъюнктивным. Если утверждается наличие ровно одной из двух или более ситуаций, суждение называется строго-разделительным, или строго-дизъюнктивным. Союз «или», посредством которого выражается утверждение первого типа, обозначается символом (читается «или»), называемым знаком нестрогой дизъюнкции (или просто знаком дизъюнкции), а союз «или..., или...», посредством которого выражается утверждение второго типа, — символом у (читается «или..., или...»), называемым знаком строгой дизъюнкции. Табличные определения знаков нестрогой и строгой дизъюнкции:
Суждение, в котором утверждается, что наличие одной ситуации обусловливает наличие другой, называется условным. Условные суждения чаще всего выражаются предложениями с союзом «если..., то...». Условный союз «если..., то...» обозначается стрелкой «->».
В языках современной логики находит широкое распространение союз «если..., то...», обозначаемый символом «э». Этот символ называется знаком (материальной) импликации, а суждение с этим союзом — импликативным. Часть импликативного суждения, находящуюся между словами «если» и «то», называют антецедентом, а часть, находящуюся после слова «то», — консеквентом. Знак импликации определяется таблицей истинности:
Суждение эквивалентности — это суждение, в котором утверждается взаимная обусловленность двух ситуаций. Союз «если и только если..., то...» употребляется еще в одном смысле. В этом случае он обозначается символом «=», называемым знаком материальной эквивалентности, который определяется таблицей истинности:
Суждения с этим союзом называются суждениями материальной эквивалентности.
Выше охарактеризованы простые алогические модальные суждения. Сложные суждения, образованные из других суждений посредством выражений «необходимо, что», «случайно, что», возможно, что» тоже называются алетическими модальными суждениями. Алетическими модальными суждениями являются также сложные суждения, отдельные составные части которых являются алетическими модальными суждениями. Алетические модальные понятия («необходимо», «случайно», «возможно») делятся на логические и фактические (физические). Положение дел может быть логически возможно или фактически возможно, логически необходимо или фактически необходимо, логически случайно или фактически случайно. Логически возможно то, что не противоречит законам логики. Фактически возможно то, что не противоречит законам природы и общественной жизни.
Логически необходимо то, что является законом логики. Фактически необходимы законы природы и общественной жизни и логические следствия из них. Лит.: Доймви/мо Е. К., Дегтярев М. Г. Логика. М., 1998; Ивлев Ю. В. Логика. М., 1998.
Ю. В. Ивлев