História da Lógica

Período Aristotélico (± 390 a.C. a ± 1840 d.C.)

A história da Lógica tem início com o filósofo grego Aristóteles (384 - 322 a.C.), de Estagira (hoje Estavo), na Macedônia. Aristóteles criou a ciência da lógica cuja essência era a teoria do silogismo (uma forma de argumento válido). Seus escritos foram reunidos na obra denominada Organon ou Instrumento da Ciência.

Na Grécia, distinguiram-se duas grandes escolas de Lógica: a Peripatética (derivada de Aristóteles) e a Estoica (fundada por Zenão, 326–264 a.C.). A escola Estoica foi desenvolvida por Crisipo (280–250 a.C.), a partir da escola Megária (fundada por Euclides, seguidor de Sócrates).

Segundo Kneale & Kneale, em O Desenvolvimento da Lógica, houve durante muitos anos uma certa rivalidade entre os Peripatéticos e os Megários, o que pode ter prejudicado o avanço da lógica, embora suas teorias fossem, na verdade, complementares.

O matemático e filósofo Gottfried Wilhelm Leibniz (1646–1716) também merece destaque, apesar de seus trabalhos só terem ganhado reconhecimento no século XIX.

Período Booleano (± 1840 a ± 1910)

Este período inicia-se com George Boole (1815–1864) e Augustus De Morgan (1806–1871), que publicaram os fundamentos da Álgebra da Lógica em suas obras Mathematical Analysis of Logic e Formal Logic, respectivamente.

Um marco essencial foi a publicação de Begriffsschrift (1879) por Gottlob Frege (1848–1925), obra considerada um grande salto no desenvolvimento da lógica moderna. Suas ideias só foram reconhecidas amplamente após 1905, mas são fundamentais para a lógica contemporânea.

A escola de Giuseppe Peano (1858–1932), com nomes como Burali-Forti, Vacca, Pieri, Pádoa e Vailati, teve grande influência na criação da simbologia matemática usada até hoje.

Período Atual (1910 – ...)

O período atual tem início com Bertrand Russell (1872–1970) e Alfred North Whitehead (1861–1947), autores da obra Principia Mathematica, que revolucionou os fundamentos da matemática e lógica.

David Hilbert (1862–1943) liderou uma escola alemã notável, com nomes como von Neumann, Bernays e Ackermann.

Outros nomes fundamentais são Kurt Gödel (1906–1978) e Alfred Tarski (1902–1983), com contribuições centrais para a lógica matemática, metamatemática e teoria da verdade.

Surgem também as chamadas lógicas não clássicas, com destaque para:

Essas lógicas se aplicam hoje em áreas como Inteligência Artificial e Sistemas Especialistas. Atualmente, a Lógica se diversifica e se conecta com diversas áreas do conhecimento.