Billet de philo #1 : Qu'est-ce qu'un argument valide ? - Philosophie de la logique
Pour ce premier "billet" de philosophie, je vais parler de ce que je préfère en philosophie : La Logique ! Et pour ça on va commencer par les bases des bases.
Un argument, comme nous allons le voir ici, possède deux éléments : Des prémisses et une conclusion.
En logique on différencie les arguments "valides" des arguments "non-valides". Un argument valide est un argument dont la structure fait que si l'on accepte toutes les prémisses, nous devons accepter la conclusion. Un cas où toutes les prémisses sont vraies mais que la conclusion est fausse rendrait l'argument non-valide. Un argument valide ne veut pas dire que l'argument est "vrai" ou qu'il est "bon", cela veut simplement dire que la vérité des prémisses entraîne forcément la vérité de la conclusion, il en va de sa structure. Prenons deux exemples :
P(rémisse)1 : Tous les corbeaux observés sont noirs C(onclusion) : Tous les corbeaux sont noirs
P1 : Si j'étudie la logique, alors je serais heureux. P2 : J'étudie la logique C : Donc je serai heureux
Dans le premier cas, l'argument est convaincant, même très convaincant, mais n'est pas valide car l'on pourrait très bien accepter toutes les prémisses mais refuser la conclusion.
Dans le deuxième cas, l'argument est valide, on ne peut accepter toutes les prémisses et refuser la conclusion. Et cette validité en va de la structure même de l'argument, on pourrait remplacer les propositions par n'importe quoi, l'argument sera tout de même valide. Pour démontrer ça, nous allons faire ce que l'on appelle une "formalisation" de l'argument. Par exemple, remplaçons les différentes propositions de cet argument par des lettres romanes :
p = J'étudie la logique
q = Je serais heureux
Ensuite, le "si...alors..." en logique s'écrit avec une flèche : "->". Cet argument a alors cette forme :
"Si p alors q"
p
Donc q
Cette forme d'argument est appelé "modus ponens". On voit bien que l'on pourrait remplacer "p" et "q" par n'importe quoi, l'argument sera valide. Un argument est valide en vertu de sa structure.
