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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1)субъекта суждения – это понятие о предмете суждения. Субъект суждения обозначается буквой S (от латинского слова subjectum );

2)предиката суждения – понятия о признаке предмета, о котором говорится в суждении. Предикат обозначается буквой Р (от лат. praedicatum ) ;

3)связки , выражаемой в русском языке словами «есть», «является», «суть».

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

ВИДЫ ПРОСТЫХ СУЖДЕНИЙ

1. Суждения свойства (атрибутивные):

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

Схемы этого вида суждения: « S есть Р » или « S не есть Р».

Примеры : «Мед сладкий», «Шопен не является драматургом».

2. Суждения с отношениями:

суждения, отражающие отношения между предметами.

Формула , выражающая суждение с двуместным отношением, записывается как а Rb или R (а, b ), где а и b – имена предметов (члены отношения), а R – имя отношения. В суждении с отношением может что-либо утверждаться или отрицаться не только о двух, но и о трех, четырех или большем числе предметов, например: «Москва находится между Санкт-Петербургом и Киевом». Такие суждения выражаются формулой R (a , a , a ,…, a ).

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

3. Суждения существования (экзистенциальные):

в них выражается сам факт существования или несуществования предмета суждении.

Схемы этого вида суждения: « S есть Р » или « S не есть Р».

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

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

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

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

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

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

Структура общего суждения : «Все S суть (не суть) Р». Единичные суждения будут трактоваться как общие, так как их субъектом является одноэлементный класс.

Среди общих суждений встречаются выделяющие суждения, в состав которых входит кванторное слово «только». Примеры выделяющих суждений: «Брэгг пил только дистиллированную воду»; «Смелый человек не боится правды. Ее боится только трус» (А. К. Дойл).

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

Частные суждения имеют структуру : «Некоторые S суть (не суть) Р». Они делятся на неопределенные и определенные. Например, «Некоторые ягоды ядовиты» – неопределенное частное суждение. Мы не установили, обладают ли признаком ядовитости все ягоды, но не установили и то, что признаком ядовитости не обладают некоторые ягоды. Если мы установили, что «только некоторые S обладают признаком Р», то это будет определенное частное суждение, структура которого: «Только некоторые S суть (не суть) Р». Примеры: «Только некоторые ягоды ядовиты»; «Только некоторые фигуры являются сферическими»; «Только некоторые тела легче воды». В определенных частных суждениях часто применяются кванторные слова: большинство, меньшинство, немало, не все, многие, почти все, несколько и др.

В единичном суждении субъектом является единичное понятие. Единичные суждения имеют структуру : «Это S есть (не есть) Р». Примеры единичных суждений: «Озеро Виктория не находится в США»; «Аристотель – воспитатель Александра Македонского»; «Эрмитаж – один из крупнейших в мире художественных и культурно-исторических музеев».

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

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

1.Определить квантор, субъект и предикат высказывания.

2.Поставить кванторные слова «все» («ни один») или «некоторые» в начале высказывания.

3.Поставить субъект высказывания после кванторного слова.

4.Поставить логическую связку «есть» («суть») или «не есть» («не суть») после субъекта высказывания.

5.Поставить предикат высказывания после логической связки.

При выполнении последней операции следует иметь в виду следующее:

· во-первых, если предикат выражен существительным, которое может быть представлено одним словом или словосочетанием, то в данном случае предикат остается без изменения;

· во-вторых, если предикат выражен прилагательным (причастием), которое может быть представлено одним словом или словосочетанием, то в этом случае к предикату следует добавить родовое понятие для субъекта высказывания;

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

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

1. А – общеутвердительное суждение.

Структура: «Все S суть Р».

Пример: «Все люди хотят счастья».

2. I – частноутвердительное суждение.

Структура: «Некоторые S есть Р».

Пример: «Некоторые уроки стимулируют творческую активность учащихся».

ü Условные обозначения для утвердительных суждений взяты от слова affirmo , или утверждаю; при этом берутся две первые гласные буквы: А – для обозначения общеутвердительного и I – для обозначения частноутвердительного суждения.

3. Е – общеотрицательное суждение.

Структура: «Ни одно S не есть Р».

Пример: «Ни один океан не является пресноводным».

4. O – частноотрицательное суждение.

