百科事典 > トップ > 様相論理をもっと勉強しようと
ウィキペディア 様相論理学 出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2007/08/21 03:20 UTC 版)様相論理学（ようそうろんりがく）は古典的な論理学では扱わない「?でなければならない」「?でありうる」「?べきである」といった可能性や必然性に関わる命題を扱う論理学である。様相論理では一般に、古典論理に次のふたつの演算子が追加される。は必然性演算子と呼ばれ、「?は必然的である」ことを意味する。は可能性演算子と呼ばれ、「?は可能である」ことを示す。様相論理は、部分の真理値からは全体の真理値が決定されない内包論理の一種と見ることができる。 目次1 真理論と認識論2 様相論理の公理系3 様相論理の意味論4 様相論理の歴史5 外部リンク 真理論と認識論様相論理は真理論的（形而上学的、論理的）様相の文脈で語られることが最も多い。この様相においては「?は必然的である」、「?は可能である」といった言明が扱われるが、これは認識論的様相と混同されやすい。例えば「雪男は存在しているはずがない」という主張と、「雪男が存在することは可能である」という主張を矛盾無く行うことが可能である。この場合、前者は認識論的様相であり、「（これまでの情報からして）雪男が実際に存在するとは考えられない」という主張とみなしうる。一方、後者は真理論的様相であり「（実際には存在しないのだが）雪男が存在することは可能である」という主張であると解釈することができる。あるいは、「ゴールドバッハ予想は正しいかもしれないし、正しくないかもしれない」という言明も認識論的である。これは現時点の知識では正しいかどうか分からないということであり、仮にゴールドバッハ予想の証明が存在し、その方法に気付いていないだけだとすれば、真理論的には「正しくないかもしれない」という主張は誤りであることになる。これ以外の様相としては、時間的なものがある。例えば、「明日雨が降るかどうかは決まっていない」のに対し、「昨日雨が降ったかどうかは決まっている」と考えられる。このようなナイーヴな時間観には同意しない哲学者も多いが、その構造は様相論理によって把握することができる。さらに「?べきではない」「?してもよい」といった義務に関わる命題も様相論理によって扱うことができる。直感的にも、「?べきではない」と「?してもよい」の関係は「?は必然的である」と「?は可能である」の関係と ..
-
べきである08といった古典的な必然性にでなければならない2007様相論理学出典フリーウィキペディアでありうる関わるウィキペディア百科事典論理学である扱わない版扱う様相論理学03ようそうろんりがく21は可能性や論理学では20命題を。様相論理では次のふたつの一般に、追加される古典論理に演算子が。はは必然性演算子とことを必然的である呼ばれ、意味する。は示す可能性演算子と可能であることを呼ばれ、は。様相論理は、真理値からは真理値が部分の一種と全体の見ることができる内包論理の決定されない。最も意味論4多いリンク公理系3目次1歴史5様相論理の語られることが様相論理の論理的真理論的認識論2文脈で認識論様相論理は形而上学的、真理論と真理論と様相の様相論理の外部。この様相においてははといった必然的であるこれは言明が認識論的様相とは、可能である扱われるが、混同されやすい。例えば主張と、矛盾無く可能である行うことが雪男が可能である雪男はという存在することはという存在しているはずがない主張を。このこれまでのという主張とみなしうる雪男が存在するとは実際に場合、情報からして考えられない前者は認識論的様相であり、。一方、解釈することができる雪男が主張であると実際には後者は存在することは真理論的様相でありという可能である存在しないのだが。あるいは、認識論的である正しいかもしれないし、言明もゴールドバッハという正しくないかもしれない予想は。これは証明が予想の真理論的にはそのゴールドバッハ方法に誤りであることになるという正しくないかもしれない正しいかどうか知識では分からないということであり、仮に主張は存在し、気付いていないだけだとすれば、現時点の。これ以外の時間的なものがある様相としては、。例えば、決まっている考えられる対し、降ったかどうかは昨日雨がと決まっていないのに降るかどうかは明日雨が。このようなその把握することができる時間観には同意しないナイーヴな哲学者も様相論理によって構造は多いが、。さらにしてもよい命題も様相論理によって関わる扱うことができるべきではないといった義務に。直感的にも、べきではない関係はしてもよい関係との可能であるとは必然的であるのはと。
「様相論理」を含むASIN
意味と必然性―意味論と様相論理学の研究
紀伊国屋書店 ルドルフ・カルナップ
3570 円 - http://www.amazon.co.jp/exec/obidos/431400844X/
決定不能の論理パズル―ゲーデルの定理と様相論理
白揚社 レイモンド スマリヤン
3675 円 - http://www.amazon.co.jp/exec/obidos/4826900449/
様相の論理 (1978年)
早稲田大学出版部 内田 種臣
2 円 - http://www.amazon.co.jp/exec/obidos/B000J8NZ2I/
「様相論理」を含む楽天市場の商品
マルチエージェントと協調計算（1）
レクチャーノート／ソフトウェア学 著者：中島秀之出版社：近代科学社サイズ：全集・双書ページ数：216p発行年月：1992年11月この著者の新着メールを登録する【目次】（「BOOK」データベースより）1 共同プラン...
2446 円 - http://item.rakuten.co.jp/book/565664/
論理学的思考
著者：菅原道明出版社：北樹出版サイズ：単行本ページ数：213p発行年月：1991年05月この著者の新着メールを登録する【内容情報】（「BOOK」データベースより）本書は、分析タブローという計算の方法と、広い意味...
2446 円 - http://item.rakuten.co.jp/book/470364/
情報科学における論理
情報数学セミナー 著者：小野寛晰出版社：日本評論社サイズ：全集・双書ページ数：297p発行年月：1994年04月この著者の新着メールを登録する【内容情報】（「BOOK」データベースより）最近はね情報科学のいろいろ...
3465 円 - http://item.rakuten.co.jp/book/647684/
