valide
Cet article est extrait de l'ouvrage Larousse « Dictionnaire de la philosophie ».
Logique
Se dit d'une procédure, d'un raisonnement qui ne sont entachés d'aucune cause de nullité.
Le premier but de la logique formelle est de dégager et de répertorier les schémas d'inférence valides, ainsi que l'ont fait Aristote et les stoïciens. Un des schémas les plus anciens est le schéma de déduction en modus ponens, qui a la forme suivante : « si p et si p implique q, alors q » (où p et q représentent des propositions). Ce schéma permet de « détacher » la conclusion, q, c'est-à-dire d'admettre qu'elle est vraie, étant admise la vérité des prémisses « p » et « p implique q ». Ainsi, un schéma d'inférence déductive est dit valide s'il permet de transférer la vérité des prémisses à la conclusion. Dans le cas d'une proposition unique, on dit qu'elle est valide ou tautologique si elle est toujours vraie. Toute tautologie peut être considérée comme une loi logique. La logique dite classique, qui assume qu'une proposition est, par définition, soit vraie soit fausse, admet la loi de non-contradiction (on ne peut affirmer simultanément une proposition et sa négation) et la loi du tiers exclu (une proposition ne peut pas être ni vraie ni fausse). Le tiers exclu n'est pas retenu par divers types de logique moderne : la logique intuitionniste, les logiques floues, etc.
Hourya Sinaceur