Open research library
Papers you can read, cite and question
611 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 11 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.
Knowledge integrity. Ignorance audits, calibration and metascience Tagged papers: 46.
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…
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 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…
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…
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…
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…
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…
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…
New papers by email
One short weekly digest: titles and links. No tracking; unsubscribe any time.