Структура: «Некоторые S не есть Р».

Пример: «Некоторые спортсмены не являются чемпионами Олимпийских игр».

ü Условное обозначение для отрицательных суждений взяты от слова nego , или отрицаю.

В суждениях термины S и Р могут быть либо распределены, либо не распределены. Термин считается распределенным , если его объем полностью включается в объем другого термина или полностью исключается из него. Термин будет нераспределенным , если его объем частично включается в объем другого термина или частично исключается из него. Проанализируем четыре вида суждений: А, I, Е, О (мы рассматриваем типичные случаи).

1. Суждение А – общеутвердительное . Его структура: «Все S суть Р ».

Рассмотрим два случая:

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

Пример 2 . В суждении «Все квадраты – равносторонние прямоугольники» термины такие: S – «квадрат», Р – «равносторонний прямоугольник» и квантор общности – «все». В этом суждении S распределен и P распределен, ибо их объемы полностью совпадают. Если S равен по объему Р, то Р распределен. Это бывает в определениях и в выделяющих общих суждениях.

2. Суждение I – частноутвердительное . Его структура: «Некоторые S суть Р ». Рассмотрим два случая.

Пример 1 . В суждении «Некоторые подростки – филателисты» термины такие: S – «подросток», Р – «филателист», квантор существования – «некоторые». Субъект не распределен, так как в нем мыслится только часть подростков, т.е. объем субъекта лишь частично включается в объем предиката. Предикат тоже не распределен, так как он также лишь частично включен в объем субъекта (только некоторые филателисты являются подростками). Если понятия S и Р перекрещиваются, то Р не распределен.

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

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

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

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

Представим это в таблице распределенности терминов :

Термины/ Вид суждения	A	E	I	O
S
P
P выделяющих суждений

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

Обозначения: + – распределенность термина;

– – нераспределенность термина

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

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

