Конкретное суждение. Виды суждений

Логика: Учебник для студентов юридических вузов и факультетов Иванов Евгений Акимович

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

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 - ценный) выражает отношение человека к ценностям - материальным и духовным. Она фиксируется такими словами, как «хорошо», «плохо», «безразлично» (в ценностном отношении), «лучше», «хуже» и др. Например: «Хорошо смеется тот, кто смеется последним»; «Хорошо учиться осторожности на ошибках других»; «Плохо жить без друзей», «К сожалению, демократия - несовершенная форма правления, но она лучше других».

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

Из книги НИЧЕГО ОБЫЧНОГО автора Миллмэн Дэн

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

Из книги Логика: конспект лекций автора Шадрин Д А

ЛЕКЦИЯ № 11 Простые суждения. Понятие и виды 1. Понятие и виды простых суждений Как известно, все суждения можно разделить на простые и сложные. Практически все суждения, приведенные выше, являются простыми. Простые суждения можно определить по контрасту со сложными.

Из книги Простая правильная жизнь автора Козлов Николай Иванович

«Как съесть слона»: разбейте сложную задачу на простые этапы Иногда вы можете столкнуться с большой, неподъемной для себя задачей, перед которой опускаются руки. Но делать ее все равно – надо. Как? Если задача огромная, как слон, разбейте ее на маленькие простые этапы, с

Из книги Введение в логику и научный метод автора Коэн Моррис

§ 3. Сложные, простые и родовые общие суждения До настоящего момента нами анализировались только категорические суждения. Однако логические связи присутствуют и между более сложными формами суждений. Рассмотрим следующие суждения:1. Вес В равен весу G . 2. Прямые АВ и CD

Из книги Открой самого себя [Сборник статей] автора Коллектив авторов

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

Из книги Логика. Том 1. Учение о суждении, понятии и выводе автора Зигварт Христоф

Отдел второй ПРОСТЫЕ СУЖДЕНИЯ Под «простым суждением» мы понимаем такое суждение, в котором субъект может рассматриваться как единое, не заключающее в себе никакого множества самостоятельных объектов представление (следовательно, он есть единственное число), и

Из книги Логика для юристов: Учебник. автора Ивлев Юрий Васильевич

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

Из книги Логика в вопросах и ответах автора Лучков Николай Андреевич

§ 41. Анализ понятия на простые элементы Так как большая часть наших представлений оказывается сложной, т. е. она возникла благодаря различимым актам, то фиксирование их содержания может производиться только посредством сознательного фиксирования их элементов

Из книги Логика: Учебник для студентов юридических вузов и факультетов автора Иванов Евгений Акимович

Из книги Логика для юристов: учебник автора Ивлев Ю. В.

Простые атрибутивные суждения и отношения между ними Атрибутивным называется суждение о признаке предмета.Данные суждения делятся по качеству и количеству, но обычно используют объединенную классификацию.По качеству суждения делятся на: утвердительные - в которых

Из книги Логика: учебник для юридических вузов автора Кириллов Вячеслав Иванович

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

Из книги Логика. Учебное пособие автора Гусев Дмитрий Алексеевич

§ 1. ПРОСТЫЕ СУЖДЕНИЯ Простым называется суждение, в котором нельзя выделить правильную часть, т.е. часть, не совпадающую с целым, в свою очередь являющуюся суждением. Среди простых суждений выделяют атрибутивные суждения и суждения об отношениях.Атрибутивные суждения.

Из книги Антология реалистической феноменологии автора Коллектив авторов

Глава IV ПРОСТЫЕ СУЖДЕНИЯ § 1. СУЖДЕНИЕ КАК ФОРМА МЫШЛЕНИЯ. СУЖДЕНИЕ И ПРЕДЛОЖЕНИЕ Суждение как форма мышленияПознавая окружающий мир, человек раскрывает связи между предметами и их признаками, устанавливает отношения между предметами, утверждает или отрицает факт

Из книги Архитектура и иконография. «Тело символа» в зеркале классической методологии автора Ванеян Степан С.

2.4. Простые суждения Если в состав суждения входит один субъект и один предикат, то такое суждение является простым. Простые суждения по объему субъекта и качеству связки делятся на 4 вида. Объем субъекта может быть общим (все) и частным (некоторые), а связка может быть

Из книги автора

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

Из книги автора

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

Человека, которая является неотъемлемым элементом всякого познания. Особенно если данный процесс связан с размышлениями, выводами и построением доказательств. В логике суждение также определяют словом "высказывание".

Суждение как понятие

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

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

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

Языковая форма суждения

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

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

