Les principes de non-contradiction et de tiers exclus chez Aristote : Chez Aristote, les principes de non-contradiction et de tiers exclu sont deux lois fondamentales de la logique, exposées notamment dans son oeuvre Métaphysique. 1. Principe de non-contradiction C'est, pour Aristote, le principe le plus fondamental de tous. - Formulation simple : Une chose ne peut pas être à la fois elle-même et son contraire, au même moment et sous le même rapport. - Exemple : Un objet ne peut pas être à la fois entièrement rouge et non rouge en même temps et sous le même aspect. - Importance : Sans ce principe, il serait impossible de raisonner ou de parler de manière cohérente. Aristote le considère comme indémontrable, car toute démonstration le suppose déjà . 2. Principe du tiers exclu - Formulation : Entre une proposition et sa négation, il n'y a pas de troisième possibilité. - Exemple : Soit il pleut, soit il ne pleut pas. Il n'existe pas une troisième option intermédiaire (dans la logique classique). - Importance : Toute proposition est soit vraie, soit fausse. Cela permet de trancher clairement entre deux alternatives. Différence entre les deux principes Non-contradiction : interdit qu'une proposition soit vraie et fausse en même temps. Tiers exclu : affirme qu'une proposition est soit vraie, soit fausse (pas d'entre-deux). Remarque Ces principes sont à la base de la logique classique et ont dominé la pensée occidentale pendant des siècles. Ils ont cependant été discutés plus tard, notamment dans des logiques non classiques (comme la logique floue ou intuitionniste).