La teoría de tipos lógicos como austeridad ontológica

Abstract

"Este material se denomina La teoría de tipos lógicos como austeridad ontológica pues se considera que las ideas que ha generado la propuesta teórica del filósofo y matemático ingles Bertrand Russell, han sido determinantes en lo relacionado con su postura frente a la posibilidad de sospechar de las ""evidencias"" que se guardan mejor en las matemáticas. Esta sospecha se ve plasmada en la paradoja de clases. La respuesta de Russell a esta paradoja es la teoría de los tipos lógicos, desde la cual se enfrenta la siguiente pregunta: ¿cómo podemos nombrar las clases otorgándoles existencia y significado? Esta pregunta sólo puede responderse satisfactoriamente desde las dos formulaciones de la teoría de tipos (1903- 1908), filtradas a su vez por la teoría de las descripciones (1905). De este modo se pretende hacer un rastreo de la depuración ontológica que se lleva a cabo en la producción filosófica de Russell. Mostrar el cambio la teoría de los tipos, una vez filtrada por la teoría de las descripciones es el objetivo de este trabajo."