Próxima aparición
Artículos

¿Qué pueden aportar los casi-conjuntos a la lógica?

PDF
  • Juan Pablo Jorge
Juan Pablo Jorge
Instituto de Filosofía “Dr. Alejandro Korn”, Facultad de Filosofía y Letras, Universidad de Buenos Aires, Buenos Aires, Argentina.
DOI: https://doi.org/10.36446/af.e1273

Publicado 2026-06-11

Palabras clave

  • Nmatrices,
  • Casi-conjuntos,
  • Quasets,
  • Lógica cuántica,
  • Teorema de Kochen-Specker
  • Nmatrices,
  • Quasi-sets,
  • Quasets,
  • Quantum Logic,
  • Kochen-Specker Theorem
Creative Commons License

Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial 4.0.

Resumen

Analizamos los aportes que pueden realizar las teorías de casi-conjuntos para los intereses del lógico. Las diferentes teorías de casi-conjuntos han realizado valiosos aportes a los fundamentos de la matemática y física cuántica; sin embargo, no queda claro cuánto pueden favorecer tales formalismos a la lógica. De ser el caso, ¿podrían tener repercusión tanto a nivel sintáctico como semántico? ¿Qué precauciones deberíamos tener? ¿Qué implicaciones tendría su aplicación a diferentes niveles y metaniveles del lenguaje lógico? Motivados principalmente por investigaciones provenientes de la lógica cuántica, aunque también presentamos motivaciones lingüísticas, proponemos ciertas aplicaciones y analizamos algunas de sus consecuencias.

PDF

