Логическая — характеристика необходимости, возможности или случайности взаимосвязи структурных элементов суждения (т.е. эти характеристики определяются самой логической формой).

Класс логически необходимых суждений образуют логически истинные и логически ложные суждения (суждения, выражающие законы логики, и внутренне противоречивые суждения).

Суждения, истинность или ложность которых не может быть определена, исходя из структуры, относятся к логически случайным суждениям — класс онтологических суждений.

Онтологическая (фактическая) модальность - характеристика необходимости, возможности или случайности взаимосвязи свойств и отношений предметов действительности, объективной реальности (т.е. характеристика объективной детерминированности).

Онтологически необходимым является суждение, в котором выражается отношение, основанное на законах науки: «Суммарная энергия изолированной системы остаётся постоянной».

Онтологически случайным является суждение, в котором выражается отношение, не основанное на законах науки «Наполеон умер в 1821 году».

Онтологически возможным является суждение о принципиально допустимых событиях, выражающее отношение принципиально совместимых предметов и их признаков: «На Филиппинах в этом году возможно землетрясение».

Онтологически невозможным является суждение, выражающее отношение принципиально несовместимых явлений: «На Луне невозможна жизнь».

Алетические модальные категории: «необходимо» (□), «возможно» (◊), «случайно» взаимосвязаны:

Необходимо p (□ p) ≡ Невозможно не-p (~ ◊ ~ p)

Необходимо не-p (□ ~ p) ≡ Невозможно p (~ ◊ p)

Случайно p (~ □ ~ p ^ ~ □p) ≡ Возможно p (◊ p ^ ◊ ~ p)

Не нашли, что искали? Воспользуйтесь поиском: