Суждения в логике. Что такое суждение, виды суждений. Книга II Суждения

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

Примеры суждений: «Волга впадает в Каспийское море», «А.С. Пушкин написал поэму «Медный всадник», «Уссурийский тигр занесен в Красную книгу», и т.д.

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

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

1. Субъект (лат. subjektum - «лежащий в основе») - то, о чем говорится в данном суждении, его предмет («S»).
2. Предикат (лат. praedicatum - «сказанный») - отражение признака предмета, то, что говорится о субъекте суждения («Р»).
3. Связка - отношение, между субъектом («S») и предикатом («Р»). Определяет наличие/отсутствие у субъекта какого-либо свойства, выраженного в предикате. Может как подразумеваться, так и обозначается знаком «тире» либо словами «является» («не является»), «имеется», «есть», «суть» и др.
4. Квантор (кванторное слово) определяет объем понятия, к которому относится субъект суждения. Стоит перед субъектом, но может также и отсутствовать в суждении. Обозначается такими словами, как «все», «многие», «некоторые», «ни один», «никто» и др.

Истинные и ложные суждения

Суждение является истинным в том случае, когда наличие признаков, свойств и отношений предметов, утверждаемых/отрицаемых в суждении, соответствует действительности. Например: «Все ласточки - птицы», «9 больше 2-х» и т. д.

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

Однако помимо двузначной логики, в которой суждение может быть либо истинным, либо ложным, существует также многомерная логика. Согласно ее условиям, суждение может быть еще и неопределенным. Особенно это касается будущих единичных суждений: «Завтра произойдет / не произойдет морское сражение» (Аристотель, «Об истолковании»). Если предположить, что это истинное суждение, то морское сражение завтра уже не может не произойти. Следовательно, необходимо, чтобы оно произошло. Либо наоборот: утверждая, что данное суждение в настоящий момент является ложным, мы тем самым делаем необходимой невозможность завтрашнего

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

Как известно, по типу высказывания выделяют три типа побудительное и вопросительное. Например, предложение «Я помню чудное мгновенье» относится к повествовательному типу. Целесообразно предложить, что такое суждение также будет повествовательным. Оно содержит определенную информацию, сообщает об определенном событии.

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

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

Качество суждения

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

В отрицательном суждении, напротив, свойство от субъекта отнимается: «Теория 25-го кадра Джеймса Вайкери не имеет экспериментального подтверждения».

Количественная характеристика

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

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

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

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

Классификация простых суждений

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

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

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

Экзистенциальное суждение - это утверждение существования/несуществования предмета (как материального, так и идеального): «Нет пророка в своем отечестве», «Луна является спутником Земли».

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

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

Сложные суждения и виды логических связок

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

Глава 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. Перевод суждения отношения в одно или несколько суждений существования

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Мышления

Тема 5. Суждение (высказывание) как форма

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

Пример . В суждении «Каждая планета Солнечной системы вращается вокруг своей оси» утверждается наличие в действительности ситуации: вращение вокруг своей оси каждой планеты Солнечной системы. А в суждении «Ни одна планета Солнечной системы не является неподвижной» отрицается наличие в действительности ситуации покоя каждой планеты Солнечной системы.

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

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

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

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

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

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

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

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

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

Пример . «Математика – абстрактная наука».

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

Пример . «Если вы будете хорошо учиться, то обязательно получите диплом».

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

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

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

Пример . В суждении «Солнце есть раскаленное небесное тело» субъект – «Солнце», предикат – «раскаленное небесное тело». В суждении «Земля вращается вокруг Солнца» два субъекта – «Земля» и «Солнце», предикат – отношение «вращается».

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

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

Пример . «Солнце (S ) есть раскаленное небесное тело (Р )»; «Великобритания (S ) является конституционной монархией (Р )»; «Некоторые лебеди (S ) белые (Р )»; «Великий комбинатор (Р ) этот Остап Бендер (S )»; «Нужда (S ) заставит Богу молиться (Р )».

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

Пример . «Змея-Горыныча (S ) не существует в действительности (Р )»; «Природные аномалии (S ) существуют (Р )»; «Нет безысходных ситуаций» («Безысходных ситуаций (S ) не существует (Р )»).