• Отношение называется симметричным (от лат. «соразмерность»), если оно имеет место как между предметами x и y , так и между предметами y и x (если х равно (сходно с, одновременно) y , то и y равно (сходно с, одновременно) х .
• Отношение называется рефлексивным (от лат. «отражение»), если каждый член отношения находится в таком же отношении к самому себе (если х =у , то х =х и у =у ).
• Отношение называется транзитивным (от лат. «переход»), если оно имеет место между х и z , тогда, когда оно имеет место между х и у и между у и z (если х равно у и у равно z , то х равно z ).

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

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

Ø Вопросительные предложения не содержат в своем составе суждения, так как в них ничего не утверждается и не отрицается. Они не истинны и не ложны. Например: «Когда ты начнешь работать в саду?» или «Эффективен ли этот метод изучения иностранного языка?». Если в предложении выражен риторический вопрос, – например: «Кто не хочет счастья?», «Кто из вас не любил?» или «Есть ли что-нибудь чудовищнее неблагодарного человека?» (В. Шекспир), или «Есть ли человек, который смотрит в минуту раздумья на реку и не вспоминает о постоянном движении всех вещей?» (Р. Эмерсон), – то в нем содержится суждение, так как налицо утверждение, уверенность, что «Все хотят счастья» или «Все люди любят» и т. п.

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

Побудительные предложения не содержат в своем составе суждений: («Следите за здоровьем»; «Не разводите костры в лесу», «Иди не на каток, а в школу!»). Но предложения, в которых сформулированы воинские команды и приказы, призывы или лозунги, выражают суждения, однако не ассерторические, а модальные (модальные суждения включают в свой состав модальные операторы, выраженные словами: возможно, необходимо, запрещается, доказано и пр.). Например: «Берегите мир!», «Приготовьтесь к старту!», «Мой друг! Отчизне посвятим души прекрасные порывы» (А.С. Пушкин). Эти предложения выражают суждения, но суждения модальные, включающие в себя модальные слова. Как отмечает А.И. Уемов, выражают суждения и такие побудительные предложения: «Берегите мир!», «Не кури!», «Выполняй взятые на себя обязательства!». «Перед любым приемом пищи ешьте салат из сырых овощей или сырые фрукты» и «Не вредите себе перееданием» – эти советы (призывы) знаменитого американского ученого Поля Брэгга, взятые из его книги «Чудо голодания», являются суждениями. Является суждением и призыв: «Люди мира! Соединим усилия в решении общечеловеческих, глобальных проблем!».

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

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

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

II . Виды и логическая вероятность сложных суждений

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

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

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

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

1. (Неопределенно) конъюнктивные суждения образуются из двух суждений посредством союза, обозначаемого символом & (читается "и") и называемого знаком (неопределенной) конъюнкции. Определением знака конъюнкции является таблица, показывающая зависимость истинности конъюнктивного суждения от истинности составляющих его суждений.
2. Последовательно конъюнктивные суждения. В этих суждениях утверждается последовательное возникновение или существование двух или более ситуаций. Они образуются из двух или более суждений при помощи союзов, обозначаемых символами & ® 2 , & ® 3 и т. д. в зависимости от числа суждений, из которых они образованы. Эти символы называются знаками последовательной конъюнкции и соответственно читаются «…, а затем..», "..., затем..., а затем..." и т.д. Индексы 2,3 и т.д. указывают на местность союза. Форма суждения со знаком двухместной последовательной конъюнкции: & ® 2 (А,В) или (А& ® 2 В). Пример суждения этой формы: "Покупатель оплатил стоимость товара, а затем продавец выдал товар". Вместо выражения "а затем" чаще всего употребляется союз "и": "Покупатель оплатил стоимость товара, и продавец выдал товар". Форма суждения с трехместным союзом. Пример : "Петров заложил квартиру, затем внес деньги в пирамиду, а затем стал человеком без определенного места жительства".
3. Одновременно конъюнктивные суждения. Эти суждения образуются из двух суждений посредством союза "и", называемого знаком одновременной конъюнкции. Обозначение - & = . В этих суждениях утверждается одновременное существование двух ситуаций. Пример: "Идет дождь, и светит солнце".

1. Дизъюнктивные, или нестрого-разделительные, или соединительно-разделительные, суждения. В этих суждениях утверждается наличие по крайней мере одной из двух ситуаций. Они образуются из двух суждений посредством союза "или", обозначаемого знаком v (читается "или"), называемым знаком нестрогой дизъюнкции (или просто знаком дизъюнкции).
2. Строго-дизъюнктивные, или строго-разделительные, суждения. В этих суждениях утверждается наличие ровно одной из двух, трех или более ситуаций. Они образуются из двух, трех и т.д. суждений посредством союзов "или..., или..." ("либо..., либо..."), "или..., или..., или..." и т.д. Иногда союз "или..., или..." заменяется союзом "или", а его разделительный смысл определяется контекстом. Союзы, посредством которых образуются строго-дизъюнктивные суждения, обозначаются знаком v .

III . Условные суждения выражаются как правило, предложениями с союзом "если …, то …". В них утверждается, что наличие одной ситуации обусловливает наличие другой. Пример: "Если солнце находится в зените, то тени от него являются самыми короткими". В условном суждении выделяют основание и следствие. Основанием называется та часть условного суждения, которая находится между словом "если" и словом "то". Часть условного суждения, которая находится после слова "то", называется следствием . В суждении "Если идет дождь, то крыши домов мокрые" основанием является простое суждение "идет дождь", а следствием - "крыши домов мокрые".

Более строго условное суждение определяется посредством понятия достаточного условия. Условие является достаточным для какого-либо события, какой-либо ситуации, если, и только если, всегда, когда имеется это условие, имеется и событие (ситуация). Так, наличие свободных электронов в веществе является достаточным условием для того, чтобы вещество было электропроводным. Условным называется суждение, в котором ситуация, описываемая основанием, является достаточным условием для ситуации, описываемой следствием. Условный союз "если..., то…" обозначается стрелкой (® ).

IV . Контрфактические суждения. Пример: "Если бы Петров был президентом, то не ездил бы по городу на автобусе". Как и в условных суждениях, в этих суждениях выделяют основание и следствие. Союз "если бы…, то…" обозначается знаком É , который называется знаком контрфактической импликации. Суждение имеет такой смысл ситуация, описываемая основанием, не имеет места, но если бы она существовала, то существовало бы следствие

V . Эквивалентные суждения. В суждениях эквивалентности утверждается взаимная обусловленность двух ситуаций. Эти суждения выражаются, как правило, посредством предложений с союзом "если, и только если, ..., то..." ("тогда, и только тогда, …, когда..."). В них тоже можно выделить основания и следствия. Основание в них выражает достаточное и необходимое условие для ситуации, описываемой следствием (Условие называется необходимым для данного события (ситуации, действия и т.д.), если, и только если, при его отсутствии это событие не происходит.) Союз "если, и только если, …, то ", употребляемый в описанном смысле, обозначается символом º

В суждении эквивалентности событие, описываемое следствием, также является достаточным и необходимым условием для события, описываемого основанием.

VI . Суждение с внешним отрицанием. Это такое высказывание, в котором утверждается отсутствие некоторой ситуации.

Внешнее отрицание обозначается символом «l» (знаком отрицания). Данному знаку в естественном языке соответствует отрицание «не» или выражение «неверно, что», которые обычно стоят в начале предложения. Располагая выражение «неверно, что» перед произвольным ложным высказыванием, получаем истинное высказывание, а из истинного высказывания посредством подстановки к нему выражения «неверно, что», образуем ложное высказывание. Суждение с внешним отрицанием относится к сложным суждениям и образуется из простого посредством отрицания.

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

Итак, конъюнкция (а b ) истинна тогда, когда оба простых суждения истинны. Строгая дизъюнкция (a b ) истинна тогда, когда только одно простое суждение истинно. Нестрогая дизъюнкция (a b ) истинна тогда, когда хотя бы одно простое суждение истинно. Импликация (a É b ) истинна во всех случаях, кроме одного - когда а - истинно, b - ложно. Эквиваленция (a º b ) истинна тогда, когда оба суждения истинны или оба ложны. Отрицание (ù a ) истины дает ложь, и наоборот.

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

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

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

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

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

III . Отрицание суждений

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

При отрицании простых атрибутивных суждений :

1)общее суждение меняется на частное, и наоборот;

