A field guide to logic in the forest
A naturalist's journal of logic,
found between pressed ferns
and propositional proofs.
March, in the year of the bracket fungus
If the rain falls upon the forest floor, the mycelium awakens. The rain has fallen. Therefore, the mycelium awakens.
Found scratched into birch bark near the eastern ridge. The philosopher's handwriting is unmistakable.
The simplest rule of inference, yet the mycelium network has known it for millennia.
Let F be the set of all forest organisms. Let M be the set of all mycorrhizal fungi. Then M is a proper subset of F, yet M connects every element of F through underground networks no Venn diagram can contain.
Pressed fern specimen attached. The spore pattern resembles a membership relation.
The Wood Wide Web predates our formalisms by 450 million years.
The philosopher records truth values not as T and F, but as mushroom spore prints: dark for true, faint for false. The conjunction table becomes a field guide to certainty.
| P | Q | P ∧ Q |
|---|---|---|
The dark prints are Agaricus bisporus. The faint ones, barely visible, are Coprinus comatus at dawn.
Augustus De Morgan never walked these woods, but his laws govern every branching path.
A thing cannot both be and not be, Aristotle declared. Yet the forest floor is thick with paradox: the dead log that teems with life, the darkness beneath the canopy that feeds the light above.
From contradiction, anything follows. Ex falso quodlibet. The philosopher's marginalia here grows frantic: "But what if the mushroom is the contradiction itself?"
Page stained with what appears to be chanterelle juice. The ink has bled into the proof.
All organisms that decompose matter are essential to the forest. All fungi decompose matter. Therefore, all fungi are essential to the forest.
Barbara, the first mood of the first figure. Named not for a person but for a pattern. Like the spiral of a snail shell.
Click any specimen to turn it over
The absence of a mushroom is itself a datum.
What the forest floor lacks tells us as much as what it holds.
The path forks. At least one branch leads somewhere.
Shaped like a split branch, because it is.
If the acorn falls, the oak follows. Given centuries.
False only when the antecedent is true and the consequent is false. Nature rarely lies.
The lichen and the tree. Neither exists alone.
Symbiosis is the biconditional of ecology.
Either the mushroom is edible, or it is not. Never both.
The most decisive of all connectives. Life or death in the identification guide.
For all trees in this forest, roots reach downward.
The universal quantifier dreams of completeness. The forest resists.
There exists a clearing where logic and moss agree.
The existential quantifier is satisfied by a single witness. One mushroom is enough.
Always true. Like gravity. Like decay.
The intuitionists reject this. The mushrooms are silent on the matter.
No fruiting body means no mycelium here. Or does it?
The contrapositive is the shadow of the conditional, equally valid, equally true.
ronri.org
A journal of logic found in the forest.
The proofs are sound. The mushrooms, uncertain.
— ronri (論理) —