Skip to content
Filósofos / Gottlob Frege
Moderno

Gottlob Frege

1848 – 1925
Wismar, Mecklenburg-Schwerin → Jena, Germany
Filosofia Analítica Logic Philosophy of language Philosophy of mathematics Epistemology
Copied!

Gottlob Frege foi um matemático, lógico e filósofo alemão amplamente considerado o fundador da lógica matemática moderna e um dos fundadores da filosofia analítica. Sua invenção da lógica de predicados, sua distinção entre sentido e referência e sua tentativa de derivar a aritmética da lógica pura (logicismo) revolucionaram o estudo da linguagem, da matemática e do raciocínio, tornando possível a obra de Russell, Wittgenstein, Carnap e toda a tradição analítica.

Ideias Principais

Lógica de predicados, sentido e referência, composicionalidade, logicismo, conceito e objeto

Contribuições Principais

  • Inventou a lógica de predicados moderna (a *Begriffsschrift*), substituindo o silogismo aristotélico por um sistema capaz de expressar a estrutura completa do raciocínio matemático
  • Distinguiu entre sentido (Sinn) e referência (Bedeutung), fornecendo o fundamento para a filosofia da linguagem moderna
  • Desenvolveu o logicismo — a tese de que a aritmética pode ser derivada da lógica pura
  • Introduziu o conceito de função na lógica, tratando predicados como funções de objetos para valores de verdade
  • Distinguiu entre conceito e objeto como categorias ontológicas fundamentais
  • Formulou o princípio do contexto: uma palavra tem significado apenas no contexto de uma proposição

Questões Centrais

A aritmética pode ser reduzida à lógica pura (logicismo)?
Qual é a diferença entre o sentido de uma expressão e sua referência?
O que é um número e como os números podem ser definidos logicamente?
Qual é a estrutura lógica adequada da linguagem e como ela se relaciona com o pensamento?
Como os enunciados de identidade (como 'a estrela da manhã é a estrela da tarde') transmitem informação?

Teses Principais

  • A aritmética é um ramo da lógica — os números podem ser definidos puramente em termos de conceitos lógicos
  • Toda expressão bem formada possui tanto um sentido (o modo de apresentação) quanto uma referência (o objeto designado)
  • Uma palavra tem significado apenas no contexto de uma proposição (o princípio do contexto)
  • Conceitos são funções que mapeiam objetos para valores de verdade — predicados são fundamentalmente diferentes de nomes
  • Pensamentos (Gedanken) são entidades objetivas, independentes da mente — o sentido de uma proposição é um pensamento
  • A estrutura lógica da linguagem não é o que a gramática superficial sugere — a linguagem ordinária sistematicamente induz ao erro sobre a forma lógica

Biografia

Vida e Carreira

Friedrich Ludwig Gottlob Frege nasceu em 8 de novembro de 1848, em Wismar, Alemanha. Estudou matemática e física na Universidade de Jena e na Universidade de Göttingen, obtendo seu doutoramento em 1873. Passou toda a sua carreira acadêmica na Universidade de Jena, onde foi nomeado professor de matemática.

A Begriffsschrift e a Revolução na Lógica

A Begriffsschrift (Escrita Conceptual, 1879) de Frege criou a lógica de predicados moderna — o primeiro sistema lógico formal capaz de expressar a estrutura completa do raciocínio matemático. Introduziu quantificadores (para todo, existe), variáveis, funções e argumentos numa notação que, embora pouco familiar aos leitores contemporâneos, era muito mais poderosa do que a lógica silogística que prevalecia desde Aristóteles. O livro foi em grande parte ignorado à época.

Suas Fundações da Aritmética (1884) apresentaram um argumento filosófico para o logicismo e introduziram a distinção crucial entre conceito e objeto. As monumentais Leis Básicas da Aritmética (dois volumes, 1893 e 1903) tentaram realizar essa redução formalmente.

O Paradoxo de Russell

Enquanto o segundo volume das Leis Básicas estava no prelo em 1902, Frege recebeu uma carta de Bertrand Russell apontando que um de seus axiomas (Lei Básica V) levava a uma contradição — o paradoxo de Russell. Frege ficou arrasado. O fracasso encerrou efetivamente seu programa logicista, embora suas inovações lógicas tenham sobrevivido e florescido.

Filosofia da Linguagem

O ensaio de Frege 'Sobre Sentido e Referência' (1892) é um dos artigos mais importantes da história da filosofia. Distinguiu entre o sentido (Sinn) de uma expressão — o modo de apresentação ou conteúdo cognitivo — e sua referência (Bedeutung) — o objeto que ela designa. A estrela da manhã e a estrela da tarde têm a mesma referência (Vênus) mas sentidos diferentes. Essa distinção tornou-se fundacional para a filosofia da linguagem.

Morte e Legado

Frege morreu em 26 de julho de 1925, em Bad Kleinen, Alemanha. Amplamente desconhecido durante sua vida, sua influência sobre a filosofia do século XX — por meio de Russell, Wittgenstein, Carnap, Dummett e toda a tradição analítica — é enorme. Michael Dummett o chamou de 'o avô da filosofia analítica.'

Métodos

Formal logical analysis Conceptual clarification through logical notation Philosophical argumentation about the foundations of mathematics Analysis of the structure of language and thought

Citações Notáveis

"Nunca pergunte pelo significado de uma palavra isoladamente, mas apenas no contexto de uma proposição." — As Fundações da Aritmética, Introdução
"Um conceito é uma função cujo valor é sempre um valor de verdade." — Função e Conceito
"A estrela da manhã é a estrela da tarde — mas essa identidade é informativa, não trivial." — Sobre Sentido e Referência (paráfrase)

Obras Principais

  • Begriffsschrift Tratado (1879)
  • The Foundations of Arithmetic Tratado (1884)
  • Function and Concept Ensaio (1891)
  • On Sense and Reference Ensaio (1892)
  • Basic Laws of Arithmetic Tratado (1893)

Influenciou

Fontes

  • The Foundations of Arithmetic (trans. J.L. Austin)
  • Frege: Philosophy of Language by Michael Dummett
  • The Cambridge Companion to Frege (ed. Michael Potter and Tom Ricketts)
  • Frege: A Critical Introduction by Harold Noonan

Links Externos

Traduções

Portuguese
100%
Spanish
100%
Italian
100%

Comparar:
Comparar

Comparar com...

Busque um filósofo para comparar com

Comparar