Définition
L'inférence immédiate est une conclusion logique tirée d'une seule prémisse sans terme moyen. C'est une forme de raisonnement où la conclusion découle directement de la prémisse sans nécessiter un processus syllogistique classique.
Caractéristiques principales
- Une seule prémisse : contrairement au syllogisme qui en demande deux
- Absence de terme moyen : pas d'intermédiaire logique
- Conclusion directe : déduction immédiate de la prémisse
Exemples
- Si « Tous les hommes sont mortels », on peut conclure immédiatement « Quelques hommes sont mortels »
- De « Aucun triangle n'est carré », on déduit « Aucun carré n'est triangle »
Formes courantes
Conversion simple
Échange sujet et prédicat dans une proposition de même quantité
Contraposition
Substitution du sujet et du prédicat par leurs contraires
Obversion
Changement de la qualité de la proposition et substitution du prédicat par son contradictoire
Importance philosophique
L'inférence immédiate occupe une place importante dans la logique scolastique médiévale. Elle représente un outil fondamental pour l'analyse rigoureuse des propositions et la compréhension des relations logiques entre énoncés.
Relations avec d'autres concepts
- Syllogisme : forme plus complexe de déduction logique
- Proposition : la base de l'inférence immédiate
- Terme moyen : absent dans ce type d'inférence
- Logique aristotélicienne : cadre théorique d'origine
Page 123 du Wiki Tradiland - Philosophie Scolastique