Что есть высказывание и что есть суждение. Что такое суждение в логике

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

Суждение

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

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.

Простое суждение можно разложить только на понятия.

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

Состав простого суждения

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

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

Состав сложного суждения

Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит, и любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дизъюнктивные, импликационные, эквивалентные и отрицательные суждения.

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

• нестрогими (нестрогая дизъюнкция), члены которой допускают совместное сосуществование («то ли…, то ли…»). Записывается как $a\; \backslash lor\; b$;
• строгими (строгая дизъюнкция), члены которой исключают друг друга (либо одно, либо другое). Записывается как $a\; \backslash dot\backslash lor\; b$.

Импликационные суждения образуются с помощью импликации , (эквивалентно союзу «если …, то»). Записывается как $a\; \backslash to\; b$ или $a\; b$. В естественном языке союз «если …, то» иногда является синонимом союза «а» («Погода изменилась и, если вчера было пасмурно, то сегодня ни одной тучи») и, в таком случае, означает конъюнкцию.

Конъюнктивные суждения образуются с помощью логических связок сочетания или конъюнкции (эквивалентно запятой или союзам «и», «а», «но», «да», «хотя», «который», «зато» и другим). Записывается как $a\; \backslash land\; b$.

Эквивалентные суждения указывают на тождественность частей суждения друг другу (проводят между ними знак равенства). Помимо определений, поясняющих какой-либо термин, могут быть представлены суждениями, соединенными союзами «если только», «необходимо», «достаточно» (например: «Чтобы число делилось на 3, достаточно, чтобы сумма цифр, его составляющих, делилась на 3»). Записывается как $a\; \backslash equiv\; b,\; a\; \backslash leftrightarrow\; b,\; a\; b$ (у разных математиков по-разному, хотя математический знак тождества всё-таки $\backslash equiv$).

Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a ~ b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (a b).

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

По качеству

• Утвердительные - S есть P. Пример: «Люди пристрастны к самим себе».
• Отрицательные - S не есть P. Пример: «Люди не поддаются лести».

По объёму

• Общие - суждения, которые справедливы относительно всего объёма понятия (Все S суть P). Пример: «Все растения живут».
• Частные - суждения, которые справедливы относительно части объема понятия (Некоторые S суть P). Пример: «Некоторые растения хвойные».
• Единичные

По отношению

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

По отношению между подлежащим и сказуемым

Субъект и предикат суждения могут быть распределены (индекс «+») или не распределены (индекс «-»).

• Распределено - когда в суждении подлежащее (S) или сказуемое (P) берется в полном объеме.
• Не распределено - когда в суждении подлежащее (S) или сказуемое (P) берется не в полном объёме.

Суждения А (обще-утвердительные суждения) Распределяет своё подлежащее (S), но не распределяет своё сказуемое (P)

Объем подлежащего (S) меньше объема сказуемого (Р)

• Прим.: «Все рыбы суть позвоночные»

Объемы подлежащего и сказуемого совпадают

• Прим.: «Все квадраты суть параллелограммы с равными сторонами и равными углами»

Суждения Е (обще-отрицательные суждения) Распределяет как подлежащее (S), так и сказуемое (P)

В этом суждении мы отрицаем всякое совпадение между подлежащим и сказуемым

• Прим.: «Ни одно насекомое не есть позвоночное»

Суждения I (частно-утвердительные суждения) Ни подлежащие (S), ни сказуемые (P) не распределены

Часть класса подлежащего входит в класс сказуемого.

• Прим.: «Некоторые книги полезны»

• Прим.: «Некоторые животные суть Позвоночные»

Суждения О (частно-отрицательные суждения) Распределяет своё сказуемое (Р), но не распределяет своё подлежащее (S) В этих суждениях мы обращаем внимание на то, что есть несовпадающего между ними (заштрихованная область)

• Прим.: «Некоторые животные не суть позвоночные (S)»

• Прим.: «Некоторые змеи не имеют ядовитых зубов (S)»

