必然性
ある命題が論理的に必然であるとは、その命題の否定が矛盾に陥るということを指す。
大陸合理論哲学では、ユークリッド幾何学などの数学的な諸命題が論理的必然と見なされ、こうした数学を規範として形而上学を構築しようとした。
様相論理では、命題が必然であることを示す ◻ {\displaystyle \Box } を必然性演算子、可能であることを示す ◊ {\displaystyle \Diamond } を可能性演算子と呼ぶ。ここで、「命題Pが必然的に真である( ◻ P {\displaystyle \Box P} )」は「命題Pが偽であることが可能ではない( ¬ ◊ ¬ P {\displaystyle \neg \Diamond \neg P} )」と同値であり、「命題Pが真であることが可能である( ◊ P {\displaystyle \Diamond P} )」は「命題Pが偽であることが必然ではない( ¬ ◻ ¬ P {\displaystyle \neg \Box \neg P} )」と同値である。可能世界論では、すべての可能世界で真の命題を必然的真理(necessary truth)と呼ぶ。