Структура суждения

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

Высказывание, связывающее предмет и его признак, содержит первое и второе понятие. Предложения такого типа включают в себя:

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

    «Эти животные - хищники» - простое суждение.

    Виды суждений

    Простые высказывания классифицируют по:

    • качеству;
    • количеству (по объёму субъекта);
    • содержанию предиката;
    • модальности.

    Суждения по качеству

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

    В зависимости от качества такой связки различают две формы суждений:

    • - Утвердительная. Раскрывает наличие некой связи между субъектом и предикатом. Общая формула такого утверждения имеет вид: «S есть Р». Пример: «Солнце является звездой».
    • - Отрицательная. Соответственно, отражает отсутствие какой-либо связи между понятиями (S и Р). Формула отрицательного суждения - это «S не есть Р». Например: «Птицы не являются млекопитающими».

    Такое разделение весьма условно, так как любое утверждение в скрытом виде содержит отрицание. И наоборот. К примеру, фраза «это море» означает, что субъект - не река, не озеро и так далее. А если «это не море», то, соответственно, что-то другое, возможно, океан или залив. Вот почему одно высказывание может быть выражено в форме другого, а двойное отрицание соответствует утверждению.

    Разновидности утвердительных суждений

    Если частица «не» стоит не перед связкой, а является составной частью предиката, такие высказывания называют утвердительными: «Принятое решение было неправильным». Выделяют две разновидности:

    • - положительного свойства, когда «S есть Р»: «Собака домашняя».
    • - отрицательного характера, когда «S есть не-Р»: «Суп несвежий».

    Разновидности отрицательных суждений

    Аналогично среди отрицательных высказываний различают:

    • - с положительным предикатом, формула «S не есть Р»: «Оля не ела яблоко»;
    • - с отрицательным предикатом, формула «S не есть не-Р»: «Оля не может не пойти».

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

    Суждения по количеству

    Ещё одной характеристикой, основанной на знании логического объёма субъекта, является количество. Выделяют следующее виды:

    • Единичные, содержащие информацию об одном субъекте. Формула: «S есть (не есть) Р».
    • -Частные - это те, которые имеют суждение о части предметов отдельного класса. В зависимости от определённости этой части различают: определённые ("Только некоторые S есть (не есть) Р") и неопределённые ("Некоторые S есть (не есть) Р").
    • -Общие содержат утверждение либо отрицание о каждом предмете рассматриваемого класса («Все S есть Р» или «Ни одно S не есть Р»).

    Объединённые суждения

    Многие высказывания имеют одновременно и качественную, и количественную характеристику. Для них применяется объединённая классификация. Это даёт четыре вида суждений:

    • - Общеутвердительное: «Все S есть Р».
    • - Общеотрицательное: «Ни одно S не есть Р».
    • - Частноутвердительное: «Некоторые S есть Р».
    • - Частноотрицательное: «Некоторые S не есть Р».

    Разновидность суждений по содержанию предиката

    В зависимости от смысловой нагрузки предиката выделяют высказывания:

    • - свойства, или атрибутивные;
    • - отношения, или релятивные;
    • - существования, или экзистенциальные.

    Простые суждения, раскрывающие прямую связь между предметами мысли, независимо от ее содержания, называют атрибутивными, или категорическими. Например: «Никто не вправе лишать жизни другого». Логическая схема атрибутивного высказывания: «S есть (или не есть) Р» (субъект, связка, предикат соответственно).

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

    Если предикат указывает на факт отсутствия или наличия связи между предметами или самого объекта мысли, такое высказывание называют экзистенциальным. Здесь предикат выражается словами: "есть/нет", "был/не был", "существует/не существует" и так далее. Пример: «Нет дыма без огня».

    Модальность суждений

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

    Существуют такие виды модальности:

    • -Алетическая (истинная) модальность. Выражает связь между предметами мысли. Модальные слова: «возможно», «случайно», «необходимо», а также их синонимы.
    • -Деонтическая (нормативная) модальность. Относится к нормам поведения. Слова: «запрещается», «обязательно», «разрешается», «позволено» и так далее.
    • -Эпистемическая (познавательная) модальность характеризует степень достоверности («доказано», «опровергнуто», «сомнительно» и их аналоги).
    • -Аксиологическая (ценностная) модальность. Отражает отношение человека к каким-либо ценностям. Модальные слова: «плохо», «безразлично», «маловажно», «хорошо».

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

    Структура сложного высказывания

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

    • -Квантор общности - это слова «все», «каждый», «ни один», «всякий» и так далее. Предложения в данном случае выглядят следующим образом: «Все предметы обладают определённым свойством».
    • -Квантор существования - это слова «некоторые», «многие», «немного», «большинство» и так далее. Формула сложного предложения в этом случае: «Существуют некоторые объекты, обладающие определёнными свойствами».

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

    Способность к суждению

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

