СУЖДЕНИЕ

Если сказанное оценивается только по истинностному значению (модус утверждения: «А — истинно» или «А — ложно»), С. наз. ассерторическим. Если утверждается возможность (истинности) сказанного [модус утверждения: «А — возможно (истинно)» или «возможно, что А (истинно)»], С. наз. проблематическим. Когда же утверждается необходимость (истинности) сказанного [модус утверждения: «А необходимо (истинно)» или «необходимо, что А (истинно)»], С. наз. аподиктическим. Допустимы, конечно, и иные оценки сказанного, напр. «Л — прекрасно» или «Л — неудачно», но такого рода С. пока не нашли формального выражения в к.-л. логич. теории.

В классич. логике единств. способ оценки сказанного сводится к первому рассмотренному выше случаю, но сказанное и ассерторич. утверждение сказанного (как показывают табл. 1 и 2), с т. зр. этой логики,—

Табл. 1 А

А истинно

истина ложь

истина ложь

Табл. 2 не-А

А ложно

ложь истина

ложь истина

неразличимы. Поэтому в классич. логике термины «С.» и «высказывание» синонимичны и как самостоят. объекты исследования С. не выделяются. Предметом спец. изучения С. фактически становятся только в модальной логике.

• Зигварт X., Логика, пер. с нем., т. 1, СПБ, 1908; Ч ё ? ч А., Введение в математич. логику, пер. с англ., т. 1, М., I960, § 04; Фейс Р., Модальная логика, пер. [с англ.], М., 1974.