Modelos ontológicos y teoría de conjunto. Una interpretación de la “paradoja de Russell”

Resumo

En la antinomia conocida como paradoja de Russell asoma una contradicción lógica de la que ya se había hecho portavoz la sofística frente al discurso ontológico que ha fundado la filosofía occidental. Se muestra, a partir de un estudio de la lógica subyacente a la teoría de conjuntos de Cantor, cuyo discurso ontológico supone infinitas variaciones ónticas, que la antinomia surge si se admiten como condiciones de verdad la consistencia y completitud, que pertenecen a un modelo lógico formal inspirado en el principio aristotélico de no contradicción. Se confirma esta interpretación con un breve análisis de la teoría de los tipos de Russell.