Portada de Begriffsschrift: Una lengua de fórmulas, construida para el pensamiento puro al modo de la aritmética

Begriffsschrift: Una lengua de fórmulas, construida para el pensamiento puro al modo de la aritmética

por Gottlob Frege · 1879

Sinopsis

Esta obra es la base de la lógica moderna y presenta el primer sistema formal completo de lógica proposicional y predicados, introduciendo la cuantificación y la noción de función y argumento.

Sé el primero en valorar este libro.

Más de Gottlob Frege

Ver autor →

Otras obras del mismo autor en el catálogo

Libros similares

Libros relacionados según distintos criterios de búsqueda

Tractatus Logico-Philosophicus

Ludwig Wittgenstein

1921·filosofia

Aunque superficialmente diferente en su estilo y estructura aphorística, el Tractatus comparte con la Begriffsschrift la ambición subyacente de clarificar el lenguaje y el pensamiento lógico. Ambos buscan desentrañar la 'lógica' del mundo, Frege mediante una notación precisa para el razonamiento puro y Wittgenstein analizando la estructura lógica del lenguaje y su correspondencia con la realidad, llegando a conclusiones sobre lo que puede decirse con sentido. La conexión es 'no obvia' porque el Tractatus se considera un hito en la filosofía analítica del siglo XX, mientras que la obra de Frege es la génesis de la lógica moderna, pero ambos convergen en la purificación y estructuración del pensamiento para evitar errores filosóficos y confusiones lingüísticas.

Principia Mathematica

Alfred North Whitehead, Bertrand Russell

1910·no ficcion

Esta obra es una 'hija' directa de la Begriffsschrift de Frege, aunque desarrollada de forma independiente y con sus propias innovaciones. La conexión es no obvia porque la magnitud y complejidad de los Principia suelen eclipsar a su predecesora, pero fundamentalmente comparten el mismo espíritu y ambición: formalizar las matemáticas a través de una lógica rigurosa. Russell y Whitehead tomaron las ideas de Frege sobre la lógica de predicados y la teoría de tipos para construir un sistema completo, validando la visión de Frege sobre la importancia de una 'lengua de fórmulas' para el pensamiento puro en la matemática.

Investigaciones lógicas

Edmund Husserl

1900·filosofia

La conexión con la Begriffsschrift es profunda en su intento de establecer las bases de la lógica y el pensamiento 'puro'. Husserl, al igual que Frege, se preocupa por la objetividad y la validez universal de las leyes lógicas, investigando las estructuras intencionales de la conciencia que hacen posible el significado y la verdad. Mientras Frege busca formalizar el pensamiento, Husserl busca entender cómo el pensamiento se estructura y se relaciona con el significado, ambos con la ambición de fundamentar el conocimiento en principios indudables y claros, libres de psicologismo.

Sobre el ser y el sentido

Henri Bergson

1889·filosofia

La conexión es 'deep' porque confronta directamente la visión de la 'Begriffsschrift' sobre el pensamiento como un sistema formal y analítico. Mientras Frege busca la cristalización del pensamiento en un lenguaje preciso y estructurado matemáticamente, Bergson argumenta que la verdadera comprensión de la realidad, especialmente la vida y el tiempo, escapa a la lógica formal y requiere una intuición de la 'duración' indivisible. Ambos abordan la esencia del pensamiento y la realidad, pero desde perspectivas radicalmente opuestas: uno buscando la claridad de la forma, el otro la fluidez de la experiencia.

La semántica de la lengua natural

Richard Montague

1974·filosofia

Montague es un autor menos conocido fuera de círculos muy específicos de la filosofía del lenguaje y la lingüística formal, lo que lo hace 'obscure' en comparación con los grandes nombres de la lógica. Su trabajo, sin embargo, es directamente heredero del proyecto fregeano de una 'lengua de fórmulas'. Montague extendió la formalización lógica de Frege y Tarski para abarcar las complejidades de las lenguas naturales, demostrando que incluso sus ambigüedades podían ser modeladas con precisión. Su enfoque radicalmente formalista es una continuación directa y sofisticada del espíritu de la Begriffsschrift en un dominio inesperado.

Teoría de la objetivación

Kasimir Twardowski

1900·filosofia

Twardowski, una figura central en la Escuela de Leópolis-Varsovia, es poco conocido en el mundo anglosajón, lo que lo hace 'obscure'. Sin embargo, su trabajo se alinea con las preocupaciones de Frege sobre la objetividad de los conceptos. Ambos buscaban distinguir los aspectos psicológicos subjetivos del pensamiento de los contenidos objetivos y lógicos. Twardowski desarrolla una teoría sobre cómo los contenidos ideales se 'objetivan', un proceso que resuena con la forma en que Frege concibió el 'sentido' (Sinn) de una expresión como un objeto abstracto no psicológico, crucial para su 'pensamiento puro'.

Formulario de matemáticas

Giuseppe Peano

1895·filosofia

Al igual que la Begriffsschrift de Frege, el Formulario de Peano es una contribución fundacional al uso de la notación simbólica para formalizar las matemáticas. Ambas obras son pioneras en la creación de un lenguaje artificial diseñado explícitamente para el 'pensamiento puro' y la deducción rigurosa. La estructura del Formulario, con sus definiciones precisas y axiomas en notación simbólica, es paralela al enfoque de Frege, aunque Peano usó una notación lineal más cercana a la moderna, mostrando cómo las ideas de un lenguaje formal se estaban gestando simultáneamente en diferentes frentes.

La conexión es 'structural' en el sentido de que ambos autores, Frege y Hume, intentan establecer de forma sistemática y rigurosa los 'fundamentos' de su respectivo campo de estudio, aunque sus métodos y conclusiones sean muy diferentes. Frege busca fundar la aritmética en la lógica mediante un sistema formal intachable. Hume busca fundar nuestro conocimiento de la realidad en la experiencia y las impresiones, desglosando el entendimiento humano en sus elementos básicos. Ambos autores demuestran un rigor excepcional al definir y usar sus conceptos fundamentales para construir un sistema de pensamiento coherente, destacando cómo el 'pensamiento puro' se estructura en sus respectivas visiones.

Ver sugerencias

Ayúdame a que yoleo sea sostenible