Что такое суждение в обществознании. Книга II Суждения

«Суждение» в логике 1. Суждение как форма мышления

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

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

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

Предложение представляет собой грамматическую форму суждения. Однако это вовсе не означает полного совпадения между суждением и предложением. Между ними

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

Предикат суждения - то, что говориться о субъекте суждения.

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

Состав суждения можно выразить формулой: «S есть P» или «S не есть Р»

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

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

2. Простые суждения, их виды и состав

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

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

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

Суждение с отношениями - это суждение, отражающее отношение между предметами. Это могут быть отношения равенства, неравенства, родства, пространственные, временные, причинно-следственные отношения. Например: А=В; С>D; этот угол меньше 90о; Анэль - кузина Доры; Алма-Ата южнее Москвы. Схема такого суждения А R B, где А и В - имена предметов, аRотношение между ними.

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

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

3. Деление суждений по количеству и качеству

Деление по количеству

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

Вединичных суждениях что-либо утверждается или отрицается об одном предмете класса. Например: это умозаключение - правильное; это музыкальное

произведение - ноктюрн Фридерика Шопена. Формула такого суждения: Это S есть (не есть) P.

Вчастных суждениях что-либо утверждается или отрицается о части предметов класса. Такие суждения выражаются, как правило, предложениями, имеющими в своем составе слова: некоторые, многие, немногие, большинство и т.п. Например: большинство цветов имеют приятный запах; некоторые писатели являются классиками; многие люди хотят побывать в Европе. Формула такого суждения: некоторые S есть P.

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

Утвердительные суждения выражают принадлежность предмету некоторого признака. Например: все права авторов защищены; все бриллианты драгоценны, некоторые дети капризны.

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

Особое место в классификации суждений занимают выделяющие и исключающие суждения:

Суждения, отражающие факт принадлежности (непринадлежности) признака только данному предмету, называютсявыделяющими . Например: только Сергей

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

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

Общеутвердительное суждение (суждение группы А) – общее по объему субъекта и утвердительное по качеству связки. Формула таких суждений: все S суть Р. Например: каждый талантливый человек способен создать выдающееся произведение; все книги – творение человека;

все аксиомы самоочевидны. Общеотрицательные суждения (суждения группы Е) – общие по объему субъекта и отрицательные по качеству связки. Формула для таких суждений: ни один S не есть Р. Например: ни один слабый духом не способен совершить подвиг;

ни один из римских рабов не имел гражданских прав;

ни одна планета не является астероидом. Частноутвердительные суждения (суждения группы I) – частные по объему субъекта, утвердительные по качеству связки. Формула таких суждений: некоторые S суть Р. Например: некоторые свечи сделаны из воска;

часть народов мира принадлежит к негроидной расе; некоторые вещества хрупки. Частноотрицательные суждения (суждения группы О) – частные по объему субъекта и отрицательные по качеству связки. Формула

таких суждений: некоторые S не суть Р. Например: некоторые растения не употребляются в пищу; некоторые христиане не являются православными; некоторые соли не растворяются в воде.

На основе данной классификации формулируются правила распределенности терминов в суждениях.

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

Нераспределенным считается термин, если он мыслится только в части своего объема (речь идет о части класса предметов).

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

Например: некоторые рабочие – новаторы. В некоторых частноутвердительных суждениях объем субъекта шире объема предиката; например: некоторые писатели – герои России. Объем предиката здесь входит в объем субъекта, но объем субъекта только частично совпадает с объемом предиката.

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

4. Сложные суждения и его виды

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

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

Разделительные суждения (дизъюнктивные) - это такие суждения, которые включают в качестве составных частей суждения, объединяемые связкой «или». Различаютслабую дизъюнкцию, когда союз «или» имеет соединительно-разделительное значение, не придает исключающего смысла входящим в сложное суждение составляющим, например, «Я подарю ей цветы или конфеты»; «Он будет цитировать Толстого или Чехова», исильную дизъюнкцию, когда союз или имеет исключающе-разделяющий0 смысл, например, «Я полечу на Юг на самолете или поеду на поезде»; «Я куплю новую квартиру или перееду жить к своей сестре».

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

