Begriffsschrift, una formulación de la lógica pura en el lenguaje aritmético

Ludwig Wittgenstein·1921·filosofia

Aunque a menudo se le considera el heredero natural de Frege, la inclusión del *Tractatus* aquí es no obvia, ya que su enfoque en la mística y los límites del lenguaje, en contraste con la búsqueda de un lenguaje formal perfectamente transparente de Frege, representa una divergencia significativa en metodología y objetivos finales. Ambos buscan claridad, pero la conclusión de Wittgenstein sobre lo que se puede decir difiere radicalmente.

Alfred North Whitehead, Bertrand Russell·1910·no ficcion

Aunque los *Principia Mathematica* son reconocidos como una continuación del proyecto logicista de Frege, a menudo se les presenta como la culminación más que como una alternativa. La conexión no obvia radica en que, a pesar de sus similitudes temáticas, los *Principia* no adoptan la notación bidimensional de funciones y argumentos de Frege, ni la consideran una base tan directa, lo que revela una diferencia fundamental en la concepción del 'lenguaje aritmético puro' que Frege buscaba.

Ludwig Wittgenstein·1953·filosofia

Mientras Frege buscaba un lenguaje idealizado y libre de ambigüedades, Wittgenstein en las *Investigaciones* adopta un enfoque genealógico y pragmático, mostrando cómo nuestros conceptos fundamentales están inextricablemente ligados a nuestras formas de vida. La conexión profunda reside en que ambos, a su manera, buscan desentrañar la estructura subyacente del pensamiento y el significado, pero llegan a conclusiones diametralmente opuestas sobre la naturaleza de esa estructura: una concepción formalista frente a una contextual y práctica.

Aristóteles·-335·filosofia

Frege, como Aristóteles, buscó una base lógica para el conocimiento y el razonamiento válido. La conexión profunda radica en que ambos intentaron formalizar la inferencia y entender cómo las oraciones adquieren significado y valor de verdad. Si bien las herramientas y la notación de Frege son radicalmente distintas, el objetivo de descomponer las oraciones en sus componentes lógicos y revelar su estructura interna para asegurar la validez de los argumentos es una empresa filosófica común que abarca milenios.

Arend Heyting·1934·filosofia

Frege buscaba un sistema lógico fundamentado en principios absolutos de verdad. Heyting, en cambio, desarrolló la lógica intuicionista, que refleja una perspectiva constructivista de las matemáticas, donde la existencia de un objeto se demuestra construyéndolo, no derivándolo de la negación de su no-existencia. Aunque ambos son lógicos, la postura de Heyting (un neerlandés) ofrece una alternativa fundamental al logicismo fregeano, mostrando que el 'lenguaje puro' no es unívoco, y su trabajo en esta área es menos conocido fuera de círculos especializados que el de los autores anglosajones.

Ernst Cassirer·1906·no ficcion

Frege se dedicó a construir un lenguaje lógico preciso para evitar el error y establecer la verdad. Cassirer, un neo-kantiano alemán, investiga las raíces del 'conocimiento y el error' desde una perspectiva histórica y epistemológica, analizando cómo diferentes formas de pensamiento (mítico, científico) intentan aprehender la realidad. La conexión reside en la búsqueda de la fundamentación del conocimiento, pero Cassirer lo aborda desde una perspectiva más fenomenológica y cultural que la lógica formal de Frege, siendo un autor relevante pero menos universalmente reconocido en la esfera anglosajona que otros contemporáneos.

Kazimierz Ajdukiewicz·1934·filosofia

Frege construyó su *Begriffsschrift* como un lenguaje formal con una sintaxis rigurosa para evitar ambigüedades. Ajdukiewicz, un lógico polaco, desarrolló una gramática categorial que permite analizar la estructura lógica de las oraciones y el significado de las palabras a través de un sistema de categorías que se combinan para formar expresiones bien formadas y con sentido, muy similar al rigor estructural que Frege aplicaba a su sistema lógico. La similitud estructural se encuentra en el intento de construir reglas formales para la combinación de elementos del lenguaje y su efecto en el significado.

Rudolf Carnap·1968·filosofia

Al igual que Frege, Carnap, figura central del Círculo de Viena, estuvo profundamente preocupado por la claridad del lenguaje y la formulación precisa de proposiciones para el conocimiento científico. Su trabajo, aunque posterior, comparte la ambición de Frege de desarrollar lenguajes formales para representar y analizar el significado de una manera que elimine la ambigüedad y revele la estructura lógica subyacente, buscando establecer un 'lenguaje' unificado y riguroso para la ciencia.