Суждение в логике

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

Природа простых суждений. Простые суждения, поскольку в них раскрывается безусловная связь между предметами мысли, называются еще иначе категорическими. С точки зрения функций они служат отражением той или иной относительно самостоятельной связи объективного мира — независимо от того, какая это связь по своему содержанию. С точки зрения структуры простые категорические суждения, будучи далее неделимыми на еще более простые суждения, включают в себя в качестве составных частей лишь понятия, образующие субъект и предикат.

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

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

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

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

В связи с этим выделяются две основные разновидности утвердительных суждений: а) суждения с предикатом, который выражен положительным понятием. Формула «S есть Р». Пример: «Судьи самостоятельны»; б) суждения с предикатом, представляющим собой отрицательное понятие. Формула «S есть не-Р». Пример: «Судьи независимы». Другие примеры: «Многие законы действуют», «Некоторые законы бездействуют».

Отрицательные суждения тоже имеют две разновидности: •а) суждения с положительным предикатом. Формула: «S не есть Р». Пример: «Петров не есть патриот»; б) суждения с отрицательным предикатом: «Петров не есть непатриот». Еще примеры: «Органы местного самоуправления не входят в систему органов государственной власти» и «Федеральное Собрание не является негосударственным органом».

Деление суждений на утвердительные и отрицательные в известной степени относительно. Любое утверждение содержит в себе в скрытом виде отрицание. Вспомним афоризм: «Determinatio est negatio». И наоборот. Так, если «Это слон», то, значит, «это» не какое-то другое животное — лев, жираф и т. д. А если «Это не слон», то, значит, «это» другое животное — лев, жираф и т. п. Вот почему утвердительное суждение можно выразить в форме отрицательного и наоборот. Например: «Петров — патриот» — «Петров не есть непатриот». Здесь как в математике: двойное отрицание равно утверждению.

Познавательное значение утвердительных и отрицательных суждений определяется их особенностями, которые носят объективный характер. Утвердительные суждения (если они истинные) дают знания о том, что именно представляет собой предмет мысли, какова его качественная определенность, выделяющая его среди других предметов. А так как в природе и обществе все взаимосвязано, то из любого утверждения вытекают соответствующие, и притом многообразные, последствия. Так, говоря, что «Это человек», мы в то же время утверждаем, что «Это животное, способное к труду, одаренное разумом и речью» и т. д.

Отрицательные (истинные) суждения, вопреки мнению некоторых логиков, тоже имеют рациональный смысл, если не иметь в виду суждений типа «Роза не верблюд». Они важны прежде всего сами по себе, так как отражают объективное отсутствие чего-либо у чего-то. Недаром говорят: «Отрицательный результат тоже результат». Но они не менее важны в их отношении к утвердительным суждениям. Установление того, чем не является предмет мысли, — ступень к раскрытию его действительной сущности. Так, суждение: «Киты — не рыбы» диалектически связано с суждением: «Киты — млекопитающие», служит его предпосылкой.

И все же утвердительные суждения информационно более насыщенны, а следовательно, обладают большей познавательной силой. Из отрицательного суждения далеко не всегда определенно следует, чем непосредственно является предмет. А из утвердительного вполне определенно следует не только то, чем он является, но и то, чем не является.

Знание особенностей утвердительных и отрицательных суждений имеет не только теоретическую, но и практическую значимость. Взять для примера известный юридический принцип презумпции невиновности. Как правильнее, сильнее, категоричнее, а следовательно, гуманнее и демократичнее его сформулировать: «Обвиняемый считается невиновным» или «Обвиняемый не считается виновным»? В законодательстве нашей страны была принята первая его формулировка — утвердительная. В процессе обсуждения проекта новой Конституции Российской Федерации некоторые авторы предлагали дать ему иную, отрицательную. При этом делалась ссылка на конституции некоторых государств, в частности Италии, Польши, Югославии. И все же в принятом ныне тексте Конституции России принцип презумпции невиновности дан в утвердительной форме: «Каждый обвиняемый в совершении преступления считается невиновным, пока его виновность не будет доказана в предусмотренном федеральным законом порядке и установлена вступившим в законную силу приговором суда» (ст. 49). Сделано это, разумеется, правильно, так как утвердительная форма суждения так или иначе «сильнее» отрицательной.

Помимо исходного, фундаментального деления простых категорических суждений по качеству существует еще их деление по количеству.

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