гостиницу, то сделка не состоялась». Аргумент, начинающийся со слова «если» - основание, а составляющая, начинающаяся со слова «то»- следствие.

строго дизъюнктивные AvB (либо, либо)

3.5. Логические отношения между суждениями.

Основу отношений между простыми суждениями составляет их сходство по содержанию. В соответствии с этим логические отношения устанавливаются между сравнимыми суждениями.

Сравнимые суждения имеют в своем составе общий термин - субъект или предикат.

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

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

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

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

1. Из истинности общего суждения следует истинность частного суждения.

2. Если общее суждение ложно, частное суждение будет неопределенным.

3. Если частное суждение истинно, общее суждение будет неопределенным.

4. Ложность частного суждения обуславливает и ложность общего суждения.

Несовместимыми называются суждения, которые выражают противоположные или противоречащие мысли. Такие суждения делятся на следующие виды:

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

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

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

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

Например: при ложности суждения «Все певцы поют басом», суждение «Некоторые певцы поют басом» будет истинным.

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

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

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

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

6. Понятие модальности суждений.

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

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

Аксиологическая хорошо, плохо, превосходно.

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

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

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

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

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

Глава I
ОБЩИЕ СВЕДЕНИЯ О СУЖДЕНИЯХ

Слово «некоторые» всюду будет употребляться в смысле «один (одна, одно) или несколько».

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

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

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

1. что некоторые элементы субъекта являются элементами предиката; либо

2. что ни один элемент субъекта не является элементом предиката; либо

3. что все элементы субъекта являются элементами предиката.

Субъект и предикат суждения называются его терминами .

Два суждения, содержащие одну и ту же информацию, называются эквивалентными . Так, эквивалентны суждения «Я вижу Джона» и «Джон видим мной».

§ 2. Нормальная форма суждения

Суждение, приведенное к нормальной форме, состоит из четырех частей, а именно:

1. слова «некоторые», либо словосочетания «ни один (одна, одно)», либо слова «все» (эти слова говорят нам, сколько элементов субъекта являются элементами предиката, и называются знаком количества );

2. имени субъекта;

3. глагола «суть» (или есть»), который называется связкой ;

4. имени предиката.

§ 3. Различные типы суждений

Суждение, которое начинается со слова «некоторые», называется частным . Его принято обозначать буквой I*. Частным это суждение называется потому, что относится не ко всему субъекту, а лишь к его части .

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

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

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

Суждения бывают двух видов: суждения существования и суждения отношения.

Глава II
СУЖДЕНИЯ СУЩЕСТВОВАНИЯ

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

Знаком количества в суждении существования служат слова «некоторые» или «ни один (одна одно)». Хотя знак количества в суждении существования и говорит нам, сколько реально существующих предметов являются элементами его предиката, он не сообщает нам их точное число. По существу знак количества принимает здесь лишь два значения (мы приводим их в порядке возрастания): «0» и «1 или больше».

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

1. Честные люди существуют.

2. Некоторые честные люди существуют.

3. Класс «честные люди» существует (непуст ).

4. Есть честные люди.

5. Есть некоторые честные люди.

Аналогично суждение «Ни один реально существующий предмет не есть человек ростом в 50 футов» утверждает, что класс «людей ростом в 50 футов» пуст, нереален . Это суждение также имеет нормальную форму, но может быть выражено в любой из следующих форм:

1. Людей ростом в 50 футов не существует.

2. не существует ни одного человека ростом в 50 футов.

3. Класс «люди ростом в 50 футов» не существует (пуст).

4. Нет ни одного человека ростом в 50 футов.

5. Нет людей ростом в 50 футов.

Глава III
СУЖДЕНИЯ ОТНОШЕНИЯ

§ 1. Предварительные замечания

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

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

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

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

§ 2. Приведение суждения отношения к нормальной форме

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

1. Установить, что является субъектом суждения (то есть установить, о каком классе идет речь ).

2. Если глагол, управляемый субъектом, отличается от глагола «суть» (или есть»), то заменить его сочетанием слов, начинающимся с «суть» (или «есть»).

3. Установить, что является предикатом суждения (то есть установить, о каком классе утверждается, что он содержит «некоторые», «все» или не содержит ни одного элемента субъекта).

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

