Newton da Costa sobre la lógica no-reflexiva y la identidad

Por • 11 jul, 2020 • Sección: Crítica

Jonas Rafael Becker Arenhart

Resumen Newton da Costa es uno de los precursores de los sistemas lógicos de primer orden llamados lógicas no-reflexivas (LNR). Según estos sistemas lógicos, la ley de la identidad reflexiva está restringida; no se aplica a todos los tipos de objetos con los que trata el sistema. La LNR fue desarrollada más tarde por Décio Krause para lenguajes de orden superior y una teoría de cuasi-conjuntos. La principal motivación para el desarrollo de estos sistemas proviene de la mecánica cuántica no-relativista. Intuitivamente, se argumentó que las entidades cuánticas de alguna manera “perdieron sus identidades”, siendo no-individuos. Las lógicas no-reflexivas son sistemas empleados para dar un fundamento formal a tal interpretación de la metafísica de la teoría. En este artículo, reconsideramos las contribuciones de da Costa en vista de los recientes avances tanto en la metafísica de la mecánica cuántica como en la comprensión del formalismo. El resultado es que, aunque da Costa no había contemplado ningún objetivo metafísico con el desarrollo de su sistema, su discusión proporciona indicios de gran interés para el debate actual.

Palabras clave lógica no-reflexiva, identidade, individualidade, mecánica cuántica

Texto completo: PDF (ENGLISH)

metatheoria Vol. 9, Núm. 2 (2019)

https://www.metatheoria.com.ar/index.php/m/article/view/229

Post to Twitter

Escribe un comentario