適切さの論理
名前が多いねんSummer498.icon
論理学のいかなる体系においても最も重要な論理結合子と考えられる「ならば」や推論の論理構造を再検討した論理体系である。 英語では、オーストラリアの論理学者は Relevant logics と呼び、
それ以外の英語圏の論理学者は Relevance logics と呼ぶ。
細かいwSummer498.icon
古典論理における実質含意と「ならば」の乖離
条件関係（conditional relation）、 含意関係（implicational relation）、 帰結関係（entailment relation） を表す論理結合子（logical connectives）
である実質含意（material implication）
と、我々が普段思考するときや推論するときに使用する
条件関係、
含意関係や
帰結関係
を表す「ならば」という言葉
の間には、大きな隔たりがある。
これは、
として知られている
実質含意は古典論理で使っている「$ \Rightarrow」のことSummer498.icon
過去の研究
面白かったところだけ抜粋Summer498.icon
1932年、様相論理学の創始者の一人であるルイス（Clarence Irving Lewis）によって実質含意のパラドクスを避けるために、厳密含意（strict implication）が提案された。しかしながら、我々が普段使用する「ならば」の意味からすれば、厳密含意にも「ならば」に対する乖離が見られた。 「ならば」ってめっちゃ難しいんやなってSummer498.icon
コッチのほうが内容が充実している