Логическая необходимость

Логическая возможность может быть разъяснена через понятие логического закона: логически возможно всякое высказывание, не противоречащее законам логики. Скажем, высказывание «Вирусы — живые организмы» совместимо с законами логики и, следовательно, логически возможно. Высказывание же «Неверно, что если человек — юрист, то он юрист» противоречит логическому закону тождества и потому является невозможным.

Логическая случайность — «двусторонняя возможность», или логическая возможность как высказывания, так и его отрицания.

Случайно то, что может быть, но может и не быть. С точки зрения логики случайно, например, что все многоклеточные существа смертны: ни утверждение этого факта, ни его отрицание не содержат внутреннего (логического) противоречия.

Логическая невозможность — внутренняя противоречивость высказывания.

Логически невозможны, например, высказывания: «Растения дышат и растения не дышат», «Неверно, что если Вселенная бесконечна, то она бесконечна», «Некоторые жены не состоят в браке» и т. п.

Логические модальности можно определить друг через друга.

«Высказывание А логически необходимо» означает «Отрицание А не является логически возможным».

Например, «Необходимо, что холод есть холод» означает «Невозможно, чтобы холод не был холодом».

«Высказывание А логически возможно» означает «Отрицание А не является логически необходимым».

Например, «Возможно, что кадмий — металл» означает «Неверно, что необходимо, что кадмий — не металл».