Общими называются суждения, в которых что-либо утверждается обо всей группе предметов, и притом в разделительном смысле. В русском языке такие суждения выражаются словами «все», «всякий», «каждый», «любой» (если суждения утвердительные) или «ни один», «никто», «никакой» и др. (в отрицательных суждениях). В символической логике такие слова называются кванторами (от лат. quantum — сколько). В данном случае это квантор общности. Для его обозначения используется символ ? (от англ, all — все). Формула «? хР(х) интерпретируется так: «для всех х имеет место Р(х)». В традиционной логике общие суждения выражаются формулой «Все S есть Р» («Ни одно S не есть Р»).

Примеры: «Все люди смертны», «Ни один человек не бессмертен».

Юридические примеры: «Все адвокаты — юристы»; «Никто не может нести ответственность за деяние, которое в момент его совершения не признавалось правонарушением». Кванторное слово нередко опускается, его можно подставить лишь мысленно. Так, в суждении: «Кто ясно мыслит, тот ясно излагает» имеется в виду «всякий», «любой». У Пушкина в суждении «Острая шутка не есть окончательный приговор» подразумевается «никакая». Общими суждениями этого же типа являются афоризмы: «Сравнение — не доказательство», «Невежество — не аргумент» и др.

Юридические документы часто содержат подобные суждения: «Граждане Российской Федерации…» (имеются в виду «все») или «Судьи неприкосновенны» (тоже относится к «каждому»).

Общие суждения имеют свои разновидности. Прежде всего они могут быть выделяющими и невыделяющими.

В выделяющих нечто говорится лишь о данной группе. В русском языке они выражаются словами «только», «лишь», «лишь только» и т. д. Примеры: «Только люди — разумные существа на Земле» (это означает, что других разумных существ на Земле нет); «Только суд осуществляет в Российской Федерации правосудие»; «Лишь лицо, совершившее общественно опасное деяние, может быть признано виновным в преступлении».

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

Частные суждения — те, в которых что-либо высказывается о части какой-то группы предметов. В русском языке они выражаются такими словами, как «некоторые», «не все», «большинство», «часть», «отдельные» и др. В символической логике такие слова носят наименование «квантор существования» и обозначаются символом «?» (от англ, exist — существовать). Формула ? х Р(х) читается так: «Существует х такой, что имеет место Р(х)» или «Для некоторых х имеет место Р(х)». В традиционной логике принята следующая формула частных суждений: «Некоторые S есть (не есть) Р».

Примеры: «Некоторые войны справедливы», «Некоторые войны несправедливы» или «Некоторые свидетели правдивы», «Некоторые свидетели не правдивы», «Некоторые таможенники — юристы», «Некоторые таможенники — не юристы». Кванторное слово здесь тоже может опускаться. Поэтому, чтобы определить, имеется ли налицо частное или общее суждение, надо мысленно подставить соответствующее слово. Например, латинская пословица: «Errare humanum est» («Людям свойственно ошибаться») не означает, что это относится к каждому человеку. Здесь понятие «люди» взято в собирательном смысле. В другой латинской пословице: «Quod licet Jovi, non licet bovi» («Что дозволено Юпитеру, то не дозволено быку») предполагается не «всё», лишь «кое-что».

Нетрудно понять, что кванторные слова частных суждений, логически тождественные, фактически по-разному характеризуют объем субъекта. Поэтому на практике они далеко не взаимозаменяемы. Так, суждения: «Большинство населения проголосовало за Конституцию» и «Меньшинство населения проголосовало за Конституцию» в логическом отношении оба — частные, но их конкретный смысл принципиально различен. Поэтому их политические и юридические последствия прямо противоположны: «Конституция принята» или «Конституция не принята».

Подобную разницу тонко уловила одна из моих слушательниц Вера Аксенова. Она рассказала, как однажды проводилась проверка работы отдела предпринимательской деятельности Комитета по управлению госимуществом г. Истра. В результате выявилось, что «Некоторые предприятия зарегистрированы без представления необходимых документов» (из 30 предприятий таких оказалось 5). Однако в акте проверки записано, что «Большинство предприятий было зарегистрировано без представления необходимых документов». Разумеется, и то и другое суждение — частные. Но если первое суждение, основанное на фактах, истинно, то второе — ложно.

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

В определенных частных суждениях что-либо говорится лишь о части какой-то группы предметов и не может быть распространено на всю группу предметов в целом. Слово «некоторые» здесь понимается в смысле «только некоторые». Примеры: «Некоторые люди красивы»; «Некоторые книги не интересны»; «Некоторые юристы — депутаты Государственной Думы».

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

Разумеется, в живой практике мышления не всегда так просто можно решить, в каком смысле высказывается частное суждение. Возьмем для примера пословицу: «Не все то золото, что блестит». Ясно, что это частное суждение. Но какое? Найдем вначале субъект и предикат суждения, а для этого выразим его в соответствующей грамматической форме: «Не все то, что блестит, есть золото», т. е. «Лишь некоторые блестящие вещи есть золото». Теперь ясно, что это определенное частное суждение.