Суждение - это форма мышления, в которой утвержда­ется или отрицается связь между предметом и его признаком, отношения между предметами или факт существования предме­та. Суждение обладает свойством выражать либо истину, либо ложь. Истинное суждение – суждение в котором мысль, отражая действительность, во-первых, связывает то, что связано в самой действительности; во-вторых, в истинном суждении мысль связывает предметы и разделяет их таким образом, каким они связываются и разделяются в самой действительности. Ложное суждение – суждение в котором мысль, во-первых, связывает то, что не связано в самой действительности, и разделяет то, что в самой действительности СО связано, во-вторых, суждение ложно даже в тех случаях, когда оно, пытаясь соединить то, что соединено в самой действительности, связывает предметы не так, как они связаны в самой действительности.

Каждое суждение обладает определенной структурой , состоящей из двух тесно связанных между собой компонентов: субъекта и предиката. Субъект суждения – это понятие, о котором что-либо утверждается или отрицается, сокращенно обозначается в логике буквой «S». Предикат суждения – это понятие о том, что именно утверждается или отрицается о некотором другом понятии, сокращенно обозначается буквой «Р». Субъект и предикат называются терминами суждения. В этом состоит одна из логических функций понятий. Термины суждения носят соотносительный характер. Один не существует без другого. Однако роль терминов в суждении далеко не одинакова. Субъект содержит уже известное знание, а предикат несет о нем новое знание. Отношение между субъектом и предикатом раскрывается посредством логической связки и в языке выражается словами «есть» («не есть»), «является» («не является»), «представляет собой» («не представляет собой») и др. Иногда связка отсутствует, а логическое соотношение между субъектом и предикатом раскрывается посредством грамматического согласования слов: «Конституция принята». Материальной формой суждения, ее носителем является предложение . Повествовательные предложения выражают суждение. В вопросительных предложениях суждения содержатся неявно. Побудительные предложения, подобно вопросительным, также основаны на каких-либо суждениях. В полном смысле суждения выражают только повествовательные предложения. Обладая определенной структурой, суждения различаются прежде всего по степени сложности. В зависимости от этого суждения делятся на две большие группы – простые и сложные. Простые суждения – это суждения, в которых нельзя выделить правильную часть, которая в свою очередь была бы самостоятельным суждением. Например: «Я – человек» или «Ничто человеческое мне не чуждо». Сложные суждения состоят из двух или более простых суждений, они выражаются при помощи сложных предложений или предложений с однородными членами. Н-р: «Я – человек, и ничто человеческое мне не чуждо». В завис-ти от того, что утверждается или отрицается в сужде­ниях, они делятся на 1) атрибутивные сужд., 2) сужд. с отношениями и 3) сужде­ния существования (экзистенциальные).


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

2. Суждением с отношением называется суждение об отноше­нии между предметами. Это могут быть отношения равенства, не­равенства, родства, пространственные, временные, причинно-след­ственные и другие отношения. Например: «А равно В», «С больше D», «Семен - отец Сергея», «Казань восточнее Москвы», «Мораль возникла раньше права», «Пьянство - причина многих преступ­лений». Принята следующая запись суждения с отношениями: xRy, где х и у - члены отношения, они обозначают понятия о предметах, R - отношение между ними.

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

