# 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](/codex/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](/codex/john-14-6/) "if [Jesus](/codex/jesus/) is the way, then..." reading anchors MP scripturally for him), but worth flagging when teaching from this note. ## See also - *Modus Tollens*, its companion rule (denying the consequent). - [Reductio ad Absurdum](/codex/reductio-ad-absurdum/), uses MP within the contradiction-derivation step. - [Law of Non-Contradiction](/codex/law-of-non-contradiction/), distinct from MP but often discussed together as foundational logical commitments. - [John 14.6](/codex/john-14-6/), the verse used as Modus Ponens' biblical anchor in [Laws of Logic](/codex/laws-of-logic/).
## Common questions this page answers **Q: What is modus ponens?** *Modus ponens* (Latin for "the way that affirms") is the simplest rule of valid inference. If P, then Q; P; therefore Q. If it is raining, the sidewalk is wet; it is raining; therefore the sidewalk is wet. The rule is foundational to most arguments in philosophy and apologetics. **Q: What is modus tollens?** *Modus tollens* ("the way that denies") is the companion rule. If P, then Q; not Q; therefore not P. It is the rule behind most defeater arguments and most *reductio ad absurdum* moves. If atheism leads to no reliable reason, but I do have reliable reason, then atheism is false. See [Reductio ad Absurdum](/codex/reductio-ad-absurdum/). **Q: How is modus ponens used in apologetic arguments?** It sits underneath most theistic arguments. The [Kalam Cosmological Argument](/codex/kalam-cosmological-argument/) is a string of modus ponens steps: if whatever begins to exist has a cause, and the universe began to exist, then the universe has a cause. The [Moral Argument](/codex/moral-arguments/), the [Ontological Argument](/codex/ontological-arguments/), and most defenses of the [Resurrection](/codex/argument-from-the-resurrection/) use the same shape. Once you can spot it, you can spot the load-bearing move in nearly every formal argument. **Q: What is the fallacy of affirming the consequent?** Affirming the consequent is the *invalid* mirror image of modus ponens. If P, then Q; Q; therefore P. "If it is raining, the sidewalk is wet; the sidewalk is wet; therefore it is raining." The conclusion does not follow, because something other than rain could have wet the sidewalk. Watch for this when someone runs a conditional argument backwards. **Q: Is modus ponens always reliable?** Within classical logic, yes. The rule preserves truth: if the premises are true and the form is observed, the conclusion must be true. Like the [laws of logic](/codex/laws-of-logic/) themselves, modus ponens cannot be coherently denied; any denial uses the rule to make the inference. It is one of the load-bearing planks of deductive reasoning. See [Deductive Reasoning](/codex/deductive-reasoning/).