Filosofía en español
Filosofía en español
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
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