Imunidades

Desta forma, para o senso comum, a lógica seria um estudo da correspondência

entre o discurso e a realidade. Porém, em sentido mais estrito, aquela ‘arte’ surgida,

segundo uma concepção clássica, com os trabalhos do filósofo grego Aristóteles (384-

322 a.C.) de Estagira1, a qual denominou-se de lógica, se apresenta como uma

metodologia de análise e construção de raciocínios e argumentos em âmbito formal.

A lógica foi desenvolvida de forma independente e chegou a certo grau de

sistematização na China, entre os séculos V e III a.C., e na Índia, do século V a.C. até os

séculos XVI e XVII da era cristã. Na forma como é conhecida no Ocidente, tem origem

na Grécia.

Mais tarde, foram reunidos os trabalhos na obra denominada Organon, onde

encontramos no capítulo Analytica Priora a parte essencial da Lógica. Para Aristóteles,

o raciocínio (dedutivo) reduz-se essencialmente ao tipo determinado que se denomina

silogismo.

Na seqüência de descobertas e reflexões de pensadores anteriores, donde

sobressaem Parménides e Zenão de Eleia, os sofistas, Sócrates e Platão, este último

mestre de Aristóteles. Mais tarde, encontramos os pensadores medievais, entre os quais

avulta o português Pedro Hispano (1220-1227), que lhe irão dar depois o seu aspecto

quase definitivo, ou pelo menos, o mais próximo do que conhecemos hoje como a

ciência das idéias.

Ainda na Antigüidade grega, temos a Lógica da escola dos estóicos e

megáricos (Euclides de Megara – 400 a.C.). Esta lógica apresenta-se de modo diferente

da aristotélica, pois, esta se liga ao Cálculo dos Predicados, ao passo que aquela se

refere ao Cálculo Proposicional. Pertence a essa escola, Zenão (336-204 a.C.) que

fundou o estoicismo. Crisipo foi o lógico mais fértil dessa época.

Observa-se que durante os primeiros tempos, a lógica apresentada pelos

filósofos era em linguagem natural. Ela é também uma disciplina essencialmente

filosófica, pois os seus conteúdos estão intimamente interligados com os de outras

disciplinas filosóficas fundamentais, como sejam a ontologia, a metafísica e a teoria do

conhecimento ou gnoseologia. Além disso, os conceitos apresentados por esta ciência

foram muito válidos no desenvolvimento dos computadores.

A Lógica moderna iniciou-se com a obra Investigation of the Laws of Thougt,