Teoría de los tipos (jerarquía de los tipos)
No figura en el Diccionario filosófico marxista · 1946
No figura en el Diccionario filosófico abreviado · 1959
Diccionario filosófico · 1965:457
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), etc.; 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 de filosofía · 1984:425
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.