Реляционные – это суждения, в которых утверждается или отрицается отношение между некоторыми предметами.

Пример . «Земля вращается вокруг Солнца»; «Петр – брат Ивана»; «Москва расположена между Петербургом и Екатеринбургом».

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

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

Утвердительными являются суждения, говорящие о принадлежности предиката субъекту суждения. Отрицательные – это суждения, говорящие об отсутствии данного предиката у субъекта.

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

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

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

Пример . «Этот человек имеет преступные наклонности».

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

Пример . «Некоторые люди имеют преступные наклонности».

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

Пример . «Все люди имеют преступные наклонности».

Значение слова «некоторые» в естественном языке и в логике несколько различно. В естественном языке оно используется в значениях «только некоторые, но не все» и «некоторые, а может быть, и все». В логике – только в значении «некоторые, а может быть, и все».

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

Суждение - Суждение ♦ Jugement Мысль, имеющая ценность или притязающая на обладание ценностью. Вот почему всякое суждение оценочно, даже если предметом оценки служит истина (притом, что истина сама по себе не является ценностью). Суждение… … Философский словарь Спонвиля

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

Суд, отзыв, отчет, мнение, рассуждение, соображение, понимание, взгляд; усмотрение, благоусмотрение, уразумение, глазомер, прозорливость, проницательность. Представить на чье усмотрение (благоусмотрение). В мои года не должно сметь свое суждение… … Словарь синонимов

СУЖДЕНИЕ, суждения, ср. 1. только ед. Действие по гл. судить в 1 знач., обсуждение (книжн. устар.). «С общего сужденья приговорили.» Крылов. Длительное суждение о деле. 2. Мнение, заключение. «Не смею моего сужденья произнесть.» Грибоедов. «В мои … Толковый словарь Ушакова

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

СУЖДЕНИЕ, суженый, см. судить Толковый словарь Даля. В.И. Даль. 1863 1866 … Толковый словарь Даля

суждение - СУЖДЕНИЕ (нем. Urteil; англ., франц. Judgement) мыслительный акт, выражающий отношение лица к содержанию высказываемой им мысли. В форме утверждения или отрицания С. необходимо сопровождается той или иной модальностью, сопряженной, как… … Энциклопедия эпистемологии и философии науки

суждение - СУЖДЕНИЕ, предположение СУДИТЬ, предполагать … Словарь-тезаурус синонимов русской речи

1) то же, что высказывание.2) Умственный акт, реализующий отношение говорящего к содержанию высказываемой мысли и связанный с убеждением или сомнением в ее истинности или ложности … Большой Энциклопедический словарь

Выражение элементов чувственного опыта в общезначимой словесной форме … Психологический словарь

Книги

• , Добрянский-Сачуров. Суждение православного галичанина о реформе русского церковного управления, проектируемой русскими либералами нашего времени / Соч. ... Галицко-рус. деятеля и патриота Адольфа Ивановича…
• Суждение православного галичанина о реформе русского церковного управления, проектируемой русскими либералами нашего времени , Добрянский-Сачуров. Эта книга будет изготовлена в соответствии с Вашим заказом по технологии Print-on-Demand. Суждение православного галичанина о реформе русского церковного управления, проектируемой русскими…
• Логические исследования. Часть 2. Категории понятие и суждение, умозаключение, отрицание, косвенное доказательство. Соотношение идеализма и реализма в философии , Тренделенбург А.. Вниманию читателей предлагается один из главных трудов известного немецкого философа и логика А. Тренделенбурга (1802-1872), в котором излагается его философская система, ценная…

Словарь Ушакова

Суждение

сужде ние , суждения, ср.

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

2. Мнение, заключение. «Не смею моего сужденья произнесть.» Грибоедов . «В мои лета не должно сметь свое суждение иметь.» Грибоедов .

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

Начала Современного Естествознания. Тезаурус

Суждение

в логике высказывание, выраженное в форме предложения, с помощью которого связываются два понятия, происходит выкристаллизация мысли.

Педагогический терминологический словарь

Суждение

1. высказывание;

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

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

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

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

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

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

(Бим-Бад Б.М. Педагогический энциклопедический словарь. - М., 2002. С. 281)

