Словарь логики

- одна из модальных характе­ристик высказывания, наряду с «необходимостью», «невозмож­ностью» и «случайностью»; высказывание возможно, если его от­рицание не является логически необходимым. В. л. обычно выражается оборотом «возможно, что A» (A — какое-то высказывание) но может выражаться и иначе. Кроме того, слово «возможно» используется для выражения онтологической возмож­ности (см.: Онтологическая модальность) деонтической возможно­сти, или разрешения (см.: Деонтическая модальность) и др. В. л. обычно определяется как внутренняя непротиворечивость высказывания. Высказывание «Коэффициент полезного действия паровой машины равен 100%» внутреннее непротиворечиво и, зна­чит, логически возможно. Но высказывание «К.п.д. такой машины выше 100%» противоречиво и потому логически невозможно. В. л. может быть определена и через понятие логического закона: логически возможно высказывание, не противоречащее законам логики высказывание( совместимое с этими законами; высказы­вание, отрицание которого не вытекает из законов логики). В. л. шире онтологической (фактической, физической) возмож­ности: возможное фактически является возможным и логически, но не наоборот. К примеру, двигатель с к.п.д. 100% возможен логи­чески, но физически невозможен. Круговые орбиты планет воз­можны логически, но невозможны физически. В. л. изучается модальной логикой в связи с понятиями необхо­димости, случайности и др. В число законов, устанавливаемых этой логикой, входят, в частности, утверждения: о из истинности высказывания вытекает его возможность, но возможность слабее истинности (напр.: «Если вирусы являются живыми организмами, то возможно, что они — живые организ­мы»); о логическое противоречие не является возможным высказы­ванием («Неверно, что возможно, что на Венере есть жизнь и нет жизни»); о возможно первое или второе, если и только если возможно первое или возможно второе («Возможно, что письмо будет от­правлено или сожжено, только если возможно, что оно будет от­правлено, или возможно, что оно будет сожжено»); о высказывание возможно, если и только если его отрицание не является необходимым («Возможно, что птицы летают, только если неверно, что необходимо, что они не летают»); о высказывание необходимо тогда и только тогда, когда его отрицание не является возможным («Необходимо, что холостяк не является женатым, только если невозможно, чтобы холостяк был женат»), и т. п. Понятие возможности и понятие необходимости являются, та­ким образом, взаимно определимыми. Всякое рассуждение, говоря­щее о возможности, можно перефразировать в рассуждение о не­обходимости, и наоборот, так что нет нужды использовать эти понятия наряду друг с другом. В модальной логике в качестве ис­ходного принимается обычно одно из них. Невозможность опре­деляется как отрицание возможности, а случайность — как воз­можность и самого высказывания, и его отрицания.