Особое значение в логике придается делению простых суждений на виды по характеру связки (ее качеству) и субъекта (по его количеству). Качество суждения выражает не фактическое содержание, а логическую форму: утвердительную или отрицательную. По характеру связки простые суждения делятся на утвердительные и отрицательные. В утвердительных суждениях раскрывается наличие какой-либо связи между субъектом и предикатом: «S есть Р». В отрицательных суждениях раскрывается отсутствие той или иной связи между субъектом и предикатом: «S не есть Р». Также простые суждения делятся по количеству . Количество суждения определяется логическим объемом суждения. В зависимости от этого выделяются общие, частные и единичные суждения . Общими называются суждения, в которых что-либо утверждается для всей группы предметов в раздельном смысле: «Все S есть Р» («Ни одно S не есть Р»). Частные суждения – это суждения, в которых что-либо высказывается о части какой-то группы предметов: «Некоторые S есть (не есть) Р». Единичные суждения – это такие суждения, в которых нечто высказывается об отдельном предмете мысли: «Это S есть (не есть) Р». В логике большое значение придается объединенной классификации суждений по их количеству и качеству. Выделяют четыре вида таких суждений: общеутвердительные, частноутвердительные, общеотрицательные, частноотрицательные . Общеутвердительными являются суждения, которые по количеству общие, а по качеству – утвердительные. Например: «Все адвокаты – юристы». Частноутвердительные суждения – частные по количеству, утвердительные по качеству. Например: «Некоторые свидетели дают достоверные показания». Общеотрицательные – общие по количеству, отрицательные по качеству. Например: «Ни один обвиняемый не оправдан». Частноотрицательные – частные по количеству, отрицательные по качеству. Например: «Некоторые свидетели не дают верных показаний». Предикат суждения, будучи носителем новизны, может иметь различный характер. С этой точки зрения выделяют: атрибутивные, реляционные и экзистенциальные . Атрибутивные суждения – раскрывают наличие или отсутствие у предмета мысли тех или иных свойств или признаков: «СНГ непрочен». Реляционные суждения – раскрывают наличие или отсутствие у предмета мысли того или иного отношения к другому предмету: «СНГ не равно СССР». Экзистенциальные суждения – раскрывают наличие или отсутствие предмета мысли: «СНГ существует». Отношения между простыми суждениями определяются, с одной стороны, их конкретным содержанием, а с другой – логической формой. По содержанию простые суждения бывают сравнимые и несравнимые . У несравнимых суждений предметные области совершенно не совпадают. Сравнимые суждения имеют одинаковые термины, но могут различаться по количеству и качеству.

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

Языковой формой определения суждения является предложение, но только повествовательное , в котором существует информация о чем-то («Кризис перепроизводства - циклическое явление в экономике»). Вопросительные («А где он?»), побудительные («Дай Бог всем людям доброго здоровья»), назывные («Какая зазнобушка сердечная!») и безличные («Уже рассвело») предложения суждения не выражают. По своему содержанию любое суждение отражает в языке определенные признаки, которые принадлежат предмету суждения. Предметом суждения является все то, о чем нечто утверждается или отрицается. Следует знать, что грамматическая структура предложения нетождественна логической структуре суждения. Несмотря на их сходство по наличию основных и вспомогательных элементов, для логики является основным в предложении логическое подлежащее и логическое сказуемое, а также, отражающая их связь, логическая связка. Разнообразные второстепенные члены предложения (определения, обстоятельства места, времени, образа действия, дополнения) логически несущественны, т.е. существенной информации не выражают.

Формальная логика изучает суждения со стороны их формы и структуры. Традиционная и классическая логика являются двузначными . В ней каждое суждение является либо истинным , т.е. в котором утверждается/отрицается существование (даже не существующего)/несуществование предмета и присущих/неприсущих ему признаков, наличие/отсутствие связи между предметами или их признаками, о которых идет речь в суждении («Киев является столицей Украины», «Харьков не является столицей Украины»), либо неистинным , т.е. в котором все происходит наоборот («Киев не является столицей Украины», «Харьков является столицей Украины»). Является ли неистинное суждение заблуждением (неосознанное несоответствие знаний действительности) либо ложью (преднамеренное, осознанное искажение действительности), логика не выясняет, т.к. субъективное осознание неадекватности отражения действительности самому объекту или отсутствие такого осознания - за пределами предмета логики. Значение истинности суждения является логическим значением.

Но некоторые утверждения не принадлежат ни к истинным, ни к неистинным суждениям.

Например, «a является таковым. Это выражение превратится в суждение тогда, когда на место логических переменных (а, b ) будут подставлены имена объектов (a=8, b=9 ), после чего логическая постоянная превращает выражение с неопределенным логическим значением на истинное (в данном случае) суждение - «8<9 ».

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

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

Так, в именной функции «отец у », подставив имя «философ Вл. С. Соловьев», получим «отец философа Вл. С. Соловьева» - имя предмета (здесь имя человека).

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

Структура суждения:

- субъект (от лат. subjektum - предмет), или логическое подлежащее - элемент суждения, который обозначает предмет мысли - материальный объект, явление или процесс S );

- предикат (от лат. praedikatum - признак), или логическое сказуемое - элемент суждения, который обозначает признак предмета мысли (обозначается прописной латинской литерой P );

- связка - элемент суждения, который выражает отношение между субъектом и предикатом, т.е. утверждает или отрицает наличие у предмета мысли S признака P (обозначается символом «-» , т.е. «тире» или выражается глаголами (словосочетаниями) «есть» , «не есть» , «является» , «не является» , «суть» , «не суть», которые могут опускаться и лишь подразумеваться);

