Extensionality and restriction in naive set theory

Studia Logica 94 (1):87 - 104 (2010)
The naive set theory problem is to begin with a full comprehension axiom, and to find a logic strong enough to prove theorems, but weak enough not to prove everything. This paper considers the sub-problem of expressing extensional identity and the subset relation in paraconsistent, relevant solutions, in light of a recent proposal from Beall, Brady, Hazen, Priest and Restall [4]. The main result is that the proposal, in the context of an independently motivated formalization of naive set theory, leads to triviality.
Keywords Naive set theory  paraconsistency  relevant logic  restricted quantification
Categories (categorize this paper)
DOI 10.2307/40587181
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 16,707
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Graham Priest, Paraconsistent Logic. Stanford Encyclopedia of Philosophy.
Francesco Berto (2008). Adynaton and Material Exclusion. Australasian Journal of Philosophy 86 (2):165 – 190.

View all 21 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Monthly downloads

Added to index


Total downloads

46 ( #74,008 of 1,726,249 )

Recent downloads (6 months)

7 ( #99,332 of 1,726,249 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.