NSTUleaks.org

Честность, открытость, ответственность

Логическая форма суждения

Полный список ответов по логике

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

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

Следующее деление суждений проводится по Характеру предиката. Здесь имеются три подразделения.

Если в предикате (Р) отображаются свойства (признаки) предмета, которые могут иметься (или отсутствовать) у субъекта (S), такое суждение называется Атрибутивным (от латинского attribution — «присовокупленное») или суждением свойства («золото — драгоценный металл»; «золото не подвергается коррозии»).

Если в суждении фиксируется существование или несуществование предмета, о котором идет речь (S), такие суждения именуются Экзистенциальными (от латинского existentia — «существование») или суждениями существования («существует планета Земля»; «привидений не существует»).

Суждение, в котором отображается Отношение двух предметов (свойств, качеств) по величине, последовательности, положению в пространстве, интенсивности качеств и т. п., называется Релятивным (от латинского relativus — «относительный») или суждением отношений («Обь длиннее Волги»; «Василий — брат Алексея»). Формула такого суждения aRb, где а — предшествующий член отношения, b — последующий член отношения, a R — отношение между ними.

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

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

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

Разделительное, дизъюнктивное (от латинского disjungo — «разобщаю») суждение отображает некоторый набор свойств, одно из которых обязательно имеется в данный момент у предмета (S) («вода может находиться либо в твердом, либо в жидком, либо в газообразном состоянии»).

Условное или гипотетическое (от греческого hypothesis — «предположение») суждение указывает на то, что при наличии определенных условий у предмета (S) обнаружатся некоторые свойства (признаки) («если железный стержень нагреть, его длина увеличится»).

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

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

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

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

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

Общеутвердительные (обозначаются буквой А). Все S есть Р. «Все студенты сдают экзамены»;

Частноутвердительные (обозначаются буквой I). Некоторые S есть Р. «Некоторые студенты — спортсмены»;

общеотрицательные (обозначаются буквой Е). Ни одно S не есть Р. «Ни одна кошка не дружит с мышами»;

Частноотрицательные (обозначаются буквой О). Некоторые S не есть Р. «Некоторые врачи — не окулисты».

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

Обрати внимание

Цитата дня

Играть в жизнь куда интереснее, чем на сцене.

(c) Б. Акунин