Anti-Realist Classical Logic and Realist Mathematics

Abstract

I sketch an application of a semantically anti-realist understanding of the classical sequent calculus to the topic of mathematics. The result is a semantically anti-realist defence of a kind of mathematical realism. In the paper, I begin the development of the view and compare it to orthodox positions in the philosophy of mathematics

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,509

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

Analytics

Added to PP
2010-08-14

Downloads
58 (#202,140)

6 months
1 (#417,896)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Greg Restall
University of Melbourne

Citations of this work

First Order Expressivist Logic.John Cantwell - 2013 - Erkenntnis 78 (6):1381-1403.
Dummett on Abstract Objects.George Duke - 2012 - London, England: Palgrave-Macmillan.

Add more citations

References found in this work

What is Logic?Ian Hacking - 1979 - Journal of Philosophy 76 (6):285-319.
Multiple Conclusions.Greg Restall - 2005 - In Petr Hájek, Luis Valdés-Villanueva & Dag Westerståhl (eds.), Logic, Methodology and Philosophy of Science. College Publications.
Proofnets for S5: Sequents and Circuits for Modal Logic.Greg Restall - 2007 - In C. Dimitracopoulos, L. Newelski & D. Normann (eds.), Logic Colloquium 2005. Cambridge: Cambridge University Press. pp. 151-172.
Science Without Numbers: A Defence of Nominalism.Michael Lockwood - 1982 - Philosophical Quarterly 32 (128):281-283.
Just What is Full-Blooded Platonism?Greg Restall - 2003 - Philosophia Mathematica 11 (1):82--91.

View all 12 references / Add more references