Proof Theory, Rules and Meaning: book manuscript in progress.

This is my next book-length writing project. I am writing a book which aims to do these things:

  1. Be a useable introduction to philosophical logic, accessible to someone who’s done only an introductory course in logic, covering at least some model theory and proof theory of propositional logic, and maybe a little bit of predicate logic.
  2. Be a user-friendly, pedagogically useful and philosophically motivated presentation of cut-elimination, normalisation and conservative extension, both (a) why they’re important to semantics and (b) how to actually prove them. (I don’t think there are any books like this currently available, but I’d be happy to be shown wrong.)
  3. Present the duality between model theory and proof theory in a philosophically illuminating and clear fashion.
  4. And then apply these results to issues concerning meaning, epistemology and metaphysics, including issues of logical consequence and rationality, the problem of absolute generality, and the status of modality.
Are you interested in getting a look at the draft? The best way to do that is to come to this symposium in Buenos Aires in July 2018, where we’ll be discussing it.


Do you like this, or have a comment? (I especially value feedback on work which is yet to be be published in final form.) If you do, please  share or reply on Twitter, or  email me.


← Fixed Point Models for Theories of Properties and Classes | Writing Archive | Two Negations are More than One →

about

I’m Greg Restall, and this is my personal website. I teach philosophy and logic as Professor of Philosophy at the University of Melbourne. ¶ Start at the home page of this site—a compendium of recent additions around here—and go from there to learn more about who I am and what I do. ¶ This is my personal site on the web. Nothing here is in any way endorsed by the University of Melbourne.

elsewhere

subscribe

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.

search