某所の古書即売会に行ってくる。
次に掲げる昔の雑誌を、安価でもあったことから購入。
- 『理想』、特集 近代論理学の諸問題、理想社、第265号、1955年
- 『理想』、特集 分析哲学批判、理想社、第461号、1971年
- 『理想』、特集 ウィトゲンシュタイン、理想社、第502号、1975年
これらの雑誌に掲載されているいくつかの論文は既に copy し、読んでいたものもあるが、この際だから雑誌本体を入手。
1本目の「近代論理学特集」の号は懐かしい(と言っても、1955年に私は生れていません)。
前はよく古い雑誌を探し出してきては、copy して読んでいた。
今回改めてこの号を見てみると、今の私に関心のある論文が載っている。半世紀前の雑誌なのに面白い。
それは次の論文。
- 西村敏男 「解析学の基礎についての証明論の諸問題」
私は今少しだけ impredicativity について調べているのですが、この論文は正に impredicativity についての話。
解析学に現れる impredicativity を証明論に移して、そこで証明論的観点から解析学の無矛盾性を考えようというものになっています。
