前原の1954年の直観主義論理論文を英訳
A translation of Maehara's "Eine Darstellung der Intuitionistischen Logik in der Klassischen"
この論文をやさしく読む
ひとことで言うと
直観主義論理と様相論理の関係を扱った前原の1954年の論文を英語に訳した文書です。
何に役立つ？
歴史的な論理学研究を英語で読める資料になります。新しい実験や新規の定理を報告する要旨ではありません。
この研究の面白いところ
ゲーデルらの埋め込みの歴史を整理し、前原が証明論的方法で一階論理にまで拡張した位置づけを説明しています。
どこまで分かった？
本稿の主な成果は原論文の忠実な翻訳です。原論文の定理を本稿が新たに発見したものとして扱うべきではありません。
v2のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。
アブストラクトの日本語訳
ハイティングの直観主義論理を作る主な動機の一つは、数学を「心による構成」とみなすブラウワーの考えを形式化することだった。したがって、ハイティングの体系は証明可能性の概念にも対応すべきだと考えられる。この着想から、ゲーデルは後に様相論理S4として知られる体系への埋め込みによって、その関係を形式化した。最初の出版物では、直観主義命題論理からS4への埋め込みの健全性しか証明しなかったが、逆方向の結果は15年後にMcKinseyとTarskiが証明した。ただし後に、ゲーデル自身も1941年の未出版ノートで埋め込みの忠実性の証明を得ていたことが分かった。続いてRasiowaとSikorskiは、この埋め込みを一階直観主義論理へ拡張した。1954年には前原が独立に証明論的方法で同じ結果を得て、さらに一階直観主義論理から一階直観主義様相論理への埋め込みにまで拡張した。この文書は、前原の1954年の論文を忠実に英訳したものである。
v2の要旨から自動生成。本文の精読・人による確認は未実施。
- 初稿
- 2026-09-21（UTC）
- 最新改訂
- 2026-09-23 · v2
- 査読・掲載
- 査読状況未確認
更新履歴
取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。
原文の要旨
A key motivation for Heyting's intuitionistic logic was to gain a formal notion of Brouwer's idea of mathematics as a "construction of the mind". One might thus argue that Heyting's Calculus should also correspond to a notion of provability. Inspired by this idea, Gödel formalised this connection via an embedding into a modal calculus, which is now known as the modal logic S4. While in his original publication, he only proved soundness for the embedding from intuitionistic propositional logic into S4, the converse was proved fifteen years later by McKinsey and Tarski. Although, it was later discovered that Gödel also had obtained a proof of the faithfulness of his embedding in unpublished notes in 1941. Rasioa and Sikorski later extended Gödel's embedding to first-order intuitionistic logic. In 1954, Maehara independently obtained the same results using proof-theoretic methods, even extending the embedding to one from intuitionistic first-order logic into intuitionistic first-order modal logic. This document presents a faithful English translation of Maehara's 1954 paper.
著者のコメント
Corrected several typos
arXiv ID: 2609.24673 ／ 要約の誤りについて