Concept

Modus Ponens

Intro

Modus ponens is the simplest rule of logic. The name is Latin for the way that affirms. The whole rule reads: If A is true, then B is true. A is true. Therefore B is true.

A daily example. If it is raining, the sidewalk is wet. It is raining. So the sidewalk is wet. No one would call that a complicated step. That is modus ponens.

Logicians write it like this. The arrow means if-then. P stands for one statement, Q stands for another.

P -> Q
P
therefore Q

This rule sits underneath most arguments in philosophy and apologetics. The Kalam cosmological argument is a string of modus ponens steps. The moral argument is built on modus ponens. So is the ontological argument, the transcendental argument, and the typical defense of the resurrection. Once you can spot the shape, you can spot the load-bearing move in almost every formal argument.

There is also a famous cousin to watch for: modus tollens, which means the way that denies. If A is true then B is true. B is not true. So A is not true. That is the rule behind most defeater arguments.

This page gives the formal statement, the naming history, and a few worked examples from apologetics where the rule does its work quietly in the background.

In full

Modus Ponens (MP) is the deductive inference rule: if the conditional P → Q holds and P is asserted, then Q follows. Symbolically:

P → Q
P
∴ Q

It is the most basic rule for moving from a conditional commitment to a categorical conclusion, and it underwrites nearly every formal syllogism ris3n constructs in this folder, including the transcendental argument syllogisms.

Naming note

Laws of Logic presents Modus Ponens as the "Law of Rational Inference" and lists it alongside the classical laws (Identity, Non-Contradiction, Excluded Middle). This is unusual: standard logic texts treat MP as an inference rule, not a law in the same metaphysical sense as Identity or LNC. The naming likely reflects ris3n's interest in elevating its theological status (the John 14:6 "if Jesus is the way, then..." reading anchors MP scripturally for him), but worth flagging when teaching from this note.