Nmatrices cuánticas, cuasiconjuntos y el teorema de Kochen-Specker
DOI:
https://doi.org/10.30827/trif.33871Palabras clave:
Nmatrices, Quasi-sets, Quasets, Lógica cuántica, Teorema de Kochen-SpeckerResumen
Analizamos dos presupuestos fundamentales del Teorema de Kochen-Specker: a) la condición de funcionalidad FUNC, que expresa el hecho de que no todos los observables son independientes, como tampoco lo son los valores asignados a ellos, y b) la cuestión de la identidad de los proyectores en diferentes contextos de medición. Mostramos que las semánticas no deterministas de Nmatrices y la teoría de qsets Q pueden complementarse brindando una semántica adecuada para el retículo de proyectores cuánticos. Considerando valuaciones que no son homomorfismos y admitiendo la posibilidad de contar con proyectores indiscernibles (no idénticos), establecemos las bases de una semántica para la lógica cuántica, motivada en una ontología de no individuos cuánticos, en la cual no puede arribarse a la paradoja de Kochen-Specker.
Descargas
Citas
Amor-Montaño, J. (2006). Compacidad en la lógica de primer orden y su relación con el teorema de completud. Las Prensas de Ciencias.
Avron, A. and Lev, I. (2005). Non-deterministic multiple-valued structures. Journal of Logic and Computation, 15(3):241–261.
Avron, A. and Zamansky, A. (2010). Non-deterministic semantics for logical systems. In Handbook of Philosophical Logic: Volume 16, pages 227–304. Springer.
Cabello, A., Estebaranz, J., and García-Alcaine, G. (1996). Bell-kochen-specker theorem: A proof with 18 vectors. Physics Letters A, 212(4):183–187.
Cabello Quintero, A. (2002). Pruebas algebraicas de imposibilidad de variables ocultas en mecánica cuántica. Universidad Complutense de Madrid, Servicio de Publicaciones.
da Costa, N. C. A. and 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. and Toraldo di Francia, G. (1993). Individuals, kinds and names in physics. Bridging the gap: philosophy, mathematics, physics, pages 261–283.
de Barros, J. A., Jorge, J. P., and Holik, F. (2021). On the assumptions underlying KS-like contradictions. arXiv preprint arXiv:2103.06830.
Franco de Oliveira, A. J. (2004). Lógica e Aritmética. Ed. Un. Brasília, Brasília.
French, S. and Krause, D. (2006). Identity in physics: A historical, philosophical, and formal analysis. OUP Oxford.
Holik, F. and Jorge, J. P. (2023). Open problems in the development of a quantum mereology: And their ontological implications. In Non-reflexive logics, non-individuals, and the philosophy of quantum mechanics: essays in honour of the philosophy of Décio Krause, pages 157–176. Springer.
Holik, F., Jorge, J. P., Krause, D., and Lombardi, O. (2022). Quasi-set theory: A formal approach to a quantum ontology of properties. Synthese, 200(5):401.
Jech, T. (2003). Set theory: The third millennium edition, revised and expanded. Springer.
Jorge, J. P. and Holik, F. (2020). Non-deterministic semantics for quantum states. Entropy, 22(2).
Jorge, J. P. and 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. and 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., and Krause, D. (2023). Un acercamiento a las semánticas Nmatriciales basadas en QST. Principia: an international journal of epistemology, 27(3):8.
Jorge, J. P., Holik, F., and Krause, D. (2025). Relating quasi-sets and rough sets: from quantum entities to AI, DOI: 10.13140/rg.2.2.16057.48483/1.
Kochen, S. and Specker, E. P. (1990). The problem of hidden variables in quantum mechanics. Ernst Specker Selecta, pages 235–263.
Krause, D. (2003). The mathematics of non-individuality. Coleção Documentos, IEA/USP, Series Lógica e Teoria da Ciência.
Krause, D. (2023). A remark on quasi-automorphisms and deformable structures in quasi-set theory and its account to the logical foundations of quantum theory. Preprints.org.
Krause, D. and Jorge, J. P. (2024). Sobre una teoría ‘pura’ de casi-conjuntos y su aplicación a una ontología cuántica de propiedades. Forthcoming in Principia.
Kukla, A. (2001). Theoreticity, underdetermination, and the disregard for bizarre scientific hypotheses. Philosophy of Science, 68(1):21–35.
Lewis, D. K. (1968). Counterpart theory and quantified modal logic. the Journal of Philosophy, 65(5):113–126.
Lewis, D. K. et al. (1986). On the plurality of worlds, volume 322. Blackwell Oxford.
Lombardi, O. and Castagnino, M. (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. and Dieks, D. (2014). Particles in a quantum ontology of properties. To be published in: "Metaphysics in Contemporary Physics", edited by Tomasz Bigaj and Christian Wüthrich, Poznan Studies 104, 2016.
Mendelson, E. (2009). Introduction to mathematical logic. CRC press.
Nascimento, M. C., Krause, D., and Feitosa, H. d. A. (2011). The quasi-lattice of indiscernible elements. Studia Logica, 97:101–128.
Nelson, E. (1977). Internal set theory: a new approach to nonstandard analysis. Bulletin of the American Mathematical Society, 83(6):1165–1198.
Pascualini, M. (Facultad de Filosofía y Letras, UBA. Tesis de Doctorado, 2025). La Interpretación Modal-Hamiltoniana y su ontología de propiedades posibles: nuevas perspectivas.
Salgado Corbillón, M. (2015). Análisis real no estándar. [Online; accessed 14-March-2025].
Solé Bellet, A. (2010). Realismo e interpretación en mecánica bohmiana [tesis doctoral, Universidad Complutense de Madrid].
Descargas
Publicado
Cómo citar
Número
Sección
Licencia
Derechos de autor 2025 Juan Pablo Jorge, Acacio de Barros
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial 4.0.
