■

• Jeffrey Ketland　　“Craig’s Theorem”　in: Macmillan Encyclopedia of Philosophy, D. Borchert (ed.), forthcoming

Intro.

In mathematical logic, Craig’s Theorem (not to be confused with Craig’s Interpolation Theorem) states that any recursively enumerable theory is recursively axiomatizable. Its epistemological interest concerns its possible use as a method of eliminating “theoretical content” from scientific theories.

• Greg Frost-Arnold　　“Carnap, Tarski, and Quine’s Year Together: Logic, Mathematics, and Science (Dissertation Abstract)”

Intro.

During the academic year 1940-1941, several giants of analytic philosophy congregated at Harvard: Russell, Tarski, Carnap, Quine, Hempel, and Goodman were all in residence. This group held regular private meetings. Fortunately, Carnap took detailed dictation notes during his year at Harvard. These notes cover a wide range of topics, but surprisingly, the most prominent question is: if the number of physical items in the universe is finite (or possibly finite), what form should scientific discourse, and logic and mathematics in particular, take? This question is closely connected to an abiding philosophical problem, one that is of central philosophical importance of the logical empiricists: what is the relationship between the logico-mathematical realm and the natural, material realm? Carnap, Tarski, and Quine’s attempts to answer this question involve a number of issues that are still central to analytic philosophy of logic, mathematics, and science. My dissertation focuses on three such issues: nominalism, the unity of science, and analyticity. I both reconstruct the lines of argument represented in Harvard discussions and relate them to contemporary treatments of these issues.

すごい面子がそろったもんですね。すごすぎる…。

• 小牧治　　『カント　人と思想15』、清水センチュリーブックス、清水書院、1967年

かなり古い文献だがカントの生きた時代と所、それに彼自身の生涯の説明が本の半分ぐらいを占め、読みやすい。カント哲学の説明も平易。カント哲学の入門書としてどのような評価を受けているのかは存じませんが、著者は努めて誠実に叙述されているようです。