2)утвердительное суждение меняется на отрицательное, и наоборот.

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

ù А равнозначно О ù О равнозначно А

ù Е равнозначно I ù I равнозначно Е

Отрицание сложных суждений производится согласно следующим эквивалентностям:

ù (А & В) равнозначно ù А v ù В; по закону де Моргана

ù (А vВ) равнозначно ù А & ù В;

ù (А É В) равнозначно А & ù В;

ù (А º В) равнозначно (ù А & В) v (А & ù В);

ù (А v В) равнозначно А º В

IV . Отношение между суждениями

Отношения между суждениями по истинности принято схематически изображать в виде «логического квадрата»:

ЛОГИЧЕСКИЙ КВАДРАТ

ОТНОШЕНИЯ МЕЖДУ СЛОЖНЫМИ СУЖДЕНИЯМИ

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

Отношения

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

МОДАЛЬНОСТЬ – это выраженная в суждении дополнительная информация о логическом или фактическом статусе суждения, о регулятивных, оценочных, временных и других его характеристиках.

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

ОСНОВНЫЕ ВИДЫ МОДАЛЬНОСТЕЙ:

Ø АЛЕТИЧЕСКАЯ МОДАЛЬНОСТЬ – выраженная в суждении посредством модальных понятий «необходимо», «обязательно», «непременно», «случайно», «возможно», «может быть», «не исключается», «допускается» и др. информация о логической или фактической детерминированности суждения. В алетической группе выделяют онтологическую (фактическую ) модальность, которая связана с объективной детерминированностью суждений, когда их истинность или ложность определяется ситуацией, имеющей место в реальной действительности , и логическую модальность , которая связана с логической детерминированностью суждения, когда истинность или ложность определяется формой или структурой суждения .

Ø ЭПИСТЕМИЧЕСКАЯ МОДАЛЬНОСТЬ – это выраженная в суждении посредством модальных операторов «известно», «неизвестно», «доказуемо», «опровержимо», «предполагается» и т.д. информация об основаниях принятия и степени его обоснованности.

Ø ДЕОНТИЧЕСКАЯ МОДАЛЬНОСТЬ – выраженное в суждении предписание в форме совета, пожелания, правила поведения или приказа, побуждающее человека к конкретным действиям. К деонтическим относят и нормы права (здесь можно выделить следующие операторы: «обязан», «должен», «надлежит», «признается», «запрещается», «не может», «не допускается», «имеет право», «может иметь», «может принять» и др.).

