ronri.xyz
where logic meets the tide.
A Cartography of Reason
Logic is not the cold machinery it pretends to be. It is a human practice, carried out with trembling hands and smudged ink, on paper that buckles in the rain. Every syllogism was once scratched into a margin by someone who wasn’t entirely sure it was right.
We build our proofs the way sailors chart coastlines: by approximation, by correction, by the slow accumulation of observations that, taken together, reveal a shape no single voyage could have disclosed.
The map is not the territory, but without maps we would never find the territory at all.
Formal logic emerged from the very human desire to be less wrong. It is an act of faith disguised as an act of precision: faith that the universe yields to careful thought, that contradictions matter, that truth is worth the effort of pursuit.
This site is a notebook for that pursuit. Not a finished treatise but a working document, stained with coffee and sea salt, its margins full of second thoughts. The logic here is rigorous; the presentation is not. That’s the point.
In the trembling line, precision finds its truest form.
Charts & Theorems
Modus Ponens
If P implies Q, and P is true, then Q is true. The simplest arrow in logic’s quiver, yet the one that launches every voyage.
De Morgan’s Laws
The negation of a conjunction is the disjunction of the negations. Two mirrors reflecting each other, each revealing what the other hides.
Reductio ad Absurdum
Assume the opposite of what you wish to prove. Follow it faithfully to its logical conclusion. When it collapses under its own impossibility, the original proposition stands vindicated.
The Excluded Middle
For every proposition P, either P or not-P holds. There is no middle ground, no twilight between true and false. And yet the coastline between land and sea is neither one thing nor the other.
Unresolved
Here the certainty frays.
This statement is false.
If the barber shaves all those who do not shave themselves, who shaves the barber?
The limits of my logic are the limits of my world. Beyond them, the sea.
The set of all sets that do not contain themselves.
Can an omnipotent being create a stone it cannot lift?
Where logic touches its own boundaries, it doesn’t break. It shimmers. Like light on water, the paradox is not a failure but a feature—the place where reason becomes interesting.