5. Установить знак количества.

6. Полученные сведения расположить в следующем порядке:

· знак количества,

· субъект,

· связка,

· предикат.

Рассмотрим эти правила на примерах.

Некоторые яблоки неспелые.

1. Субъект суждения - «яблоки».

2. Глагол (подразумевается) - суть.

3. Предикат - «неспелые...» (поскольку существительное не указано, и мы не решили, с какой «Вселенной» нам предстоит иметь дело, приходится оставлять пробел).

4. Пусть «Вселенной» будет класс «фрукты».

5. Знак количества - «некоторые».

6. Суждение принимает форму

Некоторые | яблоки | суть | неспелые фрукты .

Счастлив человек, не знающий, что такое зубная боль.

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

2. Глагол здесь опущен. Вводим связку «суть».

3. Предикат - «счастливые ...».

4. «Вселенная» - «люди».

5. Знак количества - «все».

6. Суждение принимает форму

Все | люди, не знающие, что такое зубная боль, | суть | счастливые люди .

§ 3. Суждение, начинающееся со слова «все», как двойное суждение

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

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

Пусть «Вселенная» (то есть род, видами которого являются субъект и предикат) с помощью дихотомии разделена на два подкласса, а именно:

1. предикат;

2. класс, видовое отличие которого противоположно (контрадикторно ) видовому отличию предиката.

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

Итак, мы установили, что в рассматриваемом случае некоторые элементы субъекта принадлежат классу 1. Что еще необходимо знать, чтобы утверждать, что классу 1 принадлежат все элементы субъекта? Очевидно, что ни один из них не принадлежит классу 2, то есть что ни один из них не принадлежит классу, видовое отличие которого противоположно видовому отличию предиката. Пусть, например, нам известно, что некоторые банкиры принадлежат классу «богатых людей». Какие еще сведения необходимы нам для того, чтобы распространить это утверждение на всех банкиров? Очевидно, следующие: мы должны быть уверенными в том, что ни один из банкиров не принадлежит классу «бедных людей».

Таким образом, суждение отношения, начинающееся со слова «все», есть двойное отношение: оно эквивалентно двум суждениям (то есть несет в себе ту же информацию, что и они):

1. «Некоторые элементы субъекта являются элементами предиката».

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

Например, суждение «Все банкиры - богатые люди» есть двойное суждение, эквивалентное следующим двум суждениям:

1. «Некоторые банкиры - богатые люди».

2. «Ни один банкир не (есть) бедный человек».

§ 4. Какое заключение следует из суждения отношения относительно реальности его терминов?

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

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

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

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

§ 5. Перевод суждения отношения в одно или несколько суждений существования

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

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

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

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

Проиллюстрируем наши правила на примерах.

Некоторые яблоки неспелые.

Элементы суждения существования расположены в следующем порядке:

· «некоторые» - знак количества,

· «реально существующие предметы» - субъект,

· «суть» - связка,

· «неспелые яблоки» - предикат, то есть

Некоторые | реально существующие предметы | суть | неспелые яблоки .

Ни один ягненок не имеет обыкновения курить сигары.

После перевода:

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

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

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

Это суждения, в которых один субъект и один предикат. Простые суждения бывают трех видов:

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

В них утверждается или отрицается принадлежность предмету известных свойств, состояний, видов деятельности. Примеры: «Мед сладкий», «Шопен не является драматургом». Схемы этого вида суждения: « S есть Р » или «S не есть Р».

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Объединенная классификация простых категорических суждений по количеству и качеству

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

1. А - общеутвердительное суждение. Структура его: «Все «S суть Р». Например: «Все люди хотят счастья».

2. I - частноутвердительное суждение. Структура его: «Некоторые S есть Р». Например, «Некоторые уроки стимулируют творческую активность учащихся». Условные обозначения для утвердительных суждений взяты от слова AFFIRMO, или утверждаю; при этом берутся две первые гласные буквы: А - для обозначения общеутвердительного и I - для обозначения частноутвердительного суждения.

Е - общеотрицательное суждение. Его структура: «Ни одно S не есть Р». Пример: «Ни один океан не является пресноводным».

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

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

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

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

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

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