Словарь лингвистических терминов

Суждение

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

2) Форма абстрактного мышления, которая отражает и фиксирует наличие или отсутствие связи между предметом и его признаком.

Философский словарь (Конт-Спонвиль)

Суждение

Суждение

♦ Jugement

Мысль, имеющая ценность или притязающая на обладание ценностью. Вот почему всякое суждение оценочно, даже если предметом оценки служит истина (притом, что истина сама по себе не является ценностью). Суждение действительности, такое, например, как «Земля круглая», всегда может без утраты содержательности быть сформулировано в виде «Истинно, что Земля круглая», где идея истинности выступает для нас как норматив. Точно так же нормативное суждение может принимать вид суждения действительности: «Этот человек негодяй». Таким образом, граница между нормативными и дескриптивными суждениями остается размытой. Это не значит, что нормы суть реальность, а реальность есть норма. Это значит лишь, что всякое суждение несет на себе печать человечности, а потому субъективно. Объективна только истина, но она не выносит оценок. Однако познание истины возможно лишь посредством суждений, которые всегда субъективны. Бог не судит, сказал бы Спиноза, потому что он и есть сама истина. Именно поэтому мы и судим – мы ведь не Бог.

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

Из чего, по Канту, вытекает:

1. Аналитические суждения не расширяют наших познаний (они не учат нас ничему новому), но развивают, уточняют или разъясняют их.

2. Все эмпирические суждения являются синтетическими суждениями.

3. Синтетические суждения a priori глубоко мистичны, что доказывает наука вообще («Все происходящее имеет причину») и математика в частности («7+5=12»). На что можно опереться, чтобы выйти за рамки понятия и необходимым и универсальным путем придать ему предикат, которого он не содержит? Именно такова проблема «Критики чистого разума»: «Как возможны синтетические суждения a priori?» Кант отвечает, что подобное суждение возможно лишь в том случае, если мы, высказывая его, опираемся на чистые формы интуиции (пространство и время) или мысли (категории рассудка). Следовательно, они имеют ценность только для нас, но никак не сами по себе, и в пределах возможного опыта, но никак не в абсолюте. Это решает проблему априорных синтетических суждений, но при помощи самого понятия a priori, которое рассматривается как предшествующее суждению и делающее его возможным, иначе говоря, при помощи трансцендентального. Познание возможно не благодаря опыту; напротив, априорные формы субъекта делают опыт возможным, а познание необходимым. Именно таков смысл переворота, произведенного Коперником: он заставил объект обращаться вокруг суждения (или выносящего суждение субъекта), а не суждение вокруг объекта. Еще одно решение, которое представляется мне более предпочтительным, заключается в том, чтобы заявить, что априорных суждений не существует. Это отход от Канта и возвращение к Юму, эмпиризму и истории науки. Шаг назад, два шага вперед. Здесь приходится выбирать между трансцендентальным субъектом и имманентальным процессом, между антиисторичностью сознания и историчностью знания. «Я полагаю бесчестным всякое использование априорности», – писал в 1938 году Кавальес своему другу Полю Лаберенну, делая затем вывод о необходимости «полностью порвать с идеализмом, даже в версии Брюнсвика (***)», считать логику «исходным естественным методом», одним словом, прийти к утверждению «полного подчинения» познания, в том числе в области математики, «опыту, который, несомненно, не является историческим опытом, поскольку позволяет получить результаты, достоверные безотносительно ко времени, но проистекает из исторического опыта». Таким образом, никакого a priori не существует, и всякое суждение, даже являющееся вечной истиной, возможно лишь благодаря всей предшествующей истории, в которой оно и содержится. Вечное доступно нам лишь во времени; именно таково суждение, если оно истинно.

Леон Брюнсвик (1869–1944) – французский философ-идеалист, представитель нового «открытого» рационализма. Утверждал необходимость использования в философии научного метода, идеалистически толкуя его как независимую от объективного мира активность разума.

Тезаурус русской деловой лексики

Суждение

1. Syn: предложение, высказывание, теорема

2. Syn: мнение, соображение, взгляд, воззрение (приподн.), точка зрения, понятие (уст.), представление, оценка, соображение

3. Syn: аргумент, доказательство

