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, Formal Systems and Approximation, The Consistency Defeater, The SQL Argument, Theorems With Absurd Readings, Logics In Production, What Is a Number?

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
• The “absolute laws” are three different kinds of claim — see The Absoluteness Claim
• 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
• The Absoluteness Claim — the deployable layer: break “singular,” not logic; the three laws unbundled; SQL, non-Euclidean geometry, theorems-not-mistakes
• The SQL Argument — the opener — three-valued SQL, NULL = NULL is not TRUE, and the breakfast-next-Tuesday fork that makes the epistemic rescue cost him free will
• Theorems With Absurd Readings — argue from theorems, not mistakes — the drinker paradox worked line by line, and explosion as a valid proof of God and of no-God
• Logics In Production — rival consistent logics that ship — excluded middle as an opt-in axiom in Coq/Lean, fuzzy control walked through with its own refutation, independent civilizations
• What Is a Number? — the Benacerraf datum: von Neumann vs. Zermelo ordinals, two incompatible sevens that agree on all arithmetic; the two folk intuitions (how many vs. how far along) are one notion below infinity and two above it

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