- квантор , который показывает, в каком количестве берется субъект суждения (выражается словами «все» , «некоторые» , « ни один» и др.).

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

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

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

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

Качество суждения определяется логической связкой, а не содержанием терминов.

Простые суждения по качеству делят на такие виды суждений по качеству: утвердительные и отрицательные, атрибутивные (от лат. attributo -приписывание; атрибутивные категорические - от греч. κατηγορικες - ясный, безусловный), суждения существования (экзистенциальные категорические - от лат. existential - существование) и суждения отношений (релятивные - от лат. relativus - относительный).

Виды простых суждений по качеству:

- атрибутивное , или суждение свойства - это суждение, в котором утверждается или отрицается наличие определенных свойств у предметов (общая формула: S - P: утвердительного: S есть P: «Украина - суверенное государство», отрицательного: S не есть P, или ¬(S есть P ), т.е. «Неверно, что S есть Р »: «Украина не является членом НАТО»). Связки: «есть», «не есть», «суть», «не суть», «является», «не является» и др. Атрибутивное суждение является категорическим, т.е. атрибутивным категорическим суждением , т.к. оно строгое и однозначное, не допускает неопределенности в понимании его содержания. В атрибутивном суждении о принадлежности или непринадлежности признака предмету выражается в безусловной форме, третье исключено. Поскольку постоянными элементами атрибутивного суждения являются субъект, предикат и связка, данное суждение имеет субъектно-предикатную структуру, где связка есть имманентный закон и выполняет конструктивную функцию, а квантор непостоянен. Субъект и предикат могут быть как совместимыми, так и несовместимыми. А значит, между терминами могут иметь место все виды отношений между сравнимыми понятиями: тождество, пересечение, подчинение, соподчинение, противоречие и противоположность: (Термины суждения «Московская немощенная улица 17 в. была очень неопрятна» являются общими, положительными, сравнимыми, совместимыми понятиями, находящиеся в отношении субординации. Термины суждения «Моральные нормы не являются ценностями материальной культуры» - общие, сравнимые, несовместимые понятия, находящиеся в отношении координации. Термины суждения «Язык есть форма общественной культуры, представляющий собой материальную знаково-символическую систему для общения и передачи информации между людьми» - общие, положительные, сравнимые, совместимые понятия, находящиеся в отношении тождества. Термины суждения «Некоторые свидетели обязаны давать показания» - общие, положительные, сравнимые, совместимые понятия, находящиеся в отношении пересечения. Термины суждения «Ни один монист не является дуалистом» - общие, положительные, сравнимые, несовместимые понятия, находящиеся в отношении противоположности. Термины суждения «Ни один человек не является лицом, освобожденным от исполнения закона» - общие, сравнимые, несовместимые, находящиеся в отношении противоречия );

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

- релятивное , или суждение отношений - это суждение, в котором устанавливаются или отрицаются объективные отношения между двумя и более предметами мысли - пространственные, временные, причинно-следствен-ные, количественные, родственные (aRb, где а, b - члены отношения, а R - отношение между ними: «Белое море холоднее Черного»). Связки: «больше», «меньше», «равно», «старше», «младше», «выше», «ниже», «быстрее», «медленнее», «правее», «левее», «севернее», «южнее», «западнее», «восточнее», «детерминируется», «порождается» и т.п. Специфика данных суждений определяется отсутствием субъекта и предиката. Постоянная составляющая релятивных суждений - понятия-термины и понятия-связки. Понятия-элементы релятивного суждения, обозначающие предметы мысли, называются терминами (от лат. terminus - граница), или членами отношения . Понятие-элемент, обозначающее отношения между предметами, - предикатор . В зависимости от места по отношению к связке выделяют два вида терминов: предшествующий и последующий члены отношения. Количество терминов в релятивном суждении называется местностью . Если отношение связывает два термина, то суждение называется двухместным , три - трехместным и т.д. С трехместного суждения («Внук младше отца и деда»), а также с суждения, в котором отражается более одного отношения («Рейкьявик севернее и западнее Дели»), начинаются сложные релятивные суждения;

- утвердительное - это суждение, в котором констатируется существование предмета мысли, наличие связи между предметами либо принадлежность предмету определенного признака: (формула: «Все (некоторые, данное) S есть P »: «Все люди являются живыми существами»; «Некоторые из стран мира расположены в Европе»; «Париж является столицей Франции»);

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

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

