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

Silogismo

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 é mortal Gil é um fantasma Portanto, Gil é mortal Um silogismo como esse também é […]

Proposições categóricas

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, quantidade e distribuição

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

Diagramas de Venn

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

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

Quadrado de oposições

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 (I) e no canto inferior direito a universal negativa (O). Conhecer o quadrado de oposições […]