Sobre la identidad en Frege y Leibniz

Laburpena

El tema que es objeto de estudio es la identidad lógica en Frege y Leibniz. Partiendo del examen de la identidad lógica se estudian las relaciones de ambos autores en lógica y semántica (filosofía del lenguaje). El estudio de la identidad en Frege se aborda desde la perspectiva de la semántica lingüística funcional. También se estudia la posible influencia directa de Leibniz sobre Frege. Esta influencia se ha producido fundamentalmente a través de la escuela matemática de gauss y Riemann y de modo secundario a través del filosofo r. H. Lotze. El principal punto de contacto entre Leibniz y Frege se halla en filosofía de las matemáticas: Frege trata de ejecutar el proyecto leibniziano. Como declara el propio Frege su objetivo fundamental teórico consiste en la fundamentación lógica de la aritmética. El logicismo de Frege forma parte del proyecto leibniziano. Dicho proyecto sirvió a Frege como programa aunque su elaboración difiere de un modo substancial con respecto a la de Leibniz.