「必然性」の版間の差分

削除された内容 追加された内容
Yuu6676 (会話 | 投稿記録)
m編集の要約なし
Yuu6676 (会話 | 投稿記録)
m編集の要約なし
1行目:
'''必然性'''('''ひつぜんせい''')とは、そうなることが確実であって、それ以外ではありえないという性質を意味する。<!--対語は[[偶然]]性。-->
 
<!--必然性のあり方には、-->[[自然法則]]に現象が従っている自然的必然性、道徳的法則に従うことを[[義務]]として課せられている道徳的必然性、論理法則に従って<!--与えられた-->前提から論理法則に従って結論が導出されている[[演繹]]による論理的必然性がある。
 
==様相論理との関係==
[[様相論理]]との関係では、「~は必然的である」ことを示す<math>\Box</math>は必然性演算子と呼ばれ、「~は可能である」ことを示す可能性演算子(<math>\Diamond</math>)に対する。
 
たとえば「真であることが必然的である」とは「偽であること(真でないこと)が可能ではない」と同等となり、「真であることが可能である」は「偽であることが必然的ではない」と同等となる。あるいは「~は必然的である(~でなければならない)」とは「~は唯一可能である(~だけがありえる)」と同等となる。
 
[[可能世界論]]では、全ての可能世界で真であるような命題は、必然的な命題といわれる。
 
==決定論との関係==
[[決定論]]との関係では、出来事のあり方は一意性を有するとするラプラスの悪魔に代表される因果的決定論に対しては、一意性は否定されるものの定まった確率は有するとする確率的決定論がある。いずれの場合においても[[自由意志]]は否定される。
 
==関連項目==
* [[付随性]]
* [[法則]]
* [[自然法則]]
22 ⟶ 21行目:
* [[論理学]]
* [[様相論理]]
* [[否定]]
* [[可能世界論]]
* [[偶然]]
* [[付随性]]
 
{{stub}}