Philosophy of Logic and Mathematics

Logic and math are human constructions that model real patterns — extraordinary maps, but still maps. Spans Trunks 2 and 3.

Links: The Four Trunks, Philosophy, Morality, Emergence, Convergence, and the Strange Loop, LLM Grounding Problem, Computation and Information Theory

Trunk: This folder spans Trunk 2 — Verification Epistemology (convergence across independent logical traditions) and Trunk 3 — Emergence Metaphysics (formal patterns as emergent from organized cognition). The folder name is retained for historical reasons and may be reorganized once the Trunk 3 name settles.

Core position: structural realism

Logic and math are human-built formalisms that model the underlying structure of reality. The patterns they describe are real. The formalisms themselves are constructions — tools, not territory. Full statement: Emergence, Convergence, and the Strange Loop.

The position consists of five claims:

1. Logic and math do not exist independently in nature
2. The patterns/structures they describe are real
3. Different formalisms can model the same reality
4. Convergence across independent traditions is evidence for reality, not Platonism
5. New formalisms replace old ones when reality demands it

Evidence the formalisms are constructed

Brief pointers to the detailed arguments:

• Classical logic fails at the quantum level — see Quantum Logic
• Excluded middle fails in continuous systems — see Non-Classical Logics and Intuitionistic Logic
• Every sufficiently powerful system is incomplete or inconsistent — see Gödel’s Incompleteness
• Interpretation precedes logic — see The Translation Problem
• Independent civilizations converge on the same structure — see Eastern Logical Traditions
• Logic has been built, broken, rebuilt for 2,400 years — see A History of Logic

Evidence the patterns are real

• Math predicts undiscovered physics (Dirac’s antimatter, Einstein’s gravitational waves, Maxwell’s EM radiation) — maps built carefully track territory
• Boolean algebra turned out to be how computers work — The Formal Revolution
• Complex numbers are required by QM, not merely convenient (Renou et al. 2021)

The unifying template

Same structure applies across the vault:

Three domains, same structural-realism move. See Morality, Constitutive/Elective, Relational Objectivity.

Pages

• A History of Logic — 2,400 years, Aristotle through Gödel; not settled, not singular
• Aristotelian Logic — three laws, syllogism, where it breaks
• The Formal Revolution (1847–1931) — Boole → Frege → Russell → Shannon; logic becomes computation
• The Translation Problem — pre-logical layer most debaters skip
• Gödel’s Incompleteness — no system both complete and consistent
• Intuitionistic Logic — drop excluded middle; Curry-Howard (proofs = programs)
• Non-Classical Logics — paraconsistent, fuzzy, relevance, many-valued, linear
• Quantum Logic — distributive law fails experimentally; logic is empirical
• Eastern Logical Traditions — independent convergence (Nyaya, Nagarjuna, Jain, Mohist)
• Emergence, Convergence, and the Strange Loop — capstone; Platonism/constructivism/theism all fail

Suggested reading

• The Unreasonable Effectiveness of Mathematics in the Natural Sciences — Wigner
• Philosophy of Mathematics: Structure and Ontology — Shapiro
• Proofs and Refutations — Lakatos
• Where Mathematics Comes From — Lakoff & Nunez
• Incompleteness: The Proof and Paradox of Kurt Godel — Goldstein
• QBism: The Future of Quantum Physics — von Baeyer

Tags

philosophy, logic, mathematics