Модальность суждения (р ) представляется с помощью оператора М , по схеме Мр (например, «возможно Р»). Истинность модального суждения зависит от истинности суждения, стоящего под модальным оператором, и от типа модального оператора.

Модальные простые суждения

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

p É q ); M (p º q ).

Пример: Из сложного высказывания «Если температура выше 100 градусов, то вода превращается в пар» можно получить модальное высказывание «Физически необходимо, что если температура выше 100 градусов, то вода превращается в пар».

VI . Понятие логического закона

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

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

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

§ ЗАКОНЫ ЛОГИКИ – это такие выражения, которые являются истинными только в силу своей логической формы, то есть только на основании связи их составляющих. Другими словами, логическим законом является сама логическая форма, гарантирующая истинность выражения при любом содержании.

§ ЗАКОН ЛОГИКИ – это выражение, содержащее только константы и переменные и являющееся истинным в любой (непустой) предметной области (так, любой закон логики высказываний или логики предикатов является примером логического закона). Это так называемые законы связи между мыслями . Логические законы принято называть также тавтологиями .

§ ЛОГИЧЕСКАЯ ТАВТОЛОГИЯ – это «всегда истинное выражение», то есть остающееся истинным независимо от того, о какой области объектов идет речь. Любой закон логики является логической тавтологией.

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

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

аº а (в логике высказываний) и Аº А (в логике классов, в которой классы отождествляются с объемами понятий).

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

В мышлении закон тождества выступает в качестве нормативного правила (принципа). Он означает, что нельзя в процессе рассуждения подменять одну мысль другой, одно понятие – другим. Нельзя тождественные мысли выдавать за различные, а различные – за тождественные.

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

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

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

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

2. Закон непротиворечия: Если предмет А обладает определенным свойством, то в суждениях об А люди должны утверждать это свойство, а не отрицать его . Если же человек, утверждая что-либо, отрицает то же самое или утверждает нечто несовместимое с первым, налицо логическое противоречие. Формально-логические противоречия – это противоречия путаного, неправильного рассуждения. Такие противоречия затрудняют познание мира.

Мысль противоречива, если мы об одном и том же предмете в одно и то же время и в одном и том же отношении нечто утверждаем и то же самое отрицаем. Например: «Кама – приток Волги» и «Кама не является притоком Волги». Или: «Лев Толстой – автор романа «Воскресение» и «Лев Толстой не является автором романа «Воскресение».

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

Не могут быть одновременно истинными следующие четыре типа простых суждений:

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

Формула закона непротиворечия в двузначной классической логике а ∧ ā отражает лишь часть содержательного аристотелевского закона непротиворечия, так как она относится только к противоречащим суждениям (а и не-а) и не распространяется на противные (контрарные суждения). Поэтому формула а∧ ā неадекватно, не полностью представляет содержательный закон непротиворечия. Следуя традиции, мы за формулой а∧ ā сохраняем название «закон непротиворечия», хотя оно значительно шире, чем данная формула.

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

3. Закон исключенного третьего: Из двух противоречащих суждений одно истинно, другое ложно, а третьего не дано . Противоречащими (контрадикторными) называются такие два суждения, в одном из которых что-либо утверждается о предмете, а в другом то же самое об этом же предмете отрицается, поэтому они не могут быть оба одновременно истинными и оба ложными; одно из них истинно, а другое обязательно ложно. Такие суждения называются отрицающими друг друга. Если одно из противоречащих суждений обозначить переменной а , то другое следует обозначить ā . Так, из двух суждений: «Джеймс Фенимор Купер является автором серии романов о Кожаном Чулке, создававшихся на протяжении почти 20 лет» и «Джеймс Фенимор Купер не является автором серии романов о Кожаном Чулке, создававшихся на протяжении почти 20 лет» первое истинно, второе ложно, и третьего – промежуточного – суждения не может быть.

Отрицающими являются следующие пары суждений:

1) «Это S есть Р» и «Это S не есть Р» (единичные суждения).

2) «Все S есть Р» и «Некоторые S не есть Р» (суждения А и О ).

3) «Ни одно S не есть Р» и «Некоторые S есть Р» (суждения Е и I ).

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