Если S равен по объему Р, то Р распределен. Это бывает в определениях и в выделяющих общих суждениях.

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

1. В суждении «Некоторые подростки - филателисты» термины такие:

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

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

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

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

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

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

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

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

Несравнимые суждения. У них разные субъекты или предикаты или то и другое вместе. Таковы, например, суждения "Космос необъятен" и "Закон суров". В подобных случаях истинность или ложность одного из суждений непосредственно не зависит от истинности или ложности другого. Она прямо определяется отношением к действительности соответствием или несоответствием ей. Правда, в условиях универсальной связи и взаимодействия предметов и явлений действительности суждения о них не могут быть абсолютно независимыми друг от друга. Очевидна лишь их относительная самостоятельность и независимость с точки зрения истинности или ложности. Так если истинно суждение "Энергия сохраняется" (а не исчезает, и не возникает из ничего, как гласит закон сохранения и превращения энергии), то будет ложным суждение "Вечный двигатель возможен", хотя по конкретному содержанию они не имеют ничего общего, ни субъекта, ни предиката, а, следовательно, являются несравнимыми.

Так в предложении может быть одинаковым субъект или предикат. Например: "Закон суров" и "Закон вступил в силу" или "Закон вступил в силу" и "Указ вступил в силу". И хотя смысловое различие здесь меньше, чем в предыдущем случае, они тоже не могут соотноситься между собой по истинности или ложности. Поэтому в дальнейшем их анализ не производится.

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

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

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

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

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

Его вершины символизируют простые категорические суждения - А, Е, I, О; стороны и диагонали отношения между суждениями. Противоположность (контрарность) (рис. 3.2.1).

Рис. 3.2.1. Логический квадрат

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

а) из истинности подчиняющего (А или Е) следует истинность подчиненного (соответственно I или О), но не наоборот;

б) из ложности подчиненного (I или О) следует ложность подчиняющего (соответственно А или Е), но не наоборот.

Примеры. Если истинно А, что "Все адвокаты - юристы", то тем более истинно, что "По крайней мере, некоторые адвокаты - юристы". Но если истинно, что "Некоторые свидетели правдивы", то отсюда еще не следует, что истинно А: "Все свидетели правдивы". В данном случае это ложное суждение. В других случаях А может быть истинным. Например: если истинно, что "Некоторые адвокаты - юристы", то истинно А, что "Все адвокаты - юристы". В свою очередь, если ложно I, что "Некоторые граждане вправе нарушать законы", то тем более ложно А, что "Все граждане вправе нарушать законы". Но если ложно А, что "Все свидетели правдивы", то отсюда еще не следует, что ложно I: "Некоторые свидетели правдивы". В данном случае это истинное суждение. В других случаях I может быть ложным. Например: если ложно А, что "Все граждане вправе нарушать законы", то ложно и I, что "Некоторые граждане вправе нарушать законы". Истинным будет Е, что "Ни один гражданин не вправе нарушать законы".

Частичная совместимость (субконтрарность) - это отношение между суждениями одинакового количества, но разного качества: между частноутвердительными (I) и частноотрицательными (О) суждениями. Для нее характерна следующая закономерность: оба суждения могут быть одновременно истинными, но не могут быть одновременно ложными. Из ложности одного из них следует истинность другого, но не наоборот. Например, при истинности I, что "Некоторые свидетели правдивы", может быть истинно и О, что "Некоторые свидетели не правдивы". Но оно может быть и ложным. Например, если истинно, что "Некоторые адвокаты - юристы", то это не значит, что истинно О: "Некоторые адвокаты - не юристы". Оно ложно. Однако если ложно I, что "Некоторые граждане вправе нарушать законы", то не может быть ложным О, что "По крайней мере, некоторые граждане не вправе нарушать законы". Оно будет непременно истинным.

Несовместимые суждения. Они имеют следующие логические отношения: противоположности и противоречия.

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

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

Примеры. Если истинно А, что "Все адвокаты - юристы", то ложно О, что "Некоторые адвокаты - не юристы". Если ложно А, что "Все свидетели правдивы", то истинно О, что "Некоторые свидетели не правдивы".

