Décio Krause & Juan Pablo Jorge, The Theories of Quasi-Sets Q and Q−: A ... - PhilArchive
philarchive.org
Quasi-set theory challenges one of logic's oldest axioms — that every object has a unique identity — by building a mathematics where quantum particles can be genuinely indistinguishable, not just practically so.
Quasi-Set TheoryPrinciple of Identity of IndiscerniblesQuantum OntologyFoundations of Mathematics

Theory Briefing
- Quasi-set theory allows basic entities to lack individual identity, directly modelling the indistinguishability of quantum particles in formal logic.
- Krause and Jorge compare two systems, Q and Q−, to test which best captures quantum ontology without smuggling in classical identity assumptions.
- The work challenges Leibniz's Principle of the Identity of Indiscernibles, suggesting quantum mechanics may require a fundamentally different metaphysics of objects.