■

• Agustín Rayo　　“Frege's Correlation”,　in: Analysis, vol. 64, no. 2, April, 2004.

This is a philosophical companion to [Rayo's paper]‘Frege's Unofficial Arithmetic’. I[i.e. Rayo] offer an explanation of why is it that mathematical knowledge can be relevant to knowledge about the natural world.

Hume’s Principleを巡って議論が展開されています。

• ditto　　　“Frege's Unofficial Arithmetic”,　in: The Journal of Symbolic Logic, vol. 67, no. 4, December, 2002.

This is a technical companion of to [Rayo's paper]‘Frege's Correlation’. I[i.e. Rayo] show that n th-order arithmetic can be expressed within second-order logic in a way which preserves compositionality.

• Kenny Easwaran　　“The Role of Axioms in Mathematics”,　To be presented at the USC/UCLA Graduate Conference, November, 2005.

Intro.

An important contemporary debate (going back to [Godel, 1964]) in the philosophy of mathematics is whether or not mathematics needs new axioms. […] I will devote this paper to the second of these questions[i.e. What do we mean by ‘need’?]. It seems to me that the best way to find out if mathematics needs new axioms is to see what use it makes of the axioms it already has, and see if existing axioms are sufficient for these purposes.

• Penelope Maddy　　“Mathematical existence”,　in: The Bulletin of Symbolic Logic, vol. 11, issue 3, September, 2005.
• Tarek Sayed Ahmed　　“Algebraic logic, where does it stand today?”,　in: The Bulletin of Symbolic Logic, vol. 11, Issue 4, December, 2005.
• Matthias Steup　　“Epistemology”, in: Entry of Stanford Encyclopedia of Philosophy, 2005.