Le raisonnement déductif est un type de raisonnement qui commence par une ou plusieurs affirmations (les prémisses) et se termine par une affirmation différente (la conclusion) dont la vérité est garantie par la validité du processus de raisonnement. Le raisonnement inductif, en revanche, part d'une ou plusieurs prémisses et essaie de généraliser de ce qui est vrai dans certains cas à ce qui est susceptible d'être vrai en général.
Le raisonnement déductif utilise les règles de la logique pour arriver à une conclusion. Si les prémisses sont vraies et les lois appliquées sont correctes, alors la conclusion est nécessairement vraie aussi. Voici un exemple de raisonnement déductif : « Tous les hommes sont mortels. Socrate est un homme. Par conséquent, Socrate est mortel. La conclusion ("Socrate est mortel") est dérivée des deux prémisses ("Tous les hommes sont mortels" et "Socrate est un homme") en appliquant la loi de la logique des prédicats appelée Instanciation universelle.
Dans le raisonnement inductif, le rôle des prémisses est de fournir un support solide à la conclusion, mais la vérité de la conclusion n'est pas garantie, car ce type de raisonnement n'utilise pas de lois universelles (telles que les lois de la logique) pour parvenir à la conclusion. Le raisonnement suivant est inductif : « J'ai vu beaucoup de cygnes et ils étaient tous blancs. Par conséquent, tous les cygnes sont blancs. Dans ce cas, le raisonnement est correct car la prémisse soutient la conclusion, mais la conclusion est fausse, car il y a des cygnes noirs.
