ANDREW ARANA

I work in logic and the philosophy of mathematics. I am currently employed in the department of philosophy at Kansas State University. During the 2009-2010 academic year I am on leave from Kansas State, and am a fellow of the Ideals of Proof team in Paris.

My CV may be found here.

Here are some papers I've written.

“On formally measuring and eliminating extraneous notions in proofs”. Philosophia Mathematica 17 (2009).
Review of Marcus Giaquinto's Visual Thinking In Mathematics, Analysis 69 (2009), pp. 401-403.
“Logical and semantic purity”. Protosociology vol. 25 (2008), pp. 36-48; reprinted in Philosophy of Mathematics: Set Theory, Measuring Theories, and Nominalism, Gerhard Preyer and Georg Peter (eds.), Ontos, 2008. (Reviewed here and here)
Review of Jose Ferreiros and Jeremy Gray's The Architecture of Modern Mathematics, Mathematical Intelligencer 30:4 (2008).
Review of David Corfield's Toward a Philosophy of Real Mathematics, Mathematical Intelligencer 29:2 (2007).
Review of Solomon Feferman's In The Light of Logic, Mathematical Intelligencer 27:4 (2005).
“Possible m-diagrams of models of arithmetic”. In Reverse Mathematics 2001, edited by Stephen Simpson, Lecture Notes in Logic 21, A.K. Peters Publishers / Association for Symbolic Logic, 2005, pp. 27-41.
“Arithmetical independence results using higher recursion theory”. The Journal of Symbolic Logic 69:1 (2004) 1-9.
“Solovay's Theorem Cannot Be Simplified”. Annals of Pure and Applied Logic 112 (2001). (Reviewed here)

In recent years I've taught courses in the history of modern philosophy, epistemology, logic, and the philosophy of religion.

ANDREW ARANA

Home