Citas

  1. Aerts, D., Aerts Argüelles, J., Beltran, L., & Sozzo, S. (2023). Development of a thermodynamics of human cognition and human culture. Philosophical Transactions of the Royal Society A, 381(2256), 20220378. https://doi.org/10.1098/rsta.2022.0378
  2. Aerts, D., Aerts Argüelles, J., Beltran, L., Sassoli de Bianchi, M., & Sozzo, S. (2024). The origin of quantum mechanical statistics: Some insights from the research on human language. arXiv preprint. arXiv:2407.14924
  3. 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.
  4. Avron, A., & Zamansky, A. (2011). Non-deterministic semantics for logical systems. En D. Gabbay & F. Guenthner (Eds), Handbook of Philosophical Logic (pp. 227-304). Springer. https://doi.org/10.1007/978-94-007-0479-4_4
  5. Barrio, E., Fiore, C., & Pailos, F. (2024). Meta-classical non-classical logics. The Review of Symbolic Logic, 17(4), 1146-1171. https://doi.org/10.1017/S175502032400011X
  6. Cabello, A., Estebaranz, J., & García-Alcaine, G. (1996). Bell-Kochen-Specker theorem: A proof with 18 vectors. Physics Letters A, 212(4), 183-187. https://doi.org/10.1016/0375-9601(96)00134-X.
  7. Cabello Quintero, A. (2002). Pruebas algebraicas de imposibilidad de variables ocultas en mecánica cuántica. Tesis doctoral. Universidad Complutense de Madrid, Servicio de Publicaciones. https://hdl.handle.net/20.500.14352/62875
  8. Carnielli, W., & Coniglio, M. E. (2016). Paraconsistent set theory. En Paraconsistent Logic: Consistency, contradiction and negation (pp. 345-367). Springer. https://doi.org/10.1007/978-3-319-33205-5_8
  9. da Costa, N., Bueno, O., & Béziau, J.-Y. (1995). What is semantics? A brief note on a huge question. Sorites, 3, 43-47. https://sorites.org/Issue_03/item5.htm
  10. da Costa, N. C. A. (1980). Ensaio sobre os fundamentos da lógica. HUCITEC- EdUSP.
  11. Dalla Chiara, M. L. & Toraldo di Francia, G. (1993). Individuals, kinds and names in physics. En G. Corsi, M. L. Dalla Chiara & G. C. Ghirardi (Eds.), Bridging the gap: Philosophy, mathematics, and physics (pp. 261-283). Springer. https://doi.org/10.1007/978-94-011-2496-6_13
  12. de Barros, J. A., Jorge, J. P., & Holik, F. (2025). On the assumptions underlying ks-like contradictions. En D. Krause & J. R. Becker Arenhart (Eds.), Individuals and non-individuals in quantum theory (pp. 69-83). Springer. https://doi.org/10.1007/978-3-032-01408-5_5
  13. Franco de Oliveira, A. J. (2004). Lógica e aritmética. Ed. Un. Brasília.
  14. French, S., & Krause, D. (2006). Identity in physics: A historical, philosophical, and formal analysis. Oxford University Press. https://doi.org/10.1093/0199278245.001.0001
  15. 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. https://doi.org/10.1007/s11229-022-03884-8
  16. Holik, F., Jorge, J. P., & Massri, C. (2025). Indistinguishability right from the start in standard quantum mechanics. En D. Krause & J. R. Becker Arenhart (Eds.), Individuals and non-individuals in quantum theory (pp. 45-69). Springer. https://doi.org/10.1007/978-3-032-01408-5_4
  17. Jech, T. (2003). Set theory: The third millennium edition, revised and expanded. Springer. https://doi.org/10.1007/3-540-44761-X
  18. Jorge, J. P., & de Barros, A. (2025). Nmatrices cuánticas, cuasiconjuntos y el teorema de Kochen-Specker. Teorema, Revista Internacional de Filosofía, 44(2), 1-28. https://doi.org/10.30827/trif.33871
  19. 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.
  20. 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. https://doi.org/10.5007/1808-1711.2023.e91732
  21. Jorge, J. P., Holik, F., & Krause, D. (2025). Relating quasi-sets and rough sets: from quantum entities to AI. International Journal of Theoretical Physics, 64, 289. https://doi.org/10.1007/s10773-025-06165-5
  22. Kochen, S. & Specker, E. P. (1990). The problem of hidden variables in quantum mechanics. En G. Jäger, H. Läuchli, B. Scarpellini & V. Strassen (Eds.), Ernst Specker Selecta (pp. 235-263). Birkhäuser. https://doi.org/10.1007/978-3-0348-9259-9_21
  23. Krause, D. (1990). Não-reflexividade, indistinguibilidade e agregados de Weyl. Tesis doctoral. Universidade de São Paulo.
  24. Krause, D. (1992). On a quasi-set theory. Notre Dame Journal of Formal Logic, 33(3), 402-411. https://doi.org/10.1305/ndjfl/1093634404
  25. 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. Pre-prints.org. https://doi.org/10.20944/preprints202306.1583.v1
  26. Krause, D., & Jorge, J. P. (2024). Sobre una teoría ‘pura’ de casi-conjuntos y su aplicación a una ontología cuántica de propiedades. Principia (en prensa).
  27. Krause, D., Jorge, J. P., & Lombardi, O. (2025). A quasi-set theory without atoms and its application to a quantum ontology of properties. Synthese, 207, 6. https://doi.org/10.1007/s11229-025-05347-2
  28. Lentin, A., & Gross, M. (1976). Nociones sobre las gramáticas formales. Tecnos.
  29. Mendelson, E. (2009). Introduction to mathematical logic. CRC Press.
  30. Rubin, J. E. (1967). Set theory for the mathematician. Holden-Day.
  31. Smerlak, M. (2006). Relational quantum mechanics. Internship Report.
  32. Solé Bellet, A. (2010). Realismo e interpretación en mecánica bohmiana. Tesis doctoral. Universidad Complutense de Madrid. https://hdl.handle.net/20.500.14352/47279
  33. Suppes, P. (1972). Axiomatic set theory. Dover Publications.
  34. Weber, Z., Badia, G., & Girard, P. (2016). What is an inconsistent truth table? Australasian Journal of Philosophy, 94(3), 533-548. https://doi.org/10.1080/00048402.2015.1093010
  35. Zermelo, E. (1967). Investigations in the foundations of set theory I. En J. van Heijenoort (Ed.), From Frege to Gödel: A source book in mathematical logic 1879-1931 (pp 199-215). Harvard University Press.