dano ambientais causados pelo homem
A lógica foi estudada em várias civilizações da Antiguidade. Na Índia, a recursão silogística, Nyaya remonta a 1900 anos atrás. NaChina, o Moísmo e a Escola dos Nomes datam de à 2200 anos atrás. Na Grécia Antiga a lógica foi estabelecida como disciplina porAristó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 lógica é frequentemente dividida em três partes: o raciocínio indutivo, o raciocínio abdutivo e o raciocínio dedutivo.
O estudo da lógica
O conceito de forma lógica é central à lógica, e assenta na ideia de que a validade de um argumento é determinada pela sua forma lógica, não pelo seu conteúdo. A lógica silogística aristotélica tradicional e a lógica simbólica moderna são exemplos de lógicas formais.
Lógica informal é o estudo da argumentação em língua natural. O estudo de falácias é um ramo particularmente importante da lógica informal. Os Diálogos de Platão 5 são bons exemplos de lógica informal.
Lógica formal é o estudo da inferência com conteúdo puramente formal. Uma inferência possui um conteúdo puramente formal se ele pode ser expresso como um caso particular de uma regra totalmente abstrata, isto é, uma regra que não é sobre uma qualquer coisa em particular. As obras de