Get 20M+ Full-Text Papers For Less Than $1.50/day. Subscribe now for You or Your Team.

Learn More →

Extensionality and Restriction in Naive Set Theory

Extensionality and Restriction in Naive Set Theory Abstract 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. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png "Studia Logica" Springer Journals

Extensionality and Restriction in Naive Set Theory

"Studia Logica" , Volume 94 (1): 18 – Feb 1, 2010

Loading next page...
 
/lp/springer-journals/extensionality-and-restriction-in-naive-set-theory-B7ezyOy2Od

References (61)

Publisher
Springer Journals
Copyright
2010 Springer Science+Business Media B.V.
ISSN
0039-3215
eISSN
1572-8730
DOI
10.1007/s11225-010-9225-y
Publisher site
See Article on Publisher Site

Abstract

Abstract 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.

Journal

"Studia Logica"Springer Journals

Published: Feb 1, 2010

There are no references for this article.