“A Note on Naïve Set Theory in LP,” Notre Dame Journal of Formal Logic 33 (1992) 422–432.

 download pdf

My first publication. It stems from work I did in my Honours year (1989) with Graham Priest, on paraconsistent logic. I explain a particularly simple yet powerful technique for constructing models of naïve set theory in the paraconsistent logic LP. This can be used to show the consistency of the theory, and to construct models invalidating some of the axioms of ZFC.

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

Writing Archive | Simplified Semantics for Relevant Logics (and some of their rivals) →


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.