## A Note on Naïve Set Theory in LP

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

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) →