Studia Logica 100 (3):437-452 (2012)

Jonas R. B. Arenhart
Universidade Federal de Santa Catarina
Quasi-set theory is a ZFU-like axiomatic set theory, which deals with two kinds of ur-elements: M-atoms, objects like the atoms of ZFU, and m-atoms, items for which the usual identity relation is not defined. One of the motivations to advance such a theory is to deal properly with collections of items like particles in non-relativistic quantum mechanics when these are understood as being non-individuals in the sense that they may be indistinguishable although identity does not apply to them. According to some authors, this is the best way to understand quantum objects. The fact that identity is not defined for m-atoms raises a technical difficulty: it seems impossible to follow the usual procedures to define the cardinal of collections involving these items. In this paper we propose a definition of finite cardinals in quasi-set theory which works for collections involving m-atoms
Keywords Finite cardinals  Quasi-set theory  Identity
Categories (categorize this paper)
DOI 10.1007/s11225-012-9406-y
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,289
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

Remarks on the Theory of Quasi-Sets.Steven French & Décio Krause - 2010 - Studia Logica 95 (1-2):101 - 124.
Quantifiers and the Foundations of Quasi-Set Theory.Jonas R. Becker Arenhart & Décio Krause - 2009 - Principia: An International Journal of Epistemology 13 (3):251-268.

Add more references

Citations of this work BETA

Identity and Individuality in Quantum Theory.Steven French - 2008 - Stanford Encyclopedia of Philosophy.
From Primitive Identity to the Non-Individuality of Quantum Objects.Jonas Becker Arenhart & Décio Krause - 2014 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 46 (2):273-282.
Semantic Analysis of Non-Reflexive Logics.J. R. B. Arenhart - 2014 - Logic Journal of the IGPL 22 (4):565-584.

View all 6 citations / Add more citations

Similar books and articles

Quasi-Truth in Quasi-Set Theory.Otávio Bueno - 2000 - Synthese 125 (1-2):33-53.
Consequences of Arithmetic for Set Theory.Lorenz Halbeisen & Saharon Shelah - 1994 - Journal of Symbolic Logic 59 (1):30-40.
Logical and Philosophical Remarks on Quasi-Set Theory.Newton Da Costa - 2007 - Logic Journal of the IGPL 15 (5-6):421-431.
Chains of End Elementary Extensions of Models of Set Theory.Andrés Villaveces - 1998 - Journal of Symbolic Logic 63 (3):1116-1136.
Quasi-Modal Equivalence of Canonical Structures.Robert Goldblatt - 2001 - Journal of Symbolic Logic 66 (2):497-508.
The Largest Countable Inductive Set is a Mouse Set.Mitch Rudominer - 1999 - Journal of Symbolic Logic 64 (2):443-459.
Remarks on the Theory of Quasi-Sets.Steven French & Décio Krause - 2010 - Studia Logica 95 (1-2):101 - 124.
Mathematics as a Quasi-Empirical Science.Gianluigi Oliveri - 2004 - Foundations of Science 11 (1-2):41-79.
Stretchings.O. Finkel & J. P. Ressayre - 1996 - Journal of Symbolic Logic 61 (2):563-585.


Added to PP index

Total views
48 ( #220,720 of 2,444,969 )

Recent downloads (6 months)
3 ( #232,632 of 2,444,969 )

How can I increase my downloads?


My notes