Conceitografia

A Editora do PPGFIL-UFRRJ anuncia a publicação da tradução do primeiro livro de Gottlob Frege intitulado Begriffsschrift (Conceitografia). Neste livro, Frege apresenta uma das primeiras axiomatizações da lógica proposicional e da lógica de predicados de primeira ordem. Implicitamente, Frege também estabelece um sistema de lógica de segunda ordem. Além disso, na parte 3 do livro, ele prova teoremas aritméticos importantes como, por exemplo, um princípio geral de indução (fórmula 81). Muitos autores sustentam que a Conceitografia iniciou a agora conhecida lógica matemática moderna. Esse fato por si só justifica a publicação da tradução deste livro para o Português.

DOWNLOAD

CONTATOS

E-mail:ppgfilufrrj@gmail.com

Rodovia BR 465 KM 7 – CEP: 2389000

Todos os direitos reservados © Copyright Editora do PPGFIL-UFRRJ