Temática

En este blog se expone una breve reseña de los grandes aportes de Gottlob Frege en la lógica simbólica.

Gottlob Frege


Friedrich Ludwig Gottlob Frege (1848-1925) fue un matemático, lógico y filósofo alemán, padre de la lógica matemática y la filosofía analítica.

Nacido en Alemania, comenzó sus estudios en la Universidad de Jena en 1869 trasladándose a Gotinga para completar sus estudios de física, química, filosofía y matemáticas licenciándose en esta última en el año 1873.

En 1879, Frege publicó su revolucionaria obra titulada Conceptografía (Begriffsschrift), en la que sentó las bases de la lógica simbólica lógica, iniciando una transición en esta disciplina que había permanecido prácticamente inactiva desde Aristóteles. Mediante la creación de una nueva sintaxis, con la inclusión de los llamados cuantificadores, permitió formalizar una gran cantidad de nuevos argumentos. Además, fue el primero en distinguir la caracterización formal de las leyes lógicas de su contenido semántico.

En este Frege trabajo que se presenta por primera vez lo que nosotros reconocemos hoy como un sistema de lógica con la negación, implicación, la cuantificación universal, esencialmente la idea de la verdad, etc tablas, pero lo que no sería reconocible hoy en día es la notación que Frege utiliza.

Sus escritos sobre la filosofía de la lógica, la filosofía de las matemáticas y la filosofía del lenguaje son de gran importancia. - Una vez dijo: -

Todo buen matemático es al menos la mitad de un filósofo, y cada filósofo es buena por lo menos la mitad de un matemático.

Para la implicación A → B, Frege utiliza una notación que se colocó a través de dos líneas con un ser escrito en la línea por debajo de B. No es difícil ver por qué su notación no ha sobrevivido,un problema en las revolucionarias obras de Frege era la cantidad de espacio impreso que requiere su notación; no fue realmente hasta la publicación de los Principia Mathematica de Alfred North Whitehead y Bertrand Russell cuando el poder de la lógica formal, en una notación menos extensa (pero que requiere muchos signos de agrupación) fue apreciable.