Labels for non-individuals?

From MaRDI portal



Abstract: Quasi-set theory is a first order theory without identity, which allows us to cope with non-individuals in a sense. A weaker equivalence relation called ``indistinguishability is an extension of identity in the sense that if x is identical to y then x and y are indistinguishable, although the reciprocal is not always valid. The interesting point is that quasi-set theory provides us a useful mathematical background for dealing with collections of indistinguishable elementary quantum particles. In the present paper, however, we show that even in quasi-set theory it is possible to label objects that are considered as non-individuals. We intend to prove that individuality has nothing to do with any labelling process at all, as suggested by some authors. We discuss the physical interpretation of our results.


Although quantum objects which share their properties are indistinguishable, they are not identical. This philosophical issue needs to be mathematically clarified, since classical logic does not imply any difference between indistinguishability and identity. An approach, called quasi-set theory, has been developed by some authors, including the author of the paper under review. Quasi-set theory is an extension of Zermelo-Fraenkel set theory, that allows to talk about certain undistinguishable objects that are not identical. Such indistinguishable objects are called non-individuals. In the paper under review the authors introduce an algorithm which allows to label indistinguishable objects in the context of quasi-set theory. Some applications of the quasi-set theory, conclusions and still open problems have also been discussed.











This page was built for publication: Labels for non-individuals?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q812040)