**O Tempo e a Inquietação**

Wismar (Mecklenburg), 1848: pai diretor escola feminina (morre cedo), mãe loja de chapéus. Jena (matemática, física, filosofia -- *Lotze*, *Friedrich*), Göttingen (doutorado 1873, *geometria*), habilitação Jena (1874, *Begriffsschrift*), professor extraordinário (1879), ordinário (1896). Isolamento acadêmico, correspondência (Russell, Hilbert, Peano, Husserl, Wittgenstein -- *não* responde). *Begriffsschrift* (1879 -- *escrita de conceitos*, primeira lógica formal moderna, quantificadores, variáveis ligadas), *Die Grundlagen der Arithmetik* (1884 -- *logicismo*, números como classes de classes equinúmeras, *Hume's Principle*), *Grundgesetze der Arithmetik* (1893/1903 -- sistema formal, *Lei Fundamental V*: extensão de conceito = objeto). Paradoxo de Russell (1902 -- carta: *classe das classes que não se contêm* contradiz Lei V), *apêndice* tardio (tenta reparar, falha). Aposentadoria (1918), *Logical Investigations* (1918-23 -- *pensamento*, *sentido/referência*, *verdade*), morte (1925, Bad Kleinen). Frege: o pastor da lógica que fundou a filosofia analítica e viu seu sistema ruir.

**O Núcleo do Pensamento**

*Begriffsschrift* -- *linguagem formal* para *pensamento puro*: *função/argumento* (não sujeito/predicado), *quantificadores universais/existenciais* (∀x, ∃x), *variáveis ligadas*, *regras de inferência* (modus ponens, generalização), *prova* como *cadeia mecânica*. *Sentido* (*Sinn*) *vs.* *Referência* (*Bedeutung*) -- *expressão* tem *sentido* (modo de apresentação, *cognitive value*) e *referência* (objeto denotado); *Estrela da Manhã* = *Estrela da Tarde* (mesma referência, sentidos diferentes); *sentença* tem *sentido* (pensamento, *Gedanke*) e *referência* (valor de verdade: *Verdadeiro/Falso*). *Conceito* vs. *Objeto* -- *conceito* (função insaturada, *conceito* *F* -> *Verdadeiro/Falso*), *objeto* (saturado, *completo*); *predicado* expressa conceito, *nome* denota objeto; *o conceito cavalo não é um conceito* (paradoxo: ao nomeá-lo, tornamos objeto). *Logicismo* -- *aritmética redutível a lógica*: *número* = *extensão de conceito* (classe de classes equinúmeras), *0* = extensão de "não idêntico a si mesmo", *sucessor* = extensão de "igual a n", *indução* derivada de *definição de série ancestral*.

**A Obra e o Embate**

*Begriffsschrift* -- *ignorada* (notação estranha, *dois-dimensionais*), *Peano* (notação linear adota quantificadores), *Russell* (*Principles of Mathematics* 1903 -- adota, descobre paradoxo 1901, carta 1902). *Hilbert* (programa formalista -- *consistência* via *finitismo*, *Gödel* 1931 destrói). *Wittgenstein* (*Tractatus* -- *herda* *função/argumento*, *crítica* *sentido/referência* como *metafísica*). *Carnap* (*Aufbau* -- *construção lógica*, *rejeita* *objetos* *abstratos*). *Dummett* (*Frege: Philosophy of Language* -- *sentido* como *condição de verdade*, *anti-realismo* *semântico*). *Evans, McDowell, Brandom* -- *herdeiros* do *giro linguístico* fregeano.

**O Eco no Presente**

*Begriffsschrift* *viva*: *linguagens de programação* (tipos, funções, variáveis ligadas, quantificadores em *type theory* dependente -- *Coq*, *Lean*, *Agda*), *lógica de descrição* (*OWL*, *RDF*, *SPARQL* -- *web semântica*), *verificação formal* (*CompCert*, *seL4*, *TLA+*). *Sentido/Referência* em *NLP*: *embeddings* capturam *sentido* (similaridade semântica), *referência* = *entity linking* (Wikidata, Knowledge Graph) -- *Frege antecipa* *distributed semantics*. *Conceito vs. Objeto* em *type theory*: *tipos* (conceitos) vs. *termos* (objetos), *dependently typed* (tipos dependem de termos). *Paradoxo de Russell* em *dados*: *conjunto de todos conjuntos que não se contêm* -> *type safety*, *ownership* (*Rust*), *set theory* vs. *type theory* fundamentos. *Lei Fundamental V* como *compreensão irrestrita* -> *restrição* em *ZFC* (separation), *type theory* (universes). Frege: *"A lógica é a ciência das leis mais gerais da verdade."* Hoje, a *verdade* é *probabilidade condicional*; a *lógica* é *diferenciável* (*neural theorem proving*, *differentiable logic*). O pastor ficaria *perplexo* e *orgulhoso*.