LA PARADOJA DE ORAYEN

Esta colección incluye distintos trabajos que presentan y discuten los principales aspectos de la lógica contemporánea. Se presta particular interés a los problemas filosóficos relacionados con tales aspectos. En este texto, Moretti y Hurtado nos presentan un resultado paradójico formulado por Orayen, que involucra a las teorías de primer orden, a las teorías de conjuntos y a sus modelos: ¿existe un conjunto D capaz de interpretar una teoría consistente de conjuntos? Orayen nos muestra que D debe ser a la vez una construcción interna (un conjunto del que la teoría hable) y una construcción externa (un conjunto que sirva de dominio de interpretación de la teoría de modelos). Siendo una construcción interna, la teoría se vuelve inconsistente; siendo una construcción externa, no tenemos una construcción apropiada 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 el presente libro, seguramente será de alto impacto en el ámbito de la filosofía de la lógica.