Socrate est mortel

« Socrate est mortel » est la conclusion de l'exemple le plus célèbre du syllogisme catégorique, illustrant le mode Barbara de la première figure : tous les hommes sont mortels, or Socrate est homme, donc Socrate est mortel. Cette démonstration manifeste la déduction d'une vérité particulière à partir d'une prémisse universelle et d'une prémisse mineure. Issue de la logique aristotélicienne, elle fut transmise par les traités scolastiques, notamment les Summulae logicales de Pierre d'Espagne, et demeure le paradigme du raisonnement valide enseigné dans la tradition.

Type

Notion de logique

Nom latin

Socrates mortalis est

Description

Exemple canonique du syllogisme Barbara : tous les hommes sont mortels, or Socrate est homme, donc Socrate est mortel.

Fiches liées

• Saint Thomas d'Aquin
• Singulier (logique)
• Barbara Celarent
• Trois figures du syllogisme
• Modes valides du syllogisme
• Conclusion (syllogisme)

Dans les cours

• Logique
• Philosophie I
• Rhétorique
• Littérature Antique
• Philo de l'Esprit
• Aretè
• Les syllogismes (Philosophie I)
• Les Premiers Analytiques : le syllogisme formel (Logique)
• L'enthymème et les topiques (Rhétorique)
• Le raisonnement (Philo de l'Esprit)
• Logos : La pensée ordonnée (Aretè)
• La réfutation selon Aristote : l'art de démasquer l'erreur (Logique)
• Les outils du philosophe (Philosophie I)
• Aristote : le Philosophe (Littérature Antique)
• Termes, propositions et syllogisme (Logique)

Catégorie : Notion