Lógica Aristotélica

FORMAS DE INFERÊNCIA VÁLIDAS - LÓGICA ARISTOTÉLICA

(…) Aristóteles serviu-se destas classificações para estabelecer regras para avaliar as inferências. Por exemplo, para que um silogismo seja válido é necessário que pelo menos uma premissa seja afirmativa e que pelo menos uma seja universal; se ambas as premissas forem negativas, a conclusão tem de ser negativa. Na sua totalidade, as regras de Aristóteles bastam para validar os silogismos válidos e para eliminar os inválidos. (…)

A Kenny, História Concisa da Filosofia Ocidental

REGRAS DO SILOGISMO

	REGRAS DOS TERMOS
1ª REGRA	Um silogismo tem 3 termos: maior, médio e menor
2ª REGRA	Nenhum termo pode ter maior extensão na conclusão do que nas premissas
3ª REGRA	O termo médio tem de ser tomado pelo menos uma vez em toda a sua extensão
4ª REGRA	A conclusão não pode conter o termo médio
	REGRAS DAS PROPOSIÇÕES
5ª REGRA	De duas premissas negativas nada se pode concluir
6ª REGRA	De duas premissas afirmativas não se pode inferir uma conclusão negativa
7ª REGRA	De duas premissas particulares nada se pode concluir
8ª REGRA	A conclusão segue sempre a parte mais fraca

 

As oito regras podem reduzir-se a três
	3 REGRAS
1ª REGRA	O termo médio tem de estar distribuído pelo menos uma vez
2ª REGRA	Se o termo menor e/ou o maior estão distribuídos na conclusão, terão de estar distribuídos nas premissas
3ª REGRA	O número de premissas negativas deve ser o mesmo nas premissas e na conclusão