Глава III. Суждение 85

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

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

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

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

Модальные высказывания изучаются в модальной логике, в которой имеются отдельные разделы (или ветви): логика норм, логика времени, де- онтическая логика, логика действия, логика принятия решений и другие

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

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

Логика норм. М., 1973. С. 29. Термин модальность» про- исходит от греческого слова означавшего в античной философии высший тип несомненного, достоверного знания. Термин «деонтический» заимствован из грече- ского языка и означает обязанность.

₈₆ ЛОГИКА

Логические модально- сти	Онтологические модальности	Эпистемические модальности
		знание	убеждение
логически необходимо	онтологически необходимо	доказуемо (верифицируемо)	полагает (убежден)
логически случайно	онтологически случайно	неразрешимо (непроверяемо)	сомневается
логически невозможно	онтологически невозможно	опровержимо (фальсифицируе- мо)	отвергает
логически возможно	онтологически		допускает

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

Логические модальности и онтологические модальности объединяются в общий вид — алетические модальности¹. Они включают такие модальные операторы, или категории модальности: необходимость и случайность, возможность и невозможность. Слова «необходимо», «возможно», «случай- но» в обыденном языке употребляются в самых различных смыслах.

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

Алетические модальности обозначаются так: — «необходимо

«VA» — «случайно — «возможно «~ — невозможно (знак

«~» обозначает отрицание). Иногда их обозначают так: — «необходи-

— р».

Алетические модальности (логические и онтологические) часто содер- жательно истолковывают так: необходимым считают логические законы, а также законы, выявленные различными науками, и все следствия из этих законов. Невозможным считают суждения, противоречащие этим законам,

^{Термин греческого происхождения, он обозначает «необходимость».}