Filosofos

Friedrich Ludwig Gottlob Frege
Gottlob Frege nasceu no dia 08 de Novembro de 1848 em Wismar, Merklenberg Schwerin (atualmente Alemanha). Estudou na Universidade de Jena (1869-1871) e na Universidade de Gottingen (1871-1873), dedicando-se à Matemática, à Física e à Química. Ensinou na Universidade de Jena no departamento de Matemática onde permaneceu o resto da sua vida profissional. Inicialmente ensinava qualquer ramo da matemática, mas as suas publicações eram fundamentalmente no campo da lógica. Os seus estudos em Filosofia da Lógica, Filosofia da Matemática e Filosofia da Linguagem fazem de Frege um dos maiores matemáticos, lógicos e filósofos de sempre. Frege queria mostrar que a aritmética era idêntica à lógica e pode-se dizer que recriou a disciplina da lógica ao construir o primeiro «cálculo de predicados». Um cálculo de predicados é um sistema formal constituído por duas componentes: a linguagem formal e a lógica. Tal como Leibniz (1646-1716), pensava que a característica específica da Matemática era a construção de cálculos que poderiam ser interpretados sem referência a números ou quantidades. Contudo, como consideram Marta e Kneale, Frege "foi mais longe do que qualquer dos seus predecessores na sua exigência de rigor formal dentro da lógica, e a teoria dedutiva ou cálculo que elaborou é a maior realização alguma vez alcançada na história da lógica." 2 Confrontado com a ambigüidade da linguagem usual e com a inadequação dos sistemas lógicos existentes, Frege inventou inúmeras notações simbólicas, tais como quantificadores e variáveis, que pudessem fornecer fundamentos para a lógica matemática moderna. E, na tentativa de concretizar as idéias de Leibniz de uma linguagem universal adequada de um cálculo racional, Frege desenvolveu uma ideografia - Begriffsschrift. No entanto, o seu trabalho não foi muito bem recebido. Aliás, pode mesmo dizer-se que, inicialmente, foi ignorado, mas teve grande influência em Bertrand