A lógica de Aristóteles

Kandinsky

Forma lógica

Lógica

Uma forma de definir a lógica é dizer que é uma disciplina que distingue entre as boas e as más inferências. Aristóteles estuda todas as formas possíveis de inferência silogística e estabelece um conjunto de princípios que permitem distinguir os bons silogismos dos maus.

Começa por classificar individualmente as frases ou proposições das premissas. Aquelas que começam pela palavra "todos" são proposições universais; aquelas que começam com "alguns" são proposições particulares. Aquelas que contêm a palavra "não" são proposições negativas; as outras são afirmativas. Aristóteles serviu-se então 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.

                                 Anthony Kenny, História Concisa da Filosofia Ocidental

FORMA LÓGICA	TIPO	DESIGNAÇÃO	EXEMPLO
Todo o S é P	A	Universal afirmativa	Todos os lisboetas são portugueses
Nenhum S é P	E	Universal negativa	Nenhum cientista é ignorante
Algum S é P	I	Particular afirmativa	Alguns alunos são estudiosos
Algum S não é P	O	Particular negativa	Alguns cães não são fiáveis