A lógica aristotélica, também conhecida como lógica clássica, é um

sistema lógico desenvolvido pelo lósofo grego antigo Aristóteles

(384-322 a.C.). Este sistema serviu como base para a lógica formal
por muitos séculos e continua a ser estudado em loso a e lógica.

A lógica aristotélica é caracterizada por várias ideias fundamentais:

• Categorias:
• Aristóteles classi cou as expressões linguísticas em
categorias, como substância, quantidade, qualidade,
relação, lugar, tempo, posição, estado, ação e paixão.
Essas categorias eram utilizadas para analisar as
diferentes formas de discurso e argumentação.
• Termos:
• A lógica aristotélica se baseia no conceito de
termos, que são palavras ou grupos de palavras que
expressam ideias simples. Esses termos são
classi cados nas categorias mencionadas acima.
• Proposições Categóricas:
• As proposições categóricas são declarações que
a rmam ou negam a relação entre duas classes. Elas
são estruturadas de acordo com um formato especí co,
como "Todos os A são B" ou "Algum A é B".
• Silogismos:
• Aristóteles introduziu o conceito de silogismo, que é
um argumento lógico composto por três proposições:
uma principal (conclusão) e duas premissas. O silogismo
é uma forma fundamental de raciocínio dedutivo na
lógica aristotélica.
• Princípio da Não-Contradição:
• Um princípio crucial na lógica aristotélica é o
princípio da não-contradição, que a rma que algo não
pode ser simultaneamente verdadeiro e falso na mesma
relação e ao mesmo tempo.
A lógica aristotélica in uenciou profundamente o pensamento
ocidental e continuou a ser estudada até o desenvolvimento da
lógica simbólica no nal do século XIX. Apesar disso, muitos dos
fi
fi
fi
fl
fi
fi
fi
fi
fi
fi
princípios e estruturas da lógica aristotélica ainda são relevantes e
são uma parte importante da história da lógica e loso a

fi
fi