Sets as singularities in the intensional universe
Studia Logica 48 (1):111 - 128 (1989)
| Abstract | This paper is motivated by the search for a natural and deductively powerful extension of classical set theory. A theory of properties U is developed, based on a system of relevant logic related to RQ. In U the set {a, b, c,...} is identified with the property [x: x=a x=b x=c...]. The universe of all sets V, is identified with the property of being a hereditary set. The main result is that relevant implication collapses to material implication for sentences with quantifiers restricted to V. This demonstrates the naturalness of the system. However, an aparent lack of deductive power leads to the conclusion that the best extension of classical set theory is to be found in intensional theories with the unrestricted comprehension schema based on weak relevant logics. The author has obtained similar collapses of to for these systems. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesSiegfried Gottwald (2006). Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part I: Model-Based and Axiomatic Approaches. Studia Logica 82 (2):211 - 244.
Masaru Shirahata (1996). A Linear Conservative Extension of Zermelo-Fraenkel Set Theory. Studia Logica 56 (3):361 - 392.
Jacob Lurie (1999). Anti-Admissible Sets. Journal of Symbolic Logic 64 (2):407-435.
Vladimir Kanovei & Michael Reeken (1995). Internal Approach to External Sets and Universes. Studia Logica 55 (2):347 - 376.
Johannes Heidema (1990). An Axiom Schema of Comprehension of Zermelo–Fraenkel–Skolem Set Theory. History and Philosophy of Logic 11 (1):59-65.
M. Randall Holmes (2004). Paradoxes in Double Extension Set Theories. Studia Logica 77 (1):41 - 57.
Edward N. Zalta (1988). A Comparison of Two Intensional Logics. Linguistics and Philosophy 11 (1):59-89.
Paul C. Gilmore (1986). Natural Deduction Based Set Theories: A New Resolution of the Old Paradoxes. Journal of Symbolic Logic 51 (2):393-411.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #232,501 of 549,084 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