Энциклопедический словарь

Суждение

1. то же, что высказывание.
2. Умственный акт, реализующий отношение говорящего к содержанию высказываемой мысли и связанный с убеждением или сомнением в ее истинности или ложности.

Словарь Ожегова

СУЖДЕ НИЕ, я, ср.

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

2. Мнение, заключение (книжн.). Высказывать своё с. Каково ваше с. по этому поводу?

Словарь Ефремовой

Суждение

1. ср.
   1. :
      1. Мнение о чем-л.
      2. Заключение, решение.
   2. Форма мышления, представляющая собою сочетание понятий, одно из которых - субъект - определяется и раскрывается через другое - предикат (в логике).

Энциклопедия Брокгауза и Ефрона

Суждение

(judicium) - так называется связь (синтез), в которую сознание ставит свои элементы (представления, понятия) с целью объективного познания. От самого акта С. следует различать его выражение (enunciatio); обыкновенно С. называют самый результат сознательного синтеза, т. е. словесное выражение его, но это неправильно, ибо представляет смешение акта с его обнаружением, причем самое обнаружение понято слишком узко; С. может быть выражено и не в словах, а, напр., в знаках, в музыкальных звуках, в математической формуле. Различные определения суждения могут быть сведены к двум: формальному и индуктивному. Формальное определение рассматривает С. как отношение между двумя понятиями (или представлениями), причем это отношение может быть различным, а именно одно понятие может включать в себя другое, или может выражать лишь сравнение, или, наконец, может утверждать уравнение двух понятий, заключенных в С. (ср. учение о квантификации суждения английских логиков). Индуктивная логика рассматривает С. как выражение действительного сосуществования, или преемственности идей. Формальное определение обращает большее внимание на субъективный процесс, выражающийся в С., индуктивное - исключительно на объективную цель, содержание С. В каждом С. мы различаем те два (или более) элемента сознания, которые ставятся в связь, и самый синтез их; в предложении эти элементы носят название подлежащего, сказуемого и связки. Безличных С. нет; бывают лишь безличные предложения. С., в сущности, есть единственный предмет логики, так как умозаключение есть не что иное как осложнение и распространение С., а понятие есть лишь результат деятельности С.; потому изложение логики следовало бы начинать с учения о С. Обычное деление С.: а) по их происхождению - на априорные и апостериорные (априорные - всеобщи и необходимы и не заимствованы из опыта; апостериорные - случайны и заимствованы из опыта); b) по характеру проявляемой в них деятельности сознания - на аналитические и синтетические (синтетическими С. называются такие, в которых в сказуемом прибавляется новый признак, не имеющийся в подлежащем; аналитическими же - такие, в которых сказуемое повторяет лишь признак, заключенный уже ранее в подлежащем); с) по обширности их содержания - на общие, частные, единичные; d) по степени уверенности, с которой известное С. выражается (или по модальности), - на действительные, возможные и необходимые; e) по составу - на простые и сложные (те и другие могут быть категоричными, условными и разделительными); f) по характеру - на утвердительные, отрицательные и бесконечные (в которых отрицание относится не к сказуемому, а к логическому подлежащему); g) по взаимоотношению - на С. подчиненные, противоречащие, противоположные (об этом ср. Силлогизм); h) наконец, по их содержанию , или смыслу. Это обычное деление С. принадлежит главным образом Канту. Деление С. на априорные и апостериорные, на аналитические и синтетические касается гносеологии, а не логики; это деление затрагивает самые важные вопросы теории познания, которые в данном случае решены в смысле критической философии; между тем, эмпирик не станет признавать априорных С., считая все суждения одинаково вытекающими из опыта; точно так же психолог признает все С. синтетическими и будет утверждать, что даже в тождественном С. (напр. человек есть человек) определяющее обозначает не то же, что обозначаемое, а старается обратить внимание на какую-либо сторону логического подлежащего. Исчерпать содержание, или смысл, С. можно только в том случае, если с определенной философской точки зрения будут установлены категории, или высшие сказуемые; таким образом, и это деление не относится непосредственно к логике, а принадлежит философии. Чисто логическим характером деления суждений отличаются те, которые обозначены выше под буквами с , d , e , f , g.