Единичные суждения — такие, в которых нечто высказывается об отдельном предмете мысли. В русском языке они выражаются словами «это», именами собственными и т.д. Формула «Это S есть (не есть) Р». Примеры: «Это кремль»; «Московский Кремль — самый красивый в мире»; «Санкт-Петербург не является столицей России». Юридические примеры: «Уголовный кодекс Российской Федерации пересмотрен», «Пенсионный фонд России работает успешно».

Единичные суждения, так же как общие и частные, имеют свои разновидности. Одна из них — суждения об индивидуальном предмете: «Это Солнце», «Солнце — источник жизни на Земле», «Луна — не планета». Другую составляют суждения о совокупности предметов, рассматриваемых как единое целое и выражаемых собирательными понятиями. Например: «Солнечная система — не единственная планетная система в нашей Галактике»; «Большая Медведица — созвездие». Поскольку в том и другом случае нечто говорится о предмете мысли в целом, единичные суждения в логике приравниваются к общим и отдельному логическому анализу не подлежат.

Между частными и общими суждениями тоже нет абсолютной грани. Например: «Все студенты, не считая двоих, пришли на семинар по логике». Какое это суждение? С одной стороны, здесь кванторное слово «все». Значит, это по форме общее суждение. А с другой — слова «не считая двоих». Значит, не «все», а «некоторые». Следовательно, по существу это частное суждение. Подобные суждения, носящие промежуточный характер, называются в логике исключающими. Они выражаются в русском языке словами: «исключая», «кроме», «помимо» и т.п. В юридической практике такие суждения нередки. Например: «Как правило, закон обратной силы не имеет» (т.е. бывают исключения); «Разбирательство дел во всех судах открытое, за исключением случаев, когда это противоречит интересам охраны государственной тайны»; «Потерпевший, как правило, допрашивается ранее свидетелей».

Наконец, относительна грань между частными и единичными суждениями. Так, словесное выражение частного суждения «по крайней мере некоторые» означает «хотя бы один». Например, достаточно кому-либо в научной или философской литературе, средствах массовой информации и т.д. высказать какое-либо мнение, чтобы можно было сказать: «Некоторые авторы выдвигают такое мнение…» Или если хотя бы в одной из конституций стран мира записана какая-либо статья, то можно сказать: «В некоторых конституциях…»

Познавательная ценность общих, частных и единичных суждений различна, но по-своему велика. Так, в единичных суждениях содержатся знания об отдельных предметах и явлениях: исторических событиях, великих личностях, фактах современной общественной жизни. Юридическая практика, по существу, вся основывается на единичных суждениях: например, гражданские и уголовные дела — на отдельных фактах, лицах, вещах. Единичные суждения дают также знания и о целых Совокупностях, «ансамблях» предметов, а следовательно, могут выражать определенные общие закономерности, приобретать огромное мировоззренческое значение. Например: «Земля — рядовое небесное тело» (а не центр мироздания, как полагали до Коперника); «Солнечная система не вечна» (а возникла из первоначальной гигантской туманности, как предполагал И. Кант); «Вселенная нестационарна» (как доказывал на основе теории относительности А. Эйнштейна А. Фридман).

Частные суждения содержат знания о типах, формах, видах, разновидностях и т.д. той или иной группы предметов. Например: «Некоторые металлы легче воды», «Некоторые млекопитающие живут в воде», «Некоторые люди гениальны». При определенных условиях частные суждения могут превращаться в общие. Например: «Некоторые металлы электропроводны» — «Все металлы электропроводны».

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

В процессе познания и общения единичные, частные и общие суждения взаимодействуют между собой. На основе единичных суждений возникают обобщения в виде частных и общих суждений. Так, кропотливое исследование фактов преступности в стране позволяет сделать общие выводы о ее причинах, характере, тенденциях развития, возможных последствиях. В свою очередь, наличие общих суждений становится основой для подведения отдельных случаев под общее правило.

Рассмотренные в методических целях порознь, качество и количество суждения тесно связаны. Поэтому в логике большое значение придается объединенной классификации суждений по их количеству и качеству. Возможны четыре вида таких суждений: общеутвердительные, частноутвердительные, общеотрицательные и частноотрицательные.

Общеутвердительными называются суждения, по количеству, т. е. по характеру субъекта, общие, а по качеству, т. е. характеру связки, утвердительные. Например: «Все адвокаты — юристы».

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

Общеотрицательные суждения — общие по количеству, отрицательные по качеству. Пример: «Ни один обвиняемый не оправдан».

