Modus ponens

Le modus ponens est une règle d'inférence fondamentale de la logique aristotélicienne, qui s'énonce : « si P alors Q, or P, donc Q ». Aristote en pose le principe dans les Premiers Analytiques (I, 1), et Pierre d'Espagne le transmet dans la tradition scolastique. Un exemple classique l'illustre : si Socrate est homme, alors il est mortel ; or Socrate est homme ; donc il est mortel.

Type

Notion de logique

Nom latin

modus ponens

Description

Règle d'inférence aristotélicienne : « si P alors Q, or P, donc Q » (cf. Aristote, Premiers Analytiques I,1).

Fiches liées

• Logique d'Aristote
• Guillaume de Sherwood
• Conséquence

Dans les cours

• Logique
• Le modus ponens et le modus tollens (Logique)
• La logique stoïcienne et les propositions (Logique)

Catégorie : Notion