12. Модальность суждений					145
12.5. Сводная таблица видов модальностей
Характе-	Алетическая		Эпистемическая		Деонти-
ристика	модальность		модальность		ческая
модаль-					модаль-
ности					ность
	Онтологи-	Логическая	Знания	Убеждения
	ческая	модальность
	(факти-
	ческая)
	модаль-
	ность
1	2	3	4	5	6
Сильная	Факти-	Логическая	Доказу-	Полага-	Обяза-
положи-	ческая	необходи-	емость	емость,	òåëü-
тельная	необходи-	мость	(верифици-	убежден-	ность,
модаль-	мость	(N)	руемость)	ность	норма-
ность	(Í)		(G)	(R)	тивность
					(Î)
Слабая	Факти-	Логическая	Неразре-	Сомнева-	Безразлич-
íåéò-	ческая	случайность	шимость,	емость	ность
ральная	случай-	(S)	непроверя-	(W)	(I)
модаль-	ность		емость
ность	(Ñ)		(U)
Сильная	Факти-	Логическая	Опровер-	Отверга-	Запреща-
отрица-	ческая	невозмож-	жимость	емость	емость
тельная	невозмож-	ность ( М)	(фальсифици-	(V)	(F)
модаль-	ность ( В)		руемость)
ность			(Å)
Слабая	Факти-	Логическая	Предпола-	Допуска-	Разрешен-
положи-	ческая	возмож-	гаемость,	емость	ность
тельная	возмож-	ность	гипотетич-	(Ä)	(Ð)
модаль-	ность	(Ì)	ность
ность	(Â)		(Ò)

146					III. Суждение
				Продолжение
Характеристика	Аксиологическая		Временная
модальности	модальность		модальность
	абсолютная	сравни-	абсолютная		сравни-
		тельная			тельная
1	7	8	9		10
Сильная	Хорошо	Лучше	Всегда		Раньше
положительная	(G)	(Â)
модальность
Слабая	Аксиоло-	Равнодушно	Только		Одновре-
нейтральная	гически	(S)	иногда		менно
модальность	безразлично
	(I)
Сильная	Плохо	Õóæå	Никогда		Позже
отрицательная	(Í)	(À)
модальность
Слабая
положительная	—	—	—		—
модальность

Описанные модальности имеют свойство дополнять друг друга, выражая один и тот же предмет в различных смысловых контекстах. В теории логических модальностей принцип полноты утверждает, что каждое высказывание может содержать относительно большой объем информации. Иными словами, одно и то же высказывание может стать объектом целого ряда модальных оценок с одной или разных точек зрения. Так, например, из немодального высказывания «Курица — птица» можно образовать модальные высказывания: «Возможно, что курица птица» (алетическая модальность); «Доказано, что курица птица» (эпистеми- ческая модальность); «Обязательно, что курица птица» (деонтическая модальность); «Хорошо, что курица птица» (аксиологическая модальность). Свойства основных операторов различных модальностей совместимы в реальном мышлении; в своем единстве они способны отразить самые тончайшие оттенки мысли.

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

12.6.Определения и законы модальной логики. Логические модальные понятия

Na ≡ Dƒƒ	Ì à	— «высказывание а логически необходимо» означает: «отри-
		цание а не является логически возможным».
Ìa ≡ Dƒ N à		— «а логически возможно» означает: «отрицание а не явля-
		ется логически необходимым».
Sa ≡ Dƒ Ìà & Ì		а — «а логически случайно» означает: «логически возможно
		как а, так и отрицание а».
Nà à	— если высказывание логически необходимо, то оно истинно.

Nа Ма — если высказывание логически необходимо, оно логически возможно. а Ма — если высказывание истинно, оно логически возможно.

П р и м е ч а н и е. N — логически необходимо; М — логически возможно; S — логически случайно; знак ≡ Dƒ — равенство по определению; знак — отрицание.

12.7. Физические модальные понятия

Ía ≡ Dƒ В а — «высказывание физически необходимо» означает: «отрицание этого высказывания не является физически возможным».

Âa ≡ Dƒ Н а — «высказывание физически возможно» означает: «отрицание этого высказывания не является физически необходимым».

Ña ≡ Dƒ Ва & В а — «высказывание физически случайно» означает: «физически возможно как данное высказывание, так и его отрицание».

На а — «если высказывание физически необходимо, то описываемое им событие имеет место».

На Ва — «если высказывание физически необходимо, оно физически возможно».

а Ва — «если высказывание истинно, оно физически возможно».

П р и м е ч а н и е. Н — физически необходимо; В — физически возможно; С — физи- чески случайно.

148	III. Суждение

12.8. Законы и определения логики оценок

(Ga & Ía) — ничто не является хорошим и плохим одновременно.

(Ga & Ia) — ничто не является вместе хорошим и безразличным.

(Ía & Ia) — ничто не является вместе плохим и безразличным.

Ia ≡ Dƒ Ga & Íà	— безразличное — это не являющееся ни хорошим, ни
	плохим.
Ga ≡ Dƒ Í à	— нечто является хорошим означает противоположное
	является плохим.
Ía ≡ Dƒ G à	— нечто является плохим означает противоположное яв-
	ляется хорошим.
(Ga & G a)	— два состояния, логически несовместимые друг с дру-
	гом, не могут быть оба хорошими.
(Ía & Í a)	— два логически несовместимых состояния не могут быть
	вместе плохими.
(àÂa) è (aÀà)	— ничто не может быть лучше самого себя и ничто не
	может быть хуже самого себя.
(àÂb) (bÀà)	— если первое лучше второго, то второе хуже первого.

(àÂb) & (bÂñ) (àÂñ) — если первое лучше второго, а второе лучше третьего, то первое лучше третьего.

П р и м е ч а н и е. В логике абсолютных оценок: G — хорошо; Н — плохо; I — безразлично. В логике сравнительных оценок: В — лучше; А — хуже; S — равноценно.

12.9. Законы и определения логики норм

(Оa & Fa) — никакое действие не может быть одновременно и обязательным, и запрещенным.

(Оa & Ia) — никакое действие не может быть вместе и обязательным,

è(нормативно) безразличным.

(Fa & Ia) — никакое действие не может быть вместе и запрещенным,

è(нормативно) безразличным.

Ia ≡ Dƒ Îa & Fà	— «действие нормативно безразлично» означает, что это дейст-
	вие не обязательно и не запрещено.
Îa ≡ Dƒ F à	— «действие обязательно» означает, что от данного действия
çàï-	запрещено воздерживаться.
Fa ≡ O à	— «действие запрещено» означает, что от этого действия обяза-
	тельно воздерживаться.
Ða Fa	— разрешенное не запрещено.
(Îa & Î a)	— действие и воздержание от него не могут быть вместе
	обязательными.

П р и м е ч а н и е. О — обязательно; Р — разрешено; F — запрещено; I — (нормативно) безразлично.