Наконец, частноотрицательные суждения — частные по количеству, отрицательные по качеству. Пример: «Некоторые свидетели не дают верных показаний».

Для формульной записи этих видов суждений в логике используются гласные буквы двух латинских слов «affirmo» («утверждаю») и «nego» («отрицаю»). Конкретно они означают суждения:

А — общеутвердительные,

I — частноутвердительные,

Е — общеотрицательные,

О — частноотрицательные.

Чтобы правильно понимать смысл суждений и правильно оперировать ими, необходимо знать распределенность терминов в них — субъекта и предиката.

Распределенным считается термин, мыслимый во всем объеме; нераспределенным — если он мыслится не во всем объеме, а частично.

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

Исключение составляют лишь случаи, когда суждение — общевыделяющее. Например: «Только люди — разумные существа на Земле». Здесь распределены и субъект, и предикат.

В частноутвердительных суждениях (I): «Некоторые S есть Р» — субъект и предикат не распределены.

Исключение составляют лишь случаи, когда субъект по объему шире предиката. Например: «Некоторые смертные существа — люди», «Некоторые юристы — адвокаты». В них субъект не распределен, а предикат распределен.

В общеотрицательных суждениях (Е): «Ни одно S не есть Р» — субъект и предикат распределены.

Наконец, в частноотрицательных суждениях (О): «Некоторые S не есть Р» — субъект не распределен, предикат распределен.

Обобщая сказанное, можно вывести следующие закономерности, характеризующие распределенность терминов в суждениях:

а) субъект распределен в общих и не распределен в частных суждениях)

б) предикат распределен в отрицательных и не распределен в утвердительных суждениях.

Знание распределенности терминов в суждениях имеет большое значение в практике мышления. Оно необходимо, во-первых, для правильного преобразования суждений и, во-вторых, для проверки правильности умозаключений (см. об этом ниже).

Виды суждений по характеру предиката. Предикат суждения, будучи носителем новизны, может иметь самый различный характер. С этой точки зрения во всем многообразии суждений выделяются три наиболее распространенные группы: атрибутивные, реляционные и экзистенциальные.

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

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

В другой разновидности предикат — абстрактное понятие. Например: «Ртуть электропроводна» (т.е. она обладает отдельным свойством — электропроводности). Нетрудно, однако, заметить относительность различий между этими разновидностями. Достаточно сравнить следующие пары суждений: «Человек — мыслящее существо» и «Человеку свойственно мыслить»; «Всякое преступление — общественно опасное деяние» и «Всякое преступление обладает общественной опасностью».

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

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

Реляционные суждения (от лат. relatio — отношение), или суждения об отношениях чего-либо к чему-то, раскрывают наличие или отсутствие у предмета мысли того или иного отношения к другому предмету (или нескольким предметам). Поэтому они обычно выражаются специальной формулой: х R у, где х и у — предметы мысли, a R (от relatio) — отношение между ними. Например: «СНГ не равно СССР», «Москва больше Санкт-Петербурга», «Дураку закон не писан».

У реляционных суждений тоже есть свои разновидности. Одну из них составляют суждения об отношениях между двумя предметами. Например: «Рязань меньше Москвы», «Знания подобны деньгам» (чем больше их имеешь, тем больше хочется иметь); «Даже самые незначительные проступки порождают великие преступления». Или, как подметил Козьма Прутков, «легче держать вожжи, чем бразды правления». В отличие от «одноместного» предиката атрибутивных суждений предикат в них называется «двухместным». Другая разновидность реляционных суждений — суждения об отношениях между тремя и более предметами. Например: «Рязань находится между Москвой и Тамбовом». Предикат здесь — «многоместный».

Относительность различий между атрибутивными и реляционными суждениями проявляется в их способности превращаться друг в друга. Так, атрибутивные суждения можно представить как частный случай реляционных, поскольку в них связка «есть» («не есть») раскрывает отношение тождества (принадлежности, включения и т.д.) между мыслимыми в S и Р предметами. А реляционное суждение, в свою очередь, можно представить как частный случай атрибутивного.

Примеры. Суждение «Все металлы электропроводны» можно превратить в суждение «Все металлы подобны электропроводным телам». В свою очередь, суждение «Рязань меньше Москвы» можно превратить в суждение «Рязань принадлежит к городам, которые меньше Москвы». Или: «Знания есть то, что подобно деньгам». В современной логике имеется тенденция свести реляционные суждения к атрибутивным.

