論理
A cabinet of logical curiosities
A proposition is a declarative statement that is either true or false, but not both. In the damp earth of logical inquiry, propositions are the smallest fossils — irreducible units of meaning that can be examined, classified, and combined. Like stones gathered from a riverbed, each one carries the weight of its truth-value, smooth and certain in the palm of thought.
Consider: P: "It is raining." This is the simplest specimen — a single propositional variable assigned a concrete meaning. It exists in one of two states, like a mushroom that has either emerged from the soil or remains hidden beneath.
P ∈ {T, F}
Compound propositions grow from these atomic roots. The connectives — ∧ (and), ∨ (or), ¬ (not), → (implies) — are the mycelia threading between individual truths, binding them into networks of meaning that spread silently through the substrate of reasoning.
If propositions are the stones in our collection, connectives are the mortar that binds them into structures. Each connective has its own character — its own ecology, one might say — governing how truths combine, oppose, and imply one another within the tangled root-system of an argument.
P ∧ Q — the conjunction, demanding both truths hold simultaneously. Like two mushrooms growing from a single mycelial network, neither can exist in isolation for the compound to thrive.
P ∨ Q — the disjunction, satisfied by either truth alone. A forked path in the burrow: either tunnel leads somewhere.
P ∧ Q ≡ ¬(¬P ∨ ¬Q)
P → Q — the implication, perhaps the most misunderstood creature in the logical menagerie. "If it rains, the mushrooms grow." The conditional is false only when the rain falls and the mushrooms refuse to emerge. In all other weathers, the statement holds, patient and unfalsified.
P → Q ≡ ¬P ∨ Q
The negation ¬P stands apart — the lone decomposer in the logical ecosystem, transforming truth into falsehood and back again. It is the turning of the seasons in miniature: what was green becomes brown, what was living feeds the soil for new growth.
In the deepest chamber of the burrow lies a glass tank filled with dark water, its surface catching the light of a single oil lamp. Within it, logical symbols drift upward like living things — each one a captured thought, a preserved specimen of pure reasoning suspended in the medium of contemplation.
Watch them rise. Each symbol carries within it the distilled essence of a logical operation — the conjunction's demand for unity, the disjunction's generous acceptance, the quantifier's sweeping gaze across all possible specimens. They are beautiful in their precision, these bubbles of thought, each one a perfect container for an imperfect world's attempt at certainty.
The universal quantifier ∀ and the existential quantifier ∃ extend our reach from individual propositions to entire domains of discourse. They are the wide-angle lens of logic — the naturalist's gaze sweeping across the entire collection, or focusing upon a single remarkable specimen.
∀x(Mushroom(x) → Grows(x)) — "For all x, if x is a mushroom, then x grows." The universal quantifier claims truth across the entire domain. It is a bold assertion, a sweeping generalization that collapses only if a single counterexample can be dug from the earth.
∀x P(x) ≡ ¬∃x ¬P(x)
∃x(Rare(x) ∧ Luminous(x)) — "There exists an x such that x is rare and x is luminous." The existential quantifier is the collector's thrill — the claim that somewhere in the vast domain, at least one specimen with the desired properties waits to be found.
∃x P(x) ≡ ¬∀x ¬P(x)
Together, these quantifiers allow us to express the full range of logical claims about collections. Every theorem in the logician's burrow, every carefully pinned proof on the specimen board, ultimately rests upon the interplay of "for all" and "there exists" — the twin forces of generalization and discovery.
A proof is a finite sequence of propositions, each one either an axiom or derived from earlier propositions by a rule of inference. It is the logician's most prized artifact — a chain of reasoning so tightly forged that no link can be questioned without questioning the very nature of truth itself.
The fundamental rule of inference: from P and P → Q, we may conclude Q. It is the simplest and most powerful tool in the logician's kit — the sharp knife that separates truth from mere possibility.
P, P → Q ⊢ Q
The proof by contradiction — assume the negation and follow the root system downward until it tangles into impossibility. When the assumption leads to ⊥ (falsum), we know the original proposition must be true. The logician's method of composting: from decay, truth emerges.
Γ, ¬P ⊢ ⊥ ⟹ Γ ⊢ P
Every proof is a journey through the burrow — from the bright entrance of axioms to the deep chambers of derived truths. The turnstile symbol ⊢ marks each step, like thumbtacks pinning specimens to the board of established knowledge. The logician collects these proofs as the goblin collects stones: each one unique, each one carrying the sediment of centuries of thought.
This cabinet holds only a fraction of the logical specimens that exist. Beyond these earthen walls lie modal logics — possible worlds branching like root systems through dimensions of necessity and possibility. There are intuitionistic logics that refuse the excluded middle, fuzzy logics that embrace the grey space between truth and falsehood, paraconsistent logics that survive contradiction like fungi survive fire.
The collection grows. New specimens are discovered in the most unexpected places — in the behavior of quantum systems, in the paradoxes of self-reference, in the strange loops of computational recursion. The logician's burrow extends ever deeper into the earth, each new chamber revealing another layer of structure beneath the surface of thought.
The symbol ∴ (therefore) is the collector's signature — the mark that says "from all that came before, this follows." It is the final pin in the specimen board, the conclusion of the proof, the mushroom that emerges from the long decomposition of premises into truth.
∴ Q.E.D.