論理 · the beauty of rational thought
a film about logic, in seven scenes
The premise is the floor of the cathedral. From it we build vaults of inference, arches of implication, the impossible spires of theorems. The whole edifice rests on what we are willing to suppose.
P1: All humans are mortal. P2: Socrates is human. ∴ Socrates is mortal.
The operators are not symbols. They are verbs of thought, gates through which propositions move and combine into larger structures of meaning.
Syllogism · three fish in formation
If→Then chain · the line of inference
Contradiction · two fish, opposed
When a premise meets an operator, when an operator meets another premise, what emerges is not invention but discovery. The conclusion was always there, sleeping inside the premises, waiting to be illuminated.
(P → Q) ∧ P ∴ Q [modus ponens] (P → Q) ∧ ¬Q ∴ ¬P [modus tollens]
A clean theorem leaves nothing extra. Every line necessary, every line sufficient. The reader emerges feeling not impressed but shown, as if the logic had been hiding in the room the whole time, waiting only for the lights to come up.
論理 is the choreography of meaning — arguments moving in formation, propositions schooling like fish, conclusions arriving on cue.