ANDREW ARANA

I work in logic and the philosophy of mathematics. I am currently employed in the department of philosophy at Kansas State University.

My CV may be found here.

Here are some papers I've written.

“On formally measuring and eliminating extraneous notions in proofs”. Forthcoming in Philosophia Mathematica.
“Logical and semantic purity”. Forthcoming in Protosociology.
Review of Jose Ferreiros and Jeremy Gray's The Architecture of Modern Mathematics, forthcoming in the Mathematical Intelligencer.
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).

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

Home