Progressive Refinements
Understanding is a dynamic process of conjecture, refutation, and refinement, yet traditional scientific writing often obscures this evolution by presenting only final, polished concepts. To address this, we propose progressive refinement articles, a format that makes intellectual development explicit by representing each concept as a path of successive definitions forming a Directed Acyclic Graph (DAG). Within this structure, refinements are driven by documented refutations and expressed as minimal extensions of prior versions, preserving both the current theory — found at the leaves of the DAG — and the complete intellectual journey that produced it. Ultimately, this approach, supported by an included Org Mode template, yields living documents that are both logically rigorous and pedagogically transparent.
Introduction
As our knowledge deepens, our definitions evolve. To capture this dynamic explicitly, we introduce progressive refinement articles. Within such an article, we define definition-sequence(article) as the chronological sequence of definitions exactly as they appear in the text. Each definition, like d1, is assigned a unique identifier id(d1). If a subsequent definition d2 shares that same identifier (id(d2) = id(d1)), then d2 is considered a next version — or a refinement of — d1. If d2 is the immediate refinement of d1 then we denote this relationship as next(d1) :≡ d2.
Consequently, each article maintains a distinct set of identifiers representing its core concepts. For every identifier, there is a path tracking its evolving versions. Collectively, these paths form a Directed Acyclic Graph (DAG). The current theory is simply the collection of definitions located at the leaves of this DAG, representing the most up-to-date version of each concept.
Crucially, the article documents why a concept evolves. Each refinement is prompted by a refutation, which can be illustrated using concrete examples. Instead of rewriting the entire definition from scratch, a new version is frequently introduced as an extension which specifies only the differences compared to the previous version. To grasp the full current definition, one must look at the integral of its path (the successive application of every extension along the path).
The remainder of this article details these ideas, proposes a clear presentation method, and provides an Org Mode template to write such an article.
Objective
- Definition is defined.
- Example is defined.
- Refutation is defined.
- Extension is defined.
- Template is defined.
Context
Definition
A definition introduces a new name together with its associated meaning. To make definitions easy to locate, we present them using blocks that look as follows:
NewName
<content>
Example
A definition may be followed by an example, introduced using a block as follows:
<content>
Refutation
A refutation demonstrates that, within a given context, the current definitions lead to undesired or problematic consequences. It can therefore justify updating or replacing those definitions. While a refutation itself may be lengthy, the block highlights its key finding (and sometimes contains the refutation in full).
<content>
Extension
Definitions are introduced sequentially. If a definition D2 defines the same name as a previous definition D1, then D2 replaces D1 from that point onward.
This mechanism supports the introduction of definitions through successive refinements. Some properties of D2 may be inherited from D1, while others may contradict D1 in certain respects. In other words, D2 extends D1.
Integration
A definition DN represents the accumulation of all prior refinements from D1 onward — i.e., its integration. To avoid repeatedly reconstructing DN from earlier definitions, integrated versions are explicitly stated when necessary.
TODO Template
TODO Result
Discussion
The traditional approach to scientific and mathematical writing often presents definitions in their final, polished form. While this maximizes brevity, it strips away the historical and cognitive context—the "why" behind the formalism.
By modeling articles as a DAG of progressive refinements, we align the structure of the document with the human process of learning. It embraces Popper's cycle of conjectures and refutations, explicitly documenting the failures that necessitate complexity.
The primary trade-off is verbosity: tracking historical definitions requires more space. However, explicitly providing an "Integration" phase mitigates this by giving the reader a clean, updated reference point without forcing them to manually compute the differences across the definition path.
Conclusion
Progressive refinement articles are a tool for thought. By formally linking definitions, refutations, and extensions using unique identifiers, we create a living document that captures not just the current theory, but the entire "rising sea" of understanding that produced it. This approach yields documentation that is both logically rigorous and pedagogical.