Lógica aristotélica

Aristóteles (384-322 a.C.)é considerado o pai da lógica formal e durante milênios se pensou que tudo o que havia para ser descoberto nessa disciplina já havia sido dito pelo filósofo. E embora hoje se saiba que existem outras lógicas além da aristotélica, muito do que disse continua sendo válido e é ensinado em cursos atuais […]

O silogismo é um tipo de argumento dedutivo analisado por Aristóteles no século IV a.C. A palavra tem origem no termo grego “syllogismos”, que significa “raciocínio” ou “inferência”. Ele é central na lógica aristotélica porque o filósofo o considerava uma ferramenta para analisar e compreender a estrutura do raciocínio. Ele acreditava que assim seria possível […]

Uma proposição é uma sentença que pode ser verdadeira ou falsa. Proposições categóricas são aquelas que relacionam duas classes ou categorias de objetos. Proposições categóricas são formadas por dois termos, o termo sujeito e o termo predicado, e ao usarmos uma proposição categórica estamos dizendo que o termo sujeito está incluído ou excluído, totalmente ou […]

Qualidade e quantidade são características de proposições categóricas. A qualidade de uma proposição pode ser negativa ou afirmativa. É afirmativa quando inclui todos ou alguns membros em uma classe – as duas possibilidades são “todo S é P” e “algum S é P”. Por outro lado, é negativa quando exclui um ou todos os membros […]

O lógico do século XIX John Venn criou um sistema de diagramas para representar as informações expressas em proposições categóricas. Esses diagramas ficaram conhecidos como diagramas de Venn. O uso dessa ferramenta é útil para apresentar informações com bastante clareza e assim avaliar uma série de inferências diretas e a validade de silogismos. Em um […]

Conversão, obversão e contraposição são operações lógicas que podem ser feitas com proposições categóricas. Considere para início de explicação a proposição “alguns mamíferos são seres voadores”, ela quer dizer que existe pelo menos um membro da classe dos mamíferos que também é voador. Agora compare com a seguinte proposição “alguns seres voadores são mamíferos”. Considerando […]