theorypedia
← Back to feed

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
Décio Krause & Juan Pablo Jorge, The Theories of Quasi-Sets Q and Q−: A ... - PhilArchive

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.