Filosofía en español 
Filosofía en español

Teoría de los tipos (jerarquía de los tipos)

no figura

Diccionario filosófico marxista · 1946

no figura

Diccionario filosófico abreviado · 1959

Teoría de los tipos (jerarquía de los tipos)

Procedimiento para estructurar la lógica formal (matemática); con él se introduce una diferenciación de los objetos de distintos niveles (tipos); su objetivo es excluir de la lógica y de la teoría de los conjuntos las paradojas o antinomias. El primero en desarrollar la teoría de las tipos fue Ernst Schröder, al aplicarla a la lógica de las clases (1890). En 1908-10, Russell estableció un sistema detallado de la teoría de los tipos aplicable al cálculo de predicados; su sentido estriba en establecer la diferenciación por tipos; de individuos (tipo 1), de sus propiedades (tipo 2), de propiedades de propiedades (tipo 3), &c.; en el interior de los tipos se introduce una subdivisión en órdenes. La teoría de los tipos constituye sólo uno de los procedimientos para eliminar las antinomias de las estructuras teóricas sobre los conjuntos y de las estructuras lógico-formales.

Diccionario filosófico · 1965:457

Teoría de los tipos (jerarquía de los tipos)

Modo de construcción de la lógica formal (matemática), consistente en que se introduce la distinción entre los objetos de distintos niveles (tipos); procedimiento de exclusión de las paradojas o antinomias de la lógica y de la teoría de los conjuntos. El primero en desarrollar la teoría de los tipos en la lógica de las clases (1890) fue E. Schröder. En 1908-10, Russell construyó un sistema detallado de la teoría de los tipos, aplicándolo al cálculo de los predicados.

Diccionario de filosofía · 1984:425