Introdução e Histórico
Histórico
- Longa história de mais de 23 séculos.
- Aristóteles, na Grécia Antiga, sistematizou e codificou os fundamentos da lógica. “Silogismo é um discurso no qual, tendo-se afirmado algumas coisas, algo além destas coisas se tornam necessariamente verdade”. Aristóteles, Primeira Analítica, Livro I, 24a
- Em 1847, George Boole propôs uma linguagem formal que permite a realização de inferências.
- Lógica Moderna tem início em 1879, quando Gottlob Frege publicou a primeira versão do que hoje é conhecido comom “Cálculo de Predicados”.
- Russel e o Positivismo - Lógica como base para todas as outras ciências.
- David Hilbert, Guiseppe Peano, Georg Cantor, Ernst Zermelo, Leopold Lowenheim e Thoralf Skolem.