Количество суждения определяется количеством понятия, отражающего предмет мысли. В суждении количество выражено квантором (от лат. quantum - сколько). Квантор - это дополнительный элемент суждения, выражающий количественную характеристику предмета мысли.

Существует два вида кванторов: общности и существования.

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

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

Простые суждения по количеству делят на такие виды суждений по количеству: общие, частные и единичные.

Виды простых суждений по количеству:

- общее - это суждение, в котором за каждым мыслимым в субъекте элементом множества утверждается или отрицается определенный признак: (формула: «Все S есть (не есть) P »): «Все самолеты предназначены для полетов в воздухе»; «Ни один человек не живет на Марсе»;

- частное - это суждение, которое содержит знание о наличии или отсутствии определенного признака у части предметов, которые мыслятся в субъекте: (формула: «Некоторые S есть (не есть) P »): «Некоторые военные являются курсантами»; «Некоторые рабочие не работают на госпредприятии»;

- единичное - это суждение, субъектом которого является единичное понятие, которое обозначает один предмет мысли: (формула: «Данное S есть (не есть) P »): «Планета Марс находится в Солнечной системе»; «Киев не является столицей Франции».

Простые суждения по качественно-количественным основаниям подразделяют на такие виды суждений по качественно-количественным основаниям: общеутвердительные (А ), частноутвердительные (І ), общеотрицательные (Е ), частноотрицательные (О ).

суждения

Обо значе ние

Формула

Как

читается

Распределенность

терминов

Диаграмма

отношений S и Р

Определения типов суждения

Общее по кол-ву и утвер-

дительное

по кач-ву

Частноутверди-

Некото-рые

Частное по кол-ву и утвер-

дительное

по кач-ву

Обще-отрица-

S не есть P

Общее по кол-ву и отрица-тельное

по кач-ву

Некото-рые

S не есть P

Частное по кол-ву и отрица-тельное

по кач-ву

А - образовано по 1-й букве лат. слова affirmo - утверждаю: «Каждый человек имеет право на счастье» ( S есть P ); «Все принимающие участие в этих выборах кандидаты существуют» ( S есть ).

I - образовано по 2-й гласной лат. слова affirmo - утверждаю: «В библиотеке случаются интересные книги» ( S есть P ); «Некоторые мертвые языки по-прежнему используются» ( S есть ).

Е - образовано по 2-й букве лат. слова nego - отрицаю: «Никто не может быть наказан за правду» ( S не есть P); «Неверно, что все позвоночные - животные» ¬( S есть P )); «Ни одно идеальное государство не существует» ( S не есть ); «Неверно, что существуют беспричинные явления» ¬( S есть ).

O - образовано по 2-й гласной лат. слова nego - отрицаю: «Некоторые студенты не являются спортсменами» ( S не есть P ); «Неверно, что некоторые электроны являются положительно заряженными» ¬( S есть P ); «Некоторые языки более не существуют» ( S не есть ); «Неверно, что некоторые абсолютно черные тела существуют» ¬( S есть ).

Выделяют также единичноутвердительные и единичноотрицательные суждения.

Единичноутвердительные (обозначения нет) - это суждения единичные по количеству и утвердительные по качеству. («А. В. Суворов - генералиссимус» - атрибутивное, «Численность населения Киева больше Донецка» - релятивное, «Сбербанк Украины существует» - экзистенциальное).

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

Любое суждение имеет и качественную, и количественную характеристику, т.е. является либо утвердительным, либо отрицательным по содержанию и либо общим, либо частным, либо единичным по объему.

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

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

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

Распределенность терминов в суждениях типа А, I, Е, О:

- в общеутвердительных суждениях типа А («Все S есть P» ) субъект всегда распределен, а предикат в большинстве случаев - нераспределен. 1) «Все (квантор общности) православные (S ) - христиане (Р )». Здесь S , т.к. речь идет о всех предметах, составляющих данный класс (объем понятия-субъекта), а именно о всех православных, т.е. S является видовым понятием и всем объемом полностью включен в объем Р , а Р , т.к. речь идет лишь о той части объема Р , которая совпадает с объемом S , т.е. Р является родом, и часть элементов его объема не тождественна элементам, мыслимым в объеме S : не все христиане - православные. Потому, как правило, Р в суждениях А . Отсюда, если объем Р больше (шире ) объема S , то Р. 2) Однако, как исключение, Р в суждениях А , если S и Р связаны отношением тождества, т.е. если в Р мыслятся те и только те предметы, которые мыслятся в объеме S . «Все (квантор общности) квадраты (S ) - равносторонние прямоугольники (Р )». Здесь S и Р , т.к. их объемы полностью совпадают; различаются они только содержанием. Если S равен по объему Р, то Р , что бывает в определениях и в выделяющих суждениях;

