Alberto Moretti: Todos sus libros
-
La Paradoja De Orayen
Esta colección incluye varias obras que presentan y discuten los principales aspectos de la lógica contemporánea. Particular interés a los problemas filosóficos asociados con estos aspectos se proporcionan. En este texto, Moretti y Hurtado nos presentan un resultado paradójico formulado por Orayen, que involucra teorías de primer orden, teorías de conjuntos y sus modelos: ¿existe un conjunto D que pueda interpretar una teoría consistente de conjuntos? Orayen muestra que D debe ser tanto una construcción interna (una teoría conjunta de la conversación) como una construcción externa (un conjunto que sirve a la interpretación del dominio de la teoría de modelos). Siendo una construcción interna, la teoría se vuelve inconsistente; Siendo una construcción externa, no tenemos un edificio apropiado para interpretar la teoría de conjuntos. La paradoja ya ha despertado interés en filósofos como Quine y Putnam; Y su publicación en este libro, seguro que tendrá un gran impacto en el campo de la filosofía de la lógica.