таблица распределения подлежащего и сказуемого

Общая классификация:

• общеутвердительные (A ) - одновременно общие и утвердительные («Все S + суть P - »)
• частноутвердительное (I ) - частное и утвердительное («Некоторые S - суть P - ») Прим: «Некоторые люди имеют черный цвет кожи»
• общеотрицательное (E ) - общее и отрицательные («Ни один S + не суть P + ») Прим: «Ни один человек не всеведущ»
• частноотрицательное (O ) - частное и отрицательное («Некоторые S - не суть P + ») Прим: «Некоторые люди не имеют черного цвета кожи»

Другие

• Разделительные -

1) S есть или А, или В, или С

2) или А, или В, или С есть Р когда в суждении остается место неопределенности

• Условно-разделительные суждения -

Если А есть В, то С есть D или Е есть F

если есть А, то есть а, или b, или с Прим: « Если кто желает получить высшее образование, то он должен учиться или в университете, или в институте, или в академии»

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

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

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

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

В зависимости от модальности выделяются следующие основные виды суждений:

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

Напишите отзыв о статье "Суждение"

Примечания

См. также

Литература

• Челпанов Г. Учебник логики. - 9-е издание. - М ., 1998.
• Гетманова А. Д. Логика. - Книжный дом «Университет», 1998. - 480 с.
• Егоров С. Н. Суждение. - СПб. , 2011. - 264 с.

Отрывок, характеризующий Суждение

