Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Logika_GRYaDOVOJ.pdf
Скачиваний:
51
Добавлен:
08.03.2015
Размер:
22.26 Mб
Скачать

Глава 12

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

12.1. Структура модальных суждений

Модальность (от лат. modus — мера, способ) — это выраженная в суждении дополнительная информация о логическом или фактическом статусе суждения, о регулятивных, оценочных, временных и других его характеристиках.

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

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

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

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

ñпозиций законов логики.

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

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

Модальные простые суждения

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

Ñ ò ð ó ê ò ó ð à.

М (S есть Р) или М (S не есть Р), где М – модальный оператор

(модальное понятие).

П р и м е р. Из немодального высказывания Ртуть — металл можно образовать модальные высказывания: Возможно, что ртуть — металл, Немыслимо, чтобы ртуть была металлом, Доказано, что ртуть — металл и т.д.

Модальные сложные суждения

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

Ñò ð ó ê ò ó ð à.

Ì(p & q); Ì (p q); Ì (p q);

Ì(p q); Ì (p ≡ q).

П р и м е р. Из сложного высказывания

Если температура выше 100 î, то вода превращается в пар можно получить модальное высказывание Физически необходимо, что если температура выше 100 î, то вода превращается в пар.

142

III. Суждение

 

 

12.2. Алетическая модальность1

Алетическая модальность

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

Фактическая модальность

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

Логическая модальность

Логическая модальность связана с логической детерминированностью суждения, когда истинность (ложность) определяется формой (структурой) суждения.

Модальные понятия

Необходимость

Фактически необходимыми являются суждения, в которых содержится информация о законах науки.

С т р у к т у р а. S необходимо есть (не есть) Р.

М о д а л ь н ы е о п е р а т о р ы: необходимо, обязательно, непременно и др.

Случайность

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

Возможность

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

С т р у к т у р а. S может быть (может не быть) Р

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

Невозможность

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

1 Термин «алетическая» (от греч. «алетейя» — истина) означает «истинный».

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

143

 

 

12.3. Эпистемическая модальность

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

Основания принятия суждений

Знания

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

Если модальным операторам К обозначить знание, т.е. принятие высказывания р посредством знания, то выражение К(р) будет означать: р

принимается на основе знания.

Убеждения

Эпистемическая модальность предполагает убеждения.

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

Если модальным оператором Y обозначить убеждение, т.е. принятие высказывания р посредством убеждения, то выражение Y(р) будет означать:

р принимается на основе убеждения.

Степень обоснованности

Достоверные суждения

Достоверные суждения — это достаточно обоснованные истинные или ложные суждения.

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

Модальность такого типа суждений выражается посредством двух операторов: доказанности (верифицированности) — V и опровергнутости (фальсифицированности) — F.

Верифицированность суждения р может быть выражена в терминах доказанности

(Vр V р) или опровергнутости

(Fр F р) или одного через другого (Vр ≡ F р; V р ≡ Fр).

Правдоподобные суждения

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

Вероятность суждения р может быть выражена в терминах доказанности (V) и опровергнутости (F), т.е. когда р не доказано и не опровергнуто:

Ðð ≡ Vð & Fð,

где р — оператор вероятности, а выражение Рр означает: «Вероятно, р».

П р и м е ч а н и е. Термин «эпистемический» (от греч. «episteme» — знание) означает высший тип достоверного знания.

144

III. Суждение

 

 

12.4. Деонтическая модальность1

Деонтическая модальность — это выраженное в суждении предписание в форме совета, пожелания, правила поведения или приказа, побуждающее человека к конкретным действиям. К деонтическим относят и нормы права. В соответствии с деонтическими операторами (О — обязывание, F — запрещение, Р — разрешение) различают правообязывающие, правозапрещающие, правопредоставляющие нормы.

Деонтическая модальность

Правообязывающие нормы

Формулируют с помощью слов: «обязан», «должен», «надлежит», «признается» и др.

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

П р и м е р. Организация обязана возместить вред, причиненный по вине ее работников.

Правозапрещающие нормы

Формулируют с помощью слов: «запрещается», «не вправе», «не может», «не допускается» и др.

Символическая запись правозапрещения: F (d), что означает «действие d запрещается».

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

Правопредоставляющие нормы

Формулируют с помощью слов: «имеет право», «может иметь», «может принять» и др.

Символическая запись правопредоставления: Р (d), что означает «предоставляется право выполнить d».

П р и м е р. Наниматель жилого помещения имеет право в любое время расторгнуть договор.

Деонтические требования к нормативно-правовой системе

Непротиворечивость

Деонтическая непротиворечивость — система права исключает деонтически несовместимые нормы:

1.О (d) & О ( d) — обязанность выполнять d и íå-d;

2.F (d) & F ( d) — запрещение выполнять d и íå-d;

3.О (d) & F (d) — обязанность выполнять d и запрет выполнять d.

Сбалансированность

Деонтическая сбалансированность — в правовой системе для всякой правопредоставляющей нормы предусмотрена соответствующая ей правообязывающая норма.

Полнота

Деонтическая полнота — в системе регулируются все предусмотренные в данной предметной области действия и в ней нет нерегулируемых действий.

1 Термин «деонтический» (от греч. «deonte» — как должно быть) означает «обязанность».

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]