Marcelo Sabatˇs  Home  
I am an assistant professor of philosophy at Kansas State University.  
Research  
My research interests center on the philosophy of mathematics and logic. My current focus is on purity in mathematics. A proof is methodologically pure, roughly, if it uses methods `close' or `akin' to the statement being proved. Advocates of purity in one form or another include Aristotle, Descartes, Newton, Bolzano, Dedekind, Frege, and Hilbert. I also work on problems in mathematical logic and the foundations of mathematics. My work primarily concerns recursiontheoretic aspects of models and complete extensions of firstorder Peano Arithmetic (PA). One crucial step in this work has been the discovery of new arithmetic independence results. 

Papers and talks  
Blah Blah Blah. PPR 2004. Blah. J Phil 2005. 

Students  
This semester I am teaching Philosophy 635, metaphysics. More information will be coming soon. In the previous two semesters I taught Philosophy 340, Theories of Knowledge and Reality and Philosophy 320, Symbolic Logic Computability and Logic; and Philosophy 300, a graduate seminar in the philosophy of mathematics. Click here for an index of web sites for courses I taught at Notre Dame. 

Personal information  
For information about me and my interests outside philosophy and mathematics, click here. Also, see my blog.  
Links  
I have compiled a collection of links that I find interesting and posted them here. Some of them are available from other places on this family of web pages; others fit nowhere else and so I've placed them here. Follow at your own risk.  
Contact details  


This page is maintained by Cane Cattivo. Last modified 2 August 2004 