4.3 Différences en termes de logique

     

L’induction n’est pas logiquement contraignante. En effet si l’on observe A et B simultanément, cela n’induit pas que IMG.

En revanche la déduction est consistante avec un principe de logique formelle qui le modus tollens note n° 3 : si on pense que A ⇒ B, l’observation que B est fausse implique que A est faux (la non-vérification de l’hypothèse implique que la théorie est fausse). Ce principe est la base de la réfutation des théories scientifiques (telle que proposée par Karl Popper).

En d’autres termes, l’approche hypothético-déductive est basée sur des déductions logiquement valables ; tandis que l’induction est basée sur des extrapolations spéculatives.


[3] https://fr.wikipedia.org/wiki/Modus_tollens