Логическая возможность может быть определена и через по­нятие логического закона: логически возможно высказывание, не противоречащее законам логики.

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

Случайно то, что может быть, но может и не быть. Случай­ность не равнозначна возможности, которая не может не быть. Случайность иногда называют «двусторонней возможностью», т.е. Равной возможностью и высказывания, и его отрицания.

Высказывание логически случайно, когда и оно само, и его отрицание являются логически возможными.

Логически возможно высказывание, не являющееся внутрен­не противоречивым. Если не только само высказывание, но и его 0тРицание не содержат противоречия, высказывание является логически случайным. Случайно, например, высказывание «Все многоклеточные существа смертны»: ни утверждение этого факта, ни его отрицание не содержат внутреннего (логического) противоречия.

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

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

Понятия логической необходимости и возможности можно определить одно через другое:

«А логически необходимо» означает «отрицание А не является логически возможным» (например: «Необходимо, что холод есть холод» означает «Невозможно, чтобы холод не был холодом»);

«А логически возможно» означает «отрицание А не является логически необходимым» («Возможно, что кадмий — металл» озна­чает «Неверно, что необходимо, что кадмий — не металл»).

Логическую случайность можно определить через логическую возможность: «логически случайно А» означает «логически воз­можно как Л, так и не - А»(«Логически случайно, что на Земле есть жизнь» означает «Логически возможно, что на Земле есть жизнь, и логически возможно, что на Земле нет жизни»).

Логически необходимое высказывание является истинным, но не наоборот: не каждая истина логически необходима. Логически необходимое высказывание является также логически возможным, но не наоборот: не все логически возможное логически необходимо.

Из истинности высказывания вытекает его логическая возмож­ность, но не наоборот: логическая возможность слабее истинности.