Lógica aristotélica
Origem: Wikipédia, a enciclopédia livre.
A lógica Aristotélica foi iniciada por Aristóteles. Embora seja possível que Aristóteles tenha aprendido de alguém anterior, o primeiro estudo do raciocínio foi atribuído a ele. Aristóteles e seus discípulos concluíram que dois dos mais importantes princípios da lógica são a lei da não-contradição e a lei do terceiro excluído. Esta lógica é atualmente conhecida por vários nomes, que a distinguem de sistemas lógicos mais recentes, e.g., Lógica Aristotélica ou Lógica bivalente clássica.
A lei da não-contradição diz que nenhuma afirmação pode ser verdadeira e falsa ao mesmo tempo e a lei do terceiro excluído diz que uma afirmação deve ser ou verdadeira ou falsa. Combinadas, estas duas leis requerem dois valores de verdade que são mutuamente exclusivos. Uma afirmação pode ser falsa ou verdadeira, mas, de modo algum, pode ser verdadeira e falsa ao mesmo tempo.
