古典論理との関係
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/03/25 04:07 UTC 版)
古典論理の体系は次のどれかを公理に追加することによって得られる： ϕ ∨ ¬ ϕ {\displaystyle \phi \lor \lnot \phi } （排中律。これは ( ϕ → χ ) → ( ( ¬ ϕ → χ ) → χ ) {\displaystyle (\phi \to \chi )\to ((\lnot \phi \to \chi )\to \chi )} とも定式化できる。） ¬ ¬ ϕ → ϕ {\displaystyle \lnot \lnot \phi \to \phi } （二重否定除去） ( ( ϕ → χ ) → ϕ ) → ϕ {\displaystyle ((\phi \to \chi )\to \phi )\to \phi } （パースの法則） 一般に、古典論理の恒真式で二元クリプキ・フレーム ∘ ⟶ ∘ {\displaystyle \circ {\longrightarrow }\circ } で妥当でない公理を追加したもの（言い換えればSmetanich論理に含まれないもの）を考えれば、これは古典論理に等しい。Smetanich論理は古典論理よりも弱く直観主義論理より強い論理の中で極大なものだからである。 別の関係性としてはゲーデル＝ゲンツェン変換によるものがある。これは古典一階述語論理が直観主義一階述語論理に埋め込めることを示す。すなわち一階述語論理式が古典論理で証明可能であることと、それをゲーデル・ゲンツェン変換したものが直観主義論理で証明可能であることとが同値となる。またグリベンコの定理によれば、命題論理式が古典論理で証明可能であることと、それを二重否定したものが直観主義論理で証明可能であることとは同値である。したがって直観主義論理は古典論理を構成的意味論の観点から拡大したものと見做すことができる。 1932年にクルト・ゲーデルは古典論理と直観主義論理の間にあるゲーデル論理の体系を定義した。これは中間論理として知られる。
※この「古典論理との関係」の解説は、「直観主義論理」の解説の一部です。
「古典論理との関係」を含む「直観主義論理」の記事については、「直観主義論理」の概要を参照ください。
- 古典論理との関係のページへのリンク
