A lógica examina de forma genérica as formas que a
argumentação pode tomar, quais dessas formas são válidas e quais são
falaciosas. Em filosofia, o estudo da lógica aplica-se na maioria dos seus
principais ramos: metafísica, ontologia, epistemologia e ética. Na matemática,
estudam-se as formas válidas de inferência de uma linguagem formal. Na
ciência da computação, a lógica é uma ferramenta indispensável. Por fim, a
lógica também é estudada na teoria da argumentação. A lógica foi estudada
em várias civilizações da Antiguidade. Na Índia, a recursão silogística, Nyaya
remonta há 1900 anos. Na China, o Moísmo e a Escola dos Nomes datam de
há 2200 anos. Na Grécia Antiga a lógica foi estabelecida como disciplina por
Aristóteles, com a sua obra Organon. Ele dividiu a lógica em formal e material.
O estudo da lógica era parte do Trivium clássico, juntamente com a gramática
e a retórica (ver: Artes liberais). A partir do texto motivacional, do que se trata a
Lógica?
a) Ciência da natureza grega
b) Aquilo que não tem fim
c) Uma maneira de ver o mundo
d) Parte da filosofia que trata das formas do pensamento em geral
(dedução, indução, hipótese, inferência etc.) e das operações
intelectuais que visam à determinação do que é verdadeiro ou não.