March 3, 2017

Abstract: I attempt to give a pluralist and syntax-independent account of classical and constructive proof, grounded in univocal rules for evaluating assertions and denials for judgments featuring the logical connectives, interpretable as governing warrants for and against claims, and which results in an interpretation of classical and constructive counterexamples to invalid arguments.

This is a talk presented at the Pluralisms Workshop, hosted at the University of Bonn, March 2-4, 2017.


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.