Различие в областях определения (т.е. применения) этих законов в том, что по отношению противных (контрарных) суждений А и Е (например: «Все грибы – съедобны» и «Ни один гриб не является съедобным»), которые оба не могут быть истинными, но оба могут быть ложными, распространяется действие лишь закона непротиворечия и не распространяется действие закона исключенного третьего. Итак, сфера действия содержательного закона непротиворечия шире (это контрарные и контрадикторные суждения), чем сфера действия содержательного закона исключенного третьего (лишь контрадикторные, т.е. суждения типа а и не-а ). Действительно, истинно одно из двух суждений: «Все дома в данной деревне электрифицированы» или «Некоторые дома в данной деревне не являются электрифицированными» и третьего не дано.

Закон исключенного третьего и в содержательном, и в формализованном виде охватывает один и тот же круг суждений – противоречащие, т.е. отрицающие друг друга. Формула закона исключенного третьего: А v ù А

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

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

Хотя операции над ними очень важны и встречаются повсеместно, сами по себе они ещё не составляют рассуждений. В этом уроке мы как раз приблизимся к теме того, как правильно рассуждать. Мы будем рассматривать рассуждения на примере силлогистики. Силлогистика - это самая древняя логическая система. Она была изобретена древнегреческим философом Аристотелем в IVвеке до н.э. До сих пор она остаётся одной из самых понятных, приближенных к естественному языку и лёгких для изучения логических систем. Одно их главных её достоинств - возможность применения в повседневных ситуациях без особых усилий.

Суждения и высказывания

Что такое рассуждение? Можно было бы сказать: вывод, умозаключение, размышление, доказательство и т.д. Всё это верно, но, пожалуй, самым очевидным ответом было бы: рассуждение - это последовательность суждений, которые в идеале должны быть связаны между собой согласно правилам логики. Поэтому обучение правильному рассуждению нужно начинать с того, что такое суждения и как ими корректно пользоваться.

Суждение - это мысль об утверждении или отрицании наличия некоторой ситуации в мире.

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

Поскольку высказывания посредством суждений фиксируют какое-то положение дел в мире, в отличие от понятий и определений, мы можем оценивать их с точки зрения их истинности и ложности. Так высказывание «Бил Гейтс основал компанию “Microsoft”» - истинное, а высказывание «Апельсины фиолетовые» - ложное.

Рисунки последовательно представляют отношения: пересечения, дополнительности, подчинения, равнообъёмности и обратного подчинения. С первыми тремя картинками всё должно быть довольно ясно: видно, что объёмы терминов S и P пересекаются, поэтому в области пересечения находятся элементы, которые одновременно обладают и признаком S и признаком P. Примеры истинных высказываний таких типов: «Некоторые актёры хорошо поют», «Некоторые автомобили с ценой ниже миллиона стоят больше шестисот тысяч», «Некоторые грибы съедобны».

Что касается отношений равнообъёмности и обратного подчинения, то может возникнуть вопрос, почему они тоже представляют собой условия истинности для частноутвердительных высказываний, если на картинках, обозначающих их, чётко видно, что не только некоторые S есть P, но все S есть P. Правда, естественный язык толкает нас к идее, что если некоторые S есть P, то ещё существуют и другие S, которые не есть P: некоторые грибы съедобны, а некоторые несъедобны. Для логиков такое заключение неверно. Из высказывания «Некоторые S есть P» нельзя вывести заключение, что некоторые S не есть P. Зато из высказывания «Все S есть P» можно заключить, что и некоторые S есть P, потому что если что-то верно относительно всех элементов объёма термина, то оно будет верно и относительно некоторых отдельных элементов. Поэтому в силлогистике слово «некоторые» употребляется в значении «по крайней мере некоторые», но не в значении «только некоторые». Таким образом, из высказывания «Все папоротники размножаются спорами» можно смело вывести и высказывание «Некоторые папоротники размножаются спорами», а из высказывания «Все ученики пятого класса являются пионерами» - высказывание «Некоторые ученики пятого класса являются пионерами».

Частноутвердительные высказывания будут ложными, только если термины S и P находятся в отношении противоречия или соподчинения: «Некоторые тракторы - это самолёты», «Некоторые ложные высказывания истинны».

