Introdução à lógica aristotélica
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...
Silogismo
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 é...
Proposições categóricas
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 é...
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 -...
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...
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...
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...
Diferença entre argumento dedutivo e indutivo
Na análise de argumentos feita pela lógica, os argumentos podem ser separados em duas categorias: dedutivos e indutivos. Os primeiros são estudados pela lógica formal e os últimos pela lógica...
O que é um argumento?
Um argumento é um conjunto de afirmações das quais pelo menos uma (a premissa) pretende oferecer razões para mostrar que a outra (a conclusão) é verdadeira.
Forma lógica
A lógica estuda argumentos para verificar se são bons ou não, válidos ou inválidos. Ao analisar um argumento, podemos usar duas perspectivas: observar seu conteúdo ou sua forma lógica. Vamos...