Экзистенциальные суждения (от лат. existentia — существование), или суждения о существовании чего-либо, — это такие, в которых раскрывается наличие или отсутствие самого предмета мысли. Предикат здесь выражается словами «существует» («не существует»), «есть» («нет»), «был» («не был»), «будет» («не будет») и др. Например: «Дыма без огня не бывает», «СНГ существует», «Советского Союза нет». В процессе судопроизводства решается прежде всего вопрос: имело ли место событие: «Преступление есть» («Доказательств нет»).

Несомненно, экзистенциальные суждения обладают определенной спецификой. Однако их целесообразнее рассматривать как частный случай атрибутивных суждений. Так, суждение «СНГ существует» означает, что «СНГ обладает свойством существовать», или в объемной трактовке: «СНГ принадлежит к классу существующих межгосударственных объединений». Вот почему в последующем логическом анализе экзистенциальные суждения самостоятельно не рассматриваются.

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

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

Особое значение имеют экзистенциальные суждения. Первое, с чем сталкивается человек в своей практической деятельности, — это существование (или отсутствие) тех или иных предметов и явлений. И в настоящее время нас волнуют вопросы: есть ли жизнь на других планетах, есть ли другие разумные существа во Вселенной, существуют ли «снежный человек», «биополе», «телепатия», «полтергейст» и многое другое. В судебной практике установление факта преступления, трудового или гражданского спора — начало всего последующего разбирательства.

Знание особенностей атрибутивных, реляционных и экзистенциальных суждений имеет, таким образом, важное значение для всякого человека вообще и юриста в частности.

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

Логический же термин «модальность суждений», тоже производный от слова «modus», означает, что помимо основного конкретного содержания всякое суждение так или иначе несет с собой дополнительную смысловую нагрузку. Это информация об объективном характере (или способе) связи между субъектом и предикатом, раскрываемой в суждении, о субъективном отношении к ней человека, характере и степени вероятности заключенного в суждении знания и т. д. В русском языке модальность суждения выражается посредством огромного множества слов, таких как «возможно», «разрешено», «ценно» и им подобных, а также их отрицаний: «невозможно», «не разрешено» и др. Они называются в логике «модальными операторами». Нередко их заменяет контекст.

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

Алетическая, или истинная, модальность (от греч. aleteja — истина) выражает характер связи между мыслимыми предметами, а следовательно, между субъектом и предикатом суждения. Модальными словами в русском языке служат «возможно», «необходимо», «случайно» и их синонимы.

С точки зрения алетической модальности различают следующие разновидности суждений:

а) ассерторические суждения, или суждения о факте, действительности чего-либо. Например: «Россия переходит к рыночной экономике». В таких суждениях модальность не выражена, а констатируется лишь самый факт чего-либо;

б) проблематические суждения, или суждения о возможности чего-либо. Например: «Россия может перейти к рыночной экономике»;

в) аподиктические суждения, или суждения о необходимости чего-либо. Например: «Россия по необходимости перейдет к рыночной экономике».

Разумеется, различия между этими разновидностями относительны. Возможное способно стать необходимым, необходимое —случайным и т. д.

Во взаимоотношениях модальных суждений можно подметить определенные закономерности — например, несбалансированность (несимметричность). Так, что действительно, то и возможно, но не наоборот; то, что необходимо, то и действительно, но не наоборот.

Деонтическая, или нормативная, модальность (от греч. deon — нужное, должное) относится непосредственно к деятельности людей, нормам их поведения в обществе, как нравственным, так и правовым. Она выражается в русском языке с помощью таких слов, как «разрешается», «запрещается», «обязательно» и их аналогов.

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

а) суждения о наличии (или отсутствии) какого-либо права. Они формулируются с помощью слов «разрешено», «запрещено», «вправе» и др. Например: «Каждый имеет право на жизнь»; «В Российской Федерации признается идеологическое многообразие» (правопредоставляющие нормы). Или: «Принудительный труд запрещен»; «Никто не может быть повторно осужден за одно и то же преступление»; «Никакая идеология не может устанавливаться в качестве государственной…» (правозапрещающие нормы). Модальное слово может и отсутствовать: «Труд свободен». Диалектика наличия-отсутствия прав отражена в известной формуле: «Разрешено все, что не запрещено законом». Правда, она предполагает наличие правового государства, обладающего развитой системой законодательства, которое охватывало бы все сферы общественной жизни и, следовательно, четко очерчивало бы «запретную зону». Распространяясь лишь на отдельных граждан и их объединения, она дополняется формулой: «Запрещено все, что не разрешено законом» для должностных лиц и государственных органов;

б) суждения о наличии (или отсутствии) какой-либо обязанности. Они формулируются посредством слов «обязан», «должен», «необходимо» и др. Например: «Государственные органы… обязаны всемерно содействовать профессиональным союзам в их деятельности»; «Основное общее образование обязательно» (правообязывающие нормы). Без модального слова: «Право частной собственности охраняется законом».

