Abstract

The Methodological Overview ("Hundun: Negation as First Principle," DOI: 10.5281/zenodo.18842450) established the chisel-construct cycle as an executable logical operating system, derived from 0D through 16DD. But what terrain this operating system runs on, the Overview did not address. This paper addresses that question.

The Western epistemological tradition recognizes four basic methods: deduction, induction, reduction, and abduction. This paper argues that these four methods form a 2×2 structure (direction × operation), each method carrying an ineliminable structural remainder. The chisel-construct cycle is not a fifth method; it is the movement of traversal across all four quadrants, driven from one quadrant to the next by its remainder.

Core theorem: any method that stays within a single quadrant will be locked down by that quadrant's structural remainder. The driving force of the chisel-construct cycle is not methodological choice but the ineliminability of remainder.

This paper draws on the Methodological Overview (DOI: 10.5281/zenodo.18842450) for the chisel-construct cycle and its five core concepts, Paper 4 ("The Complete Self-as-an-End Framework," DOI: 10.5281/zenodo.18727327) for the remainder conservation theorem and the DD dimensional sequence, ZFCρ ("ZFCρ: Remainder as Structural Limit of Formalization," DOI: 10.5281/zenodo.18914682) for the mathematical proof that remainder always exists, and the Language Application Paper (DOI: 10.5281/zenodo.18823131) for the form-meaning binding law and discreteness concepts.

Chapter 1. The Problem: What Terrain Does the Chisel-Construct Cycle

Run On?

Core thesis: The Methodological Overview built the operating system (how the chisel-construct cycle runs), but did not draw the map (what it runs on). An operating system without a map is blind — it knows it is running but does not know where it is.

1.1 The Question Left by the Overview

The Methodological Overview demonstrated the internal mechanism of the chisel-construct cycle: chisel (negation) → construct (sediment) → remainder (incompleteness) → bridge (renewed negation) → thing-in- itself (hitting a wall). Five concepts, one cycle, from 0D to 16DD. The Overview's contribution was to turn this cycle from intuition into an executable logical operating system, complete with definitions, sequences, and a conservation theorem.

But the Overview did not answer one question: when the chisel-construct cycle runs, what type of cognitive operation is it performing?

You chisel a construct. What is this act of chiseling doing? Is it deriving from known principles that the construct cannot stand (deductive chiseling)? Is it presenting an empirical counterexample that negates the construct (inductive chiseling)? Is it taking the construct apart and discovering something missing inside (reductive chiseling)? Or is it proposing an alternative explanation to negate the construct (abductive chiseling)?

The Overview does not distinguish. The Overview speaks of "chiseling," but what the specific cognitive form of chiseling is, where chiseling sits on the cognitive terrain, the Overview did not develop.

This is not a defect of the Overview. The Overview's task was to build the operating system, not to draw the map. The operating system needs to know how the cycle runs — chiseling produces constructs, constructs have remainders, remainders compel further chiseling. The operating system does not need to know the cognitive type of each chiseling act, just as an operating system does not need to know what the CPU is computing in order to schedule processes.

But once the operating system is built, the map becomes a necessary condition. Without knowing what cognitive terrain the chisel-construct cycle runs on, you do not know the nature of each chiseling step, do not know from which direction the remainder comes, do not know where to go next. You are running, but you do not know your position on the map.

1.2 Four Methods Are Not a Toolbox

The Western epistemological tradition has four basic methods: deduction, induction, reduction, and abduction.

These four are commonly treated as four tools in a toolbox — faced with different problems, pick the right tool.

Use deduction for mathematics, induction for nature, reduction for mechanisms, abduction for causes.

The presupposition of this understanding is that the user stands outside the toolbox, possessing the freedom to choose. You examine the problem first, then decide which method to use. Methods are tools, you are the user, and there is distance between you and the tools.

This paper argues that this presupposition is wrong (detailed in Chapter 4).

1.3 The Task of This Paper

To draw an epistemological map for the chisel-construct cycle.

The map contains: the structural positions of four methods (Chapter 2), four structural remainders (Chapter 3), why you cannot stay in any single quadrant (Chapter 4), the position of the chisel-construct cycle on the map (Chapter 5), the subject-conditions for traversal (Chapter 6), rays from the map into specific domains (Chapter 7), and non-trivial predictions derived from the map (Chapter 8).

Chapter 2. The 2×2: Structural Definition of Four Methods

Core thesis: Deduction, induction, reduction, and abduction form a 2×2 structure. Two axes: direction (from principle vs. from phenomenon) and operation (preserving wholeness vs. decomposing). The four quadrants are four basic directions of cognitive operation — a minimal sufficient decomposition, closed for now but not sealed.

2.1 Two Axes

Cognitive operation has a fundamental fork: where do you start from?

One direction is from principle toward phenomenon. You have a principle in hand (axiom, law, framework), and you use it to encounter the empirical world — to see whether the world conforms to the principle, or to derive what the world should look like from the principle. This is the a priori direction.

The other direction is from phenomenon toward principle. You have a collection of experiences (data, observations, cases), and from these experiences you extract patterns, seek regularities, construct explanations.

This is the a posteriori direction.

These two directions do not necessarily exhaust all possibilities, but they are the most basic fork in the Western epistemological tradition, sufficient to place the four classical methods into an operable terrain.

Cognitive operation has another fundamental fork: how do you handle the object?

One mode is to preserve the wholeness of the object. You do not decompose it; you work at the level of the whole — deriving conclusions from wholes, or finding common patterns among multiple wholes. This is synthesis.

The other mode is to decompose the object into parts. You break the whole apart, see what is inside, and use the parts to explain the whole. This is analysis.

Again, these two operations do not necessarily exhaust all possibilities, but they are the most basic stance-fork when handling objects.

The two axes cross, producing four quadrants. If someone insists on adding a third axis, it must demonstrate one thing: that the axis leads to a new structural remainder, rather than restating an existing remainder in different terms. Until then, two axes constitute the minimal sufficient decomposition — the fewest dimensions needed to place four methods into a terrain from which structural conclusions can be derived.

2.2 Four Quadrants

Preserving Wholeness (Synthesis) Decomposing (Analysis) From Principle (A Priori) Deduction Reduction From Phenomenon (A Posteriori) Induction Abduction Deduction (a priori × synthesis). Starting from known principles, preserving logical wholeness, deriving necessary conclusions. Principles are not decomposed; conclusions do not exceed premises. Euclid derived the entire Elements from five postulates. Kant derived twelve categories from transcendental conditions.