- в частноутвердительных суждениях типа I («Некоторые S есть P» ) распределенность и субъекта, и предиката нельзя определить сугубо логическими средствами, т.е. по структуре. 1) «Некоторые (квантор существования) инженеры (S ) - электрики (Р )». Здесь S , т.к. в нем мыслится только часть инженеров, т.е. объем S Р . Но и Р , т.к. он также лишь частично включен в объем S : только некоторые электрики являются инженерами. Это значит, что S и Р связаны отношением пересечения: не все инженеры - электрики и не все электрики - инженеры. Отсюда, если понятия S и Р перекрещиваются, то Р. 2) Однако, как исключение, Р в суждениях I , если S и Р связаны отношением субординации, т.е. если в Р мыслятся те и только те предметы, которые полностью включаются в объем S как подчиняющего понятия. «Некоторые (квантор существования) писатели (S ) - драматурги (Р )». Здесь S , т.к. в нем мыслится только часть писателей, т.е. объем S лишь частично включается в объем Р , а Р , т.к. объем Р уже объема S и полностью входит в него, т.е. в объем S . Р , если объем Р меньше объема S , что бывает в частных выделяющих суждениях;

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

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

Таким образом, S распределен в общих суждениях и нераспределен в частных; Р всегда распределен в отрицательных суждениях, в утвердительных же он распределен тогда, когда по объему Р≤ S .

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

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

Примеры:

− единичноутвердительное суждение: «Только студент данной группы Сытин С.П. - отличник», или оно же: «Студент данной группы Сытин С.П., и только он, является отличником»;

− единичноотрицательное суждение: «Только студент данной группы Немов Е.М. не является успевающим», или оно же: «Студент данной группы Немов Е.М., и только он, не является успевающим»;

− частноутвердительное суждение: «Только некоторые студенты данной группы являются троечниками», или «Некоторые, и только некоторые, студенты данной группы являются троечниками»;

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

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

Пример: «Лишь некоторые, а не все студенты - отличники» - определенное частное. В нем не установлен объем предиката, ведь отличниками являются не только студенты. В частноотрицательном суждении «Некоторые государства, и только, являются тоталитарными» точно установлено и отношение субъекта - «государство» - к предикату, и отношение предиката - «тоталитарное государство» - к субъекту. Действительно, тоталитарными могут быть или не быть лишь государства: весь объем предиката включен в объем субъекта.

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

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

Отношения между видами простых суждений

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

Сравнимые простые суждения - это суждения с общими терминами, различающиеся по количеству или качеству: «Все зрители аплодировали» и «Некоторые зрители аплодировали». Эти суждения имеют одинаковые S («зрители») и Р («аплодирующие зрители»), но лишь различные кванторы: первое суждение: «» - «все», второе суждение: «» - «некоторые».

Несравнимые простые суждения - это суждения, различающиеся хотя бы одним термином: «Дефицит бюджета существует» и «Профицит бюджета существует». Здесь различные S .

Сравнимые простые суждения бывают совместимыми и несовместимыми:

- совместимые - это суждения, которые выражают мысль полностью или частично: «Т.Г.Шевченко жил в 19 в.» и «Автор поэмы «Сон» жил в 19 в.».

Отношения совместимости: отношения тождества, подчинения (субординации ) и подпротивоположности, или частичной совместимости (субконтрарности );

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

Отношения несовместимости: противоположности (контрарности ) и противоречия (контрадикторности ).

Отношения между простыми суждениями удобно рассматривать с помощью мнемонической фигуры (мнемоника: от греч. μνημονικόν - искусство запоминания), которая имеет название логического квадрата.

Логический квадрат - это искусственная схема, которая, апеллируя к воображению человека, облегчает ему запоминание характера отношений между суждениями типа А, I , Е, О, в которых речь идет об одном и том же предмете, в одно и то же время и в одном и том же отношении :

Вершины символизируют простые категорические суждения: А, I , Е, О, стороны и диагонали - логические отношения между суждениями:

- верхняя сторона символизирует отношение (А - Е ) противоположности (контрарности ):

А «Все люди трудятся добросовестно» и

Е «Ни один человек не трудится добросовестно»

(отношения несовместимости ).

Отношение противоположности - нестрогое по истинностной характеристике суждений.

Отношение противоположности простых суждений определяется так:

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

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

Отсюда: 1) если одно из них истинное, то второе - неистинное; 2) если одно из них неистинное, то это не значит, что и второе неистинное, ибо оно может быть либо неистинным, либо истинным.