Между правами и обязанностями должна быть так называемая «деонтическая сбалансированность». Под ней разумеется соответствие каждому праву какой-либо обязанности, а каждой обязанности — какого-либо права. В противном случае правовая система может быть неэффективной.

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

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

б) суждения, основанные на знании, независимо от того, проблематичные они или достоверные. Например: «Знаю, что существует закон всемирного тяготения»; «Во Вселенной, по-видимому, есть другие разумные существа», «Телепатия, вероятно, существует»; «На Марсе достоверно отсутствие жизни».

Аксиологическая, или ценностная, модальность (от греч. axios — ценный) выражает отношение человека к ценностям — материальным и духовным. Она фиксируется такими словами, как «хорошо», «плохо», «безразлично» (в ценностном отношении), «лучше», «хуже» и др. Например: «Хорошо смеется тот, кто смеется последним»; «Хорошо учиться осторожности на ошибках других»; «Плохо жить без друзей», «К сожалению, демократия — несовершенная форма правления, но она лучше других».

Разумеется, сказанным не исчерпаны все формы проявления модальности суждений. Они подробно исследуются так называемой «модальной логикой»: это обширная, относительно самостоятельная и быстро развивающаяся отрасль современной логики, имеющая большое теоретическое и практическое значение, в том числе, как отмечено выше, и для юристов.

Суждение — это мыслительный акт, выражающий отношение какого-либо лица к содержанию (смыслу и истинностному значению) высказываемой им мысли. Суждение выражается повествовательным предложением (простым или сложным, в форме утверждения или отрицания) и необходимо сопровождается той или иной модальностью, сопряжённой, как правило, с психологическим состоянием сомнения, веры, знания относительно каких-либо положений дел или убеждённости в чём-либо. Таким образом, de facto суждение выходит за рамки чистой логической рефлексии. Выражая оценочный акт, оно тесно связано с такими понятиями, как «определение» и «понимание», и тем самым характеризует способность рассудка к классификации понятий (И. Кант). Правда, в послекантовскую эпоху (в основном, стараниями Б. Больцано и Г. Фреге), стало складываться иное толкование термина «суждение». Главное, что отличает это толкование от традиционного, — абстрагирование содержания повествовательного предложения не только от его языковой формы выражения, но и от его возможной оценки, и выделение суждения в качестве абстрактного объекта «той же степени общности, как и класс, число или функция» (Чёрч А. Введение в математическую логику. — М., 1960. С. 32). В этом случае суждение объявляется своего рода оператором, определяющим истинностное значение предложения, а процесс суждения сводится к признанию истинности некоторой мысли. Такое понимание позволяет, с одной стороны, рассматривать суждение как инвариант в классе его возможных языковых представлений, а с другой — избавляет от психологического оттенка, свойственного традиционному пониманию термина «суждение». По сути, оно и открыло путь к формализации логических рассуждений за счёт переосмысления традиционного учения о структуре суждения.

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

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

  1. Атрибутивными называются суждения, в которых выражается принадлежность предметам свойств или отсутствие у предметов каких-либо свойств. Атрибутивные суждения можно истолковать как суждения о полном или частичном включении или невключении одного множества предметов в другое или как суждения о принадлежности или непринадлежности предмета классу предметов. Атрибутивные суждения состоят из субъекта (логического подлежащего), предиката (логического сказуемого) и связки, а в некоторых имеются ещё так называемые кванторные (количественные) слова («некоторые», «все», «ни один» и другие). Субъект и предикат называются терминами суждения. Субъект чаще всего обозначается латинской буквой S (от латинского слова «Subjectum»), а предикат — Ρ (от латинского слова «Praedicatum»). Так, в суждении «Некоторые науки не являются гуманитарными» субъект (S) — «науки», предикат (P) — «гуманитарные», связка — «не являются», а «некоторые» — кванторное слово. Атрибутивные суждения делятся на виды «по качеству» и «по количеству». По качеству они бывают утвердительными (связка «суть» или «есть») и отрицательными (связка «не суть» или «не есть»). По количеству атрибутивные суждения делятся на единичные, общие и частные. В единичных суждениях выражается принадлежность или непринадлежность предмета классу предметов. В общих — включение или невключение класса предметов в класс. В частных суждениях выражается частичное включение или невключение класса предметов в класс предметов. В них слово «некоторые» употребляется в смысле «по крайней мере некоторые, а может быть и все». Суждения форм «Все S суть P» (обще-утвердительное), «Ни один S не суть P» (обще-отрицательное), «Некоторые S суть P» (частно-утвердительное), «Некоторые S не суть P» (частно-отрицательное) называются категорическими. Термины в категорических суждениях могут быть распределены (взяты в полном объёме) и не распределены (взяты не в полном объёме). В общих суждениях распределены субъекты, а в отрицательных предикаты. Остальные термины не распределены.
  2. Суждениями об отношениях называются суждения, в которых говорится о том, что определённое отношение имеет место (или не имеет места) между элементами пар, троек и так далее предметов, называются суждениями об отношениях. Они делятся по качеству на утвердительные и отрицательные. По количеству суждения о двухместных отношениях делятся на единично-единичные, обще-общие, частно-частные, единично-общие, единично-частные, обще-единичные, частно-единичные, обще-частные, частно-общие. Аналогично деление на виды по количеству суждений о трёхместных, четырёхместных и так далее отношениях.

