Une forme d'argument déductif composée de deux prémisses et d'une conclusion qui relient trois termes selon les schémas syllogistiques classiques (généralement des propositions catégoriques telles que « Tous les A sont B; C est A; donc C est B ») ; la validité dépend de la structure formelle de l'argument tandis que la solidité requiert en outre des prémisses vraies.

Principe

La validité d'un syllogisme dépend de sa forme logique et de la distribution des termes ; une forme syllogistique peut être valide indépendamment de la vérité empirique des prémisses, et un syllogisme valide ne produit une conclusion nécessairement vraie que si ses prémisses sont vraies (solidité).

Démonstration

Scénario illustratif → Situation : Prémisses : (1) Tous les mammifères sont à sang chaud. (2) Toutes les baleines sont des mammifères. Reconnaissance : Les prémisses constituent la forme classique Barbara (Tous A sont B; Tous C sont A). Action : Appliquer la déduction syllogistique. Conséquence : Conclusion : Toutes les baleines sont à sang chaud. La conclusion suit valablement de la forme ; sa vérité en tant qu'énoncé factuel dépend de la vérité des prémisses.

Mauvaise application

Déduire des conclusions existentiellement engagées à partir de prémisses universellement quantifiées sans import existential (p. ex. conclure « Il existe un A » à partir de « Tous les A sont B » lorsque le domaine peut être vide). L'erreur confond les conditions de validité formelle avec des hypothèses ontologiques non énoncées.

Conséquence

Les syllogismes offrent une méthode concise pour dériver des conséquences nécessaires à partir de prémisses données et pour mettre en évidence des hypothèses implicites ; mal appliqués, ils peuvent produire des arguments convaincants mais non solides si les prémisses sont fausses ou si des hypothèses existentielles tacites ne sont pas formulées.

Inversion

Les règles syllogistiques classiques exigent une qualification dans la logique des prédicats moderne et dans des contextes où l'interprétation des quantificateurs, les domaines vides, les opérateurs modaux ou la référence plurielle modifient les schémas inférentiels ; certaines inférences classiques supposent un import existential que les interprétations modernes rejettent.

Limite

Clairement dans : Un argument catégorique à trois termes correspondant à une humeur et une figure syllogistiques valides (p. ex. Barbara). Cas limite : Des arguments qui utilisent des quantificateurs mais incluent des opérateurs modaux ou temporels où les humeurs classiques peuvent ne pas s'appliquer directement. Claire‑ment hors : Des preuves formelles en calcul propositionnel ou prédicatif à plusieurs étapes qui n'utilisent pas la structure catégorique à trois termes.

Tension sémantique

Validité formelle ↔ Vérité empirique — les syllogismes séparent la forme logique qui garantit la validité de la vérité des prémisses nécessaire à la solidité ; cela crée une tension entre la certitude déductive et la justification empirique des prémisses.

Synthèse

Les syllogismes servent d'outil diagnostique : ils indiquent quelles conclusions découlent strictement d'assomptions données et distinguent ainsi les erreurs de logique (forme invalide) des erreurs de fait (prémisses fausses ou hypothèses existentielles tacites).