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 […]

Inicialmente, é possível dizer que um silogismo é um tipo de argumento dedutivo que possui duas premissas e uma conclusão. Esse tipo de argumento é o principal componente da lógica aristotélica. O exemplo abaixo é um silogismo: Todo fantasma é […]

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 […]

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 […]

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 […]

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 […]

O quadrado de oposições representa as relações existentes entre os quatro tipos de proposições categóricas. No canto superior esquerdo temos a proposição universal afirmativa (A), no canto superior direito a universal negativa (E), no canto inferior esquerdo a particular afirmativa […]