Кроме атрибутивных и суждений об отношениях в качестве специальных видов простых суждений выделяют суждения существования и суждения тождества (или равенства типа «a = b»).

Указанные суждения, а также образованные из них сложные суждения называются ассерторическими. Они являются утверждениями или отрицаниями. Наряду с утверждениями и отрицаниями выделяют так называемые сильные и слабые утверждения и отрицания. Сильные и слабые утверждения и отрицания являются алетическими модальными суждениями. Среди них выделяют суждения необходимости (аподиктические), возможности и случайности.

Среди сложных суждений выделяют несколько видов. Соединительные суждения — это такие суждения, в которых утверждается наличие двух или более ситуаций. В естественном языке они образуются из других суждений чаще всего посредством союза «и». Этот союз обозначается символом ∧, называемым знаком (коммутативной) конъюнкции. Суждение с этим союзом называется (коммутативно) конъюнктивным. Определением знака конъюнкции является представленная ниже таблица, показывающая зависимость значения конъюнктивного суждения от значений составляющих его суждений. В ней «И» и «Л» — это сокращения для значений «истина» и «ложь».

A B (A ∧ B)
И И И
И Л Л
Л И Л
Л Л Л

Суждения, в которых утверждается последовательное возникновение или существование двух или более ситуаций, называются некоммутативно-конъюнктивными. Они образуются из двух или более суждений при помощи союзов, обозначаемых символами Τ2, Т3 и так далее в зависимости от числа суждений, из которых они образуются. Эти символы называются знаками некоммутативной конъюнкции и соответственно читаются «…, а затем …», «…, затем…, а затем …» и так далее. Индексы 2, 3 … и так далее указывают на местность союза.

Разделительные суждения — это суждения, в которых утверждается наличие одной из двух, трёх и так далее ситуаций. Если утверждается наличие по крайней мере одной из двух ситуаций, суждение называется (нестрого) разделительным, или дизъюнктивным. Если утверждается наличие ровно одной из двух или более ситуаций, суждение называется строго-разделительным, или строго-дизъюнктивным.

Союз «или», посредством которого выражается утверждение первого типа, обозначается символом ∨ (читается «или»), называемым знаком нестрогой дизъюнкции (или просто знаком дизъюнкции), а союз «или…, или…», посредством которого выражается утверждение второго типа, — символом у (читается «или…, или…»), называемым знаком строгой дизъюнкции. Ниже представлены табличные определения знаков нестрогой и строгой дизъюнкции.

A B (Α ∨ Β)
И И И
И Л И
Л И И
Л Л Л
A B (Α ⊻ Β)
И И Л
И Л И
Л И И
Л Л Л

Суждение, в котором утверждается, что наличие одной ситуации обусловливает наличие другой, называется условным. Условные суждения чаще всего выражаются предложениями с союзом «если…, то…». Условный союз «если…, то»… обозначается стрелкой «→».

В языках современной логики находит широкое распространение союз «если…, то…», обозначаемый символом «⊃». Этот символ называется знаком (материальной) импликации, а суждение с этим союзом — импликативным. Часть импликативного суждения, находящуюся между словами «если» и «то», называют антецедентом, а часть, находящуюся после слова «то», — консеквентом. Знак импликации определяется таблицей истинности, представленной ниже.

A B (A ⊇ B)
И И И
И Л Л
Л И И
Л Л И

Суждение эквивалентности — это суждение, в котором утверждается взаимная обусловленность двух ситуаций.

Союз «если и только если…, то…» употребляется ещё в одном смысле. В этом случае он обозначается символом «≡», называемым знаком материальной эквивалентности, который определяется таблицей истинности, представленной ниже.

A B (A ≡ B)
И И И
И Л Л
Л И Л
Л Л И

Суждения с этим союзом называются суждениями материальной эквивалентности.

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

