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

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

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

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

Простые и сложные суждения[править | править вики-текст]

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

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

Состав простого суждения [править | править вики-текст]

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

· Субъект суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).

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

· Логическая связка — мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается).

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

Классификация простых суждений[править | править вики-текст]

По качеству [править | править вики-текст]

· Утвердительные — 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)»

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

		Подлежащее (S)	Сказуемое (P)
о-у	А	распределено	нераспределено
о-о	Е	распределено	распределено
ч-у	I	нераспределено	нераспределено
ч-о	О	нераспределено	распределено

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

· общеутвердительные (A) — одновременно общие и утвердительные («Все S₊ суть P_-»)

· частноутвердительное (I) — частное и утвердительное («Некоторые S_- суть P_-») Прим: «Некоторые люди имеют черный цвет кожи»

· общеотрицательное (E) — общее и отрицательные («Ни один S₊ не суть P₊») Прим: «Ни один человек не всеведущ»

· частноотрицательное (O) — частное и отрицательное («Некоторые S_- не суть P₊») Прим: «Некоторые люди не имеют черного цвета кожи»

·

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

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

·

· Отношения противоречия (контрадикторности): А—О, Е—I. Эти суждения не могут быть одновременно истинными и ложными. Из истинности одного суждения следует ложность другого, из ложности одного — истинность другого. Выводы строятся по схемам: Аи — Ол, Ал — Ои, Еи — Iл, Ел — Iи.

· Отношения противоположности (контрарности): А — Е. Противоположные суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Из ложности одного суждения следует истинность другого, но из истинности одного из них может следовать как истинность, так и ложность другого суждения.

· Выводы строятся по схемам: Аи—Ел, Еи—Ал, Ал —Е?, Ел — А?

· Отношение частичной совместимости (субконтрарности): I — О. Эти суждения могут быть одновременно истинными, но не могут быть одновременно ложными. Из ложности одного суждения следует истинность другого, но из истинности одного из них может следовать как истинность, так и ложность другого. Выводы строятся по схемам: I л — Oи, Ол — Iи, Iи — О?, Ои —I?

· Отношение подчинения: А—I, Е—О. Из истинности подчиняющего суждения следует истинность подчиненного суждения, но не наоборот: из истинности подчиненного суждения истинность подчиняющего суждения не следует, оно может быть истинным, но может быть и ложным. Из ложности подчиненного суждения следует ложность подчиняющего суждения, но не наоборот: из ложности подчиненного суждения следует ложность подчиняющего суждения.

·

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

· Противоречащие высказывания (SaP и SoP; SeP и SiP) не могут быть одновременно истинными и ложными; если одно из них истинно, то другое ложно. Так, если высказывание «Все киты дышат лёгкими» истинно, то высказывание «Некоторые киты не дышат лёгкими» ложно. Если высказывание «Некоторые медведи — не бурые» истинно, то высказывание «Все медведи — бурые» ложно.

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

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

· В отношении подчинения находятся попарно высказывания SaP и SiP, SeP и SoP. Из подчиняющего высказывания логически следует подчинённое: из SaP вытекает SiP и из SeP вытекает SoP. Это означает, что из истинности подчиняющего высказывания логически следует истинность подчинённого, и из ложности подчинённого следует ложность подчиняющего. К примеру, из высказывания «Все киты являются млекопитающими» следует высказывание «Некоторые киты млекопитающие», а из высказывания «Все металлы не являются сжимаемыми» следует высказывание «Некоторые металлы не сжимаемы».

Дата добавления: 2015-09-29