Логическая возможность может быть определена и через понятие логического закона: логически возможно высказывание, не противоречащее законам логики.
Скажем, высказывание "Микробы — живые организмы" совместимо с законами логики и, следовательно, логически возможно. Высказывание же "Неверно, что если человек — писатель, то он писатель" противоречит логическому закону тождества и потому является логически невозможным.
Случайно то, что может быть, но может и не быть. Случайность не равнозначна возможности, которая не может не быть. Случайность иногда называют "двусторонней возможностью", т. е. равной возможностью и высказывания, и его отрицания.
Логически возможно высказывание, не являющееся внутренне противоречивым. Если не только само высказывание, но и его отрицание не содержат противоречия, высказывание является логически случайным. Случайно, например, высказывание "Все многоклеточные существа смертны": ни утверждение этого факта, ни его отрицание не содержат внутреннего (логического) противоречия.
Логически невозможны, например, высказывания: "Растения дышат и растения не дышат" и "Неверно, что, если Вселенная бесконечна, то она бесконечна". Оба они являются отрицаниями логических законов: первое — закона противоречия, второе — закона тождества.
Понятия логической необходимости и возможности можно определить одно через другое:
"
"
Логическую случайность можно определить через логическую возможность: "логически случайно
Логически необходимое высказывание является истинным, но не наоборот: не каждая истина логически необходима. Логически необходимое высказывание является также логически возможным, но не наоборот: не все логически возможное логически необходимо.
Из истинности высказывания вытекает его логическая возможность, но не наоборот: логическая возможность слабее истинности.
Физические модальные высказывания формируются с помощью физических модальных понятий (физически необходимо, физически возможно и т. п.), называемых также онтологическими или каузальными. Например: "Физически необходимо, что действие равно противодействию", "Физически случайно, что стекло хрупко", "Физически невозможно, чтобы дождь лил семь дней и семь ночей подряд" и т. п.
Логические модальные понятия связаны с "механикой" человеческого мышления и используются для характеристики существенных ее моментов. Физические модальные понятия касаются устройства самого реального мира.
Нечто необходимо, если оно не может быть иным, чем оно есть. В зависимости от того, на какое основание опирается утверждение о необходимости, выделяются два ее вида: логическая необходимость и физическая необходимость. Логическая необходимость связана с логическим законом: логически необходимы законы логики и все, что вытекает из них. Физическая необходимость связана с законами природы:
Например, высказывание "К.п.д. двигателя внутреннего сгорания равен 100 %" противоречит законам термодинамики и, значит, физически невозможно. Высказывание же "К.п. д такого двигателя превышает 30 %" не противоречит никаким ограничениям, устанавливаемым законами природы, и является физически возможным.