- Déduction (nom commun)
- (Logique) Inférence qui conclut nécessairement du vrai au vrai.
Terme(s) associé(s)
Qu’est ce qu’une déduction ?
Une déduction est une inférence dans laquelle, si les prémisses sont vraies, la conclusion est nécessairement vraie. La déduction fait passer de la vérité des prémisses à la vérité de la conclusion. C’est un passage nécessaire : dans une déduction, il n’est pas contingent que la vérité des prémisses amène à celle de la conclusion. Une déduction :
- s’opère selon des procédures formelles arrêtées
- n’a pas recours à l’expérience
- n’est pas une source de connaissance
La déduction n’apprend rien. Elle se contente de dérouler ce qui était déjà supposé au départ : elle explicite ce qui était latent. Si l’on connaît et comprend bien les choses, la déduction n’ajoute pas à notre connaissance. Elle n’apporte pas de gain épistémique objectif. Un locuteur parfaitement compétent n’apprend rien par une déduction.
Bien sûr, elle peut « apprendre » des choses à certaines personnes. Peut être que je n’ai jamais bien compris ce qu’était un « humain ». Précisément, je n’ai jamais compris que « être un humain » impliquait d’être « mortel ». Dans ce cas là, une déduction peut me faire comprendre que « Tout humain est mortel ». Mais le gain épistémique est alors subjectif.
Une déduction peut faire passer :
Du général au particulier |
|
Du général au général |
|
Du particulier au particulier |
|