論理的必然性
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/09 17:52 UTC 版)
論理的必然性とは、それ以外であることが論理的に矛盾であることである。 大陸合理論哲学においては、ユークリッド幾何学などの数学的な諸命題が論理的必然と見なされ、こうした数学を規範として形而上学を構築しようとした。 様相論理との関係では、「〜は必然的である」ことを示す ◻ {\displaystyle \Box } は必然性演算子と呼ばれ、「〜は可能である」ことを示す可能性演算子( ◊ {\displaystyle \Diamond } )に対する。 たとえば「真であることが必然的である」とは「偽であること(真でないこと)が可能ではない」と同等となり、「真であることが可能である」は「偽であることが必然的ではない」と同等となる[要出典]。あるいは「〜は必然的である(〜でなければならない)」とは「〜は唯一可能である(〜だけがありえる)」と同等となる。 可能世界論では、全ての可能世界で真であるような命題は必然的な命題といわれる[要出典]。
※この「論理的必然性」の解説は、「必然性」の解説の一部です。
「論理的必然性」を含む「必然性」の記事については、「必然性」の概要を参照ください。
「論理的必然性」の例文・使い方・用例・文例
- 論理的必然性.
- 論理的必然性のページへのリンク