Символично это можно записать следующим образом (« - истинность (от англ. truth - истина), « - неистинность (от англ. false - ошибочный), «→» - знак импликации, который отвечает союзу «если, то» , « Ú » - знак нестрогой (слабой) дизъюнкции, отвечающего союзу «или» ):

А (t )E (f ), E (t )A (f ), A (f )E (t ) ÚE (f ), E (f )A (t ) ÚA (f );

- нижняя сторона - отношение (I - О ) подпротивоположности, или частичной совместимости (субконтрарности ):

I «Некоторые свидетели дают истинные показания» и

О «Некоторые свидетели не дают истинных показаний»

(отношения совместимости ).

Отношение подпротивоположности простых суждений определяется так:

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

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

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

I (f )O (t ), O (f )I (t ), I (t )O (t ) ÚO (f ), O (t )I (t ) ÚI (f );

- две вертикальных стороны - отношение (А - I , Е - О ) подчинения (субординации ):

А «Все студенты этой группы - спортсмены» (подчиняющее ) и

I «Некоторые студенты этой группы - спортсмены» (подчиненное ),

Е «Ни один человек не является долгожителем» (подчиняющее ) и

О «Некоторые люди не являются долгожителями» (подчиненное )

(отношения совместимости ).

Отношение подчинения простых суждений определяется так:

Подчинение (субординация ) - это отношение между двумя простыми суждениями, одинаковыми по качеству и различающимися по количеству.

Подчинение (субординация) всегда устанавливается между общими и частными простыми суждениями. Субординативные суждения могут быть как утвердительными, так и отрицательными, но качество их должно быть одинаковым. Либо они оба должны быть положительными, либо - отрицательными. Общее суждение является подчиняющим, частное суждение - подчиненным.

Подчиняющее - это общее суждение в числе двух суждений, связанных отношением субординации.

Подчиненное - это частное суждение в числе двух суждений, связанных отношением субординации.

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

Здесь суждения А и Е будут подчиняющими, а суждения I и О - подчиненными: суждение I - подчиненным суждению А , а суждение О - подчиненным суждению Е .

Если суждение А истинное, то и суждение I истинное. Это касается и отношения суждений Е и О . Однако, если суждение А неистинное, из этого не вытекает неистинность суждения І . Это также касается и отношения суждений Е и О . Знание о суждении I не дает знания об истинности или неистинности суждения А . Это касается и суждения О относительно суждения Е :

А (t )I (t ), E (t )O (t ), I (f )A (f ), O (f )E (f ), A (f )I (t ) ÚI (f ), E (f )O (f ) ÚO (t ),

I (t )→A (f ) ÚA (t ), O (t )→E (f ) ÚE (t );

- диагонали - отношение (А - О, Е - I ) противоречия (контрадикторности ):

А «Все люди обладают даром слова» и

О «Некоторые люди не обладают даром слова»,

Е «Ни один летчик не является космонавтом» и

I «Некоторые летчики - космонавты»

(отношения несовместимости ).

Отношение противоречия простых суждений определяется так:

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

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

Отношение (А - О, Е - I ) противоречия (контрадикторности ) - это отношение между суждениями, истинностные характеристики которых не могут совпадать.

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

A (t )→O (f ), O (t )→A (f ), E (t )→I (f ), I (t )→E (f).

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

Зависимость истинного значения суждений А, I , Е, О , в которых речь идет об одном и том же, можно передать схемой (где 1 - истинное, 0 - неистинное):

Отношение тождества логическим квадратом не иллюстрируется.

Тождество - это отношение между суждениями, являющимися либо не являющимися истинными.

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

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

Истинностные характеристики суждений логического квадрата

Противо-

положность

Подпротиво-

положность

Подчинение

Противоречие

Тождество

Зависимости неопределенных по истинностной характеристике суждений можно выразить формулами противоположных: ¬А→(Е¬Е), ¬Е→(А¬А); подпротивоположных: I→(О¬О), О→(I¬I); субординативных: ¬А→(I¬I), ¬Е→(О¬О), I→(А¬А). О→(Е¬Е).

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

Характеристика суждений

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

Понятие – говорит о наличии предмета. Понятие – это «день», «ночь», «утро» и т.д. А суждение всегда описывает наличие или отсутствие характеристики – «Ранее утро», «Холодный день», «Тихая ночь».

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

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

Виды суждений

В логике есть два вида суждений – простые и сложные.

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

Например: Если завтра пойдет дождь, мы не поедем за город.

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

Сложные суждения и их виды

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