“Anti-Realist Classical Logic and Realist Mathematics,” pp.269–284 in The Realism-Antirealism Debate in the Age of Alternative Logics, edited by Shahid Rahman, Giuseppi Primiero and Mathieu Marion, Springer, 2011

 download pdf

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 mathematical realism. In the paper, I develop the view and compare it to orthodox positions in the philosophy of mathematics.

Do you like this, or do you have a comment? Then please  share or reply on Twitter, or  email me.

← Logic in Australasia | Writing Archive | Molinism and the Thin Red Line →


I’m Greg Restall, and this is my personal website. ¶ I am the Shelby Cullom Davis Professor of Philosophy at the University of St Andrews.



To receive updates from this site, you can subscribe to the  RSS feed of all updates to the site in an RSS feed reader, or follow me on Twitter at  @consequently, where I’ll update you if anything is posted.