Скоро после этого в темную храмину пришел за Пьером уже не прежний ритор, а поручитель Вилларский, которого он узнал по голосу. На новые вопросы о твердости его намерения, Пьер отвечал: «Да, да, согласен», – и с сияющею детскою улыбкой, с открытой, жирной грудью, неровно и робко шагая одной разутой и одной обутой ногой, пошел вперед с приставленной Вилларским к его обнаженной груди шпагой. Из комнаты его повели по коридорам, поворачивая взад и вперед, и наконец привели к дверям ложи. Вилларский кашлянул, ему ответили масонскими стуками молотков, дверь отворилась перед ними. Чей то басистый голос (глаза Пьера всё были завязаны) сделал ему вопросы о том, кто он, где, когда родился? и т. п. Потом его опять повели куда то, не развязывая ему глаз, и во время ходьбы его говорили ему аллегории о трудах его путешествия, о священной дружбе, о предвечном Строителе мира, о мужестве, с которым он должен переносить труды и опасности. Во время этого путешествия Пьер заметил, что его называли то ищущим, то страждущим, то требующим, и различно стучали при этом молотками и шпагами. В то время как его подводили к какому то предмету, он заметил, что произошло замешательство и смятение между его руководителями. Он слышал, как шопотом заспорили между собой окружающие люди и как один настаивал на том, чтобы он был проведен по какому то ковру. После этого взяли его правую руку, положили на что то, а левою велели ему приставить циркуль к левой груди, и заставили его, повторяя слова, которые читал другой, прочесть клятву верности законам ордена. Потом потушили свечи, зажгли спирт, как это слышал по запаху Пьер, и сказали, что он увидит малый свет. С него сняли повязку, и Пьер как во сне увидал, в слабом свете спиртового огня, несколько людей, которые в таких же фартуках, как и ритор, стояли против него и держали шпаги, направленные в его грудь. Между ними стоял человек в белой окровавленной рубашке. Увидав это, Пьер грудью надвинулся вперед на шпаги, желая, чтобы они вонзились в него. Но шпаги отстранились от него и ему тотчас же опять надели повязку. – Теперь ты видел малый свет, – сказал ему чей то голос. Потом опять зажгли свечи, сказали, что ему надо видеть полный свет, и опять сняли повязку и более десяти голосов вдруг сказали: sic transit gloria mundi. [так проходит мирская слава.]
Пьер понемногу стал приходить в себя и оглядывать комнату, где он был, и находившихся в ней людей. Вокруг длинного стола, покрытого черным, сидело человек двенадцать, всё в тех же одеяниях, как и те, которых он прежде видел. Некоторых Пьер знал по петербургскому обществу. На председательском месте сидел незнакомый молодой человек, в особом кресте на шее. По правую руку сидел итальянец аббат, которого Пьер видел два года тому назад у Анны Павловны. Еще был тут один весьма важный сановник и один швейцарец гувернер, живший прежде у Курагиных. Все торжественно молчали, слушая слова председателя, державшего в руке молоток. В стене была вделана горящая звезда; с одной стороны стола был небольшой ковер с различными изображениями, с другой было что то в роде алтаря с Евангелием и черепом. Кругом стола было 7 больших, в роде церковных, подсвечников. Двое из братьев подвели Пьера к алтарю, поставили ему ноги в прямоугольное положение и приказали ему лечь, говоря, что он повергается к вратам храма.
– Он прежде должен получить лопату, – сказал шопотом один из братьев.
– А! полноте пожалуйста, – сказал другой.
Пьер, растерянными, близорукими глазами, не повинуясь, оглянулся вокруг себя, и вдруг на него нашло сомнение. «Где я? Что я делаю? Не смеются ли надо мной? Не будет ли мне стыдно вспоминать это?» Но сомнение это продолжалось только одно мгновение. Пьер оглянулся на серьезные лица окружавших его людей, вспомнил всё, что он уже прошел, и понял, что нельзя остановиться на половине дороги. Он ужаснулся своему сомнению и, стараясь вызвать в себе прежнее чувство умиления, повергся к вратам храма. И действительно чувство умиления, еще сильнейшего, чем прежде, нашло на него. Когда он пролежал несколько времени, ему велели встать и надели на него такой же белый кожаный фартук, какие были на других, дали ему в руки лопату и три пары перчаток, и тогда великий мастер обратился к нему. Он сказал ему, чтобы он старался ничем не запятнать белизну этого фартука, представляющего крепость и непорочность; потом о невыясненной лопате сказал, чтобы он трудился ею очищать свое сердце от пороков и снисходительно заглаживать ею сердце ближнего. Потом про первые перчатки мужские сказал, что значения их он не может знать, но должен хранить их, про другие перчатки мужские сказал, что он должен надевать их в собраниях и наконец про третьи женские перчатки сказал: «Любезный брат, и сии женские перчатки вам определены суть. Отдайте их той женщине, которую вы будете почитать больше всех. Сим даром уверите в непорочности сердца вашего ту, которую изберете вы себе в достойную каменьщицу». И помолчав несколько времени, прибавил: – «Но соблюди, любезный брат, да не украшают перчатки сии рук нечистых». В то время как великий мастер произносил эти последние слова, Пьеру показалось, что председатель смутился. Пьер смутился еще больше, покраснел до слез, как краснеют дети, беспокойно стал оглядываться и произошло неловкое молчание.
Молчание это было прервано одним из братьев, который, подведя Пьера к ковру, начал из тетради читать ему объяснение всех изображенных на нем фигур: солнца, луны, молотка. отвеса, лопаты, дикого и кубического камня, столба, трех окон и т. д. Потом Пьеру назначили его место, показали ему знаки ложи, сказали входное слово и наконец позволили сесть. Великий мастер начал читать устав. Устав был очень длинен, и Пьер от радости, волнения и стыда не был в состоянии понимать того, что читали. Он вслушался только в последние слова устава, которые запомнились ему.

Глава 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 ) не существует (Р )»).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Состав простого суждения

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

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

Состав сложного суждения

Сложные суждения состоят из ряда простых («Человек не стремится к тому, во что не верит, и любой энтузиазм, не подкрепляясь реальными достижениями, постепенно угасает»), каждое из которых в математической логике обозначается латинскими буквами (A, B, C, D… a, b, c, d…). В зависимости от способа образования различают конъюнктивные, дизъюнктивные, импликационные, эквивалентные и отрицательные суждения.

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

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

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

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

