Una respuesta parcial podría venir a través de una introducción. Bien, sabemos que los esfuerzos de Russell por comprender la apariencia contradictoria de la clase de todas las clases que no son miembros de sí mismas (una noción también evidente en el análisis de Frege) produjeron la teoría de los tipos. Pero, ¿cómo es esto útil? Hay dificultades con la teoría de los tipos de Russell (si es que él es el proponente original de los tipos). Por ejemplo, se dice que las categorías aristotélicas fijan falsamente límites para el significado; por lo tanto, éstos no son materia adecuada para una teoría. Siguiendo a Russell, Wittgenstein fue el primero en proponer esto. En su obra temprana Tractatus..., Wittgenstein probablemente fue el primero en sugerir los límites de la razón o lo que se puede demostrar, pero no necesariamente racionalmente dicho. Wittgenstein disfrutaba del silencio. Todo el mundo conoce las historias. La claridad racional debe lograrse a través de un lenguaje ideal. Algunos llaman a este lenguaje, matemáticas. Pero las matemáticas tampoco trascienden ciertos límites necesarios en el significado cognitivo. En otras palabras, no hay respuestas. Wittgenstein conocía esta falla tanto en la lógica (símbolos) como en la razón (movimiento intelectual) y lo llevó a una evidente desesperación psicológica. En filosofía, después de mediados de la década de 1930, no existe un esquema universal de categorías (epistemología aristotélica). Esta condición se ha mantenido. ¿Por qué? ¿Son innecesarios los absolutos? Wittgenstein' Su influencia se puede ver en la afirmación de los filósofos analíticos actuales de que las categorías deben tener universalidad absoluta (Aristóteles) hasta la teoría de los tipos (Russell). Pero, esto es como perseguir la especificidad hasta el último milímetro. ¿Cuál es la diferencia entre las categorías de Aristóteles y los tipos de Russell?
La principal diferencia es que las Categorías de Aristóteles es una teoría ontológica, es decir, un sistema de clasificación de los seres, mientras que la Teoría de Tipos de Whithead y Russell es una teoría lógico-matemática.
La interpretación de la teoría de Aristóteles no es una tarea fácil (ver también la lógica de Aristóteles ):
La palabra “categoría” ( katêgoria ) significa “predicación”. Aristóteles sostiene que las predicaciones y los predicados se pueden agrupar en varios "tipos de predicación" más grandes. [...] las categorías pueden ser clases de predicado [o] pueden verse como clases de entidad . [...] ¿Cuál de estas interpretaciones encaja mejor con los [textos originales]? La respuesta parece ser diferente [...]: las Categorías enumeran la sustancia ( ousia ) en primer lugar, mientras que los Temas enumeran lo que es ( ti esti ). Una sustancia, para Aristóteles, es un tipo de entidad, lo que sugiere que la lista de Categorías es una lista de tipos de entidad.
Por otro lado, la expresión “qué-es-es” sugiere más fuertemente un tipo de predicación.
La versión original de la teoría de tipos contenida en Principia Mathematica también tiene "implicaciones ontológicas", pero son bastante oscuras debido a la inducción de la jerarquía ramificada y el axioma de reducibilidad .
El desarrollo posterior de la teoría produjo una teoría "simplificada" (ver: Teoría de tipos de Church ):
La teoría de tipos es un lenguaje lógico formal que es particularmente adecuado para la formalización de las matemáticas y otras disciplinas y para especificar y verificar hardware y software. También juega un papel importante en el estudio de la semántica formal del lenguaje natural.
Tendría que respaldar la respuesta de Mauros sobre la principal diferencia entre la teoría de Russell y Aristóteles en cuanto a la ontología y la lógica.
Russells estaba tratando de comprender la teoría de Freges, que fue un primer intento de extender las técnicas matemáticas a la lógica. El Conjunto de Russell , mostró la limitación de su teoría (usando una lógica paraconsistente diferente, el Conjunto Universal y el Conjunto de Russell pueden fundamentarse). Así que no es un defecto fatal.
La teoría de tipos de Russell tiene un nuevo avatar en la Teoría de categorías, que se basa en una lógica diferente a la clásica; se basa en la lógica intuicionista de Brower; e integra técnicas matemáticas como el forzado como técnica geométrica; y esto está en consonancia con un importante paradigma de las matemáticas: la 'geometrización' es el sentido amplio de la escuela pitagórica.
Wittgenstein no fue el primero en sugerir los límites de la razón; esto lo hizo Hume; y antes que él por Al-Ghazali , en su La incoherencia de la Filosofía .
Mucho más atrás, si uno sale de la 'filosofía pura' y vuelve a entrar en el mundo de la antigüedad, con lo que entonces era el discurso favorito de la sophia , que es la poesía, y que en su forma de drama en verso de la tragedia que consideraba dilemas éticos/morales; entonces Edipo Rey también puede ser considerado bajo esa luz: Tiresias advirtió a Edipo que se alejara en su búsqueda razonada y demanda 'de la verdad'.
Dallas-Rey Davis
Mauro ALLEGRANZA
darcy davis
Mozibur Ullah
Dallas-Rey Davis
Mauro ALLEGRANZA