Знание отношений между простыми атрибутивными суждениями по их истинности и ложности важно в познавательном и практическом отношении. Оно помогает, прежде всего, избегать возможных логических ошибок в собственных рассуждениях. Так, из истинности частного суждения (I или О) нельзя выводить истинность общего (А или Е). Например, из того, что "Некоторые судьи неподкупны", еще не следует, что "Все судьи неподкупны". Подобная ошибка называется в логике поспешным обобщением и допускается часто .

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

Отношения между суждениями с отношениями. Реляционные суждения (или суждения об отношениях между предметами мысли), как уже отмечалось, имеют нечто общее с атрибутивными суждениями: трехчленность строения (xRy), наличие количества и качества. Поэтому они могут находиться тоже в отношениях подчинения, частичной совместимости, противоположности, противоречия или же логической независимости. Так, если истинно I, что "Некоторые металлы легче воды", то это еще не значит, что истинно А: "Все металлы легче воды", но означает, что ложно Е - "Ни один металл не легче воды" и что неопределенно О, "Некоторые металлы не легче воды" (в данном случае оно истинно).

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

Отношения между х и у могут быть, прежде всего, симметричными и несимметричными.

Симметричные (от греч. symmetria - соразмерность) - это такие отношения между х и у, для которых не имеет значения, какой из этих членов предшествующий, а какой последующий. Иначе говоря, их можно менять местами, при этом истинность или ложность не изменится. Это раскрываемые в суждениях отношения равенства, сходства, подобия, одновременности и др. Например: "Иван - брат Петра". Следовательно, "Петр - брат Ивана". Такие два реляционных суждения могут быть одновременно истинными либо одновременно ложными. Если истинно одно из них, то истинно и другое, и наоборот, если ложно одно из них, то ложно и другое.

Несимметричными являются такие отношения между х и у, при которых важен порядок их расположения. Поэтому менять их местами нельзя без изменения смысла суждения, следовательно, его истинности или ложности. Например: "Иван - отец Степана". Но это не значит, что "Степан - отец Ивана". Если истинно одно из этих суждений, то ложно другое. Истинным здесь будет "Степан сын Ивана". Несимметричными оказываются и такие отношения: "Иван любит Марью". Отсюда вовсе не следует, что "Марья любит Ивана", но может любить его, а может и не любить. Если истинно одно из таких суждений, то другое - неопределенно.

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

Отношения между х и у могут быть транзитивными и нетранзитивными.

Транзитивные, или переходные отношения (от лат. transitive - переход). Если, например, х эквивалентно у, а у эквивалентно z, то и х эквивалентно z. Это могут быть также отношения величины (больше - меньше), пространственные (дальше - ближе), временные (раньше - позже) и др. Например: "Иван - брат Петра", "Петр - брат Елены", значит, "Иван - брат Елены". Такие суждения могут быть либо одновременно истинными, либо одновременно ложными.

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

Есть еще отношения рефлексивности и нерефлексивности.

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

Нерефлексивные отношения таковы, что если 2 меньше 3, то это не значит, что 2 меньше 2 и 3 меньше 3. Из истинности одного следует ложность другого.

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

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

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

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

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

В русском языке сложные суждения имеют весьма многообразные формы выражения. Они могут выражаться, прежде всего, сложносочиненными предложениями. Например: "Ни один виновный не должен уйти от ответственности, и ни один невиновный не должен пострадать". Они могут быть выражены также сложноподчиненными предложениями. Таково, например, высказывание Цицерона: "Ведь если бы даже ознакомление с правом представляло огромную трудность, то и тогда сознание его великой пользы должно было бы побуждать людей к преодолению этой трудности".

Наконец, они могут облекаться и в особую форму простых распространенных предложений. Этого нетрудно добиться, например, в результате своеобразного "свертывания" сложных предложений. Так, сложносочиненное предложение "Аристотель был великим логиком, и Гегель тоже был великим логиком" можно превратить в простое распространенное: "Аристотель и Гегель были великими логиками". Благодаря такому "свертыванию" достигается большая лаконичность речи, следовательно, ее экономность и динамичность.

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

