ゲーデルの直観主義論理の様相解釈とその証明論

科学分野:

• 数理論理学
• 証明論
• 様相論理

背景:

• 1933年に、カート・ゲーデルは直観主義論理と古典的様相論理の間の翻訳を確立しました。
• 逆は後に意味論的および構文的に確立されました。
• ゲーデルの研究は、直観主義論理を古典的様相論理内の「証明可能性フラグメント」に結び付けました。

研究 の 目的:

• ゲーデルの様相翻訳の証明構造を分析すること。
• 翻訳された論理式に関して、古典的様相論理が直観主義的様相論理を保存することを示すこと。
• ゲーデルの翻訳が古典的様相論理内で直観主義論理を分離する理由を説明すること。

主な方法:

• 様相論理の自然演繹における形式的導出の証明分析。
• 正常導出における間接証明ステップの検討。
• 構文的翻訳技術。

主要な成果:

• 正常導出における翻訳された直観主義論理式の間接証明のステップは空虚である。
• 古典的様相論理は、これらの翻訳された論理式に関して直観主義的様相論理を保存する。
• この保存性は、ゲーデルの様相翻訳の成功の基盤となっている。

結論:

• 間接証明の空虚な性質は、保存性を確認する。
• ゲーデルの様相翻訳は、直観主義論理と同等の証明可能性フラグメントを効果的に特定する。
• この研究は、様相演算子を介した古典論理と直観主義論理の関係を明確にする。