Lógica
A lógica estuda a argumentação humana e cria feramentas para diferenciar um argumento válido de um inválido.
Silogismo
O silogismo é um argumento dedutivo que, a partir de premissa maior e premissa menor, conclui logicamente uma conclusão; Aristóteles o tratou como ferramenta para analisar a estrutura do raciocínio.
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.
Qualidade, quantidade e distribuição
Proposições categóricas variam em qualidade (afirmativa/negativa) e quantidade (universal/particular), formando quatro tipos A, E, I, O; além disso, termos podem ou não ser distribuídos conforme a extensão do enunciado.
Diagramas de Venn
Diagramas de Venn, criados por John Venn, usam círculos e áreas marcadas para representar proposições categóricas e verificar a validade de inferências e silogismos.
Conversão, obversão e contraposição
Conversão, obversão e contraposição são operações sobre proposições categóricas que geram novas proposições, podendo preservar ou alterar significado e valor de verdade conforme a forma.
Quadrado de oposições
O quadrado de oposições organiza relações entre proposições categóricas (A, E, I, O) para inferir quais podem ser verdadeiras ou falsas, distinguindo contraditórias, contrárias, subalternas e subcontrárias.
Diferença entre argumento dedutivo e indutivo
Argumentos dedutivos são aqueles que a conclusão é necessariamente verdadeira e indutivos são aqueles em que a conclusão é provavelmente verdadeira.
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 avalia argumentos pela forma lógica, distinguindo conteúdo e estrutura: se a estrutura é válida, o argumento permanece válido independentemente do tema.
Diferença entre argumento válido e sólido
Um argumento é válido quando é possível justificar adequadamente a conclusão através das premissas e é correto quando, além de ser válido, também possui premissas verdadeiras.
Proposição
Uma proposição é aquilo que é expresso através de sentenças declarativas e que é verdadeiro ou falso.
O que é lógica?
A lógica, criada por Aristóteles, estuda argumentos válidos e inválidos, analisando a estrutura do raciocínio e a diferença entre forma e conteúdo para evitar erros ao concluir.