Frege

Gottlob Frege é popularmente considerado como o “pai da lógica contemporânea”, por oposição à lógica aristotélica. Em seu pequeno ensaio Begriffsschrift (Escrita Conceitual), publicado em 1879, ele elaborou um sistema simbólico para representar inferências lógicas. Outros filósofos e matemáticos da época haviam elaborado sistemas simbólicos análogos (e.g., Peano, Boole, Schröder) mas em nenhum deles ocorre um entrelaçamento tão profundo entre lógica, filosofia da linguagem, epistemologia e ontologia como no trabalho de Frege. Por isso ele deu origem não apenas à lógica contemporânea, mas também estabeleceu os parâmetros da filosofia da linguagem e filosofia da matemática dos séculos XX e XXI. Nesta segunda palestra, discutiremos a visão especificamente matemática (aritmética) de Frege, que tem sua origem na tradição neo-Kantiana alemã, mas que também diverge de maneira profunda da mesma. Abordaremos o entrelaçamento desta visão com a lógica, a linguagem e o pensamento, e como ela se relaciona com a visão de outros grandes filósofos contemporâneos de Frege (e.g., Boole, Hilbert, Russell e Wittgenstein).