コンテンツにスキップ
Wikipedia

適切さの論理

出典: フリー百科事典『ウィキペディア(Wikipedia)』
(相関論理から転送)
この記事は英語版の対応するページを翻訳することにより充実させることができます。(2024年8月)
翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
  • 英語版記事を日本語へ機械翻訳したバージョン(Google翻訳)。
  • 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。
  • 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。
  • 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。
  • 翻訳後、{{翻訳告知|en|Relevance logic|...}}をノートに追加することもできます。
  • Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。

適切さの論理(てきせつさのろんり)、あるいは相関論理(そうかんろんり)、関連性の論理(かんれんせいのろんり)、関連性論理(かんれんせいろんり)は、論理学のいかなる体系においても最も重要な論理結合子と考えられる「ならば」や推論の論理構造を再検討した論理体系である。英語では、オーストラリアの論理学者は Relevant logics と呼び、それ以外の英語圏の論理学者は Relevance logics と呼ぶ。

古典論理における実質含意と「ならば」の乖離

[編集 ]

古典論理において条件関係(conditional relation)、含意関係(implicational relation)、帰結関係(entailment relation)を表す論理結合子(logical connectives)である実質含意(material implication)と、我々が普段思考するときや推論するときに使用する条件関係、含意関係や帰結関係を表す「ならば」という言葉の間には、大きな隔たりがある。これは、実質含意に関するパラドクス(paradoxes of material implication)、もしくは実質含意のパラドクス(implicaitonal paradoxes)として知られている[1] [要ページ番号 ]。

なお、条件関係、含意関係、帰結関係の関連性や関係については様々な議論がある。しかし、本稿では、この三つを特に区別せず、ともに「もし〜ならば...」で表現される関係として扱っている。

条件関係を持った文を条件文という。条件文「P⇒Q」の「P」の部分を前件(antecedent)、「Q」の部分を後件(consequent)という。古典論理において、ある条件文が真であるときの条件は「『その条件文の前件が真であるのに、後件は偽である』ということがない」である。よって古典論理においては、前件と後件の真偽のみがその条件文の真偽に関係し、前件と後件の間に関連性があるかどうかは、条件文の真偽に関係しない。しかしながら、我々がある条件文が真であると考えるときには、上記の条件のみを満たしているだけでは不十分である。我々は、ある条件文が真であるとき、その条件文の前件と後件に関連性があることを期待する。

例えば、以下の三つの条件文は全て古典論理においては真であるが、我々は真であるとは考えない。

  • 「1+1=2」ならば「雪は白い」
  • 「1+1=5」ならば「雪は白い」
  • 「1+1=5」ならば「雪は黒い」

この我々が普段使用する「ならば」と古典論理における実質含意の乖離が実質含意のパラドクスである。

この乖離について、多くの研究が行われきた[1] [2] [要ページ番号 ]。

適切さの論理

[編集 ]

適切さの論理は、我々が普段使用している条件関係や含意関係、帰結関係の意味を古典論理における実質含意よりもより忠実に表現し、扱うことを目的として構築された論理である。

代表的な論理体系

[編集 ]

最初に提案された論理体系はアッカーマンによって提案されたΠ'である。アッカーマンは、新たに基本論理結合子として厳格含意を導入することで実質含意のパラドクスを排除した。アンダーソンとベルナップは、この論理体系Π'を再構築し、この体系と同等な体系である帰結関係の体系E(system E of entailment)を提案した。

また、Belnapは、実質含意よりも制限が強く、厳格含意よりも制限が弱い、含意結合子である相関含意(relevant implication)を提案し、それに基づき 相関含意の体系R(system R of relevant implication)を提案した。また、アンダーソンとベルナップによって体系T(system T of ticket entailment)が提案された。

適切さの論理の特徴

[編集 ]
[icon]
この節の加筆が望まれています。

代表的な意味論

[編集 ]
[icon]
この節の加筆が望まれています。

適切さの論理の応用

[編集 ]
[icon]
この節の加筆が望まれています。

脚注

[編集 ]

参考文献

[編集 ]
  • Anderson, Alan Ross; Belnap, Nuel D. (1975). Entailment: the logic of relevance and necessity. I. Princeton, N. J.: Princeton University Press. ISBN 0-691-07192-6. OCLC 1530367  
  • Anderson, Alan Ross; Belnap, Nuel D.; Dunn, J. M. (1992). Entailment: the logic of relevance and necessity. II. Princeton, N. J.: Princeton University Press. ISBN 0-691-07192-6. OCLC 1530367  
  • Cheng, Jingde (1996). "The Fundamental Role of Entailment in Knowledge Representation and Reasoning". Journal of Computing and Information 2 (1): 853–873. https://cir.nii.ac.jp/crid/1571980073974377088 . 
  • J. M. Dunn and G. Restall, Relevance Logic, in Handbook of Philosophical Logic 2nd Edition D. M. Gabbay and F. Guenthner (eds.), Vol. 6, Kluwer Academic Publishers, pp. 1–128, 2002.
  • E. D. Mares and Robert K. Meyer, Relevant Logics, in The Blackwell Guide to Philosophical Logic L. Goble (eds), Blackwell Publishers, pp. 280–307, 2001.
  • E. D. Mares, Relevance Logic, in Blackwell Companions to Philosophy A Companion to Philosophical Logic" D. Jacquette (eds), Blackwell Publishers, pp. 609–627, 2002.
  • J. Michael Dunn and Gary Hardegree, Algebraic Methods in Philosophical Logic, Oxford University Press, 2001.
  • 沢村 一, 適切さの論理, 情報処理(情報処理学会会誌), Vol. 30, No. 6, 1989.
  • J. Michael Dunn and Gary Hardegree, Algebraic Methods in Philosophical Logic, OUP, 2001.

関連項目

[編集 ]

外部リンク

[編集 ]

AltStyle によって変換されたページ (->オリジナル) /