Lgica

Lgica (do grego logos1 ) tem dois significados principais: discute o

uso de raciocnio em alguma atividade e o estudo normativo, filosfico do
raciocnio vlido.2 No segundo sentido, a lgica discutida principalmente
nas disciplinas de filosofia, matemtica e cincia da computao.

A lgica examina de forma genrica as formas que a argumentao pode

tomar, quais dessas formas so vlidas e quais so falaciosas. Em filosofia, o
estudo da lgica aplica-se na maioria dos seus principais ramos: metafsica,
ontologia, epistemologia e tica. Na matemtica, estuda-se as formas vlidas
de inferncia de uma linguagem formal.3 Na cincia da computao, a lgica
uma ferramenta indispensvel. Por fim, a lgica tambm estudada na
teoria da argumentao.4

A lgica foi estudada em vrias civilizaes da Antiguidade. Na ndia, a

recurso silogstica, Nyaya remonta a 1900 anos atrs. Na China, o Mosmo e
a Escola dos Nomes datam de 2200 anos atrs. Na Grcia Antiga a lgica
foi estabelecida como disciplina por Aristteles, com a sua obra Organon. Ele
dividiu a lgica em formal e material. O estudo da lgica era parte do Trivium
clssico, juntamente com a gramtica e a retrica (ver: Artes liberais).

A lgica frequentemente dividida em trs partes: o raciocnio indutivo, o

raciocnio abdutivo e o raciocnio dedutivo.

O estudo da lgica
O conceito de forma lgica central lgica, que se baseia na ideia de que a
validade de um argumento determinada pela sua forma lgica, no pelo
seu contedo. A lgica silogstica aristotlica tradicional e a lgica simblica
moderna so exemplos de lgicas formais.

Lgica informal o estudo da argumentao em lngua natural. O estudo

de falcias um ramo particularmente importante da lgica informal. Os
Dilogos de Plato 5 so bons exemplos de lgica informal.
Lgica formal o estudo da inferncia com contedo puramente formal.
Uma inferncia possui um contedo puramente formal se ele pode ser

expresso como um caso particular de uma regra totalmente abstrata, isto ,

uma regra que no sobre uma qualquer coisa em particular. As obras de
Aristteles contm o primeiro estudo formal da lgica. A lgica formal
moderna segue e amplia o trabalho de Aristteles.6 Em muitas definies de
lgica, inferncia lgica e inferncia com contedo puramente formal so a
mesma coisa. Isso no esvazia a noo de lgica informal, porque nenhuma
lgica formal captura todas as nuances da lngua natural.
Lgica simblica o estudo das abstraes simblicas que capturam as
caractersticas formais da inferncia lgica.7 8 A lgica simblica
frequentemente dividida em dois ramos: lgica proposicional e a lgica de
predicados.
Lgica matemtica uma extenso da lgica simblica em outras reas,
em especial para o estudo da teoria dos modelos, teoria da demonstrao,
teoria dos conjuntos e teoria da recurso.