an isometric atlas of reasoned terrain
rational.quest renders the act of thinking as a place. corridors of logic. bridges of inference. towers of axiom. walk the diagram.
first principles
every walkable region of this atlas is anchored to an axiom block. unprovable. self-supporting. the bedrock the rest is built on.
- A1 identity holds across the diagram.
- A2 contradiction collapses the structure.
- A3 the path is shorter than the proof.
a vocabulary of terrain
to walk a corridor you must first name its walls. each annex stores the small grammar of the larger landscape.
walking a corridor
an inference is a corridor between two structures. you arrive by way of premises and you leave by way of a conclusion. the geometry is not optional.
P1 . if A then B P2 . A holds ---------- corridor ---------- C . therefore B
the corridor is rendered. the corridor is real. the corridor connects this tower to the next.
deduction tower
five stories. each story a step. the spire is only as stable as the floor below it. remove a premise and the upper rooms tilt into the sky.
- premise plate (level 1)
- auxiliary lemma (level 2)
- case split (level 3)
- recombination (level 4)
- conclusion deck (level 5)
the impossible chamber
some districts exist only as contradictions. a corridor that loops back into its own premise. a tower whose roof is also its floor. we map them anyway.
walk the chamber long enough and you discover the floorplan is more honest about thought than any clean proof.
edge case vault
store the strange ones here. the heap. the ship of theseus. the village barber. they are not bugs in the diagram. they are fixed points.
- E1 sorites — the heap that never collapses.
- E2 theseus — the ship rebuilt plank by plank.
- E3 barber — the man who shaves only those who do not shave themselves.
the corpus archive
every reasoning we have walked has been recorded as a building. the archive grows by addition only. nothing is demolished, only repaved.
in-flight construction
three structures are under active build. their facades are translucent. the scaffolding stays visible until the corridor is verified end to end.
the summit deck
the highest reachable plate in the atlas. from here every corridor we have walked is visible at once. the diagram is never finished. it is only ever further surveyed.