Marcelo Sabatˇs | Home
I am an assistant professor of philosophy at Kansas State University.

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 recursion-theoretic aspects of models and complete extensions of first-order Peano Arithmetic (PA). One crucial step in this work has been the discovery of new arithmetic independence results.

A copy of my CV may be found here (or as a PDF here).

Papers and talks

Blah Blah Blah. PPR 2004.

Blah. J Phil 2005.


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.
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
Telephone: (785) 532-0420
Mailing address: 201 Dickens Hall
Kansas State University
Manhattan, KS 66506
In person: Dickens 308A
Email: aarana < dot > ksu < dot > edu
This page is maintained by Cane Cattivo. Last modified 2 August 2004