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

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

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

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

К логически истинным (L-и) относят суждения, выражающие законы логики. К логически ложным (L-л) относят внутренне противоречивые суждения. Например, суждение р \/ ┐p является логически истинным (L-и) как выражающий закон исключенного третьего, а суждение ┐(р → р) всегда будет ложным (L-л) как противоречащее закону тождества.

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

Например, суждения: «Эйфелева башня находится в Париже» - фактически истинное, а суждение: «Ни одно млекопитающее не живет в воде» - фактически ложное. В суждениях с фактической модальностью устойчивость и интенсивность реальных связей между предметами находит свое выражение с помощью алетических модальных понятий необходимости и случайности.

Фактически необходимые – это суждения, в которых содержится информация о законах науки. В символическом языке для понятия необходимости общепринят знак □ – оператор необходимости. Суждения необходимости могут быть как истинными, так и ложными.

Например: суждение «Кислород необходим для поддержания жизни» истинно (□р), а суждение «Вода не кипит при 100°С в нормальных условиях» ложно (□ ┐р). В совокупности они составляют класс фактически необходимых суждений (□р \/ □ ┐р).

Фактически случайные – это суждения, в которых истинность и ложность определяются эмпирическими условиями. Класс случайных суждений можно определить через отрицание необходимости. Иначе говоря, к случайным относятся суждения, которые не являются необходимым (┐□ р /\ ┐□ ┐р).

Например, суждение «Наполеон умер 5 мая 1821 года» является фактически случайным, поскольку его смерть могла наступить как до, так и после этой даты.

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

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

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

Фактически невозможными являются суждения, содержащие информацию о принципиальной несовместимости выраженных в субъекте и предикате явлений. Например: «На Луне невозможна жизнь»; «Невозможно, чтобы в треугольнике сумма внутренних углов не была равна 180°».

Таким образом, логически истинные и логически ложные суждения вместе (L-и \/ L-л) образуют класс логически детерминированных суждений. Все остальные суждения составляют класс фактически детерминированных суждений (F-и \/ F-л).

КОНТРОЛЬНЫЕ ВОПРОСЫ И ЗАДАНИЯ

1. Где содержится основная и дополнительная информация?

2. Что такое модальность и какие ее виды бывают?

3. Приведите примеры модальных суждений.

4. Какие виды эпистемической модальности бывают?

5. Как выразить деонтическую обязанность через запрещение?

6. Что такое алетическая модальность суждений?