Sobre una Teoría ‘Pura’ de Casi-Conjuntos y su Aplicación a una Ontología Cuántica de Propiedades
DOI:
https://doi.org/10.5007/1808-1711.2026.e113981Palabras clave:
Identity, Indiscernibility, Quasi-Sets, Quasi-Cardinals, Ontology of Properties, Quantum QuantifiersResumen
In this paper, we introduce a quasi-set theory without atoms. The quasi-sets (qsets) can have as elements completely indiscernible things which do not turn out to be the very same thing as it would be implied if its underlying logic were classical logic. A quasi-set can have a cardinal, called its quasi-cardinal, but this is made so that, at least for the finite case, the quasi-cardinal is not an ordinal, and hence the indistinguishable elements of a quasi-set cannot be ordered. In the last sections, we show how the theory can be used to ground a quantum metaphysics of properties, which sees the quantum entities as bundles of properties, and we also introduce a new approach for the use of quantifiers in quantum physics.
Citas
Aerts, D.; D’Hondt, E.; Gabora, L. 2000. Why the disjunction in quantum logic is not classical. Foundations of physics 30(9): 1473–1480.
Arenhart, J. R. B. 2011. A discussion on finite quasi-cardinals in quasi-set theory. Foundations of Physics 41: 1338–1354.
Arenhart, J. R. B. 2023. A non-individuals account of quantum mechanics. Philosophical Transactions of the Royal Society A 381(20220097): 1–10.
Beth, E. W. 1966. The Foundations of Mathematics: A Study in the Philosophy of Science. New York: Harper and Row.
Bigaj, T. 2022. Identity and Indiscernibility in Quantum Mechanics. New Directions in the Philosophy of Science. Cham: Palgrave Macmillan.
Blass, A. 1984. Existence of bases implies the axiom of choice. Contemporary mathematics (1984): 31-33.
Bueno, O. 2023. Identity and quantification. In: J.R.B. Arenhart; R.W. Arroyo (eds.), Non-Reflexive Logics, Non-Individuals, and the Philosophy of Quantum Mechanics: Essays in Honor of the Philosophy of Décio Krause, p.179-190. Synthese Library. Cham: Springer.
da Costa, N. C. A. 1980. Ensaio sobre os Fundamentos da Lógica. São Paulo: HUCITEC-EdUSP.
da Costa, N. C. A.; Bueno, O. 2009. Lógicas não-reflexivas. Revista Brasileira de Filosofia 232: 181–196.
da Costa, N. C. A.; Holik, F. 2015. A formal framework for the study of the notion of undefined particle number in quantum mechanics. Synthese 192(2): 505–523.
Dalla Chiara, M. L. 1986. Quantum Logic. In: Handbook of Philosophical Logic: Volume III: Alternatives in Classical Logic, p.427–469. Dordrecht: Springer.
Dalla Chiara, M. L.; Giuntini, R.; Greechie, R. 2004. Reasoning in Quantum Theory: Sharp and Unsharp Quantum Logics. Trends in Logic (Studia Logica Library) n.22. Dordrecht: Kluwer.
Dalla Chiara, M. L.; Giuntini, R.; Krause, D.; et al. 1998. Quasiset theories for microobjects: a comparision. In: Interpreting bodies: Classical and quantum objects in modern physics, p.142-152. Princeton: Princeton University Press.
Dalla Chiara, M. L.; Toraldo di Francia, G. 1993a. Individuals, kinds and names in physics. In: G. Corsi; M.L. Dalla Chiara; G.C. Ghirardi (eds.), Bridging the Gap: Philosophy, Mathematics, and Physics, p.261–283. Boston Studies in the Philosophy of Science. Dordrecht: Kluwer.
Dalla Chiara, M. L.; Toraldo di Francia, G. 1993b. Individuals, kinds and names in physics. In: G. Corsi; M.L. Dalla Chiara; G.C. Ghirardi (eds.), Bridging the Gap: Philosophy, Mathematics, and Physics, p.261–284. Boston Studies in the Philosophy of Science. Dordrecht: Kluwer.
Dalton, J. 1808. A New System of Chemical Philosophy. London: S. Russell.
de Barros, J.; Holik, F.; Krause, D. 2024. Distinguishing indistinguishabilities: Differences between classical and quantum regimes. To appear in Synthese Library.
de Barros, J. A.; Jorge, J. P.; Holik, F. 2021. On the assumptions underlying ks-like contradictions. arXiv preprint arXiv:2103.06830.
Dieks, D. 2023. Quantum individuality. In: J.R.B. Arenhart; R.W. Arroyo (eds.), Non-Reflexive Logics, Non-Individuals, and the Philosophy of Quantum Mechanics: Essays in Honor of the Philosophy of Décio Krause, p.11-28. Synthese Library. Cham: Springer.
Domenech, G.; Holik, F. 2007. A discussion on particle number and quantum indistinguishability. Foundations of Physics 37: 855–878.
Enderton, H. B. 1977. Elements of set theory. New York: Academic Press.
Evans, J.; Thorndike, A. S.; Ketterle, W. 2007. Bose-Einstein condensation: identity crisis for indistinguishable particles. Cham: Springer.
Fraenkel, A. A. 1967. The notion of ‘definite’ and the independence of the axiom of choice. In: J. van Heijenoort (ed)., From Frege to Gödel: A Source Book in Mathematical Logic 1879-1931, p.284–289. Cambridge, MA: Harvard University Press.
Franco de Oliveira, A. J. 2004. Lógica e Aritmética. Brasília: Editora da UnB.
French, S. 2023. Quasi-structural realism. In: J.R.B. Arenhart; R.W. Arroyo (ed.), Non-Reflexive Logics, Non-Individuals, and the Philosophy of Quantum Mechanics: Essays in Honor of the Philosophy of Décio Krause. Synthese Library. Cham: Springer.
French, S.; Krause, D. 2006. Identity in physics: A historical, philosophical, and formal analysis. Oxford: Oxford University Press.
French, S.; Ladyman, J. 2003. Remodelling structural realism: quantum physics and the metaphysics of structure. Synthese 136(1): 31–56.
García Pintos Barcia, L. P. 2011. Una interpretación de la mecánica cuántica basada en considerar un tiempo físico. Tesis, Maestría en Física. Universidad de la República, Uruguay.
Hilbert, D. 1976. Mathematical problems. In: F.E. Browder, (ed.), Proceedings of Symposia in Pure Mathematics: Mathematics Arising from Hilbert’s Problems, 28(1).
Holik, F.; Jorge, J. P.; Krause, D.; Lombardi, O. 2022. Quasi-set theory: A formal approach to a quantum ontology of properties. Synthese 200(5): 401.
Jammer, M. 1966. The Conceptual Development of Quantum Mechanics. International Series in Pure and Applied Physics. New York: McGraw-Hill.
Jech, T. 2003. Set theory: The third millennium edition, revised and expanded. Cham: Springer.
Jorge, J. P.; Holik, F. 2020. Non-deterministic semantics for quantum states. Entropy 22(2).
Jorge, J. P.; Holik, F. 2022. Lógica cuántica, nmatrices y adecuación, i. Teorema: Revista Internacional de Filosofía 41(3): 65–88.
Jorge, J. P.; Holik, F. 2023. Lógica cuántica, nmatrices y adecuación: ii. Teorema: Revista internacional de filosofía, 42(1): 149–169.
Jorge, J. P.; Holik, F.; Krause, D. 2023. Un acercamiento a las semánticas Nmatriciales basadas en QST. Principia: an international journal of epistemology 27(3): 539-607.
Kadison, R. V.; Ringrose, J. R. 1983. Fundamentals of the theory of operator algebras. New York: Academic Press.
Ketterle, W. 1999. Experimental studies of Bose-Einstein condensation. Physics Today 5(12): 30–35.
Kleene, S. C. 1952. Introduction to Metamathematics. Bibliotheca Mathematica, vol.1. Amsterdam: North-Holland.
Kochen, S.; Specker, E. P. 1990. The problem of hidden variables in quantum mechanics. Ernst Specker Selecta, p.235–263. Basel: Birkhäuser Basel.
Krause, D. 2003. The mathematics of non-individuality. Coleção Documentos. São Paulo: IEA/USP, Series Lógica e Teoria da Ciência.
Krause, D. 2005. Structures and structural realism. Logic Journal of the IGPL 13(1): 113–126.
Krause, D. 2024a. On Dieks against the Received View. Preprint, Academia.edu.
Krause, D. 2024b. On Otavio Bueno on identity and quantification. Preprint, Academia.edu.
Krause, D.; Sant’Anna, A. S.; Volkov, A. G. 1999. Quasi-set theory for bosons and fermions: quantum distributions. Foundations of Physics Letters 12: 51–66.
Kumar, M. 2009. Quantum: Einstein, Bohr and the Great Debate about the Nature of Reality. London: Icon Books.
Ladyman, J. 1998. What is structural realism?. Studies in History and Philosophy of Science 29(3): 409–424.
Lombardi, O. 2008. A modal-hamiltonian interpretation of quantum mechanics. Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 39(2): 380–443.
Lombardi, O. 2023. Not individuals, nor even objects: On the ontological nature of quantum systems. In: J.R.B. Arenhart; R.W. Arroyo (eds.), Non-Reflexive Logics, Non-Individuals, and the Philosophy of Quantum Mechanics Essays in Honour of the Philosophy of Décio Krause. Synthese Library. Cham: Springer.
Lombardi, O.; Dieks, D. 2014. Particles in a quantum ontology of properties. To appear in: T. Bigaj; C. Wüthrich (eds.), Metaphysics in Contemporary Physics. Poznan Studies 104.
Lowe, J. E. 2003. Individuation. In M.J. Loux; D.W. Zimmerman (eds.), The Oxford Handbook of Metaphysics, p.75–95. Oxford: Oxford University Press.
Mahan, B. H. 1975. University Chemistry. 3rd edition. Boston: Addison Wesley
Manin, Y. I. 1976. Foundations. In: F. Browder; A.M. Society (eds.), Mathematical Developments Arising from Hilbert Problems, p.36. Providence, RI: American Mathematical Society.
Mendelson, E. 2009. Introduction to mathematical logic. Boca Raton: CRC press.
Muniz, J. A. 2012. Modelos de relojes reales en mecánica cuántica. Master’s thesis, Universidad de la República, Uruguay.
Muñoz González, J. A. 2011. El tiempo como observable en mecánica cuántica. Memoria Presentada para Optar al Grado de Doctor. Euskal Herriko Unibertsitatea.
Nascimento, M. C.; Krause, D.; Feitosa, H. d. A. 2011. The quasi-lattice of indiscernible elements. Studia Logica 97: 101–128.
Post, H. 1973. Individuality and physics. The listener 70, 1963, 534-537. Reprinted in Vedanta for East and West, 32: 14–22.
Ramsey, F. P. 1950. The Foundations of Mathematics and Other Logical Essays. London: Routledge and Kegan Paul.
Roitman, J. 2013. Introduction to Modern Set Theory. Ann Arbor: Orthogonal.
Rubin, J. E. 1967. Set Theory for the Mathematician. San Francisco: Holden-Day.
Samperio Valdivieso, Á. et al. 2019. Formulación algebraica de la mecánica cuántica. La conjetura de Kadison-Singer. Grado en Física, Universidad de Valladolid, España.
Sant’Anna, A. S. 2023. On the consistency of quasi-set theory. In: J.R.B. Arenhart; R.W. Arroyo (eds.), Non-Reflexive Logics, Non-Individuals, and the Philosophy of Quantum Mechanics. Essays in Honour of the Philosophy of Décio Krause, p.97-104. Synthese Library. Cham: Springer.
Sider, T. 2010. Logic for Philosophy. Oxford: Oxford University Press.
Suppes, P. 1972. Axiomatic Set Theory. New York: Dover.
Teller, P. 1998. Quantum mechanics and haecceities. In: E. Castellani (ed.), Interpreting Bodies: Classical and Quantum Objects in Modern Physics, p.114–141. Princeton: Princeton University Press.
Toraldo di Francia, G. 1978. Che cos’è un oggetto fisico?. Scientia 113(1): 57–65.
Toraldo di Francia, G. 1981. The Investigation of the Physical World. Cambridge: Cambridge University Press.
Weyl, H. 1949. Philosophy of Mathematics and Natural Science. Princeton: Princeton University Press.
Zee, A. 2023. Quantum Field Theory, as Simply as Possible. Princeton: Princeton University Press.
Zermelo, E. 1967. Investigations in the foundations of set theory i. In: J. van Heijenoort (ed.), From Frege to Gödel: A Source Book in Mathematical Logic 1879-1931, p.199–215. Cambridge, MA: Harvard University Press.
Descargas
Publicado
Número
Sección
Licencia
Derechos de autor 2026 Décio Krause, Juan Pablo Jorge
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-SinDerivadas 4.0.
Principia http://www.periodicos.ufsc.br/index.php/principia/index is licenced under a Creative Commons - Atribuição-Uso Não-Comercial-Não a obras derivadas 3.0 Unported.
Base available in www.periodicos.ufsc.br.