Сложным называют суждение, включающее в качестве составных частей другие суждения, связанные логическими связками - конъюнкцией, дизъюнкцией или импликацией. В соответствии с функциями логических связок основными видами сложных суждений являются: 1) соединительные, 2) разделительные, 3) условные и 4) эквивалентные суждения.

Соединительным (конъюнктивным) суждением называют суждение, включающее в качестве составных частей другие суждения-конъюнкты, объединяемые связкой "и". Например: "Кража и мошенничество относятся к умышленным преступлениям". Если одно из составляющих суждений - "Кража относится к умышленным преступлениям" - обозначить символом р, другое суждение - "Мошенничество относится к умышленным преступлениям" - символом q, а связь между ними знаком, то в целом соединительное суждение можно символически выразить как рлq.

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

Соединительная связка выражена в сложном субъекте, состоящем из конъюнктивно связанных понятий, по схеме: S 1 , и S 2 , есть Р. Например, "Конфискация имущества и лишение звания являются дополнительными видами уголовного наказания".

Соединительная связка выражена в сложном предикате, состоящем из конъюнктивно связанных признаков, по схеме: S есть Р 1 и Р 2 . Например, "Преступление - это общественноопасное и противоправное деяние".

Соединительная связка представлена сочетанием первых двух способов по схеме: S 1 и S 2 есть P 1 и Р 2 . Например, "С полицеймейстером и прокурором Ноздрев тоже был на "ты" и обращался по-дружески" (Н. В. Гоголь, "Мертвые души").

Конъюнктивная связка грамматически выражается не только союзом "и", но и словами "а", "но", "также", "как", "так и", "хотя", "однако", "несмотря на", "вместе с тем" и др.

