Validité (logique)
![Page d’aide sur l’homonymie](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a9/Logo_disambig.svg/20px-Logo_disambig.svg.png)
Pour les articles homonymes, voir Validité.
En logique, la validité est la manière dont les prémisses et la conclusion concordent logiquement dans les arguments réussis.
Validité d'un argument
La forme d'une argumentation déductive est dite valide si et seulement si elle utilise des règles d’inférence par lesquelles il est impossible d’obtenir une conclusion fausse à partir de prémisses vraies. Un argument est valide si et seulement si la vérité de ses prémisses entraîne celle de sa conclusion. Il serait contradictoire d'affirmer les prémisses et de nier la conclusion. La conclusion est la conséquence nécessaire, d'une part des prémisses, d'autre part de la structure ou de la forme logique de l'argument.
Le syllogisme constitue un exemple d'argument valide (c'est aussi un raisonnement valide et un modus ponens) :
- Tous les hommes sont mortels ;
- Socrate est un homme ;
- Donc Socrate est mortel.
Si les prémisses et la conclusion de l'argument sont vraies, ce n'est pas pour cela qu'il est valide. La condition de sa validité est la nécessité logique de la conclusion découlant des deux prémisses. Un argument peut être formellement ou logiquement valide tout en ayant des prémisses et une conclusion fausse. L'argument suivant possède la même forme logique dite « Barbara » et est également valide, mais possède des prémisses fausses et par conséquent une conclusion tout aussi fausse :
- Toutes les tasses sont vertes ;
- Socrate est une tasse ;
- Donc Socrate est vert.
Peu importe la façon dont l'argument est construit, s'il est valide, il ne saurait avoir de vraies prémisses et une conclusion fausse. L'argument suivant est vrai dans ses prémisses et dans sa conclusion, mais sa forme logique est invalide :
- Tous les hommes sont mortels ;
- Socrate est mortel ;
- Donc, Socrate est un homme.
Dans ce cas, la conclusion ne découle pas nécessairement des prémisses. Tous les hommes sont mortels, mais tous les mortels ne sont pas des hommes. Toute créature vivante est mortelle ; si l'on remplace ici « homme » par « chat » ou « chien », l'invalidité de l'argument (qui reste toujours la même, sa forme logique ne changeant pas) apparaît plus clairement en raison de la fausseté manifeste de la conclusion. Autrement dit, même si les prémisses et la conclusion se trouvent être vraies dans cet exemple, l'argument est invalide.
Afin d'éprouver la validité d'un argument, on examine sa forme logique afin de voir si elle est valide ou non. Plusieurs techniques peuvent être employées pour cela. Descartes, dans son Discours de la méthode, propose de diviser un argument long en plusieurs parties plus simples et plus faciles à comprendre pour l'esprit. Il les compare à des « chaînes », dont l'esprit éprouverait la continuité en vérifiant les maillons un par un[1]. Plus tard, des mathématiciens utiliseront la théorie des ensembles pour représenter sous une forme géométrique les syllogismes : c'est ce à quoi servent les diagrammes de Venn.
Validité en logique mathématique
En logique mathématique la validité relie la syntaxe à la sémantique. C'est la propriété d'une proposition d'être interprétée par le « vrai » dans le modèle. Un système de déduction est correct si toutes les propositions démontrables sont valides.
Voir aussi
Références
- ↑ « Ces longues chaînes de raisons, toutes simples et faciles, dont les géomètres ont coutume de se servir pour parvenir à leurs plus difficiles démonstrations, m’avaient donné occasion de m’imaginer que toutes les choses qui peuvent tomber sous la connaissance des hommes s’entre-suivent en même façon, et que, pourvu seulement qu'on s'abstienne d'en recevoir aucune pour vraie qui ne le soit, et qu'on garde toujours l'ordre qu'il faut pour les déduire les unes des autres, il n'y en peut avoir de si éloignées auxquelles enfin on ne parvienne, ni de si cachées qu'on ne découvre. Et je ne fus pas beaucoup en peine de chercher par lesquelles il était besoin de commencer : car je savais déjà que c’était par les plus simples et les plus aisées à connaître ; et, considérant qu'entre tous ceux qui ont ci-devant recherché la vérité dans les sciences, il n’y a eu que les seuls mathématiciens qui ont pu trouver quelques démonstrations, c'est-à-dire quelques raisons certaines et évidentes, je ne doutais point que ce ne fût par les mêmes qu'ils ont examinées ; bien que je n’en espérasse aucune autre utilité, sinon qu’elles accoutumeraient mon esprit à se repaître de vérités, et ne se contenter point de fausses raisons. » Discours de la méthode, deuxième partie.
Articles connexes
- Logique mathématique
- Calcul des propositions
- Déduction naturelle
- Calcul des séquents
- Théorie des modèles
- Syllogisme
- Théorème de Gödel
v · m | |
---|---|
Domaines académiques | |
Concepts fondamentaux |
|
Esprit critique et logique informelle | |
Logique mathématique | |
Logiques non classiques | |
Métalogique et métamathématique | |
Philosophie de la logique |
|
Logiciens |
|
Portail de la logique