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

Логическая модальность это логическая детерминированность суждения, истинность или ложность которого определяется структурой, или формой суждения.

К логически истинным (L-и) относят суждения, выражающие законы логики; к логически ложным (L-л) — внутренне противоре­чивые суждения. Например, суждение р v"l p является логически истинным, ибо выражает закон исключенного третьего — какое бы суждение ни было подставлено вместо р, выражение р v"l p всегда будет истинным высказыванием. Соответственно всегда ложным будет суждение Ч (р-^р), как противоречащее закону тождества.

Логически истинные суждения вместе с логически ложными (L-и v L-л) образуют класс логически детерминированных сужде­ний. Все остальные суждения, истинность или ложность которых не может быть определена исходя из их структуры, составляют класс фактически детерминированных суждений: F-и v F-л.