В предыдущей главе мы определили логику как дисциплину, изучающую отношение импликации между суждениями, т. е. отношение между посылками и заключениями, с помощью которого истинность или ложность одного множества определяет истинность или ложность другого. Таким образом, как посылки, так и заключения являются суждениями, и, исходя из задач, стоящих перед логикой, суждение можно определить как все, что может быть истинным или ложным. Данное определение будет более понятным, если мы также скажем, чем суждение не является.
1. Суждение не то же самое, что и предложение, в котором оно излагается. В трех разных предложениях – «Я мыслю, следовательно, я существую», «Je pense, done je suis», «Cogito ergo sum» – излагается одно и то же суждение. Предложение – это группа слов, а слова, как и все другие символы, сами по себе являются физическими объектами, отличными от того, на что они указывают или что символизируют. Будучи написанными, предложения занимают определенные поверхности, а будучи высказанными, они являются звуковыми волнами, переходящими от одного организма к другому. Однако суждение, вербальным выражением которого является предложение, отличается от видимых меток или звуковых волн конкретного выражения. Таким образом, предложения обладают физическим существованием. Они могут соответствовать или не соответствовать определенному вкусу или стандартам использования. Но они не являются истинными или ложными. Истина или ложь могут утверждаться только относительно суждений, обозначаемых предложениями.
2. При этом наряду с необходимостью отличать суждение от символов, в которых оно излагается, следует отметить, что ни одно суждение не может быть выражено или передано без символов. Следовательно, структура суждения должна быть выражена и сообщена посредством соответствующей структуры символов. Это требуется для того, чтобы суждение не могло быть передано с помощью какой угодно комбинации символов. «Джон крыса синий Джонс», «ходить сел есть очень» не являются символами, выражающими суждения. Данные символы – просто бессмыслица, если, конечно, мы не имеем дела с каким-либо кодом. Только определенные компоновки символов могут выражать суждение. И именно поэтому изучение систем обозначений обладает неоценимой значимостью для правильного анализа структуры суждений. И именно поэтому грамматика языка, несмотря на несходство грамматического и логического анализа, зачастую способна прояснить различия, которые по своей природе являются логическими.
3. Суждение, как мы сказали, является тем, относительно чего осмыслены вопросы об истинности и ложности. Следовательно, когда Гамлет восклицает: «О мысль моя, отныне ты должна кровавой быть, иль прах тебе цена!» или же когда он спрашивает: «К чему тебе плодить грешников?», он не утверждает никакого суждения, а если и утверждает, то только имплицитно. Дело в том, что пожелания, вопросы или команды сами по себе не могут быть истинными или ложными. При этом следует отметить, что вразумительность пожеланий, вопросов и команд основывается на допущениях о том, что определенные положения дел преобладают. А такие допущения содержат суждения. Для примера рассмотрим вопрос: «К чему тебе плодить грешников?» В нем, помимо многих других суждений, несомненно, предполагается, что особа, к которой обращаются, существует, способна рожать детей и что эти дети обязательно будут грешниками. Сходным образом в восклицании «О мысль моя, отныне ты должна кровавой быть, иль прах тебе цена!» предполагается, что говорящий способен обладать мыслями, что эти мысли могут быть смертоносными, что они могут иметь некую ценность и т. д. Более того, команду или пожелание можно представить в декларативной форме, которая, как правило, выражает определенное суждение. Примером тому являются следующие переформулировки: «я хочу, чтобы ты пришел», «мне будет приятно, если ты придешь», «ты пожалеешь, если не придешь». Декларации являются суждениями в той степени, в какой то, что в них сообщается, может быть истинным или ложным.
4. Суждения часто спутываются с психическими актами, необходимыми для того, чтобы иметь суждение. Данная путаница происходит из понимания термина «суждение» как субстантивированного глагола. Это приводит к туманностям, ибо в одних случаях этим термином обозначается психический акт вынесения определенного суждения, а в других – само суждение, как содержание такого акта. Однако точно так же, как мы провели различие между суждением (как объективным смыслом) и предложением, в котором оно выражается, мы должны разграничить суждение и акт психики, связанный с вынесением суждения .
5. Суждения также не должны отождествляться с каким-либо конкретным объектом, вещью или событием. Они являются в лучшем случае лишь отдельными абстрактными отношениями между вещами. Когда мы утверждаем или отрицаем суждение «Луна находится ближе к Земле, чем Солнце», то ни Луна, ни Земля, ни Солнце, равно как и расстояние между ними, не являются суждением. Суждение – это отношение, которое утверждается как существующее между этими телами. Такие отношения, как объекты нашей мысли, являются элементами или аспектами реальных, конкретных ситуаций. Эти аспекты находятся в неразрывной пространственно-временной связи со всеми остальными составными элементами соответствующих ситуаций, однако их отличительная особенность заключается в их смысле. Именно поэтому чувственный опыт не может превратиться в знание без рефлексивного анализа того, что мы воспринимаем. А знание – это знание суждений, и обладать им можно, только различая отношения, присутствующие между абстрактными свойствами соответствующей ситуации.
6. Мы определили суждение как нечто, способное быть истинным или ложным. Однако это не означает, что мы обязаны знать его истинностное значение. «Рак излечим» является суждением, однако мы не знаем, истинно оно или нет.

Это, однако, приводит к известному затруднению, заключающемуся в том, что иногда мы не в состоянии определить, выражает ли некоторое предложение какое-либо суждение. Рассмотрим, к примеру, выражение «ярд состоит из трех футов». Задаемся ли мы вопросом об истинности или ложности, когда формулируем его? Следует признать, что данное предложение имеет вид предложения, выражающего некое суждение. Однако если мы проанализируем его содержание, то обнаружим, что оно выражает скорее некую резолюцию, чем нечто способное быть истинным или ложным. Мы решаем использовать единицу измерения, равную трем футам. Однако резолюции как таковой не может приписываться истинность или ложность. Резолюции, зачастую принимающие форму определений, выражаются способами, сходными с тем, как выражаются суждения, однако их следует отличать от суждений.

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

7. Еще одна сложность возникает вследствие того обстоятельства, что мы зачастую считаем, что одни и те же суждения иногда могут быть истинными, а иногда ложными. Однако наше определение суждения исключает подобную возможность и предполагает, что если некое суждение истинно, то оно должно быть истинным всегда. Как часто простые люди используют подобные реплики: «То, что ты говоришь, бывает истинным, но не всегда». Данная позиция относится к утверждениям типа «религия учит любить ближних», «тяжело противостоять соблазну», «повинную голову меч не сечет». Данную сложность мы можем преодолеть, признав, что если в данных суждениях утверждается, что нечто является всеобщим правилом, то наличие исключения лишь докажет их ложность. В суждении «иногда религия учит ненавидеть ближних» не утверждается абсурдная идея о том, что общее суждение «религия всегда учит ненавидеть ближних» иногда является истинным.

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