Deduction's strength is necessity: if premises are true, conclusions cannot be false. Deduction's cost is closure: conclusions forever remain within the scope of premises, never exceeding them by a single step.

Reduction (a priori × analysis). As used in this paper, "reduction" is not any decomposition of an object, but the granting of explanatory priority to lower-level components: the whole is understood as ultimately to be explained by its parts. Starting from known principles, the object is decomposed into more basic parts for explanation. The whole is analyzed into parts; parts are considered more "real" or more "fundamental" than the whole. Physics decomposes macroscopic phenomena into particle behavior. Reductionism decomposes consciousness into neural firing. Reduction's strength is precision: at the most basic level, each part can be independently tested. Reduction's cost is the loss of combinatorial structure: after decomposition, reassembling the parts does not necessarily restore the whole.

Induction (a posteriori × synthesis). Starting from multiple phenomena, preserving the wholeness of phenomena, extracting general regularities. Not decomposing each phenomenon to see what is inside, but looking only at common patterns among phenomena. Observing a thousand white swans, inducing "swans are white." Newton observing an apple falling and the moon orbiting, inducing universal gravitation. Induction's strength is openness: it can discover principles from experience, going beyond what you already knew when you started. Induction's cost is uncertainty: no matter how many cases you have observed, the next case may always be a counterexample.

Abduction (a posteriori × analysis). Starting from phenomena, decomposing and recombining them as clues, inferring the most likely explanation. Phenomena are treated as evidence; evidence is broken down and reassembled to produce the best explanation. A detective reconstructing the culprit from crime scene details. A doctor inferring a diagnosis from symptoms. Peirce (C.S. Peirce) defined abduction as "the only logical process that generates hypotheses" — induction goes from cases to regularity, deduction goes from regularity to conclusion, abduction leaps from conclusion to regularity. Abduction's strength is creativity: it can produce an entirely new concept to explain phenomena, seemingly from nothing. Abduction's cost is the unverifiability of the leap: the explanation produced may be the best, but "best" does not equal "true."

2.3 Four Major Categories, Not a Closed Classification

The four quadrants are four basic directions of cognitive operation, not an exhaustive classification.

Actual cognitive operations can be further subdivided. Within deduction there are axiomatic deduction and natural deduction, direct proof and proof by contradiction. Within induction there are enumerative induction and eliminative induction, statistical induction and analogical induction. Within reduction there are theory reduction and explanatory reduction. Within abduction there are Peircean hypothesis generation and the later simplified inference to the best explanation.

Actual cognitive operations can also cross quadrants. The hypothetico-deductive model simultaneously runs abduction (generating hypotheses) and deduction (deriving testable predictions). Bayesian reasoning simultaneously runs induction (updating probabilities from data) and deduction (deriving posterior probabilities from priors). Almost no real cognitive activity stays purely within a single quadrant.

Actual cognitive operations may even break through the boundaries of these four categories — cognitive operation forms may exist that our current field of vision cannot frame.

This is not a defect of the 2×2 but the structural situation of the 2×2 as a construct. The 2×2 itself has remainder.

To claim that the four quadrants exhaust all cognitive operations is to claim that this construct has no remainder — a direct violation of remainder conservation. The correct stance is: this is the best construct within our current field of vision, closed for now but not sealed.

Moreover, this remainder validates the driving logic of the chisel-construct cycle: if someone in the future chisels out a fifth cognitive operation irreducible to any quadrant, that is the 2×2 construct's remainder being exposed, and the chisel-construct cycle has turned one more round on this map. The map gets revised; the cycle continues.

The argument of this paper does not depend on "there are only four methods." The argument depends on a more fundamental proposition: as long as you work within any given method, that method's structural remainder will compel you to leave. This argument holds for four methods, and would hold equally for a hypothetical fifth — because remainder conservation is a proposition at 0D, independent of method count.

Chapter 3. Four Structural Remainders

Core thesis: Each method carries an ineliminable structural remainder. Remainder is not a defect of the method but its boundary — what the method hits when pushed to its limit, what the method itself cannot handle.

Remainder is not the method being done poorly; it is the method being done well making the remainder more explicit.

3.1 Deduction's Remainder: Necessity Purchased, Experience Unreachable

Deduction derives conclusions from premises. If premises are true, the conclusion is necessarily true. This is deduction's power.

But where do premises come from?

Premises are not deduction's product. Deduction only handles the step from premises to conclusions, not the premises themselves. You give deduction a set of premises; it returns a set of conclusions. But "are these premises correct" and "why are these premises this way rather than that way" — these questions are outside deduction's jurisdiction. Premises either come from other methods (regularities observed by induction, hypotheses leaped to by abduction) or are taken as self-evident axioms.

Deduction's remainder is precisely this: the source of premises is outside deduction's jurisdiction.

Within a deductive system you can travel extremely far, extremely precisely. From five postulates you can derive the entire Elements; from set-theoretic axioms you can derive nearly all of modern mathematics. But no matter how far you travel, you will never encounter the empirical world — because the empirical world is not inside the premises. A deductive system is closed: conclusions do not exceed premises. Closure is its strength (guaranteeing necessity) and simultaneously its remainder (never reaching experience).

This remainder is ineliminable. Not because deduction is insufficient, but precisely because deduction is too good — its necessity comes from closure, and you cannot have both necessity and openness. If you want conclusions that are necessarily true, you must accept that conclusions will forever stay within the scope of premises. If you want to reach experience, you must step outside deduction, but the moment you step outside, you are no longer under the protection of necessity.

Illustration (the following are not proofs but instances of remainder showing up in specific disciplines): Mathematics is the purest deductive system. Mathematical conclusions are necessary — 2+3=5 is true in any universe. But mathematics cannot tell you whether the world conforms to mathematics. "Why is mathematics effective in the natural sciences" is not a mathematical question. Wigner (Eugene Wigner) called this "the unreasonable effectiveness of mathematics in the natural sciences." This "unreasonableness" is not truly unreasonable; it is deduction's remainder showing up at the disciplinary level — mathematics (a deductive system) cannot reach the physical world (experience), and this gap is not a defect of mathematics but the structural boundary of deduction.

3.2 Induction's Remainder: Regularities Accumulated, the Next Counterexample Always on

Its Way Induction extracts common patterns from multiple cases. You have observed a thousand swans, all white; you induce "swans are white." The more cases you observe, the more confident you are in this regularity.

But confidence is not necessity.

A thousand white swans cannot prove "swans are white" — the one-thousand-and-first may be black. And historically, black swans do exist: in 1697, Dutch explorers discovered black swans in Australia, and a thousand years of induction was negated by a single bird.

