NOÇÕES DE LÓGICA MATEMÁTICA

"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 - 322a.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 (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-264a.C.). A escola ESTÓICA foi desenvolvida por Crisipo (280-250a.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 uma 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-1970) e ALFRED NORTH WHITEHEAD (1861-1947) se inicia o período atual da lógica, com a obra PRINCIPIA MATHEMATICA.
DAVID HILBERT (1862-1943) e sua escola alemã com von Neuman, Bernays, Ackerman e outros.
KURT GÖDEL (1906-1978) e ALFRED TARSKI (1902-1983) com suas importantes contribuições.
Surgem as Lógicas não-clássicas : N.C.A. DA COSTA com as lógicas paraconsistentes , L. A. ZADEH com a lógica "fuzzy" e as contribuições dessas lógicas para a Informática, no campo da Inteligência Artificial com os Sistemas Especialistas.

Hoje as especialidades se multiplicam e as pesquisas em Lógica englobam muitas áreas do conhecimento.

Saiba mais sobre estes importantes lógicos e matemáticos.


CELINA ABAR
- 2004 -