Teoría de los tipos

De Enciclopedia Symploké, la enciclopedia libre.
Saltar a: navegación, buscar

Teoría desarrollada por Beltrán Russell para resolver la paradoja provocada por la clase de aquellas clases que no son elementos de sí mismas. (Ver conjunto y paradoja de Russell.)

Según este autor, este tipo de paradojas se caracteriza por la autorreferencia, es decir, por la propiedad por la cual ciertas clases, que son totalidades, pueden ser consideradas como miembros de sí mismas. La teoría de los tipos establece diferentes niveles de conceptos: los conceptos de tipo 0 (nombres de individuos o nombres propios), los conceptos de tipo 1 (las propiedades de los individuos), los conceptos de tipo 2 (las propiedades de propiedades de individuos) y así sucesivamente. La manera de evitar las contradicciones provocadas por este tipo de paradojas consiste en cumplir la siguiente regla: ningún concepto puede aplicarse significativamente a conceptos de rango igual o superior.