Отрицательные суждения строятся с помощью связок отрицания «не». Записываются либо как a ~ b, либо как a b (при внутреннем отрицании типа «машина не роскошь»), а также с помощью черты над всем суждением при внешнем отрицании (опровержении): «не верно, что …» (a b).

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

По качеству

• Утвердительные - S есть P. Пример: «Люди пристрастны к самим себе».
• Отрицательные - S не есть P. Пример: «Люди не поддаются лести».

По объёму

• Общие - суждения, которые справедливы относительно всего объёма понятия (Все S суть P). Пример: «Все растения живут».
• Частные - суждения, которые справедливы относительно части объема понятия (Некоторые S суть P). Пример: «Некоторые растения суть хвойные».

По отношению

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

По отношению между подлежащим и сказуемым

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

Субъект и предикат суждения могут быть распределены (индекс «+») или не распределены (индекс «-»).

• Распределено - когда в суждении подлежащее (S) или сказуемое (P) берется в полном объеме.
• Не распределено - когда в суждении подлежащее (S) или сказуемое (P) берется не в полном объёме.

Суждения А (обще-утвердительные суждения) Распределяет свое подлежащее (S), но не распределяет свое сказуемое (P)

Объем подлежащего (S) меньше объема сказуемого (Р)

• Прим.: «Все рыбы суть позвоночные»

Объемы подлежащего и сказуемого совпадают

• Прим.: «Все квадраты суть параллелограммы с равными сторонами и равными углами»

Суждения Е (обще-отрицательные суждения) Распределяет как подлежащее (S), так и сказуемое (P)

В этом суждении мы отрицаем всякое совпадение между подлежащим и сказуемым

• Прим.: «Ни одно насекомое не есть позвоночное»

Суждения I (частно-утвердительные суждения) Ни подлежащие (S), ни сказуемые (P) не распределены

Часть класса подлежащего входит в класс сказуемого.

• Прим.: «Некоторые книги полезны»

• Прим.: «Некоторые животные суть Позвоночные»

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

• Прим.: «Некоторые животные не суть позвоночные (S)»

• Прим.: «Некоторые змеи не имеют ядовитых зубов (S)»

таблица распределения подлежащего и сказуемого

Общая классификация:

• общеутвердительные (A ) - одновременно общие и утвердительные («Все S + суть P - »)
• частноутвердительное (I ) - частное и утвердительное («Некоторые S - суть P - ») Прим: «Некоторые люди имеют черный цвет кожи»
• общеотрицательное (E ) - общее и отрицательные («Ни один S + не суть P + ») Прим: «Ни один человек не всеведущ»
• частноотрицательное (O ) - частное и отрицательное («Некоторые S - не суть P + ») Прим: «Некоторые люди не имеют черного цвета кожи»

Другие

• Разделительные -

1) S есть или А, или В, или С

2) или А, или В, или С есть Р когда в суждении остается место неопределенности

• Условно-разделительные суждения -

Если А есть В, то С есть D или Е есть F

если есть А, то есть а, или b, или с Прим: « Если кто желает получить высшее образование, то он должен учиться или в университете, или в институте, или в академии»

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

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

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

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

В зависимости от модальности выделяются следующие основные виды суждений:

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

Примечания

См. также

Литература

• Г. Челпанов. «Учебник логики». 9-е издание. Москва 1998 г.
• А. Д. Гетманова Логика // Изд. Книжный дом «Университет». 1998. - 480с.

Wikimedia Foundation . 2010 .

• Краснозаводск
• Солнечногорский район Московской области

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

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

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

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

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

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

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

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

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

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

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

Книги

• Суждение православного галичанина о реформе русского церковного управления, проектируемой русскими либералами нашего времени , Добрянский-Сачуров. Суждение православного галичанина о реформе русского церковного управления, проектируемой русскими либералами нашего времени / Соч. ... Галицко-рус. деятеля и патриота Адольфа Ивановича…