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


К СПИСКУ СЛОВ В НАЧАЛО СЛОВАРЯ

НА ГЛАВНУЮ