Propositional Logic
The foundational layer. Propositions combine through conjunction, disjunction, and implication like roots intertwining beneath the surface. The simplest logic, and the most essential.
Classification: Formal / SymbolicPredicate Logic
Extending propositions with quantifiers — for all, there exists. The logic of relationships and properties, branching deeper into the soil of reasoning.
Classification: First-Order / FormalModal Logic
Necessity and possibility. What must be true, what could be true. Like spores carried by wind — logical modalities explore worlds beyond the actual, mapping the possible.
Classification: Non-Classical / IntensionalIntuitionistic Logic
A logic where truth must be constructed, not assumed. The law of excluded middle does not hold here — like mushrooms, truth grows gradually from evidence, never appearing from nothing.
Classification: Constructive / Non-ClassicalThe Network
Every logic connects to others through shared principles and contested boundaries. ronri.net maps these connections — the mycelium of reasoning that links all systematic thought.
Classification: Meta / Interconnected