Отношения между суждениями имеют смысл лишь в случае сравнимых суждений.

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

Например: «Все студенты имеют зачетные книжки»; «Некоторые студенты не имеют зачетных книжек».

Сложные суждения являются сравнимыми, если они в своем составе имеют одинаковые исходные суждения и различаются логическими связками (включая отрицание).

Например: «Судьи и адвокаты имеют юридическое образование»; «Неверно, что судьи и адвокаты не имеют юридическое образование».

Сравнимые суждения могут или не могут быть одновременно истинными; могут или не могут быть одновременно ложными; истинность одного может обусловливать истинность другого. В качестве базисных отношений среди сравнимых суждений выделяют отношения совместимости и несовместимости.

К совместимым относятся суждения, которые могут быть одновременно истинными, к несовместимым – которые не могут быть одновременно истинными.

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

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

Вершины квадрата символизируют виды категорических суждений, а стороны и диагонали – отношения между суждениями (рис. 5.11).

Отношения между простыми суждениями. Логический квадрат

Рис. 5.11

Отношение совместимости

Различают три вида совместимости: эквивалентность (полная совместимость), частичная совместимость (субконтрарность), подчинение.

1. Эквивалентность (полная совместимость). Эквивалентные суждения имеют одинаковые субъекты и предикаты, однотипную связку и кванторное слово. Например: «Все государственные обвинители – юристы» и «Все прокуроры – юристы».

С помощью логического квадрата отношения между подобными простыми категорическими суждениями не иллюстрируются.

2. Частичная совместимость (субконтрарность): I – O.

Эти суждения могут быть одновременно истинными, но не

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

Выводы строятся по схемам: Iл – Ои; Ол – Iи; Iи – О?; Ои – I?. Например, если суждение (I): «Некоторые металлы легче воды» – истинно, то и суждение (О): «Некоторые металлы не легче (тяжелее) воды» – тоже истинно, и наоборот.

3. Подчинение имеет место между суждениями А – I: Е – О.

Из истинности общих суждений (А и Е) всегда следует истинность частных (I и О). Обратное неверно. И из ложности частных суждений (I и О) всегда следует ложность общих суждений (А и Е). Обратное неверно. Иначе говоря, из истинности подчиняющих суждений (А и Е) всегда следует истинность подчиненных (I и О), а из ложности подчиненных следует ложность подчиняющих суждений. Выводы строятся по схемам: Аи – Iи; Ал – I?; Iи – А?; I, – Ал (аналогично и для суждений Е – О). Например, если суждение (А): «Все студенты – учащиеся» – истинно, то и суждение (I): «Некоторые студенты – учащиеся» тоже истинно. При истинности подчиненного частного суждения общее может быть как истинным, так и ложным.

Отношение несовместимости

1. Отношения противоречия (контрадикторности): А – О, Е – I.

Эти суждения не могут быть одновременно истинными и ложными. Из истинности одного суждения следует ложность другого, из ложности одного – истинность другого.

Выводы строятся по схемам: Аи – Ол; Ал – Ои; Еи – Iл; Ел – Iи.

Например, если суждение: «Все прокуроры являются юристами» (А) – истинно, то суждение (О): «Некоторые прокуроры не являются юристами» – ложно. Если суждение (Е): «Ни один прокурор не является юристом» – ложно, то суждение (I): «Некоторые прокуроры являются юристами» – истинно.

2. Отношения противоположности (контрарности): А – Е.

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

Выводы строятся по схемам: Аи – Ел; Еи – Ал; Ал – Е?; Ел– А?.

Например, если суждение (А): «Все металлы электропроводны» – истинно, то суждение (Е): «Ни один металл не электропроводен» – ложно.

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

Несовместимые единичные суждения могут находиться лишь в отношении противоречия. Например: «М. А . Шолохов является автором романа «Тихий Дон”», «М. А. Шолохов не является автором романа «Тихий Дон”». Установить типы отношений между суждениями по логическому квадрату можно при сопоставлении разных точек зрения по спорным вопросам в процессе дискуссии, редактировании текстов и в других случаях. Знание отношений между суждениями по логическому квадрату позволяют сформулировать некоторые нормативные правила спора.

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

Во-вторых, к более вероятному и даже достоверному выводу можно прийти, когда истинная мысль движется от общего суждения к частному. Если же рассуждение осуществляется в обратном направлении, т.е. от частного к общему, то вывод получается проблематичным.

В-третьих, опровержение ложного общего суждения необходимо начинать с показа ложности частного высказывания. Знание сущности, разновидностей суждения и правил оперирования с ними служит предпосылкой для получения истинных выводов в умозаключениях.