Reseña de LA PARADOJA DE ORAYEN

Esta colección incluye distintos trabajos que presentan y discuten los principales aspectos de la lógica contemporánea. 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 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.