
Newton da Costa sobre la lógica no-reflexiva y la identidad
2019; Volume: 9; Issue: 2 Linguagem: Espanhol
10.48160/18532330me9.229
ISSN1853-2322
Autores Tópico(s)Philosophy and History of Science
ResumoNewton 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. Neste artigo, nós reconsideramos as contribuições de da Costa tendo em vista desenvolvimentos recentes tanto na metafísica da mecânica quântica quanto na compreensão do formalismo. 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.
Referência(s)