Gottlob Frege
Gottlob Frege Matemático alemão nascido em 1848, Gottlob Frege passou quase toda a carreira como professor em Jena, em relativa obscuridade — seu gênio só seria plenamente reconhecido após a morte, em 1925, sobretudo graças a Russell, Wittgenstein e ao Círculo de Viena. Hoje é considerado o fundador da lógica moderna e um dos pais da filosofia analítica. Sua primeira grande realização foi a criação, no Begriffsschrift (1879), de uma lógica de predicados que aposentou a velha silogística aristotélica: com quantificadores (“para todo”, “existe”), variáveis e funções, Frege deu à lógica a precisão e o poder expressivo de que ela precisava para analisar a matemática. Seu objetivo maior era o logicismo — demonstrar que a aritmética se reduz à lógica pura. O projeto, exposto nas Leis Básicas da Aritmética, foi atingido em cheio por uma carta de Russell (1902), que revelou uma contradição no sistema; Frege jamais se recuperou inteiramente do golpe. ...