Билет №15: Модальность суждения: необходимость, действительность, возможность. Алетическая, деонтическая и эпистемическая модальности.

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

Модальность суждений — это выраженная в суждении в явном или не­явном виде дополнительная информация о характере, обоснованности суждения или типе зависимости между субъектом и предикатом, отра­жающая объективные отношения между предметами и их признаками.

В общей форме модальность можно выразить с помощью модального оператора — М. В этом случае модальность суждения р символически выражают как Мр или М( S есть/ не есть Р).

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

Виды модальностей:

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

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

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

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

- L-и и L-л образуют класс логически необходимых суждений (L-необходимые).

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

• Онтологичеекая (фактическая) элегическая модальность — это характеристика не­обходимости, возможности или случайности взаимосвязи свойств и от­ношений предметов действительности, объективной реальности (т.е. ха­рактеристика объективной детерминированности).

Она может быть выра­жена в элегических терминах: необходимость (случайность), возможность (невозможность).

- онтологически необходимое — суждение, в котором выра­жается отношение, основанное на законах науки.

Например: «Суммарная энергия изолированной системы остается постоянной».

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

Например: «Наполеон умер 5 мая 1821 года».

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

Например: «На Филиппинах в этом году возможно землетрясение».

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

Например: «На Луне невозможна жизнь».

Алетические модальности (модальные категории): «необходимо» ( ),

«возможно»( ), «случайно» взаимосвязаны.

Необходимо р Невозможно не-р

Необходимо не-р Невозможно р

Случайно р Возможно р

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

Факторы внелогического воздействия, влияющим на суждения, от­носятся:

• мнение авторитета

• прагматический интерес

• традиции

• обще­ственное и личное внушение и многое другое.

(В — оператор верования, Вр — р принимается на основе веры).

Фактор логического воздействия — это принятие суждения как ис­тинного или ложного в силу его обоснованности другими суждениями, из которых интересующее нас суждение вытекает как следствие.

Если обоснование опирается на базис суждений, проверенных наукой, то обос­нованные таким образом суждения приобретают эпистемический статус знаний.

По степени обоснованности среди знаний различают два непересе­кающихся класса суждений: достоверные и проблематичные.

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

V — оператор доказанности (верифицированности)

Например: «Доказано, что Земля круглая» (Vр).

F — оператор опровергнутости (фальсифицированности)

Напимер: «Опровергнуто, что Земля плоская» (Fq).

Операторы V и F могут быть выражены друг через друга: Vp=F~p, V~p = F.

Если суждение считается достаточно обоснованным, то оно признается достоверным, в противном случае — проблематичным («по-видимому», «вероятно», «представ­ляется», «возможно», «можно предположить» и т.д.)

(Р оператор проблематичности, Рр — вероятно, р, или по-видимому, р).

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

Например: «Не воруй» ≡ «Запрещено присваивать чужое имущество (воровать)»

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

В логике отношения выражаются с помощью деонтических опера­торов:

О — обязывание, F — запрещение, Р — разрешение.

Подлежащее вы­полнению действие обозначают d, участников правоотношения - х, у, z и т.д.

Отношения деонтических модальностей должны подчиняться сле­дующим требованиям:

• деонтической непротиворечивости — исключение из употребления деонтически несовместимых норм, к каковым относятся:

(1) О(d) О(~d) - обязанность выполнить d и не-d;

(2) F(d) F(~d) - запрещение выполнить d и не-d;

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

• деонтической полноты — любое действие или обязательно, или безразлично, или запрещено;

• деонтического следования — а) следствия обязательного действия также обязательны; б) если следствие действия запрещено, то и само дей­ствие запрещено.