Aristóteles (384-322 a.C.) é considerado o pai da lógica formal e durante milhares de anos acreditou-se que tudo o que havia para ser descoberto nessa disciplina já havia sido dito pelo filósofo. Embora hoje se saiba que existem outras lógicas além da aristotélica, seus estudos foram a base para todos os desenvolvimentos posteriores. O filósofo […]
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 […]
O ponto de partida da lógica aristotélica é o conceito de proposição. Uma proposição é uma sentença que pode ser verdadeira ou falsa. Por exemplo, a proposição “o céu é azul” é verdadeira em um dia de céu claro e falsa em um dia nublado. Apenas proposições podem ser verdadeiras ou falsas. Se além diz […]
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 […]
