 |
| Gottlob Frege (1848-1925), padre de la lógica de primer orden |
Gottlob Frege nació en Wismar (1848), a la orilla del mar Báltico. Estudió matemáticas y física en Jena y Gotinga, y filosofía con el kantiano Kuno Fischer y el idealista Hermann Lotze. Ocupa un papel fundamental en la creación de la lógica moderna al ensayar una ideografía o conceptografía, siguiendo el sueño de Leibniz de una lengua lógica universal perfecta (Mathesis universalis), o sea un lenguaje de fórmulas similar al aritmético para el pensamiento puro. Su objetivo final era reducir la aritmética y el análisis matemático a la lógica.
En su artículo "Sobre la justificación científica de la escritura conceptual" comparó el lenguaje ordinario con la mano, y el lenguaje formal de la lógica con la herramienta. La maleabilidad y blandura del lenguaje ordinario es la condición de su desarrollo y múltiple aplicabilidad. Pero no basta, por eso creamos herramientas para tareas específicas que resultan más precisas que la mano. Su precisión depende precisamente de la rigidez de la herramienta, la inmutabilidad de sus partes, es decir por la ausencia de las propiedades que en la mano explican su versatilidad.
Entradas