Induction's remainder is precisely this: the next case may always be a counterexample.

This remainder is ineliminable. Not because we have not observed enough. You can observe a million swans, ten million, a billion, but you can never observe all swans. Induction's operation itself (from finite cases to general regularity) contains a leap from the finite to the infinite. This leap has no logical guarantee — logical guarantees are deduction's business, not induction's.

Hume saw this over two hundred years ago. He asked: can "the sun has risen every day in the past" entail "the sun will rise tomorrow"? It cannot. The leap from "past" to "future" has no logical bridge. The Problem of Induction is not a technical difficulty of induction but its structural boundary.

Illustration: Every paradigm revolution in the history of science (Kuhn's term) is an actualization of induction's remainder. Newtonian mechanics accumulated two hundred years of successful induction (nearly all macroscopic motion phenomena conformed to Newtonian mechanics), and then two counterexamples appeared: the precession of Mercury's perihelion and the constancy of the speed of light. Counterexamples are not accidents; they are induction's structural product — no matter how many samples induction accumulates, the remainder (the next counterexample) is always waiting.

3.3 Reduction's Remainder: Decomposed to the Bottom, Always an Irreducible Residue

Reduction decomposes wholes into parts and uses the behavior of parts to explain the behavior of wholes.

Atoms explain the properties of molecules, molecules explain the functions of cells, cells explain the behavior of organisms. Reduction's direction is downward — from whole to part, from macro to micro, from complex to simple.

Reduction's strength lies in precision: at the most basic level, each part can be independently described and independently tested. Physics, reduced to the particle level, can describe the behavior of each particle with quantum mechanics to extraordinary precision.

But the whole is not the sum of its parts.

After decomposition and reassembly, there is a difference between the reassembled result and the original whole. This difference is called emergence. Emergence is not in any individual part; it is a product of the combinatorial structure of parts itself. Decompose a water molecule into hydrogen and oxygen — neither hydrogen nor oxygen is a liquid, but water is. Liquidity is emergence. Decompose a poem into words — words do not contain poetic meaning. Poetic meaning is emergence. Decompose a team into individuals — individuals do not contain the team's synergy. Synergy is emergence.

Reduction's remainder is precisely this: emergence is irreducible.

This remainder is ineliminable. Not because we have not decomposed finely enough. You can decompose water to atoms, to quarks, to strings (if strings exist), but liquidity is still not at any more basic level — because liquidity is a product of combinatorial structure, not a property of components. Reduction's operation itself (from whole to parts) discards the combinatorial structure at the very moment of the operation — and combinatorial structure is precisely the source of emergence.

Illustration: The "hard problem" of consciousness (David Chalmers) is reduction's remainder showing up in the domain of consciousness. You can decompose the brain to neurons, to synapses, to electrochemical signals — each level can be precisely described. But "why do these physical processes accompany subjective experience" is not a question reduction can answer. You can completely describe every physical state of the brain, but the leap from physical state to subjective experience is not in the description — because subjective experience is emergence, not in any individual part.

The SAE framework's DD sequence is itself an emergence sequence. Each DD is an emergent product of the negation that left the previous DD behind: self-awareness (13DD) cannot be reduced to memory (11DD) plus prediction (12DD); ethics (15DD) cannot be reduced to meaning (14DD) plus the other's recognition. Each step of emergence is reduction's remainder — you cannot reduce it back.

3.4 Abduction's Remainder: The Leap Cannot Be Closed; "Best" Does Not Equal "True"

Abduction has two levels that must be treated separately.

The first level is Peirce's (C.S. Peirce) original definition: abduction is the creative leap that generates hypotheses. Faced with a phenomenon, you leap to an entirely new concept to explain it. Darwin, faced with species diversity, leaped to "natural selection." Einstein, faced with the constancy of the speed of light, leaped to "spacetime curvature." These concepts were not "derived" from data — data did not logically point to them.

They are leaps: between phenomenon and explanation there is a gap, and the leap crosses it.

The second level is the later simplified "inference to the best explanation" (IBE): from existing candidate explanations, select the best one. You have three hypotheses before you; based on criteria like simplicity, explanatory power, and consistency, you select the "best." Each level has its own remainder, but at different depths.

The IBE-level remainder: explanatory power does not equal truth. The best explanation is always the best "given current evidence" — new evidence may make a different explanation best. Moreover, the best explanation may not be on your candidate list — you can only choose the best among explanations you can think of; explanations you cannot think of do not enter the competition. More fundamentally: the criteria for selection (simplicity, explanatory power, consistency) are not derived from the phenomena but brought in by you. Why is a simpler explanation better? This is not a question abduction can answer.

The Peircean-level remainder is deeper: the leap itself cannot be closed. Abduction works backward from result (a posteriori) to cause (analysis), but it can never prove within logic that "this cause necessarily produces this result." Causal closure — "because X therefore Y, and only X can produce Y" — must be supplied by deduction. Abduction can produce the most creative hypotheses, but the gap between hypothesis and truth is structural, not a matter of evidence quantity.

Abduction's remainder is therefore double-layered: selection criteria are external (IBE level); causal closure is unprovable (Peircean level). Both layers share the same root: abduction's operation itself (leaping from phenomenon to explanation) contains an ineliminable leap with no logical bridge.

Illustration: Theory selection in science. In the sixteenth century, the Ptolemaic system and the Copernican system had nearly equal explanatory power over existing observational data — both could calculate planetary positions with comparable precision. Choosing Copernicus was not because Copernicus was "more true" (under the evidence available at the time, the two were equivalent), but because Copernicus was "simpler" — yet simplicity is a preference brought in by the abducer, not a conclusion given by the data. And even after choosing Copernicus — "planets orbit the sun" — the causal closure from this description to "why planets orbit the sun" had to wait over a century for Newton to supply through deduction (deriving Kepler's three laws from the law of universal gravitation).

3.5 Structural Unity of the Four Remainders

Quadrant Method Remainder Nature of Remainder A priori × Synthesis Deduction Source of premises Method cannot reach experience A posteriori × Synthesis Induction The next counterexample Method cannot guarantee necessity A priori × Analysis Reduction Irreducible emergence Method discards combinatorial structure A posteriori × Analysis Abduction Leap cannot be closed Method's creative leap has no logical bridge The four remainders share a common structure: each method's remainder is produced by the very operation that gives the method its power.

Deduction's closure guarantees necessity; the same closure produces the remainder of not reaching experience.

Induction's openness enables discovering regularities from experience; the same openness produces the remainder of counterexamples. Reduction's decomposition enables precise description of parts; the same decomposition produces the remainder of emergence. Abduction's leap enables creating new concepts; the same leap produces the remainder of non-closure.

Power and remainder come from the same operation. You cannot eliminate remainder while keeping the power — because the two are two sides of the same thing.

Remainder is not the method being done poorly; it is the method being done well making the remainder more explicit. The more rigorous deduction is, the farther it is from experience. The more samples induction accumulates, the more devastating the next counterexample (because you are more confident, so the counterexample is more disruptive). The finer reduction decomposes, the more visible emergence becomes (because the more complete the description of parts, the more obvious "what is still missing"). The more brilliant abduction's hypothesis, the more glaring "but this is only a leap." This is isomorphic to the 0D formulation of remainder conservation: the more thoroughly negation operates, the more explicitly negation's incompleteness is exposed. Remainder conservation is not just a philosophical proposition at 0D — the ZFCρ paper (DOI: 10.5281/zenodo.18914682) proves mathematically that remainder, as the structural limit of formalization, always exists. Methodology Paper II connects to the Methodological Overview and ZFCρ here: remainder conservation has a specific manifestation in each of the four epistemological quadrants.

Chapter 4. You Cannot Stay in Any Single Quadrant

Core thesis: Each method's remainder is exactly another method's starting point. Stay within any single quadrant and that quadrant's remainder will lock you down. The chisel-construct cycle must traverse all four quadrants.

4.1 Primary Compensation Direction of Each Remainder

The specific form of a remainder gives a primary compensation direction. You do not jump to another quadrant randomly, but neither is there only one possible path. The remainder first exposes "what is missing," and the primary compensation direction is the quadrant most directly able to supply that missing element.

Deduction cannot reach experience — what you lack is an empirical source. You need induction: starting from experience, establishing premises, then returning to deduction to test what these premises can derive.

Induction cannot guarantee necessity — what you lack is logical guarantee. You need deduction: placing induction's results into a deductive structure, testing their logical consistency, deriving testable predictions.

Reduction discards emergence — what you lack is a holistic explanation. You need abduction: making a creative explanatory leap about emergent phenomena, generating a hypothesis for "why these parts combined produce this emergence." Abduction's leap cannot be closed — what you lack is decomposable verification. You need reduction: decomposing the hypothesis, testing whether each part stands, identifying the weakest link.

The four quadrants form two pairs of cycles: deduction induction (the a priori / a posteriori cycle) and reduction abduction (the analysis / synthesis cycle). But there are also cross-connections between the pairs: deduction's conclusions need reduction to verify their parts; induction's regularities need abduction to provide explanations; reduction's emergent phenomena need induction to collect more cases; abduction's hypotheses need deduction to derive testable predictions. The four quadrants are not four parallel paths but a network. Each quadrant's remainder pushes you toward other quadrants.

4.2 Lock-Down: The Consequences of Staying in a Single Quadrant

What happens if you do not traverse? You get locked down.

Staying in deduction: pure rationalism. Your system is exquisitely refined, logically impeccable, but disconnected from empirical reality. Hegel is the extreme case — his dialectical system was self-consistent to near perfection, but Kierkegaard's rejoinder was devastating: "The system explains everything except the one doing the explaining." You have built a perfect edifice with deduction, but the edifice hovers in the air, its foundation never touching the ground.

Staying in induction: pure empiricism. You have accumulated boundless data, discovered boundless correlations, but have no explanatory framework. The quintessential predicament of the big data era is inductive lock-down: "We know A and B are correlated, but we do not know why." Induction tells you "what is" but not "why." You have a pile of ground but no building.

Staying in reduction: pure reductionism. You have decomposed everything to the most basic level — elementary particles, gene sequences, neural firing. Each part is described with extraordinary precision. But meaning is lost, emergence is lost, wholeness is lost. "You are nothing but a pile of atoms" — technically correct, practically saying nothing. You have taken the building apart into bricks, but bricks do not contain the building.

Staying in abduction: pure explanationism. For every phenomenon you have a "best explanation," each one brilliant and persuasive. But the explanations do not check each other; each explanation is self-contained.

Conspiracy theories are the extreme case of abductive lock-down — for every phenomenon there is an "explanation" (often quite brilliant), but the explanations cannot be falsified, because any counter-evidence can be woven into a new "explanation." You have a pile of stories but no testable structure.

All four lock-downs share a common structure: the method's remainder is ignored, suppressed, declared unimportant, or forcibly "digested" within the quadrant. Lock-down is not the method's fault — the method works perfectly well within its own quadrant. Lock-down is the fault of stopping. Methods have no problem; staying inside a method does.

4.3 The Necessity of Traversal

Why must the chisel-construct cycle traverse all four quadrants?

Because remainders are ineliminable.

If remainders could be eliminated within a quadrant — if deduction could solve the problem of premise origin without recourse to experience, if induction could guarantee necessity without recourse to logic — then staying within a quadrant would be unproblematic. But Chapter 3 demonstrated that all four remainders are ineliminable: remainder is not the method being done poorly but the method's operation itself producing the remainder. Power and remainder are two sides of the same operation. You cannot eliminate remainder while keeping power.

Ineliminable remainder compels you to leave the current quadrant.

This is the core thesis of this paper, stated once and only here: the four methods are not a toolbox, and the subject does not stand outside the toolbox. You operate within methods. What you call "switching methods" is actually traversal compelled by remainder. You are not standing before a toolbox picking tools; you are being pushed across a map. The chisel-construct cycle is not a fifth method; it is this compelled traversal itself.

Chapter 5. The Position of the Chisel-Construct Cycle on the Map

Core thesis: The chisel-construct cycle is not a fifth method, not inside any of the four quadrants. The chisel- construct cycle is the movement of traversal across the four quadrants itself. Chisel = setting out from the current quadrant's remainder, being pushed into the next. Construct = building a temporarily stable structure in the new quadrant.

5.1 The Chisel-Construct Cycle Is Not a Method

Methods have fixed operational patterns. Deduction always goes from premises to conclusions. Induction always goes from cases to regularities. Reduction always goes from wholes to parts. Abduction always goes from phenomena to explanations. Each method can be formalized, taught, and replicated. You can teach a student how to do deductive proof, inductive statistics, reductive analysis, abductive reasoning.

The chisel-construct cycle has no fixed operational pattern. Its next step is determined by remainder, and the direction of remainder is unpredictable. You do not know which quadrant the next remainder will push you toward — that depends on the form of the current construct's remainder. The chisel-construct cycle cannot be reduced to a fixed procedure. "First deduction, then induction, then reduction, then abduction" is not the chisel- construct cycle; it is a methodological recipe. The chisel-construct cycle has no recipe, only one driving force: remainder (as argued in Section 4.3).

5.2 Forms of Chiseling and Constructing in Each Quadrant

Chiseling (negation) takes different forms in different quadrants.

Chiseling within the deductive quadrant: negating a premise of an inference. Negation within logic — "your premises are inconsistent" or "your derivation has a gap." Chiseling within the inductive quadrant: presenting a counterexample. Experience negating a regularity — "you say swans are white, but I have seen a black one." Chiseling within the reductive quadrant: pointing out emergence. The whole negating the parts — "you have decomposed it to the atomic level, but liquidity is not in the atoms." Chiseling within the abductive quadrant: proposing an alternative explanation. Another possibility negating the current best explanation — "you say the culprit is A, but if the culprit is B, all the evidence fits equally." Cross-quadrant chiseling (more fundamental chiseling): using one quadrant's remainder to negate another quadrant's construct. Using experience to negate a deductive system (induction chiseling deduction) — "your axiomatic system is perfect, but the real world is not like this." Using logic to negate empirical induction (deduction chiseling induction) — "your statistical correlation cannot establish causation." Using emergence to negate reductive explanation (wholeness chiseling parts) — "you have decomposed the brain to synapses, but consciousness is not in the synapses." Using decomposition to negate holistic explanation (parts chiseling wholeness) — "your hypothesis is brilliant, but when decomposed, its third step does not hold." Constructs similarly take different forms in different quadrants. The deductive quadrant's construct is a theorem — a necessary conclusion derived from premises. The inductive quadrant's construct is a regularity — a common pattern extracted from cases. The reductive quadrant's construct is a mechanism — a causal chain discovered through decomposition. The abductive quadrant's construct is a hypothesis — a creative explanation of phenomena.

But the common structure of constructs does not change: sediment of negation, temporarily stable, carrying remainder. No matter which quadrant you are in, your construct is what was left after chiseling, has temporary stability, and has ineliminable remainder waiting for you.

5.3 The True Content of the 2×2 Is Not the Cells but the Arrows

When readers first see the 2×2, they see four cells — a classification of four methods. Four terms, four definitions, neatly arranged.

After this chapter, looking at the same table, what they should see is not cells but arrows between cells.

From the deduction cell an arrow points to induction — that is deduction's remainder (cannot reach experience) pushing you. From the induction cell an arrow points to deduction — that is induction's remainder (cannot guarantee necessity) pushing you. From the reduction cell an arrow points to abduction — that is reduction's remainder (emergence irreducible) pushing you. From the abduction cell an arrow points to reduction — that is abduction's remainder (leap cannot be closed) pushing you.

The four cells are constructs (sediments of methods); the four arrows are chiseling (remainder-driven traversal).

The true content of the 2×2 is movement, not classification.

This is isomorphic to the Methodological Overview's core argument: the framework's true content is not the DD sequence (that is a sequence of constructs, from 1DD to 16DD), but the chisel-construct cycle itself (the movement traversing the DD sequence). The DD sequence is the stations on the map; the chisel-construct cycle is the train running between stations. You cannot look only at stations and ignore the train — stations are static, the train is dynamic, and what is dynamic is the framework's true content.

Chapter 6. Subject-Conditions: The Ability to Move Between Quadrants

Core thesis: The subject of the chisel-construct cycle must be able to move between the four quadrants.

Subjects at any DD level are traversing — remainder-compelled traversal does not require the subject's permission. But the degree of self-awareness in traversal varies with DD level. "Ignorance and arrogance" is the subject-condition for traversal becoming explicit rather than implicit.

6.1 The Mechanism of Quadrant Lock-Down

Even without DD terminology, this chapter can be read as a more general distinction: traversal can be implicit (the subject is pushed by remainder without awareness) or explicit (the subject can identify their current quadrant, identify the remainder, and actively prepare to leave). DD language is merely the series-internal label for this difference.

People get locked into quadrants not because they do not know other quadrants exist. Most trained individuals know that deduction, induction, reduction, and abduction all exist. Being locked is not a deficit of knowledge but the force of habit.

The mathematician's training locks them in the deductive quadrant. All their tools — proof, derivation, axiomatization — are deductive-quadrant tools. When they encounter the problem of premise origin, their first reaction is not to turn to induction ("let me look at the empirical world"), but to attempt a solution within the deductive quadrant ("let me add an axiom").

The experimental scientist's training locks them in the inductive quadrant. When they encounter "correlation is not causation," their first reaction is not to turn to deduction ("let me build a theoretical model"), but to attempt a solution within the inductive quadrant ("let me increase sample size").

Analytic philosophy's training locks in the reductive quadrant. Clinical medicine's training locks in the abductive quadrant. Each training produces exquisite skill within its quadrant — and simultaneously produces enormous resistance to leaving it.

Training produces constructs. Constructs produce comfort zones. Comfort zones resist movement. When remainder appears within a quadrant, a training-locked subject does not traverse to another quadrant — they attempt to digest the remainder within the current quadrant. But remainder is ineliminable (Chapter 3), so digesting it within the quadrant only produces more constructs to mask the remainder, rather than resolving it.

This is the mechanism of lock-down: not inability to see the exit, but habit nailing you in place.

6.2 Traversal Does Not Require High DD; Conscious Traversal Does

Two things must be distinguished: traversal itself, and knowing you are traversing.

A 12DD scientist, pushed by anomalous data, moves from induction toward deduction — they are traversing.

But they do not know they are traversing. They think they are merely "trying a different approach" or "looking at it from another angle." They do not know their traversal was compelled by induction's remainder (counterexamples), do not know that the deductive quadrant they are moving toward also has its own remainder waiting.

Remainder compels traversal at every DD level. This requires no self-awareness from the subject. Physics moves from induction (accumulation of observational data) to deduction (construction of theoretical models) to reduction (mechanistic decomposition for experimental verification) — this traversal does not require the physicist to know their position on the 2×2. Remainder pushing is enough. 14DD+ subjects are different. 14DD+ subjects know they are traversing. They know deduction has a remainder (cannot reach experience), know they are being pushed out by that remainder, know the inductive quadrant they are heading toward also has a remainder (counterexamples), know they will be pushed out of the inductive quadrant too. They see the entire map, see all four quadrants' remainders, see the direction of the arrows.

This self-awareness does not change the structure of traversal — remainder is still remainder, compulsion is still compulsion. What changes is the efficiency and sense of direction of traversal. A self-aware traversing subject does not waste time in each quadrant attempting to digest ineliminable remainder. They know remainder is ineliminable, so they do not waste time on elimination; they traverse directly.

6.3 "Ignorance" as the Ability to Leave

The Methodological Overview defined hundun's subject-condition as "ignorant and arrogant." This paper gives that definition an epistemological reinterpretation.

Ignorance = not treating the current quadrant's method as complete.

No matter how well you work in the deductive quadrant, you know deduction has remainder. This "knowing" is not knowledge — knowledge is a construct, can be written down, taught, examined. This "knowing" is a kind of distrust of constructs: you are always prepared to be pushed out by remainder. No matter how stably your construct stands in the current quadrant, you do not treat it as the final answer.

Without ignorance, you cannot leave. Your construct in the current quadrant grows ever more refined, and remainder is ignored, treated as "unimportant details." An exquisite prison is still a prison.

Ignorance at low DD levels is implicit. A scientist would not say "I maintain an ignorant stance toward induction" — they would not use that language. But they do abandon old regularities in the face of anomalous phenomena. Their "ignorance" is not self-aware; it is compelled by remainder.

At high DD levels ignorance becomes explicit. You consciously know that every method has remainder; you actively prepare to be pushed out. You do not wait for remainder to accumulate to a critical point before moving; you recognize remainder the moment it appears, and then you traverse.

6.4 "Arrogance" as the Ability Not to Be Co-opted

Arrogance = when moving between the four quadrants, always setting out from one's own negation.

When you enter the inductive quadrant, you do not become an inductivist. When you enter the deductive quadrant, you do not become a rationalist. You traverse each quadrant, use each quadrant's tools, but are not co- opted by any quadrant's methodological narrative. In every quadrant you are a guest, not a resident.

Without arrogance, you will be co-opted in every quadrant. You enter the inductive quadrant, inductivism tells you "only experience is a source of knowledge," you believe it, and you cannot leave. You enter the deductive quadrant, rationalism tells you "only logic has truth-value," you believe it, and again you cannot leave. Each quadrant has a complete methodological narrative, each narrative can persuade you, each narrative wants to keep you.

Arrogance is an anchor. Ignorance is movement. Both are indispensable. Ignorance lets you move — you do not treat any quadrant as a destination. Arrogance keeps you from losing yourself while moving — you are not co- opted as a convert by any quadrant's methodology.

Chapter 7. Application Rays

Core thesis: The 2×2 is not an abstract classification but an actual terrain. From the 2×2, rays can be extended into specific domains to see the concrete forms of the four quadrants and four remainders in different fields.

Each ray is an illustration of the core theorem: staying in a single quadrant leads to lock-down; traversing all four quadrants is required to continue.

7.1 Toward Science

The most influential model in philosophy of science is Popper's hypothetico-deductive model: propose a hypothesis (abduction), derive testable predictions (deduction), use experiments to test predictions (induction).

Three quadrants are traversed, but Popper refused to acknowledge induction's legitimacy. His dictum "the myth of induction" sought to compress science into only deduction plus abduction: science is not inducing regularities from data; science is proposing bold hypotheses and then attempting to falsify them.

From the 2×2, Popper's methodology compressed out the inductive quadrant. The compressed-out inductive remainder does not disappear — it returns in another form. The framework predicts: when the scientific community systematically undervalues induction's role (insufficient sample sizes, lax statistical methods, inadequate experimental design), induction's remainder (unstable regularities) will erupt as the "replication crisis" — large numbers of published experimental results that cannot be reproduced. The replication crisis across psychology and biomedical fields since the 2010s is an illustration of this prediction.

7.2 Toward Law

Common law systems (Anglo-American) center on case law. Judges extract regularities from large bodies of precedent (induction) and make best-explanation reasoning for new cases (abduction). This system operates primarily on the a posteriori axis — the induction and abduction quadrants. Its degree of chiseling freedom is high (judges have broad discretion); its construct precision is low (precedents may be inconsistent).

Civil law systems (Continental European) center on statutory law. Judges derive verdicts from statutes (deduction) and decompose case facts into legal elements for matching (reduction). This system operates primarily on the a priori axis — the deduction and reduction quadrants. Its degree of chiseling freedom is low (judges are constrained by statutes); its construct precision is high (legal predictability is strong).

Both face lock-down risks. Common law, locked in induction, produces large numbers of inconsistent precedents — same facts, different judges inducing different regularities, contradictory verdicts. Civil law, locked in deduction, cannot flexibly address new problems (situations not covered by statutes) — statutes are dead; reality is alive.

The structural essence of legal reform: traversal from a locked-down quadrant to other quadrants. Common law introduces statutory elements (traversal toward the a priori axis); civil law introduces case-law references (traversal toward the a posteriori axis). The two great legal families' historical borrowing from each other is not accidental institutional choice but remainder-compelled traversal.

7.3 Toward AI

LLM positioning on the 2×2 requires distinguishing two levels.

At the bottom-layer architecture level: Transformer's self-attention mechanism, at the token level, performs extreme analysis — decomposing context into tokens and computing attention weight matrices for each token against all others. This is a reductive operation. But having reduction at the bottom layer does not equal having reduction at the system level. LLMs cannot decompose their own reasoning processes into inspectable parts for external examination — ask one "why did you give this answer" and it produces a plausible-looking post-hoc explanation (abduction), not an actual decomposition of its reasoning process (reduction).

At the system level: LLMs are a gigantic amplification of induction and abduction simulation. Training extracts patterns from massive data (induction — extracting statistical regularities from trillions of tokens). Output is best-completion reasoning for the input (abduction simulation — leaping from context to "the most likely next stretch of text"). But LLMs are nearly completely paralyzed on the a priori axis: they have no built-in axiomatic system for strict deduction (their "reasoning" is inductively learned reasoning patterns, not derivation from axioms), and they cannot perform system-level decomposition and inspection of their own behavior (they do not know which of their steps is the key step and which can be replaced).

The framework predicts: the security attack surface of AI systems will appear predominantly in the direction of missing quadrants.

The explainability problem of LLMs (XAI) is a direct manifestation of system-level reduction being missing: you cannot decompose an LLM's output into inspectable reasoning steps. Agent security issues such as prompt injection and scope drift are consequences of the a priori axis being entirely paralyzed — the system has no capacity to check its own behavior from first principles. An Agent injected with malicious instructions will not pause to consider "is this instruction consistent with my design principles" (deductive check), nor will it decompose its own behavior to see which step has deviated from course (reductive check). It will simply continue operating on the a posteriori axis — extracting patterns from input (induction), producing "best" output (abduction), and that "best" output happens to be what the attacker wanted.

Intent detection is essentially an attempt to externally supply the missing a priori capability: not just "matching the best output" (abduction), but "is this behavioral sequence reasonable within the task context" (deductive check).

7.4 Toward the History of Philosophy

The history of philosophy can be read as a history of traversal among the four quadrants.

Seventeenth-century rationalism (Descartes, Leibniz, Spinoza) worked in the deductive quadrant. Descartes deduced an entire metaphysical system from "I think, therefore I am." Leibniz dreamed of a "universal calculus" that would turn all philosophical disputes into computation.

Eighteenth-century empiricism (Locke, Berkeley, Hume) was the inductive quadrant's counterattack against the deductive quadrant. Locke said the mind is a blank slate; all knowledge comes from experience. Hume pushed induction's remainder to the extreme: even causation is just habitual association, not logical necessity.

Twentieth-century analytic philosophy (Russell, early Wittgenstein, logical positivism) worked in the reductive quadrant. Philosophical propositions were decomposed into logical atoms; complex concepts were reduced to combinations of simple concepts. Early Wittgenstein's Tractatus was reduction taken to the extreme — decomposing the world into atomic facts and language into atomic propositions.

Pragmatism (Peirce, James, Dewey) worked in the abductive quadrant. Peirce himself was the originator of the abduction concept. Pragmatism's core thesis is: a theory's meaning lies not in its logical structure (deduction), not in its empirical basis (induction), not in what it can be decomposed into (reduction), but in what it can explain, what it can predict, what effects it can have on practice — this is the abductive stance.

Kant's "critical philosophy" was the first consciously attempted traversal across all four quadrants. He sought to synthesize rationalism (deduction) and empiricism (induction), used transcendental analysis (reduction) to handle the conditions of cognition, and used abductive reasoning to build moral metaphysics. But Kant's system was ultimately pulled back into the deductive quadrant by Hegel — Hegel integrated Kant's critical results into a new deductive system (dialectics), ever more complete, ever more closed, until Kierkegaard chiseled from outside: the system explains everything except the one doing the explaining.

This is the philosophical-historical version of "staying in deduction leads to lock-down" as described in Section 4.2.

Chapter 8. Non-Trivial Predictions

Core thesis: From the 2×2 structure and the four structural remainders, non-trivial testable predictions can be derived. Each prediction is accompanied by a falsification condition — if the prediction fails, the framework is falsified at that point.

The following are all structural predictions. To become strictly testable propositions, several key terms require working operationalization: how to determine that a discipline "primarily relies on a single quadrant," how to identify whether an innovation constitutes "cross-quadrant traversal," how to assess which quadrants an AI system has or lacks working capacity in. This paper provides directional predictions and falsification conditions; it does not complete all operationalization details here.

8.1 Single-Quadrant Discipline Ceiling Prediction

Prediction: Any discipline that primarily relies on a single quadrant will find its deepest difficulty structurally equivalent to that quadrant's remainder.

Derivation: If the four remainders are structural (Chapter 3), then a discipline staying within a single quadrant will necessarily be limited by that quadrant's remainder. The more purely a discipline stays within a single quadrant, the more precisely its ceiling corresponds to that quadrant's remainder.

Testable: Pure mathematics (deductive quadrant) — its deepest difficulty is the origin and consistency of axioms, precisely deduction's remainder (where do premises come from, are they consistent). Pure statistics (inductive quadrant) — its deepest difficulty is that correlation does not equal causation, precisely induction's remainder (regularities do not guarantee necessity). Neuroscience (reductive quadrant) — its deepest difficulty is the hard problem of consciousness, precisely reduction's remainder (emergence is irreducible). Clinical medicine (abductive quadrant) — its deepest difficulty is misdiagnosis, precisely abduction's remainder (the best explanation is not necessarily the true cause).

Falsification condition: If a discipline primarily relying on a single quadrant is found whose deepest difficulty does not correspond to that quadrant's structural remainder — for instance, if pure mathematics' deepest difficulty were insufficient empirical data rather than axiom origin — the framework is falsified at this point.

8.2 Cross-Quadrant Innovation Regularity

Prediction: Major scientific breakthroughs do not occur within a single quadrant but at the moment of quadrant traversal.

Derivation: If staying in a single quadrant leads to lock-down (Chapter 4), then breakthroughs can only be achieved through traversal to another quadrant. Work within a quadrant can accumulate precision but will not produce fundamentally new frameworks.

Testable: Darwin's theory of natural selection: traversal from induction (extensive species observation, geological data accumulation) to abduction (creative explanatory leap about species diversity). Einstein's general relativity: traversal from abduction (reinterpreting gravity — gravity is not a force but spacetime curvature) to deduction (deriving field equations from the equivalence principle). Turing's computability theory: traversal from reduction (decomposing computation into the most basic operations — read, write, move, change state) to deduction (deriving the undecidability of the halting problem from the Turing machine model).

In every case the breakthrough point is not within a quadrant — not more observation within the inductive quadrant, not more hypotheses within the abductive quadrant, not finer decomposition within the reductive quadrant. The breakthrough is at the moment of traversal: carrying one quadrant's remainder into another quadrant, using the other quadrant's tools to handle what the previous quadrant could not.

Falsification condition: If a major scientific breakthrough is found that was completed entirely within a single quadrant — with no quadrant traversal whatsoever — the framework is falsified at this point.

8.3 AI System Security Structural Prediction

Prediction: The security vulnerabilities of AI systems are positively correlated with the number of missing quadrants. The more quadrants missing, the higher the security risk.

Derivation: If the completeness of all four quadrants is a structural condition for the sound operation of a cognitive system (Chapter 4), then a system missing quadrants has no remainder-detection capacity in the missing directions. Missing directions are the attack surface — attackers need only attack in the direction where the system has no detection capacity.

Testable: Current LLM Agent systems are nearly completely paralyzed on the a priori axis (analyzed in Section 7.3). The framework predicts: security vulnerabilities like prompt injection and scope drift should cluster in the direction of a priori axis absence (the system cannot check its own behavior from first principles, cannot decompose its own reasoning steps), not in the a posteriori axis direction (the system is strong at pattern extraction and best-output generation).

Falsification condition: If AI system security vulnerabilities are found to be uncorrelated with the number of missing quadrants — for instance, if a system complete in all four quadrants has equally many vulnerabilities — the framework is falsified at this point.

8.4 Disciplinary Fusion Direction Prediction

Prediction: When two disciplines fuse, the direction of fusion always follows the direction of remainder exposure — discipline A's remainder points toward the quadrant occupied by discipline B.

Derivation: If remainder is the driving force of traversal (Chapter 4), then disciplinary fusion does not occur randomly — not "interdisciplinary work is fashionable so let us do some too" — but along the direction of remainder. A discipline hits its own ceiling (that quadrant's remainder), the ceiling's form points to another quadrant, and another quadrant happens to contain a discipline that can supply the missing element.

Testable: Computational neuroscience's fusion direction: neuroscience (reductive quadrant) hits the hard problem of consciousness (reduction's remainder — emergence is irreducible), driving it to seek computational models from the deductive quadrant to handle emergence. Behavioral economics' fusion direction: economics (inductive quadrant, experimental economics) hits counterexamples to the rational-agent hypothesis (induction's remainder — counterexamples), driving it to seek psychological explanations from the abductive quadrant to handle irrational behavior.

Falsification condition: If the direction of disciplinary fusion is found to be inconsistent with the remainder direction — for instance, if reductive-quadrant disciplines predominantly fuse with other reductive-quadrant disciplines (same-quadrant fusion rather than cross-quadrant traversal) — the framework is falsified at this point.

Chapter 9. Conclusion

Recovery The Methodological Overview built the operating system. This paper draws the map.

The operating system describes how the chisel-construct cycle runs — chiseling produces constructs, constructs have remainders, remainders compel further chiseling. The map describes what the chisel-construct cycle runs on — four methods form a 2×2 structure, each method carries an ineliminable structural remainder, and the chisel-construct cycle is the movement of traversal across all four quadrants.

The operating system does not know where it is. The map cannot run on its own. Together: a cycle that knows how to run, running on a map that knows the terrain.

The true content of the 2×2 is not four cells but the arrows between them. Methods are not tools in a toolbox but the movement-forms of the chisel-construct cycle. You do not choose methods; you are pushed toward methods by remainder.

Contributions I. The epistemological 2×2 map and four structural remainders. Direction (a priori / a posteriori) × operation (synthesis / analysis) positions four classical methods. Each method's remainder is not a defect of the method but is produced by the very operation that gives the method its power — power and remainder are two sides of the same operation. The purer the method, the sharper the remainder. Staying in any single quadrant, you will be locked down by that quadrant's structural remainder — the single-quadrant lock-down theorem.

II. The chisel-construct cycle positioned as traversal movement. The chisel-construct cycle is not a fifth method but the movement of traversal across all four quadrants. The core of the 2×2 is not the cells but the remainder-driven arrows. The subject does not choose methods; the subject is pushed toward methods by remainder. Chisel = setting out from the current quadrant's remainder, being pushed into the next. Construct = building a temporarily stable structure in the new quadrant.

III. Epistemological reinterpretation of "ignorance and arrogance" with DD-level distinction. Ignorance = the ability to leave the current quadrant (not treating any method as complete). Arrogance = the ability not to be co-opted by any quadrant during traversal (always setting out from one's own negation). Traversal occurs at every DD level — remainder-compelled traversal requires no permission from the subject. But conscious traversal requires 14DD+: seeing the entire map, recognizing remainder the moment it appears.

Open Questions I. Is there a priority ordering among the four quadrants? This paper demonstrates that all four quadrants must be traversed, but does not demonstrate whether the sequence of traversal has structural constraints. Does the chisel-construct cycle always start from a particular quadrant? Or is the starting point arbitrary? If there is a priority ordering, what is its relationship to the unfolding direction of the DD sequence?

II. Precise correspondence between the 2×2 and the DD sequence. Do different DDs in the DD sequence correspond to different quadrants? For instance, 1DD-4DD primarily in the reductive quadrant (decomposing wholes into parts), 5DD-8DD primarily in the inductive quadrant (extracting regularities from cases), 9DD- 12DD primarily in the abductive quadrant (explanatory leaps about emergence), 13DD-16DD primarily in the deductive quadrant (deriving ethical structures from principles)? If this correspondence holds, the DD sequence itself is a complete traversal of all four quadrants. But this requires DD-by-DD verification, which this paper does not undertake.

III. Language discreteness and quadrant preference. The Methodological Overview demonstrated that chiseling freedom and construct precision are inversely correlated. The Language Application Paper demonstrated that low-discreteness languages (Chinese) correspond to high chiseling freedom. Question: do users of low-discreteness languages traverse more easily on the 2×2 (because high chiseling freedom makes single-quadrant lock-down harder), while users of high-discreteness languages are more easily locked in a single quadrant (because high construct precision makes the comfort zone of constructs stronger)?

IV. Multi-subject traversal. This paper discusses a single subject moving between quadrants. When multiple subjects are simultaneously in motion on the 2×2, how does their mutual chiseling change the dynamics of traversal? Can a subject locked in the deductive quadrant be chiseled out by a subject in the inductive quadrant?

This connects to the discussion of human mutual chiseling in Methodology Paper III (How to Find Remainders).

Author's Statement This paper is the author's independent theoretical work.

Academic background. The author's doctoral research in computer science focused on ontology, with core work including OntoGrate (automatic semantic mapping between ontologies) and knowledge-hierarchy-based classification of network anomaly events. The training in CS ontology — constructing and translating within formal systems — is the ground-level practical foundation for the theory in this paper.

The role of Zesi Chen. Zesi Chen does not appear in the acknowledgments because she is not external to this paper — she is internal to it, a structural condition of the paper. For twenty years she has continuously exercised negation upon the author. The subject-condition discussion in Chapter 6 derives directly from the understanding of this sustained negation.

The role of AI tools. AI tools were used during writing as dialogue partners and writing assistants, for concept refinement, argument testing, and text generation. All theoretical innovations, core judgments, and final editorial decisions were made by the author.

Acknowledgments. Thanks to Claude (Anthropic) for serving as the primary writing assistant and dialogue partner — the 2×2 structure of this paper was first chiseled out in dialogue with Claude. Thanks to ChatGPT (OpenAI) for key editorial suggestions during review, particularly the terminology change from "verification" to "illustration" and the deepened treatment of abduction's remainder. Thanks to Gemini (Google) for the review- stage deepening of the Peircean-level remainder of abduction and the corrected positioning of LLMs on the 2×2 map. Thanks to Grok (xAI) for flagging structural repetition during review.

Han Qin (秦汉) · @hqinjarsy · SAE Methodology Series