Lógica

Lógica (do grego λογική, logos) tem dois significados principais: refere-se tanto ao uso do raciocínio em alguma atividade quanto ao estudo normativo e filosófico do raciocínio válido. No segundo sentido, é um campo dedicado à análise da validade dos argumentos, sendo estudado principalmente nas disciplinas de filosofia, matemática e ciência da computação. Ambos os sentidos têm foco comum referente a harmonia de raciocínio, a proporcionalidade formal entre argumentos. A lógica examina de forma genérica as formas e estruturas do pensamento, distinguindo argumentos válidos de falaciosos. Em filosofia, o estudo da lógica permeia áreas como metafísica, ontologia, epistemologia e ética. Na matemática, estudam-se as formas válidas de inferência de uma linguagem formal, enquanto na ciência da computação, constitui uma ferramenta essencial para a representação de conhecimento e raciocínio automatizado. 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...