МОДАЛЬНОСТЬ (в логике)

(лат. modus — мера, способ) — характеристика суждения по “силе” высказываемого в нем утверждения: суждение может быть необходимым, возможным, случайным, невозможным и т. д. В традиционной логике различают суждения, выражающие необходимость (аподиктические), возможность (проблематические) и действительность (ассерторические). Совр. логика дает возможность анализировать свойство М., рассматривая его как известную “металогическую” оценку суждения, высказывания. При этом различаются логическая и описательная М. Логическая М. высказываний определяется исходя из чисто логических соображений. Напр., высказывание Р логически необходимо, если и только если оно истинно на чисто логических основаниях, т. е. если допущение не-Р ведет к логическому противоречию. К числу описательных М. относятся прежде всего физические (причинные) М. Последние зависят от того, выражает ли высказывание нечто необходимое, возможное или случайное в силу к.-л. физических законов. Так, высказывание “Все планеты движутся по эллипсам” физически необходимо, а “Число планет — девять” — физически случайно.