Lógica digital

MATERIAL DE APOIO A
LÓGICA DIGITAL E LÓGICA MATEMÁTICA

ELABORAÇÃO: PROFESSOR PEDRO BIGATTÃO

Página 1

UM POUCO DE HISTÓRIA
"Esboço" do Desenvolvimento 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 à teoria do silogismo (certa 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 (que derivava de Aristóteles) e a Estóica fundada por Zenão (326-264 a.C.). A escola Estóica foi desenvolvida por Crisipo (280-250 a.C.) a partir da escola Megária (fundada por Euclides, um seguidor de Sócrates). Segundo Kneale e Kneale (O Desenvolvimento da Lógica), houve durante muitos anos certa rivalidade entre os Peripatéticos e os Megários e que isto talvez tenha prejudicado o desenvolvimento da lógica, embora na verdade as teorias destas escolas fossem complementares. GOTTFRIED WILHELM LEIBNIZ (1646-1716) merece ser citado, apesar de seus trabalhos terem tido pouca influência nos 200 anos seguidos e só foram apreciados e conhecidos no século XIX. • Período Booleano: (± 1840 a ± 1910) Inicia-se com GEORGE BOOLE (1815 - 1864) e AUGUSTUS DE MORGAN (1806 1871). Publicaram os fundamentos da chamada Álgebra da lógica, respectivamente com MATHEMATICAL ANALYSIS OF LOGIC e FORMAL LOGIC. GOTLOB FREGE (1848 - 1925) um grande passo no desenvolvimento da lógica com a obra BEGRIFFSSCHRIFT de 1879. As idéias de Frege só foram reconhecidas pelos lógicos mais ou menos a partir de 1905. É devido a Frege o desenvolvimento da lógica que se seguiu. GIUSEPPE PEANO (1858 - 1932) e sua escola com Burali-Forti, Vacca, Pieri, Pádoa, Vailati, etc. Quase toda simbologia da matemática se deve a essa escola italiana.

• Período Atual: (1910-......) Com BERTRAND RUSSELL (1872 -