Forthcoming
Articles

What Can Quasi-Sets Contribute to Logic?

PDF (Español (España))
  • 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

Published 2026-06-11

Keywords

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

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

Abstract

We analyze the contributions that quasi-set theories can make to the interests of logic. Different quasi-set theories have made valuable contributions to the foundations of mathematics and quantum physics; however, it remains unclear to what extent such formalisms can benefit logic. If so, could they have repercussions at both the syntactic and semantic levels? What precautions should we take? What implications would their application have at different levels and metalevels of logical language? Motivated primarily by research in quantum logic, though we also present linguistic motivations, we propose certain applications and analyze some of their consequences.

PDF (Español (España))

References

  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.