Типа «Некоторые S не есть P» истинны, если термины S и P находятся в следующих :

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

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

Частноотрицательные высказывания будут ложными, только если термины S и P находятся в отношениях равнообъёмности и обратного подчинения. Примеры ложных высказываний: «Некоторые рыбы не умеют дышать под водой», «Некоторые яблоки не являются фруктами».

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

Игра "Пересечение множеств"

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

Упражнения

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

• Всё действительное разумно, всё разумное действительно.
• Соль - это яд.
• Яд - это соль.
• Все музыканты имеют хороший слух.
• Некоторые музыканты имеют хороший слух.
• Все люди, имеющие хороший слух, - музыканты.
• Некоторые люди, имеющие хороший слух, - музыканты.
• Некоторые вампиры опоздали на работу.
• Волколаки - это разновидность оборотней.
• Все круглые квадраты не имеют углов.
• Никто не любит, когда у него болят зубы.
• Ни один попугайчик не пьёт виски.
• Некоторым не нравится их работа.
• Иван Иванович поссорился с Иваном Никифоровичем.
• Фильмы Тарковского считаются классикой русского кино.
• Достоевский никогда не играл в карты.
• Некоторые куздры совсем не глокие.
• Каждый сотрудник мечтает о повышении.
• Некоторые псы умеют читать.
• Все счастливые семьи похожи друг на друга, каждая несчастливая семья несчастлива по-своему.
• Некоторые акулы - это рыбы.
• Некоторые люди не летали на Марс.

Проверьте свои знания

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

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

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

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

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

Например, «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) если одно из них неистинное, то это не значит, что и второе неистинное, ибо оно может быть либо неистинным, либо истинным.