Форма отображения в мышлении связи между предметом (объектом) и его свойствами, выражающая либо истину, либо ложь. Видовые различия С. зависят от объема и содержания отображаемых предметов и от характера связи предметов и свойств. В соответствии с традиционными логическими представлениями структура простого атрибутивного С. включает в себя следующие базовые компоненты: два термина и связку. Один из терминов обозначает понятиеобъекта С. и называется субъектом (лат. subjectum), другой - обозначает свойство или группу свойств, приписываемых данному объекту, и называется предикатом (лат. praedicatum). Связка обозначает отношение приписывания или отрицания свойств объекту и определяет деление атрибутивных С. по качеству на утвердительные и отрицательные. Последние нельзя смешивать с отрицаемыми и отрицающими С., сущность которых определяется не их утвердительной или отрицательной формой, а характером взаимоотношения между данными С. Отрицающим называется такое С., которое указывает на ложность другого С., называющегося отрицаемым. Также в структуру атрибутивных С. могут входить кванторы, определяющие деление С. по количеству (объему) отображаемых в субъекте предметов. С., в котором что-либо утверждается или отрицается об отдельном предмете, классе или агрегате предметов в целом, называется единичным С. С., в котором что-либо утверждается или отрицается о части предметов какого-либо класса, называется частным С. Можно выделить две группы частных С.: в определенных частных С. имеется в виду только некоторая определенная часть предметов какого-либо класса, в неопределенных частных С. имеется в виду наличие хотя бы некоторых предметов какого-либо класса. С., в котором что-либо утверждается или отрицается о каждом предмете какого-либо класса, называется общим С. Модальности определяют деление С. по степени существенности для предмета отображаемого свойства на проблематические (возможности), ассерторические (действительности) и аподиктические (необходимости). По характеру связи отображаемых предметов и их свойств С. делятся на условные, разделительные и категорические. Кроме атрибутивных существуют реляционные С., т. е. отображающие отношения между предметами, и экзистенциальные С., сообщающие о существовании предмета. С. не следует смешивать с выражающими их в естественном языке предложениями и обозначающими их высказываниями. Наблюдается значительное сходство в строении С. и предложения, т. к. группа грамматического подлежащего в предложении в большинстве случаев совпадает с субъектом (логическим подлежащим), а группа грамматического сказуемого предложения соответствует предикату (логическому сказуемому). Однако наряду со сходством имеются и существенные различия. Так, всякое С. находит свое выражение в предложении, ко далеко не всякое предложение обязано выражать С. Даже повествовательные предложения, в которых что-либо сообщается, т. е. утверждается или отрицается, не всегда дают возможность определить соответствующее им С., вопрос же о логической структуре С., выраженных предложениями вопросительными, побудительными, оценочными и др., предполагает дальнейшее уточнение и развитие традиционных представлений о С. Еще Аристотель говорил, что не всякая речь заключает в себе С., а лишь та, в которой заключается истинность или ложность чего-либо. Так, например, оптатив (положение) есть речь, но не истинная и не ложная. Высказывание, в отличие от С., является элементом неинтерпретированного исчисления, тогда как С. обладает семантической интерпретацией. Высказывание в семантической системе определяется через синтаксические правила построения, которые задают правильные формы выражений; такое определение является формальным в том смысле, что указывает только на внешний вид (форму) выражений, а не их значение. Высказывания - в некотором смысле базовые элементы логики, т. к. именно они принимают истинностные значения Отождествлять высказывание с повествовательным предложением наивно, т. к. сообщение об истинном положении дел можно получить без грамматического оформления, например, в деонтических (нормативных) контекстах. А. Г. Кислое

Определения, значения слова в других словарях:

Словарь Логики

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

Философский словарь

Философский словарь

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

Психологическая энциклопедия

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

Психологическая энциклопедия

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