FILE SELECTED // FILE 00
Modus Ponens
“It is the most direct conditional step: the condition holds, so its consequence follows.”
01 / SUMMARY
In short
The form is: if A, then B; A; therefore B. In classical logic it is valid, provided the conditional and the assertion of A stand.
03 / SCENE
In the wild
If the correct key turns, the door opens. The correct key turns. Therefore, the door opens.
04 / LIMIT
The limit
The rule alone does not prove that the opening conditional accurately describes the world.
FINAL NOTE
What remains
Spot the form, but also audit the link between condition and consequence.