Open research library
Papers you can read, cite and question
609 papers from the QNFO program, filed on nine shelves by the reader each one is written for: energy per answer, error correction, physics, numbers and p-adics, logic and formalism, AI and knowledge, autonomous systems, assessments, and cross-cutting essays. Every page renders its mathematics and can be questioned in place. How a living paper works.
Looking for an answer rather than a paper? Ask the whole corpus: answers cite the papers they come from.
Logic & formalism papers 39 papers
Logicians, formal-methods and foundations readers. Formal systems and what they cannot say: Laws of Form and the calculus of indications, distinction and re-entry, self-reference, category theory, coalgebra and bisimulation, proof assistants, computability, formal ontology.
The Oscillator as an Element: Static and Dynamical Analyses of the Imaginary Boolean Value in the Algebra of Eventually Periodic Truth Sequences
Revision-theoretic treatments of the liar paradox produce an oscillator $\iota = \langle U,P,U,P,\ldots\rangle$ that alternates between two states forever, but they leave $\iota$ a process rather than a value. This paper tests the conjecture that $\iota$ can be promoted to a static element of a…
Distinction, Discretisation, and the Cost of Law: A Quantitative Sketch of Approximation Entropy
The deepest question in physics is often posed as "What are the laws?", but a prior question is "What does it cost to state, and to compute with, a law?" Building on the distinction-based formalism of Spencer-Brown's Laws of Form as consolidated in the Quantum Laws of Form (QNFO) programme, and on…
Re-Entry as a Binary Prohibition Law: Enumeration, Impossibility, and the Three-Outcome Completion
Self-referential constraints arise in hardware security, programmable logic, and symbolic execution tools, where a system must forbid a state while generating the very operation that enforces the prohibition. The open question is whether a re-entering form of the calculus of indications — a…
Ontological Re-Entry: What Can We Say Exists?
This paper addresses the "re-entry" problem in ontology: given a theory, formalism, or model built over some primitive vocabulary, what can we legitimately say exists when we project that structure back onto the world, and what does answering the question cost a physically bounded observer? We…
One Metalogic, Many Logics: A Quantitative Pedagogical Framework for Proof-Assistant-Based Logic Teaching with LogiKEy
Teaching logic to mixed cohorts of computer science, mathematics, and philosophy students is difficult because each cohort brings different expectations and because the standard curriculum fragments into isolated courses on propositional, modal, epistemic, and deontic logic. The LogiKEy methodology…
Degree Bounds as a First Exercise in Isabelle/ML Metaprogramming: A Reconciled Study of the poly_degree Command
Metaprogramming—writing programs that manipulate the objects, proofs, and tactics of a proof assistant itself—is a notorious barrier to entry for formal-methods newcomers, particularly mathematicians trained in classical rather than computational thinking. This paper presents a structured,…
Distinction-Lattice Framework: Eigenforms, Bisimulation, and the Realizability Boundary of Self-Reference
A conservative formal version of DLF: stable entities are bisimulation classes of observational behaviour, certified coinductively, with realizability separated from fixed-point existence. v0.2.0 narrows novelty claims and corrects the JPCUB/Landauer bridge. Published at papers.qnfo.org…
Visual Graphs vs Matrices: Epistemic Limits, Cognitive Preference, and the Design of Understandable Computation
The ZX calculus and the matrices of linear algebra denote exactly the same maps. A field that knows this has, nonetheless, converged on the pictures. This paper argues that the convergence is not a matter of taste and not a matter of mathematics: it is a fact about bounded cognition. Where…
Formal Self-Reference Limits: Objectification, Anthropocentric Conventions, and the Partial Self-Knowledge of Formal Systems
This paper answers the seed question: why are our formal quantitative systems uncomfortable with self-reference when they are also inherently anthropocentric — from base-10 pentadactylity to the heartbeat-Hertz second and the body-scaled meter — and can we not truly see ourselves? We defend the…
The Void Is Not False: Recovering the Unmarked State in Logic from the Calculus of Indications
A critique-first paper: Boolean logic and set theory reify the void (the unmarked state) into false and the empty set, committing a category error; false is a mark, the void is not a value. A reconstruction program (distinction-logic with inside/outside/oscillating states) is labeled conjecture with…
The Calculus of Re-Entrant Distinctions: A Unified Treatise on the Loop, the Tree, and the Constants of Self-Reference
This treatise develops a single thesis: that the primitive act of distinction — the drawing of a boundary between marked and unmarked — generates, under the discipline of re-entry and linear resource management, the constants $e$ and $\pi$, the landscape of completions of the rational numbers, the…
Autaxys Ontological Closure: When Is a Physical Quantity Computationally Real?
We propose an operational criterion for physical reality: a quantity is physically real only if there exists a finite Turing-machine protocol that approximates it with a computable modulus of convergence, yielding measurement-distinguishable predictions. This criterion is not a metaphysical claim…
The Substrate Is the Algorithm: A Categorical Formalization of the Strongest Consilience Thread
ACRP-05: Thread 3 formalization. Capability(S) ~ End(X_S) conjecture; five-pillar verification; Church-Turing-scoped resource-level thesis (computability-level equivalence, resource-level difference).
The Computable Real Boundary: Where Physics Ends and Cognitive Fiction Begins
Every experiment reduces to a finite act of distinction. This paper argues that the boundary between physics and what lies beyond it coincides exactly with the computable reals. Drawing on Spencer-Brown's Laws of Form, its QNFO extension, and independent work on the physical Church-Turing thesis…
The Ontology of Boundary-Crossing: Spencer-Brown Cancellation Rule Defended
Systematic defense of Spencer-Brown Cancellation rule: establishes structural isomorphism with quantum measurement collapse via three-outcome dynamics (Varela 1975, corroborated by 29-schisms numerical search 2026). 4-level M-property justification framework. Boson-fermion observer analysis. 14…
The Hidden Fractures: Self-Referential Calibration and the 29 Schisms of Physics
Physics is often presented as a monolithic, converging body of knowledge. Yet a systematic inventory reveals 29 unresolved bifurcations and hidden assumptions -- from the nature of the continuum to the status of the observer, the consistency of mathematical language, and the meaning of explanation…
Quantum Laws of Form
George Spencer-Brown's Laws of Form (1969) proposed the act of drawing a distinction as the primitive operation from which logic, mathematics, and physics can be constructed. This consolidation synthesizes known quantum correspondences, identifies 7 open problem categories, and proposes 4…
Formal Ontology of Distinction and Invariance
This document presents the complete, self-compliant synthesis of the Ontic Relational Patternism framework. Starting from a single primitive syntactic token—the mark—and three context-closed reduction rules (Calling, Crossing, Void), we derive a purely relational universe where the cross-ratio is…
Deterministic Unified Theory
URL: https://papers.qnfo.org/papers/a-deterministic-unified-theory/ Date: 2026-03-12 Version: 1.0 This manuscript confronts a challenge embedded deeply within the structure of human language. We intend to describe a universe consisting entirely of dynamic, interconnected processes. However, our…
Algorithmic-Necessity-of-Agency
This treatise presents a comprehensive theoretical synthesis resolving the dialectic between the subjective experience of free will and the objective reality of a superdeterministic universe. By integrating the foundational principles of quantum mechanics—specifically the violation of statistical…
Beyond-Belief
If you were to strip away the stained glass, the incense, the holy books, and the political manifestos; if you were to mute the hymns of the cathedral and the chants of the football stadium; if you were to look past the specific names of gods, laws, and scientific theories—what would remain? | You…
Category Error of the Ego
Epistemology represents the formal philosophical study of how humans acquire knowledge. This field investigates the fundamental differences between justified belief and mere subjective opinion. Applying this discipline to human identity reveals significant gaps in how we understand ourselves. The…
The Interplay of Scientific Materialism, Human Meaning, and Epistemic Humility
Scientific materialism represents a philosophical position with ancient origins. Early atomist thinkers in Greece proposed that reality consisted solely of indivisible particles moving through void space. During the Enlightenment, this perspective evolved into a more systematic naturalism, rejecting…
Mechanistic-Ethics
URL: https://papers.qnfo.org/papers/mechanistic-ethics-and-the-biology-of-meaning/ Date: 2026-03-04 Version: 1.0 1.1 The Clockwork Universe Superdeterminism posits that every event, including the firing of human neurons, occupies a fixed coordinate sequence established at the universe’s singularity.…
Principia Ontologica
Human understanding operates through representational models rather than direct reality apprehension. Alfred Korzybski famously articulated this principle, noting that abstractions derived from perception necessarily differ from their source. Cognitive frameworks function as biological…
Convergence Consilience and the Hierarchical Architecture of Reality
This document argues that convergence (nature independently producing similar forms across separate lineages) and consilience (knowledge from different disciplines converging on the same truths) are symmetric faces of a single deeper structure: a hierarchically organized reality shaped by attractors…
The Threshold of Meaning
Chapter 1: Defining the Undefinable–Language, Semantics, and the Limits of Words - 1.1 The Problem of Contested Terms: “Life,” “Death,” and “Afterlife”–Historical, legal, biological, and spiritual definitions. - 1.2 Linguistic Registers: Propositional, Performative, Narrative, Poetic–How context…
UNIFIED FORMAL ONTOLOGY OF THE CORRELATED UNIVERSE
URL: https://papers.qnfo.org/papers/unified-formal-ontology-of-the-correlated-universe/ Date: 2026-03-17 Version: 2.1 The universe operates as a unified field of potential rather than a collection of isolated fragments. Classical cosmology traditionally models expansion as a disconnected scattering…
Automated Formal Verification and Combinatorial Reduction of Distinction-Based Calculus
The foundation of modern formal mathematics has historically rested upon Zermelo-Fraenkel set theory with the Axiom of Choice (ZFC), a container-based ontology that often conflates zero with the empty set and necessitates arbitrary constraints to prevent self-reference. To systematically evaluate…
Universal Computational Topos
This work presents a comprehensive mathematical framework for understanding computational self-reference through the unification of hierarchical computational theories and meta-computational approaches. We establish that the Computational Trinity Principle—distinguishing Object, Model, and Meta…
From Extrinsic Teleology to Existential Autonomy
The systematic invalidation of supernatural causality via cognitive science and epistemic naturalism compels a fundamental ontological reorientation, displacing divinely imposed purpose in favor of an intrinsic agency rooted in the ambiguous freedom of the subject. The evaluation of miraculous…
Recursive Constraint Nucleation in Epistemic Cut Architecture
Biological systems are characterized by a fundamental dualism: rate-independent symbolic descriptions (genotypes) exert causal control over rate-dependent physical dynamics (phenotypes). It is established that the universal laws of physics do not inherently favor the spontaneous emergence of these…
Excluded Middle as Computational Boundary
This research investigates the validity of the constructivist critique of Turing completeness, which is founded upon the rejection of the Principle of the Excluded Middle (PEM). By employing a systematic, multi-layered framework, this paper deconstructs the logical chain from L.E.J. Brouwer’s…
Reconstructive Ontology of Brouwerian Intuitionism
This study reconstructs the ontological foundations of Brouwerian intuitionism, arguing that the rejection of the principle of the excluded middle (PEM) is not a technical choice but a necessary consequence of the ur-intuition of time. Drawing on L.E.J. Brouwer’s primary texts from 1905 to 1948, we…
Computo Ergo Sum
This paper resolves Hilbert’s sixth problem by introducing the Self-Computing Universe Framework (𝒞), a meta-axiomatic system positing that the universe is not merely described by mathematics but is a self-executing mathematical structure. While its six foundational axioms are expressed with the…
Epistemic Cut
An inquiry into the foundational principles of physics necessitates a rigorous examination of the relationship between reality and the scientific models constructed to describe it. This text introduces a formal epistemology designed to clarify this relationship, positing that many of the most…
Epistemic Dynamics
This work provides a formal derivation for a quantitative framework to validate non-empirical scientific contributions. It begins by deconstructing scientific progress into a functional taxonomy of three distinct types: Generative (G-Type), Structural Unification (S-Type), and Epistemic Scaffolding…
An Epistemic Mirror
This paper reframes the “hard problem” of consciousness from an intractable ontological mystery to a tractable problem of epistemology. It argues that the explanatory gap is a structurally necessary epistemic boundary condition of any cognitive architecture that employs dimensionality reduction for…
Head Over Hands
This provides a systemic analysis of a recurring philosophical and institutional bias that privileges abstract, elegant, and a priori theoretical constructs over messy, inconvenient, and empirical evidence. This pattern is defined here as the Head Over Hands Fallacy. This new term is introduced…
New papers by email
One short weekly digest: titles and links. No tracking; unsubscribe any time.