# La logique
- repose sur 3 principes communs à tout raisonnement et toute réalité :
- le principe d'identité
- le principe de non-contradiction
- le principe du tiers exclu
- a pour objet la structure de la pensée rationnelle, qui est capable de saisir la vérité des choses en vertu de la correspondance entre logique et métaphysique, entre pensée et être
- il y a un rapport nécessaire entre les formes du raisonnement scientifique et les formes de l'être
- un énoncé est vrai s'il reflète la réalité des choses (la substance)
- sur de telles bases, Aristote analyse :
- les notions
- unités minimales dotées de sens qui expriment l'essence des choses
- éléments rassemblés ou séparés dans des phrases
- les propositions (déclaratives)
- les phrases par lesquelles nous affirmons ou nions quelque-chose de quelque-chose d'autre
- qui peut être
- une universelle négative
- une universelle positive
- une particulière affirmative
- une particulière négative
- leurs connexions logiques ont été visualisées par les logiciens médiévaux à travers le carré des contraires
- les raisonnements (déductifs) ou syllogismes
- à partir de prémisses universelles ils permettent de déduire des conclusions particulières
- ils peuvent être
- valides mais faux si l'inférence est formellement correcte mais que les prémisses sont fausses
- valides et vrais si l'inférence est formellement correcte et les prémisses sont vraies