A História da Lógica tem início com o filósofo grego Aristóteles (384-322 a.C.), o primeiro estudioso a fazer uma representação do processo do pensamento, através da sistematização do raciocínio lógico.

Tentativas de se formalizar uma Análise Matemática da Lógica remontam aos trabalhos de Gottfried Wilhelm Leibniz (1646-1716) (que só foram reconhecidos no século XX), mas foi com Augustus De Morgan (1806-1871), George Boole (1815-1864), Gotlob Frege (1848-1925) e Giuseppe Peano (1858-1932) que se desenvolveu a Análise Matemática da Lógica e a Lógica Formal.

Com Bertrand Russell (1872-1970) e Alfred North Whitehead (1861-1947) se inicia o período atual da lógica. David Hilbert (1862-1943), von Neuman, Bernays, Ackerman, Kurt Gödel (1906-1978) e Alfred Tarski (1902-1983) fizeram importantes contribuições. Surgiram também as Lógicas não-clássicas, tais como N.C.A. da Costa (Universidade de São Paulo) com as lógicas paraconsistentes , L. A. Zadeh (Universidade de Berkeley-USA) com a lógica "fuzzy", e as contribuições dessas lógicas para a Inteligência Artificial.