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

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

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

Рассмотрим два случая.

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

Распределенность терминов в суждениях можно иллюстрировать с помощью круговых схем Эйлера. На рис. 34 изображено соотношение S и Р в суждении А. Заштрихованная часть круга на рис. 34—39 характеризует распределенность (или нераспределенность) терминов.

Если объем Р больше (шире) объема S, то Р не распределен.

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

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

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

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

Если понятия S и Р перекрещиваются, то Р не распределен.

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

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

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

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

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

Вопрос №14. Модальные и сложные суждения. Изучение модальных суждений имеет длительную и многогран­ную историю. Мы отметим лишь некоторые из ее аспектов. Мо­дальности в логику были введены Аристотелем. Термин “воз­можность”, по Аристотелю, имеет различный смысл. Возможным он называет и то, что необходимо, и то, что не необходимо, и то, что возможно. Исходя из понимания модальности “возможность”, Аристотель писал о неприменимости закона исключенного тре­тьего к будущим единичным событиям.

Значительное внимание разработке модальных категорий уде­ляли философы в Древней Греции и особенно Диодор Крон, рас­сматривавший модальности в связи с введенной им временной переменной. Возникновение модальной логики как системы датируется 1918г., когда американский логик и философ Кларенс Ирвинг Льюис (1883-1964) в работе “A Survey of Symbolic Logic” сформулировал модальное исчисление, названное им впослед­ствии S3.

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

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

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

Перечень зависимостей между модальными суждениями:

— истинность суждения необходимости гарантирует истинность суждений действительности и возможности;

— ложность суждения необходимости влечет неопределенность суждений действительности и возможности;

— истинность суждения действительности гарантирует истинность суждения воз­можности, но влечет неопределенность суждения необходимости;

— ложность суждения действительности гарантирует ложность суждения необходимости и неопределенность суждения возможности:

— истинность суждения возможности влечет неопределенность суждений действительности и необходимости;

— ложность суждения возможности гарантирует ложность суждений действительности и необходимости.

Виды модальных суждений:

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

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

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

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

Деонтическая - обязательная модальность суждений. Этот вид модальности является выражением в суждении побуждения людей конкретному поведению в форме совета, команды, пожелания. Такой вид модальности суждений дает возможность логически анализировать следующие нормы: правопредставляющие - "имеет право", "может" и др.; правозапрещающие - "не может", "не в праве" и правообязывающие - "должен", "обязан".

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

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

3.Аксиологическая (ценностная) – выражена в отношении человека к материальным и духовным ценностям. Модальные слова: хорошо, плохо, безразлично

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

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

Существует два способа обусловленности, или детерминированности суждений предопределяющих соответствующие типы модальностей:

1. Логическая модальность - это логическая детерминироанность суждения, истинность или ложность которого определяется структурой, или формой суждения.

К логически истинным (L-и) относятся суждения, выражающие законы логики.

К логически ложным (L-л) - внутренне противоречивые суждения.

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

К фактически истинным (F-и) относятся суждения, в которых связь между терминами соответствует реальным отношениям между предметами.

К фактически ложным (F-л) относятся суждения, в которых связь между терминами не соответствует действительности.

Не нашли, что искали? Воспользуйтесь поиском: