■

• 新井敏康　　「無矛盾性証明について」、『科学基礎論研究』、34巻、2号、2007年
• Ernest Lepore　　“Truth Conditional Semantics and Meaning”,　in: Keith Brown ed., Encyclopedia of Language & Linguistics, Second Edition, vol. 13, Elsevier, 2006

1本目の論文について。
形式化された数学の無矛盾性を証明せよという問題をHilbertは提起したが、その問題の背景と無矛盾性証明の現状を説明しています。
Hilbert, Godel, Gentzen, Ackermann, 竹内外史さん方々が取り上げられています。

この後は余力があれば、Fregeの『基本法則』を和訳でいいから、その10, 29, 31節をいくらか読めればいいと思う。