Символично это можно записать следующим образом (« t» - истинность (от англ. truth - истина), « f» - неистинность (от англ. 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→(А¬А). О→(Е¬Е).

Логика: Учебное пособие для юридических вузов Демидов И. В.

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

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

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

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

Простые суждения классифицируются по следующим основаниям.

1. По объему субъекта (по количеству):

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

Это S есть (не есть) Р

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

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

Определенное частное суждение содержит знание и о той, и о другой ча­сти субъекта суждения. Оно имеет такую логическую схему:

Только некоторые S есть (не есть) Р

Например, «Только некоторые правовые концепции базируются на фи­лософских принципах».

Логическая схема неопределенного суждения такова:

Некоторые S есть (не есть) Р

Квантор «некоторые» придает ему неопределенность. Например: «Неко­торые проблемы юриспруденции носят философский характер».

Общие - суждения, в которых что-либо утверждается или отрицается о каж­дом предмете данного класса. Логические схемы таких суждений имеют вид:

Все S есть Р или Ни одно S не есть Р

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

2. По качеству связки (по качеству) суждение может быть утвердитель­ным или отрицательным.

Утвердительное суждение выражает принадлежность предмету некото­рого признака. Например, «Лицо, виновное в совершении преступления, привлекается к уголовной ответственности».

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

При этом следует различать отрицательное суждение, (например, «За­хватническая война не имеет законного основания») и негативную форму выражения утвердительного суждения (например, «Захватническая война незаконна»). Такого вида суждения не всегда идентичны.

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

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

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

В классической логике различают также категорическое суждение, в ко­тором утверждение или отрицание выражается без формулировки каких-ли­бо условий и без каких-либо вариантов. Обычно к категорическим относят все атрибутивные суждения.

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

Общеутвердительное суждение - общее по объему субъекта и утвердитель­ное по качеству связки. Его логическая структура: «Все S есть Р», а символом служит латинская буква «А». Примером является суждение: «Все адвокаты - юристы».

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

Частноутвердительное суждение - частное по объему субъекта и утвер­дительное по качеству связки. Его логическая структура: «Некоторые S есть Р». Символом частноутвердительных суждений служит латинская буква «I». Примерами таких суждений являются: «Некоторые студенты - юристы» или «Некоторые писатели - фронтовики».

Частноотрицательное суждение - частное по объему субъекта и отрица­тельное по качеству связки. Его логическая структура: «Некоторые S не есть Р», а символом служит буква «О». Примерами частноотрицательных яв­ляются следующие суждения: «Некоторые европейские страны не являются членами НАТО» или «Некоторые люди не являются юристами».

Единичные суждения в объединенной классификации приравниваются к общим суждениям, например, «Московская прокуратура проводит расследо­вание», так как имеется в виду весь объем субъекта.

С отношениями объемов терминов в суждении связана проблема их рас­пределенности.

Распределенным термин считается тогда, когда он взят в полном объеме. Термин считается нераспределенным, если он взят в части объема. Исследо­вание распределенности терминов суждения - это не формальная логичес­кая операция, а подтверждение правильной связи субъекта и предиката в суждении, то есть ее соответствия объективному отношению самих предме­тов. Рассмотрим, как распределены термины в суждениях А, Е, I и О на кон­кретных примерах.

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

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

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

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

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

Однако в некоторых частноутвеpдительных суждениях обьем субъекта шире объема предиката.

Например, «Некоторые студенты - отличники». Объем предиката «отличники» здесь входит в объем субъекта «сту­денты», так как кроме отличников есть студенты хорошисты, троечники и т. д., поэтому объем субъекта только частич­но совпадает с объемом предиката - значит, в данном случае субъект не распределен, а предикат распределен.

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

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

На основе произведенного анализа суждений по объединенной классификации сформулируем правила распределенности терминов:

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

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

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

4. В частноотрицательных суждениях субъект не распределен, а предикат всегда распределен.

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

Для запоминания распределенности терминов в суждениях приведем следующую таблицу, обозначив распределенность термина знаком «+», нераспределенность - знаком «-».

Вид суждения Термин	А	Е	I	0
S	+	+	-	-
Р	-(+)	+	-(+)	+

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

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

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

Из книги Вселенная философа автора Сагатовский Валерий Николаевич

НЕСКОЛЬКО ПРОСТЫХ ИСТИН Философские положения являются чрезвычайно общими, но «общие положения» и «общие фразы» не синонимы. Чтобы успешно регулировать познание мира представителями частных наук, общие положения философии должны быть одновременно очень

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

Отдел третий ПРОИСХОЖДЕНИЕ СУЖДЕНИЙ. РАЗЛИЧИЕ АНАЛИТИЧЕСКИХ И СИНТЕТИЧЕСКИХ

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

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

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

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

§ 4. Модальность суждений: сущность и виды Модальность - это явно или неявновыраженная в суждении дополнительная информация о логическом или фактическом статусе суждения, о регулятивных, оценочных, временных и других его характеристиках.Наиболее важными и

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

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

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

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

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

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

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

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

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

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

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

Глава III. Дедукция. Опосредованные умозаключения из простых суждений 1. Простой категорический силлогизм Структура простого категорического силлогизма1. Выделите структуру (посылки и заключение, больший, меньший и средний термины, б?льшую и меньшую посылку) простого

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

§ 2. ВИДЫ И СОСТАВ ПРОСТЫХ СУЖДЕНИЙ Различают следующие виды простых суждений: 1) атрибутивные суждения, 2) суждения с отношениями и 3) суждения существования (экзистенциональные).1. Атрибутивным (от латинского attributio - «свойство», «признак») называется суждение о признаке

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

Глава VII ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ. ВЫВОДЫ ИЗ ПРОСТЫХ СУЖДЕНИЙ § 1. УМОЗАКЛЮЧЕНИЕ КАК ФОРМА МЫШЛЕНИЯ. ВИДЫ УМОЗАКЛЮЧЕНИЙ В процессе познания мы приобретаем новые знания. Некоторые из них - непосредственно, в результате воздействия предметов внешнего мира на органы

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

2.3. Виды суждений Обычно суждения подразделяют на три вида.1. Атрибутивные суждения – это суждения, в которых предикат представляет собой какой-либо существенный, неотъемлемый признак или атрибут (лат. аttributum) субъекта. Например, суждение: Все воробьи – это птицы –

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

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

Рекомендуем также

• Заговоры шепотки на все случаи жизни Обращение к Велесу
• Иная реальность Невероятное и необъяснимое читать
• Истории про вампиров, а так же все, что связано с вампирами в повседневной жизни
• Обереги для успешной работы и карьеры Оберег хорошо отношение на работе
• Церковный суд в древней руси Церковный суд в синодальную эпоху
• Как вернуть любовь: ритуалы, заговоры, молитвы