「必然性」の版間の差分

[[様相論理]]との関係では、「～〜は必然的である」ことを示す<math>\Box</math>は必然性演算子と呼ばれ、「～〜は可能である」ことを示す可能性演算子（<math>\Diamond</math>）に対する。

たとえば「真であることが必然的である」とは「偽であること(真でないこと)が可能ではない」と同等となり、「真であることが可能である」は「偽であることが必然的ではない」と同等となる。あるいは「～〜は必然的である(～〜でなければならない)」とは「～〜は唯一可能である(～〜だけがありえる)」と同等となる。

[[決定論]]との関係では、出来事のあり方は一意性を有するとする[[ラプラスの悪魔]]に代表される因果的決定論に対しては、一意性は否定されるものの定まった確率は有するとする確率的決定論がある。いずれの場合においても[[自由意志]]は否定される。