Self-as-an-End
Self-as-an-End Theory Series · Methodology Paper II

The Epistemological Map of Chisel-Construct
凿构循环的认识论地图

Han Qin (秦汉)
EN
中文
Abstract

The General Methodology (DOI: 10.5281/zenodo.18842450) established the chisel-construct cycle as an executable logical operating system, from 0D to 16DD. But on what epistemic terrain does this operating system run? The General Methodology did not answer. This paper answers that question.

The Western epistemological tradition has four basic methods: deduction, induction, reduction, abduction. This paper argues that these four methods form a 2×2 structure (direction × operation), each method has one structural remainder, and the four remainders are irremovable. The chisel-construct cycle is not a fifth method—it is the movement across the four quadrants itself, driven from one quadrant to the next by each remainder.

Core theorem: Any method that stays within a single quadrant will be locked dead by that quadrant's structural remainder. The driving force of the chisel-construct cycle is not methodological choice—it is the irremovability of remainders.

Keywords: epistemology, deduction, induction, reduction, abduction, structural remainder, chisel-construct cycle, quadrant traversal, 2×2 structure

Chapter 1 — The Problem: On What Terrain Does the Chisel-Construct Cycle Run?

Core claim: The General Methodology built the operating system (how the chisel-construct cycle runs) but drew no map (what it runs on). An operating system without a map is blind—it knows it is running, but not where it is.

1.1 The Problem Left by the General Methodology

The General Methodology proved the internal mechanism of the chisel-construct cycle: chisel (negation) → construct (sediment) → remainder (incompleteness) → bridge (re-negation) → object-body (wall). Five concepts, one cycle, from 0D to 16DD. The General Methodology's contribution was turning this cycle from intuition into an executable logical operating system—defined, ordered, with conserved quantities.

But it 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 chiseling doing? Is it deriving from known principles that this construct does not hold (deductive chiseling)? Is it negating this construct with an empirical counterexample (inductive chiseling)? Is it taking apart this construct to find a missing piece inside (reductive chiseling)? Is it proposing an alternative explanation to negate this construct (abductive chiseling)?

The General Methodology does not distinguish. It speaks of "chiseling," but what specific cognitive form the chiseling takes, what position the chiseling occupies on the epistemic terrain—this is not developed.

This is not a defect of the General Methodology. The task of the General Methodology 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 drive re-chiseling. It does not need to know the cognitive type of each chiseling, just as an operating system does not need to know what the CPU is computing to schedule processes.

But once the operating system is built, the map becomes necessary. Without knowing what cognitive terrain the chisel-construct cycle is running on, you do not know what the nature of each chiseling step is, 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, abduction. These four methods are usually treated as four tools in a toolbox—facing different problems, pick the right one. Use deduction for mathematics, induction for natural science, reduction for mechanisms, abduction for finding causes.

This understanding's presupposition is: the user stands outside the toolbox and has choice. You look at the problem first, then decide which method to use. Method is tool, you are the user of the tool, there is distance between you and the tool.

This paper argues that this presupposition is wrong (Chapter 4 for details).

1.3 This Paper's Task

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

The map's contents: the structural positions of the four methods (Chapter 2), the four structural remainders (Chapter 3), why one 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), the rays extending from the map to specific domains (Chapter 7), and non-trivial predictions derived from the map (Chapter 8).

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

Core claim: Deduction, induction, reduction, and abduction form a 2×2 structure. Two axes: direction (starting from principles vs. starting from phenomena) and operation (preserving wholeness vs. decomposing). The four quadrants are four basic directions of cognitive operation—minimally sufficient, open but not closed.

2.1 Two Axes

Cognitive operation has one basic fork: where do you start from? One direction is starting from principles toward phenomena. You have a principle (axiom, law, framework), you use this principle to test the experiential world, to check whether the experiential world matches the principle, or to derive what the experiential world should look like from the principle. This is the a priori direction. The other direction is starting from phenomena toward principles. You have a pile of experience (data, observations, cases), you extract patterns from these experiences, search for regularities, construct interpretations. 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 classic methods into an operable terrain.

Cognitive operation has another basic fork: how do you handle the object? One way is to preserve the wholeness of the object. You do not break apart the object—you work at the level of the whole, deriving conclusions from wholes or finding common patterns across multiple wholes. This is synthesis. The other way is to decompose the object into parts. You break the whole apart, look at what is inside, use parts to explain the whole. This is analysis.

The two axes cross, producing four quadrants. If someone insists on adding a third axis, they must prove one thing: that this axis can derive new structural remainders, rather than just re-expressing existing remainders in another form. Until then, the two axes are the minimally sufficient decomposition.

2.2 The Four Quadrants

Preserve Whole (Synthesis) Decompose (Analysis)
From Principles (A priori) Deduction Reduction
From Phenomena (A posteriori) Induction Abduction

Deduction (a priori × synthesis). Starting from known principles, preserving logical wholeness, deriving necessary conclusions. Principles are not broken apart; conclusions do not exceed the premises. Deduction's power is necessity: if the premises are true, the conclusion cannot be false. Deduction's price is closure: conclusions are always within the scope of the premises, never one step beyond.

Reduction (a priori × analysis). What this paper means by "reduction" is not just any analysis that breaks an object apart, but giving explanatory priority to lower-level constituents: the whole is understood as ultimately explicable by parts. Starting from known principles, decomposing the object into more basic parts for explanation. Physics reduces macro-phenomena to particle behavior. Reductionism decomposes consciousness into neuronal discharges. Reduction's power is precision: decomposed to the most basic level, every part can be independently examined. Reduction's price is the loss of combinatorial mode: once broken apart, reassembling the parts does not necessarily restore the whole.

Induction (a posteriori × synthesis). Starting from multiple phenomena, preserving the wholeness of phenomena, inducing a general rule. Not breaking apart each phenomenon to look inside, only looking at the common patterns across phenomena. Induction's power is openness: it can discover principles from experience, surpassing what you knew when you started. Induction's price 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, after decomposing and analyzing the phenomena, inferring the most probable explanation. Phenomena are treated as clues; clues are decomposed and recombined; the best explanation is assembled. C.S. Peirce defined abduction as "the only logical process through which new hypotheses are generated"—induction goes from cases to rules, deduction from rules to conclusions, abduction leaps from conclusions back to rules. Abduction's power is creativity: it can conjure a new concept out of nothing to explain phenomena. Abduction's price is the unverifiability of the leap: the leapt-to explanation may be the best, but "best" does not equal "true."

2.3 Four Large Classes, Not Closed Classification

The four quadrants are four basic directions of cognitive operation, not an exhaustive classification. Actual cognitive operations can be more fine-grained and can cross quadrant boundaries. This is not a defect of the 2×2—it is the 2×2's structural predicament as a construct. The 2×2 itself has a remainder. If one claims the four quadrants exhaust all cognitive operations, one is saying this construct has no remainder—directly violating the Remainder Conservation Theorem. The correct posture is: this is the best current construct within the field of view, open but not closed.

Chapter 3 — Four Structural Remainders

Core claim: Each method has one irremovable structural remainder. The remainder is not the method's defect—it is the method's boundary: what the method encounters when fully executed, what the method itself cannot handle. The remainder is not the method performing poorly—the better the method performs, the clearer the remainder becomes.

3.1 Deduction's Remainder: Necessity Purchased, Experience Unreachable

Deduction derives conclusions from premises. If the premises are true, the conclusion is necessarily true. This is deduction's power. But where do the premises come from? Premises are not deduction's product. Deduction only manages from premises to conclusions, not the premises themselves. You give deduction a set of premises, it gives you a set of conclusions. But "is this set of premises correct?" and "why are these premises this way and not another way?"—these questions are not within deduction's jurisdiction. Premises must come from other methods (rules observed by induction, hypotheses leapt to by abduction), or be treated as self-evident axioms.

Deduction's remainder is this: the source of premises is not within deduction's jurisdiction.

Inside a deductive system you can go very far, very precisely. From five axioms you can derive the entirety of Euclid's Elements; from set-theoretic axioms you can derive nearly all of modern mathematics. But no matter how far you go, you will not encounter the experiential world—because the experiential world is not inside the premises. The deductive system is closed: conclusions do not exceed the premises. Closure is its power (guaranteeing necessity), and simultaneously its remainder (never reaching experience).

This remainder is irremovable. It is not because deduction is not good enough—precisely because deduction is too good. Its necessity comes from closure; you cannot have both necessity and openness. If you want conclusions to be necessarily true, you must accept that conclusions always remain within the scope of the premises. If you want to encounter experience, you must step outside deduction, but the moment you step outside deduction you are no longer under the protection of necessity.

Manifestation in mathematics: 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 can mathematics describe the physical world?" is not a mathematical question. Eugene Wigner called this "the unreasonable effectiveness of mathematics in the natural sciences." This "unreasonableness" is not truly unreasonable—it is deduction's remainder manifesting at the disciplinary level: mathematics (the deductive system) cannot reach the physical world (experience). This gap is not mathematics' defect; it is deduction's structural boundary.

3.2 Induction's Remainder: Rules Accumulate, the Next Counterexample Is Always on Its Way

Induction extracts common patterns from multiple cases. You observed a thousand swans, all white, and induced "swans are white." The more cases you observe, the more confident you are in this rule. But confidence is not necessity. One thousand white swans cannot prove "swans are white"—the thousand-and-first may be black. And historically black swans truly exist: in 1697, Dutch explorers discovered black swans in Australia; a thousand years of induction was negated by one bird.

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

This remainder is irremovable. It is not because we observe too little. You can observe a million swans, ten million, a hundred million, but you can never observe all swans. Induction's own operation (from finite cases to general rules) contains a jump from the finite to the infinite. This jump has no logical guarantee—logical guarantees are deduction's business, not induction's.

Hume saw this two-hundred-plus years ago. He asked: can "the sun has risen every day in the past" derive "the sun will rise tomorrow"? It cannot. The jump from "past" to "future" has no logical bridge. Hume's problem is not a technical difficulty of induction—it is induction's structural boundary.

Manifestation in science: Every paradigm revolution in the history of science (Kuhn's term) is a manifestation of induction's remainder. Newton's mechanics accumulated two hundred years of successful induction (nearly all macro-motion phenomena conform to Newtonian mechanics), then Mercury's perihelion precession and the constancy of light speed—two counterexamples appeared. Counterexamples are not accidents; they are induction's structural product—the more samples induction has, the greater the damage capacity of the counterexample (because confidence is greater, the overturn is more complete). The remainder (the next counterexample) is always waiting.

3.3 Reduction's Remainder: Decomposed to the End, There Is Always Irreducible Residue

Reduction decomposes the whole into parts, using parts' behavior to explain the whole's behavior. Atoms explain molecular properties, molecules explain cellular function, cells explain the behavior of living bodies. Reduction's direction is downward—from whole to part, from macro to micro, from complex to simple.

Reduction's power is precision: decomposed to the most basic level, every part can be independently described and independently examined. Physics reduces to the particle level; every particle's behavior can be precisely described by quantum mechanics.

But the whole is not equal to the sum of its parts. After decomposing and then recombining, there is a gap between what is assembled and the original whole. This gap is called emergence. Emergence is not inside any part—it is the product of the parts' combinatorial mode itself. You decompose water into hydrogen and oxygen; hydrogen and oxygen are not liquids, but water is a liquid—liquidity is emergence. You decompose a poem into individual words; words do not contain poetic meaning—meaning is emergence. You decompose a team into individuals; individuals do not contain the team's coordination ability—coordination is emergence.

Reduction's remainder is this: emergence is irreducible.

This remainder is irremovable. It is not because we decompose too coarsely. 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 the product of combinatorial mode, not the property of components. Reduction's own operation (from whole to parts) at the moment of operating discards the combinatorial mode—and the combinatorial mode is precisely the source of emergence.

Manifestation: The "hard problem of consciousness" (David Chalmers) is reduction's remainder manifesting in the domain of consciousness. You can decompose the brain to neurons, to synapses, to electrochemical signals—every level can be precisely described. But "why do these physical processes accompany subjective experience?" is not answerable by reduction. You can completely describe every physical state of the brain, but the jump from physical states to subjective experience is not within the description—because subjective experience is emergence, not inside any part.

3.4 Abduction's Remainder: The Leap Cannot Be Closed, "Best" ≠ "True"

Abduction has two levels, requiring separate treatment. The first level is Peirce's original definition: abduction is a creative leap that generates hypotheses. You face a phenomenon and leap to a wholly new concept to explain it. Darwin faced species diversity and leaped to "natural selection." Einstein faced the constancy of light speed and leaped to "spacetime curvature." These concepts were not "derived" from data—the data do not logically point to these concepts. They are leaps: from phenomena to explanation there is a gap, and the leap crosses this gap.

The second level is the later simplified "Inference to the Best Explanation" (IBE): from existing candidate explanations, select the best. You have three hypotheses; you select the "best" one according to criteria such as simplicity, explanatory power, and consistency.

Both levels have remainders, but of different depths. IBE-level remainder: explanatory power ≠ truth. The best explanation is always "best given current evidence"—new evidence may make another explanation the best. And the best explanation may not be on your candidate list—you can only choose the best from the explanations you can think of; explanations you cannot think of are not in the competition. More fundamentally: the criteria for selection (simplicity, explanatory power, consistency) are not derived from the phenomena—you bring them in. Why is a simpler explanation better? This is not a question abduction can answer.

Peirce-level remainder goes deeper: the leap itself cannot be closed. Abduction infers causes from effects (a posteriori), but it can never prove internally that "this cause necessarily leads to this effect." The causal closure—"because X, and only X can lead to Y"—must be supplemented by deduction. Abduction can give the most creative hypothesis, but the gap between the hypothesis and truth is structural, not a matter of the quantity of evidence.

Abduction's remainder is therefore double: the selection criterion is external (IBE level), and the causal loop is unprovable (Peirce level).

3.5 Structural Unity of the Four Remainders

QuadrantMethodRemainderNature of Remainder
A priori × SynthesisDeductionSource of premisesMethod cannot reach experience
A posteriori × SynthesisInductionNext counterexampleMethod cannot guarantee necessity
A priori × AnalysisReductionIrreducible emergenceMethod discards combinatorial mode
A posteriori × AnalysisAbductionLeap cannot be closedMethod's creative leap has no logical bridge

The four remainders share one common structure: each method's remainder is precisely manufactured by that method's own operation. Deduction's closure guarantees necessity, and the same closure manufactures the remainder of not reaching experience. Induction's openness lets it discover rules from experience, and the same openness manufactures the remainder of counterexamples. Reduction's decomposition lets it precisely describe parts, and the same decomposition manufactures the remainder of emergence. Abduction's leap lets it create new concepts, and the same leap manufactures the unclosable remainder.

Power and remainder come from the same operation. You cannot eliminate the remainder while preserving the power—because they are two sides of the same thing. The remainder is not the method performing poorly—the better the method performs, the clearer the remainder becomes.

Chapter 4 — Cannot Stay in Any Single Quadrant

Core claim: Each method's remainder is precisely another method's starting point. Staying in any single quadrant, that quadrant's remainder will lock you dead. The chisel-construct cycle must traverse all four quadrants.

4.1 The Main Compensation Directions of the Four Remainders

The remainder's specific form gives one main compensation direction. You do not randomly jump to another quadrant—but neither is there only one unique path. The remainder first exposes "what is lacking," and the main compensation direction is the quadrant that most directly fills this lack.

Deduction cannot reach experience—what you lack is a source of experience. You need induction: starting from experience, establishing premises, then returning to deduction to examine what these premises can derive. Induction cannot guarantee necessity—what you lack is logical guarantee. You need deduction: putting induction's results into a deductive structure, checking logical consistency, deriving testable predictions. Reduction discards emergence—what you lack is holistic interpretation. You need abduction: making a holistic interpretive leap for the emergent phenomenon, giving a hypothesis for "why do these parts combine to produce this emergence." Abduction's leap cannot be closed—what you lack is decomposable verification. You need reduction: taking apart the hypothesis, examining whether each part holds, seeing which link in the hypothesis is weakest.

The four quadrants form two pairs of cycles: deduction ⇌ induction (the a priori–a posteriori cycle), reduction ⇌ abduction (the analysis–synthesis cycle). But there are also intersections between the two cycles: deduction's conclusions need reduction to verify their parts; induction's rules need abduction to give explanations; reduction's emergence needs induction to collect more cases; abduction's hypotheses need deduction to derive testable predictions. The four quadrants are not four parallel roads—they are a network. Each quadrant's remainder pushes you toward the other quadrants.

4.2 Lockdown: The Consequences of Staying in a Single Quadrant

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

Staying in deduction: pure rationalism. Your system is extremely precise, logically impeccable, but disconnected from the experiential world. Hegel is the extreme case—his dialectical law system was nearly perfectly self-consistent, but Kierkegaard's counter-attack was incisive: "the system explained everything, except the explainer itself." You used deduction to build a perfect edifice, but the edifice hangs in the air, without touching ground.

Staying in induction: pure empiricism. Your data is infinite, correlations are infinite, but there is no explanatory framework. The typical dilemma of the big-data era is inductive lockdown: "we know A and B are correlated, but don't know why." Induction tells you "what," not "why." You have a pile of land but no architecture.

Staying in reduction: pure reductionism. You have decomposed everything to the most basic level—elementary particles, gene sequences, neuronal discharges. Every part is described extremely precisely. But meaning is lost, emergence is lost, wholeness is lost. "You are nothing but a pile of atoms"—technically correct, actually says nothing. You have decomposed the architecture into bricks, but bricks do not contain the architecture.

Staying in abduction: pure explanationism. You have a "best explanation" for every phenomenon; every explanation is splendid, everything sounds right. But explanations are not mutually checked, each explanation stands alone. Conspiracy theory is the extreme case of abduction gone wrong—it has an "explanation" for every phenomenon (and quite splendid ones), but the explanations cannot be falsified, because any refutation can be edited into a new "explanation." You have a pile of stories but no verifiable structure.

All four lockdowns share one common structure: the method's remainder is ignored, suppressed, declared unimportant, or forcibly "digested" internally within this quadrant. Lockdown is not the method's fault—the method works very well within its quadrant. Lockdown is the fault of stopping. The method has no problem; staying inside the method has the problem.

4.3 The Necessity of Traversal

Why must the chisel-construct cycle traverse all four quadrants? Because remainders are irremovable. Irremovable remainders force you out of the current quadrant. This is this paper's core argument, stated only here: the four methods are not a toolbox; the subject does not stand outside the toolbox. You are running inside the method. What you call "switching methods" is actually the traversal driven by remainders. You are not picking tools in front of a toolbox—you are being pushed forward on the map. The chisel-construct cycle is not a fifth method—it is this traversal itself.

Chapter 5 — The Chisel-Construct Cycle's Position on the Map

Core claim: The chisel-construct cycle is not a fifth method, not inside any of the four quadrants. The chisel-construct cycle is the movement across the four quadrants itself. Chisel = being forced from the current quadrant's remainder to the next quadrant. Construct = establishing 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 rules. Reduction always goes from wholes to parts. Abduction always goes from phenomena to explanations. Every method can be formalized, taught, reproduced.

The chisel-construct cycle has no fixed operational pattern. Its next step is determined by remainders; the direction of remainders is unpredictable. You do not know which quadrant the next remainder will push you toward—that depends on what form the remainder of the current construct takes. The chisel-construct cycle cannot be reduced to a fixed flow. The next step is determined by the remainder's form, and the remainder's appearance direction cannot be pre-sorted into a single path. The chisel-construct cycle has no path, only one driving force: remainder.

5.2 The Forms of Chisel and Construct in the Four Quadrants

Chisel (negation) has different forms in different quadrants. In the deductive quadrant: negating a premise of a derivation—"your premise is not self-consistent" or "your derivation has a jump." In the inductive quadrant: raising a counterexample—"you say swans are white, but I saw a black one." In the reductive quadrant: pointing out emergence—"you decomposed it to the atomic level, but liquidity is not in the atoms." In the abductive quadrant: proposing an alternative explanation—"you say the culprit is A, but if the culprit is B, all clues work equally well."

Cross-quadrant chiseling is more fundamental: using one quadrant's remainder to negate another quadrant's construct. Using experience to negate a deductive system (induction chisels deduction)—"your axiom system is perfectly beautiful, but the real world is not like this." Using logic to negate empirical induction (deduction chisels induction)—"your statistical correlation cannot explain causality." Using emergence to negate reductive explanation (whole chisels parts)—"you decomposed the brain to synapses, but consciousness is not in the synapses." Using decomposition to negate holistic explanation (parts chisel whole)—"your hypothesis sounds brilliant, but taking it apart shows the third link does not hold."

Constructs also have different forms in different quadrants. The construct of the deductive quadrant is a theorem—the necessary conclusion derived from premises. The construct of the inductive quadrant is a rule—the common pattern extracted from cases. The construct of the reductive quadrant is a mechanism—the causal chain discovered by decomposition. The construct of the abductive quadrant is a hypothesis—a creative interpretation of phenomena. But constructs' common structure does not change: negation's sediment, temporarily stable, with remainder. No matter which quadrant you are in, your construct is what remains after chiseling—it has temporary stability and has irremovable remainders waiting for you.

5.3 The 2×2's True Content Is Not the Grid—It Is the Arrows

When the reader first sees the 2×2, they see four boxes—four methods classified. Four nouns, four definitions, neat and tidy. After this chapter, looking at the same table again, what should be seen is not the boxes, but the arrows between boxes. Inside the deductive box there is an arrow pointing toward induction—that is deduction's remainder (cannot reach experience) pushing you. Inside the inductive box there is an arrow pointing toward deduction—that is induction's remainder (cannot guarantee necessity) pushing you. Inside the reductive box there is an arrow pointing toward abduction—that is reduction's remainder (emergence is irreducible) pushing you. Inside the abductive box there is an arrow pointing toward reduction—that is abduction's remainder (leap cannot be closed) pushing you. The four boxes are constructs (method's sediment); the four arrows are chiseling (remainder-driven traversal). The 2×2's true content is movement, not classification.

Chapter 6 — Subject Conditions: The Ability to Move Between the Four Quadrants

Core claim: The chisel-construct cycle's subject must be able to move between the four quadrants. Any DD-level subject is traversing—remainders force traversal without needing the subject's permission. But the degree of awareness of traversal varies with DD level. "Ignorance and arrogance" is the subject condition through which traversal changes from implicit to explicit.

6.1 The Quadrant-Locking Subject Mechanism

A person being locked in a certain quadrant is not because they do not know other quadrants exist. Most trained people know deduction, induction, reduction, and abduction exist as four methods. Being locked is not a loss of knowledge—it is the force of habit. A mathematician's training locks him in the deductive quadrant. All his tools—proof, derivation, axiomatization—are tools of the deductive quadrant. When he encounters the problem of the source of premises, his first response is not to move toward induction ("let me look at the experiential world") but to try to resolve within the deductive quadrant ("let me add an axiom"). An experimental scientist's training locks him in the inductive quadrant. When he encounters the "correlation ≠ causality" problem, his first response is not to move toward deduction ("let me build a theoretical model") but to try to resolve within the inductive quadrant ("let me increase the sample size"). Training produces constructs. Constructs produce comfort zones. Comfort zones resist movement. When remainders appear within the quadrant, the locked subject does not traverse to other quadrants—he tries to digest remainders within this quadrant. But remainders are irremovable (Chapter 3); trying to digest remainders within this quadrant only creates more constructs to cover remainders, not resolve them. This is the subject mechanism of lockdown: it is not that the exit is invisible—it is habit that nails you to the spot.

6.2 Traversal Does Not Require High DD—Conscious Traversal Does

Two things need to be distinguished: traversal itself, and knowing you are traversing. A 12DD scientist is driven from induction toward deduction by anomalous data—he is traversing. But he does not know he is traversing. He thinks he is only "trying a different approach" or "looking from another angle." He does not know his traversal was forced out by induction's remainder (counterexample), does not know that the deductive quadrant he is moving toward will also have its own remainder waiting. Remainders at any DD level are forcing traversal. This does not require the subject's awareness. Physics goes from induction (accumulation of observational data) to deduction (construction of theoretical models) and then back to reduction (mechanism decomposition of experimental verification)—this traversal does not require physicists to know their position on the 2×2. Remainders push and that is enough. A 14DD+ subject is different. A 14DD+ subject knows they are traversing. They know deduction has a remainder (cannot reach experience), knows they are being forced out by this remainder, knows the inductive quadrant they are moving toward will also have a remainder (counterexample), knows that in the inductive quadrant they will also be forced out. They see the whole map, see the remainders of all four quadrants, see the direction of the arrows. This awareness does not change the structure of traversal—remainder is still remainder, forcing is still forcing. What changes is traversal efficiency and sense of direction. The conscious traversal subject will not waste time in each quadrant trying to digest irremovable remainders. Knowing remainders cannot be eliminated, they do not waste time eliminating them—they traverse directly.

6.3 "Ignorance" as the Ability to Leave

The General Methodology defined the subject condition of hundun: "ignorant and arrogant." This paper gives this definition an epistemological re-interpretation. Ignorance = not treating the current quadrant's method as complete. You work excellently in the deductive quadrant; you know deduction has a remainder. This "knowing" is not knowledge—knowledge is a construct, can be written down, taught, tested. This "knowing" is a distrust of constructs: you are ready at any time to be pushed out by remainders. Your construct stands as stable as it can in the current quadrant, yet you do not treat it as the final answer. Without ignorance, you cannot leave. The more exquisite your construct in the current quadrant, the more the remainder is ignored, treated as "unimportant detail." The exquisite cage is still a cage.

6.4 "Arrogance" as the Ability Not to Be Assimilated

Arrogance = when moving between the four quadrants, always starting from your own negation. You enter the inductive quadrant without becoming an inductivist. You enter the deductive quadrant without becoming a rationalist. You traverse each quadrant, use each quadrant's tools, but are not methodologically assimilated by any quadrant. Without arrogance, you will be assimilated in every quadrant. You enter the inductive quadrant; inductivism tells you "only experience is the source of knowledge"; you believe it, and you cannot leave. You enter the deductive quadrant; rationalism tells you "only logic has truth"; you believe it, and you cannot leave again. Every quadrant has a complete methodological narrative; every narrative can persuade you; every narrative wants to keep you. Ignorance is movement, arrogance is movement without losing yourself. Neither is dispensable. Ignorance lets you leave—you do not treat any quadrant as the endpoint. Arrogance lets you leave without losing yourself—you are not assimilated as a devotee by any quadrant's methodology.

Chapter 7 — Application Rays

Core claim: The 2×2 is not an abstract classification—it is real terrain. From the 2×2, rays can be extended toward specific domains, seeing the specific manifestations of the four quadrants and four remainders in different domains. Every ray is the core theorem's manifestation: stopping in a single quadrant gets locked dead, only traversing all four quadrants can continue.

7.1 Ray toward Science

Science methodology's most influential model is Popper's "hypothesis-deduction model": propose a hypothesis (abduction), derive testable predictions (deduction), test predictions with experiment (induction). Three quadrants are running, but Popper refuses to acknowledge induction's position. His famous statement "the myth of induction" attempts to compress science methodology into deduction + abduction two quadrants: science is not inducing rules from data, science is proposing bold hypotheses and then attempting falsification. From the 2×2 perspective, Popper's methodology compressed the inductive quadrant. The compressed inductive remainder does not disappear—it comes back in another form. The framework predicts: when the scientific community systematically underestimates induction's status (insufficient samples, insufficiently rigorous statistical methods, insufficient experimental design), induction's remainder (rules are unstable) will erupt in the form of "replication crisis"—a large amount of already published experimental results cannot be replicated. The replication crisis in psychology and biomedical fields since the 2010s is this prediction's manifestation.

7.2 Ray toward Law

The common law system (Anglo-American law) has case precedents at its core. Judges extract rules from a large number of cases (induction), make best-explanation inferences about new cases (abduction). This system mainly runs on the a posteriori axis—two quadrants: induction and abduction. Its chiseling freedom is high (judges have relatively large discretion) and construct precision is low (judgments may be inconsistent). The civil law system (continental European law) has codified law at its core. Judges derive judgments from legal articles (deduction), decompose case facts to match legal elements (reduction). This system mainly runs on the a priori axis—two quadrants: deduction and reduction. Its chiseling freedom is low (judges constrained by legal articles) and construct precision is high (strong legal predictability). Both have the risk of being locked dead. Common law when locked in induction produces large amounts of inconsistent judgments—the same facts, different judges induce different rules, judgment results are contradictory. Civil law when locked in deduction faces inability to flexibly respond to new problems (situations not covered by legal articles)—the articles are dead, reality is alive. The structural nature of legal reform: from locked-dead quadrants, traversing to other quadrants. Common law introducing codified law elements (traversing toward the a priori axis), civil law introducing case precedent reference (traversing toward the a posteriori axis). The historical mutual borrowing of the two great legal systems is not accidental institutional choice—it is traversal forced by remainders.

7.3 Ray toward AI

LLM's position on the 2×2 requires distinguishing two levels. At the underlying architecture level: Transformer's self-attention mechanism at the token level does extreme analysis—decomposing context into tokens, computing each token's attention weight matrix to other tokens. This is reductive operation. But bottom-level reduction does not equal system-level reduction. LLM cannot decompose its own reasoning process into verifiable parts to present externally—you ask it "why did you give this answer," and what it gives you is a seemingly reasonable post-hoc explanation (abduction), not a decomposition of its actual reasoning process (reduction). At the system level: LLM is the extreme of induction and abduction. Training is extracting patterns from massive data (induction—extracting statistical rules from hundreds of billions of tokens). Output is the most fitting completion of the input (simulation of abduction—jumping from context to "most probable next text"). But LLM is nearly completely paralyzed on the a priori axis: it has no built-in axiom system to do strict deduction (its "reasoning" is induced reasoning patterns, not deduction from axioms), and it cannot do system-level decomposition examination of its own behavior (it does not know which of its steps is the key step, which step can be replaced). The framework predicts: AI systems' security attack surfaces will preferentially appear in the direction of missing quadrants. LLM's explainability problem (XAI) is the direct manifestation of system-level reduction's absence. Prompt injection and scope drift in agent security are the consequences of the a priori axis's overall paralysis—the system cannot start from principles to verify its own behavior.

7.4 Ray toward Philosophy of History

The history of philosophy can be read as a history of traversals between the four quadrants. Seventeenth-century rationalism (Descartes, Leibniz, Spinoza) worked in the deductive quadrant. Descartes started from "I think therefore I am" and deduced an entire metaphysical system. Leibniz dreamed of a "universal calculus" to turn all philosophical disputes into calculation. Eighteenth-century empiricism (Locke, Berkeley, Hume) was the counterattack of the inductive quadrant on 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 causal relations are habitual associations, not logical necessity. Twentieth-century analytic philosophy (Russell, early Wittgenstein, logical positivism) worked in the reductive quadrant. Decomposing philosophical propositions into logical atoms, reducing complex concepts to combinations of simple concepts. Early Wittgenstein's Tractatus Logico-Philosophicus is the extreme of reduction—decomposing the world into atomic facts, decomposing language into atomic propositions. Pragmatism (Peirce, James, Dewey) worked in the abductive quadrant. Peirce himself is the proposer of the abduction concept. Pragmatism's core argument: 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 effect it can have on practice—this is abduction's posture. Kant's "critical philosophy" was the first attempt to consciously traverse all four quadrants. He tried to synthesize rationalism (deduction) and empiricism (induction), use a priori analysis (reduction) to handle the conditions of cognition, use abductive reasoning to build moral metaphysics. But Kant's system was ultimately taken back to the deductive quadrant by Hegel—Hegel integrated Kant's critical results into a new deductive system (dialectical method), the system became more and more complete, more and more closed, until Kierkegaard stabbed from the outside: "the system explained everything, except the explainer itself." This is the philosophy of history version of "being locked dead in deduction" described in Section 4.2.

Chapter 8 — Non-Trivial Predictions

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

The following predictions are all structural predictions. For them to become strictly testable propositions, prior operationalization of a few key terms is required: how to determine a discipline "primarily relies on a single quadrant," how to identify whether an innovation constitutes "cross-quadrant traversal," how to evaluate an AI system's functional capability and absence in which quadrants. This paper first gives directional predictions and falsification conditions, without completing all operationalization details here.

8.1 Single-Quadrant Discipline Ceiling Prediction

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

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

Verifiable: Pure mathematics (deductive quadrant): its deepest difficulty is the source and consistency of axioms—precisely deduction's remainder (where do premises come from, are premises consistent). Pure statistics (inductive quadrant): its deepest difficulty is that correlation ≠ causality—precisely induction's remainder (rules cannot 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 ≠ 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 example, pure mathematics' deepest difficulty is insufficient empirical data rather than non-axiom sources—the framework is falsified at this point.

8.2 The Rule of Cross-Quadrant Innovation

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

Derivation: If staying in a single quadrant gets locked dead (Chapter 4), then breakthroughs can only be realized by traversing to another quadrant. Work within a quadrant can accumulate precision, but does not generate fundamentally new frameworks.

Verifiable: Darwin's natural selection theory is traversal from induction (large amounts of species observations, geological data accumulation) to abduction (creative interpretive leap to species diversity). Einstein's general relativity is traversal from abduction (reinterpreting gravity—gravity is not a force, it is spacetime curvature) to deduction (deriving field equations from equivalence principle). Turing's computability theory is 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). Every breakthrough point is not inside the quadrant—not doing more observations inside the inductive quadrant, not proposing more hypotheses inside the abductive quadrant, not decomposing more finely inside the reductive quadrant. The breakthrough point is at the moment of traversal: bringing the remainder from one quadrant and jumping to another quadrant, using another quadrant's tools to handle what the previous quadrant could not handle.

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

8.3 Structural Prediction of AI System Security

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

Derivation: If the completeness of the four quadrants is a structural condition for cognitive systems functioning healthily (Chapter 4), then systems missing quadrants have no remainder-detection capability in the missing direction. The missing direction is the attack surface—attackers only need to attack from the direction the system cannot detect.

Falsification condition: If AI systems' security vulnerabilities are found to be unrelated to the number of missing quadrants—for example, a system with all four quadrants complete has just as many security vulnerabilities—the framework is falsified at this point.

8.4 Prediction of the Direction of Disciplinary Convergence

Prediction: When two disciplines converge, the direction of convergence is always traversal from the direction the remainder exposes—discipline A's remainder points toward the quadrant where discipline B is located.

Derivation: If remainder is the driving force of traversal (Chapter 4), then disciplinary convergence is not randomly occurring—not "interdisciplinary is trendy so we come together too"—but occurring along the direction of remainders. A discipline hits its own ceiling (that quadrant's remainder); the ceiling's form points to another quadrant; that other quadrant happens to have a discipline that can fill this gap.

Verifiable: Convergence direction of computational neuroscience: neuroscience (reductive quadrant) hit the hard problem of consciousness (reduction's remainder—emergence is irreducible), drove it to seek computational models of the deductive quadrant to handle emergence. Convergence direction of behavioral economics: economics (inductive quadrant's experimental economics) hit the counterexample of rational person assumptions (induction's remainder—counterexample), drove it to seek abductive quadrant's psychological explanations to handle irrational behavior.

Falsification condition: If the direction of disciplinary convergence is found to be inconsistent with the direction of remainders—for example, a discipline in the reductive quadrant converging with another discipline also in the reductive quadrant (same-quadrant convergence rather than cross-quadrant traversal) occupies the mainstream—the framework is falsified at this point.

Chapter 9 — Conclusion

Recovery

The General Methodology built the operating system. This paper drew the map. The operating system says how the chisel-construct cycle runs—chiseling produces constructs, constructs have remainders, remainders drive re-chiseling. The map says what the chisel-construct cycle runs on—four methods form a 2×2 structure, each method has one irremovable structural remainder, the chisel-construct cycle is the movement across the four quadrants itself. The operating system does not know where it is. The map will not run by itself. Combined together: a cycle that knows how to run, running on a map that knows the terrain.

The 2×2's true content is not four boxes—it is arrows between boxes. Method is not tool in a toolbox—it is the chisel-construct cycle's form of movement. You do not choose methods; you are pushed toward methods by remainders.

Contributions

I. Epistemological 2×2 map and four structural remainders. Direction (a priori / a posteriori) × operation (synthesis / analysis) positions four classic methods. Each method's remainder is not the method's defect, but manufactured by the method's own operation—power and remainder are two sides of the same thing. Stopping in any single quadrant, the quadrant's structural remainder locks you dead—single-quadrant lockdown theorem.

II. Positioning the chisel-construct cycle as traversal movement. The chisel-construct cycle is not a fifth method—it is the movement across the four quadrants itself. The 2×2's core is not boxes but remainder-driven arrows. The subject does not choose methods; the subject is pushed toward methods by remainders. Chisel = being forced from the current quadrant's remainder to the next quadrant. Construct = establishing temporarily stable structure in the new quadrant.

III. Epistemological re-interpretation of "ignorance and arrogance" and DD-level distinction. Ignorance = not treating the current quadrant's method as complete (ability to leave). Arrogance = when traversing between quadrants, always starting from your own negation (ability not to be assimilated). Traversal at any DD level occurs—remainders force traversal without needing the subject's permission. But conscious traversal requires 14DD+: seeing the whole map, recognizing remainders the moment they appear, traversing directly without wasting time trying to eliminate the irremovable.

Open Questions

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

II. The precise correspondence between 2×2 and the DD sequence. Do different DDs in the DD sequence correspond to different quadrants? For example, do 1DD–4DD mainly work in the reductive quadrant (decomposing parts from the whole), do 5DD–8DD mainly work in the inductive quadrant (extracting rules from cases), do 9DD–12DD mainly work in the abductive quadrant (interpretive leap for emergence), do 13DD–16DD mainly work in the deductive quadrant (deriving ethical structure from principles)? If this correspondence holds, it means the DD sequence itself is a complete cycle traversing the four quadrants. But this requires case-by-case DD verification; this paper does not expand on it here.

III. Language discreteness and quadrant bias. The General Methodology proved that chiseling freedom and construct precision are inversely related. The language applications paper proved that low-discreteness languages (Chinese) correspond to high chiseling freedom. Question: are users of low-discreteness languages more easily able to traverse on the 2×2 (because chiseling freedom is high, not easily locked dead by a single quadrant), while users of high-discreteness languages are more easily locked in a single quadrant (because construct precision is high, the construct's comfort zone is stronger)?

摘要

方法论总论(DOI: 10.5281/zenodo.18842450)建立了凿构循环作为可执行的逻辑操作系统,从0D推导至16DD。但操作系统在什么地形上运行,总论没有回答。本文回答这个问题。

西方认识论传统有四种基本方法:演绎(deduction),归纳(induction),还原(reduction),溯因(abduction)。本文论证这四种方法构成一个2×2结构(方向×操作),每种方法有一个结构性余项,四个余项不可消除。凿构循环不是第五种方法,是穿越四个象限的运动本身——被余项从一个象限逼入下一个象限。

核心定理:任何方法停留在单一象限内、必被该象限的结构性余项锁死。凿构循环的驱动力不是方法论选择、是余项的不可消除。

关键词:认识论,演绎,归纳,还原,溯因,结构性余项,凿构循环,象限穿越,2×2结构

第一章 问题的提出:凿构循环在什么地形上跑

核心命题:方法论总论建了操作系统(凿构循环怎么跑),但没画地图(跑在什么上面)。缺地图的操作系统是盲的——它知道自己在跑、不知道自己在哪。

1.1 总论留下的问题

方法论总论论证了凿构循环的内部机制:凿(否定)→ 构(沉淀物)→ 余项(不完整)→ 桥(再次否定)→ 物自体(碰壁)。五个概念,一个循环,从0D到16DD。总论的贡献是把这个循环从直觉变成了可执行的逻辑操作系统,有定义、有序列、有守恒定理。

但总论没有回答一个问题:凿构循环跑的时候,它在做什么类型的认知操作?你凿一个构。这次凿是在做什么?是从已知原理推出这个构站不住(演绎式凿),还是从一个经验反例否定这个构(归纳式凿),还是把这个构拆开发现里面缺了一块(还原式凿),还是提出一个替代解释来否定这个构(溯因式凿)?

总论不区分。总论说的是"凿",但凿的具体认知形态是什么、凿在认知地形上的位置是什么,总论没展开。这不是总论的缺陷。总论的任务是建操作系统,不是画地图。但操作系统建完之后,地图就变成了必要条件。不知道凿构循环跑在什么认知地形上,你就不知道每一步凿的性质是什么,不知道余项从哪个方向来,不知道下一步该往哪走。

1.2 四种方法不是工具箱

西方认识论传统有四种基本方法:演绎、归纳、还原、溯因。这四种方法通常被当作工具箱里的四把工具——面对不同问题,挑一把合适的用。这个理解的预设是:使用者站在工具箱外面,有选择权。本文论证这个预设是错的(第四章详述)。

1.3 本文的任务

给凿构循环画一张认识论地图。地图的内容:四种方法的结构位置(第二章),四个结构性余项(第三章),为什么不能停在任何一个象限(第四章),凿构循环在地图上的位置(第五章),穿越的主体条件(第六章),从地图向具体领域展开的射线(第七章),从地图推出的非平凡预测(第八章)。

第二章 2×2:四种方法的结构定义

核心命题:演绎、归纳、还原、溯因构成一个2×2结构。两个轴:方向(从原理出发 vs 从现象出发)和操作(保持整体 vs 拆解)。四个象限是认知操作的四个基本方向——最小充分分解,收但不封。

2.1 两个轴

认知操作有一个基本分岔:你从哪里出发?一个方向是从原理出发走向现象,这是先验方向。另一个方向是从现象出发走向原理,这是后验方向。认知操作还有另一个基本分岔:你怎么处理对象?一种是保持对象的整体性,这是综合。另一种是把对象拆解为部分,这是分析。两个轴交叉,产生四个象限。

2.2 四个象限

保持整体(综合) 拆解(分析)
从原理出发(先验) 演绎 Deduction 还原 Reduction
从现象出发(后验) 归纳 Induction 溯因 Abduction

演绎(先验×综合)。从已知原理出发,保持逻辑整体性,推出必然结论。演绎的力量是必然性;演绎的代价是封闭性:结论永远在前提的范围之内,不会超出一步。

还原(先验×分析)。本文所谓"还原",是赋予更低层构件以解释优先权:整体之所以可理解、被预设为最终要由部分来说明。还原的力量是精确性;还原的代价是组合方式的丢失:拆开之后,把部分重新组合不一定能还原整体。

归纳(后验×综合)。从多个现象出发,保持现象的整体性,归纳出一般规律。归纳的力量是开放性;归纳的代价是不确定性:无论你观察了多少案例,下一个案例永远可能是反例。

溯因(后验×分析)。从现象出发,将现象拆分析后,反推最可能的解释。皮尔斯(C.S. Peirce)定义溯因为"生成假设的唯一逻辑过程"。溯因的力量是创造性;溯因的代价是跳跃的不可验证:跳出来的解释可能是最好的,但"最好的"不等于"真的"。

2.3 四个大类,不是封闭分类

四个象限是认知操作的四个基本方向、不是穷尽性分类。这不是2×2的缺陷,是2×2作为一个构的结构性处境。2×2本身有余项。如果声称四个象限穷尽了一切认知操作,就是在说这个构没有余项——直接违反余项守恒。正确的姿态是:这是当前视野内的最佳构,收但不封。

第三章 四个结构性余项

核心命题:每种方法有一个不可消除的结构性余项。余项不是方法的缺陷,是方法的边界——方法凿到底时碰到的、方法自身无法处理的东西。余项不是方法做得不够好,是方法做得越好余项越明确。

3.1 演绎的余项:必然性买到了,经验碰不到

演绎从前提推出结论。如果前提为真,结论必然为真。但前提从哪来?前提不是演绎的产物。演绎只管从前提到结论,不管前提本身。演绎的余项就在这里:前提的来源不在演绎的管辖范围内。

这个余项不可消除。不是因为演绎不够好,恰恰是因为演绎太好了——它的必然性来自封闭性,你不可能既要必然性又要开放性。演绎系统是封闭的:结论不超出前提。封闭性是它的力量(保证了必然性),同时是它的余项(永远碰不到经验)。

显形:数学是最纯粹的演绎系统。数学的结论是必然的——2+3=5在任何宇宙都为真。但数学不能告诉你世界是否符合数学。维格纳(Eugene Wigner)把这个问题叫做"数学在自然科学中不合理的有效性"。这个"不合理"是演绎的余项在学科层级上的显现——数学(演绎系统)碰不到物理世界(经验),这个缝隙不是数学的缺陷,是演绎的结构性边界。

3.2 归纳的余项:规律积累了,下一个反例永远在路上

归纳从多个案例中提取共同模式。观察的案例越多,你对这条规律就越有信心。但信心不是必然性。一千只白天鹅不能证明"天鹅是白的"——第一千零一只可能是黑的。1697年荷兰探险家在澳大利亚发现了黑天鹅,一千年的归纳被一只鸟否定了。归纳的余项就在这里:下一个案例永远可能是反例。

这个余项不可消除。归纳的操作本身(从有限案例到一般规律)包含了从有限到无限的跳跃。这个跳跃没有逻辑保证。休谟两百多年前就看到了这一点:从"太阳过去每天都升起"能推出"太阳明天会升起"吗?不能。

显形:科学史上每一次范式革命(库恩的术语)都是归纳余项的实现。牛顿力学积累了两百年的成功归纳,然后水星近日点进动和光速不变这两个反例出现了。反例不是意外,是归纳的结构性产物——归纳的样本再多,余项(下一个反例)永远在等着。

3.3 还原的余项:拆到底了,总有不可还原的剩余

还原把整体拆解为部分,用部分的行为解释整体的行为。拆解之后重新组合,组合出来的东西和原来的整体之间有一个差。这个差叫做涌现。涌现不在任何一个部分里面,它是部分的组合方式本身的产物。你把水分子拆成氢和氧,氢和氧都不是液体,但水是液体——液态是涌现。还原的余项就在这里:涌现不可还原。

这个余项不可消除。还原的操作本身(从整体到部分)在操作的那一刻就丢弃了组合方式——而组合方式恰恰是涌现的来源。

显形:意识的"困难问题"(查默斯,David Chalmers)是还原余项在意识领域的显现。你可以把大脑拆解到神经元、拆到突触、拆到电化学信号——每一个层面都可以被精确描述。但"为什么这些物理过程伴随主观体验"不是还原能回答的。SAE框架的DD序列本身就是涌现序列——每一个DD都是对前一个DD的否定留下的涌现产物,每一步涌现都是还原的余项——你拆不回去。

3.4 溯因的余项:跳跃不可闭合,"最佳"不等于"真"

溯因有两个层次,需要分开处理。第一个层次是皮尔斯(C.S. Peirce)的原始定义:溯因是生成假设的创造性跳跃。达尔文面对物种多样性,跳出"自然选择"。爱因斯坦面对光速不变,跳出"时空弯曲"。第二个层次是后来被简化的"最佳解释推论"(Inference to the Best Explanation,IBE):从已有的候选解释中选最好的。

两个层次各有余项,但深浅不同。IBE层次的余项:解释力不等于真理性。皮尔斯层次的余项更深:跳跃本身不可闭合。溯因的余项因此是双层的:选择标准外在(IBE层),因果闭环不可证明(皮尔斯层)。

3.5 四个余项的结构统一

象限方法余项余项的性质
先验×综合演绎前提的来源方法碰不到经验
后验×综合归纳下一个反例方法保证不了必然性
先验×分析还原不可还原的涌现方法拆丢了组合方式
后验×分析溯因跳跃不可闭合方法的创造性跳跃没有逻辑桥梁

四个余项有一个共同结构:每种方法的余项恰好是该方法的操作本身制造的。力量和余项来自同一个操作。你不能消除余项而保留力量——因为两者是同一件事的两面。余项不是方法做得不够好,是方法做得越好余项越明确。

第四章 不能停在任何一个象限

核心命题:每种方法的余项恰好是另一种方法的起点。停在任何一个象限内,该象限的余项会把你锁死。凿构循环必须穿越全部四个象限。

4.1 四个余项的主要补偿方向

演绎碰不到经验——你缺的是经验来源。你需要归纳:从经验出发,建立前提,然后回到演绎检验这些前提能推出什么。归纳保证不了必然性——你缺的是逻辑保证。你需要演绎:把归纳的结果放入演绎结构中,检验其逻辑一致性,推出可检验的预测。还原拆丢了涌现——你缺的是整体解释。你需要溯因:对涌现现象进行整体性的解释跳跃,给出一个"为什么这些部分组合起来会产生这个涌现"的假说。溯因的跳跃不可闭合——你缺的是可拆解验证。你需要还原:把假说拆开,检验每一个部分是否站得住,看假说的哪个环节最弱。

4.2 锁死:停在单一象限的后果

停在演绎中:纯粹理性主义。你的体系极其精致,逻辑无懈可击,但与经验世界脱节。黑格尔是极端案例——他的辩证法体系自洽到近乎完美,但基尔凯郭尔的反击一针见血:"体系什么都解释了,就是没解释解释者自己。"

停在归纳中:纯粹经验主义。你的数据积累了无数,相关性发现了无数,但没有解释框架。大数据时代的典型困境就是归纳锁死:"我们知道A和B相关,但不知道为什么。"

停在还原中:纯粹还原主义。你把一切都拆到了最基本的层面——基本粒子、基因序列、神经元放电。每一个部分都描述得极其精确。但意义丢了,涌现丢了,整体性丢了。"你不过是一堆原子"——技术上正确,实际上什么也没说。

停在溯因中:纯粹解释主义。你对每个现象都有一个"最佳解释",每个解释都精彩,都说得通。但解释之间互相不检验,每个解释都自成体系。阴谋论是溯因失控的极端案例——对每个现象都有"解释",但解释无法被证伪,因为任何反证都可以被编入新的"解释"。

4.3 穿越的必然性

凿构循环为什么必须穿越四个象限?因为余项不可消除。这是本文的核心论点,只在此处说一次:四种方法不是工具箱,主体不站在工具箱外面。你在方法之中运行。你所谓的"切换方法",实际上是被余项逼迫的穿越。你不是在工具箱前面挑工具,你是在地图上被推着走。凿构循环不是第五种方法,是这种被迫穿越本身。

第五章 凿构循环在地图上的位置

核心命题:凿构循环不是第五种方法,不在四个象限的任何一个内部。凿构循环是穿越四个象限的运动本身。凿 = 从当前象限的余项出发被逼入下一个象限。构 = 在新象限中建立暂时稳定的结构。

5.1 凿构循环不是方法

方法有固定的操作模式。演绎永远从前提到结论。归纳永远从案例到规律。还原永远从整体到部分。溯因永远从现象到解释。每种方法都可以被形式化、被教授、被复制。凿构循环没有固定的操作模式。它的下一步由余项决定,余项的方向不可预测。凿构循环不能被还原为一套固定流程。凿构循环没有路径,只有一个驱动力:余项。

5.2 凿和构在四个象限中的形态

凿(否定)在不同象限中有不同的形态。在演绎象限内凿:否定一个推论的前提。在归纳象限内凿:提出反例。在还原象限内凿:指出涌现。在溯因象限内凿:提出替代解释。跨象限的凿是更根本的凿:用一个象限的余项否定另一个象限的构。构同样在不同象限有不同形态。演绎象限的构是定理,归纳象限的构是规律,还原象限的构是机制,溯因象限的构是假说。但构的共同结构不变:否定的沉淀物,暂时稳定,有余项。

5.3 2×2的真正内容不是格子,是箭头

读者第一次看到2×2的时候看到的是四个格子——四种方法的分类。本章之后再看同一张表,看到的应该不是格子,是格子之间的箭头。演绎格子里有一支箭指向归纳——那是演绎的余项(碰不到经验)在推你。归纳格子里有一支箭指向演绎——那是归纳的余项(保证不了必然性)在推你。还原格子里有一支箭指向溯因——那是还原的余项(涌现不可还原)在推你。溯因格子里有一支箭指向还原——那是溯因的余项(跳跃不可闭合)在推你。四个格子是构(方法的沉淀物),四支箭头是凿(余项驱动的穿越)。2×2的真正内容是运动,不是分类。

第六章 主体条件:在四个象限之间移动的能力

核心命题:凿构循环的主体必须能在四个象限之间移动。任何DD层级的主体都在穿越——余项逼迫穿越不需要主体的许可。但穿越的自觉程度随DD层级变化。"无知又自大"是穿越从隐性变成显性的主体条件。

6.1 象限锁定的主体机制

人被锁在某个象限,不是因为他不知道其他象限存在。被锁住不是知识的缺失,是习惯的力量。数学家的训练把他锁在演绎象限。他碰到前提来源问题的时候,他的第一反应不是走向归纳("让我去看看经验世界"),而是在演绎象限内部试图解决("让我加一条公理")。实验科学家的训练把他锁在归纳象限。分析哲学的训练把他锁在还原象限。临床医生的训练把他锁在溯因象限。每一种训练都产生了该象限内的精湛技能——同时也产生了离开该象限的巨大阻力。训练产生构,构产生舒适区,舒适区抵抗移动。

6.2 穿越不需要高DD,自觉穿越需要

需要区分两件事:穿越本身,和知道自己在穿越。一个12DD的科学家被数据里的反常现象逼着从归纳走向演绎——他在穿越。但他不知道自己在穿越。他以为自己只是"换个角度看看"。他不知道他的穿越是被归纳的余项(反例)逼出来的,不知道他走向的演绎象限也会有自己的余项等着他。余项在任何DD层级都在逼迫穿越。14DD+的主体不一样。14DD+的主体知道自己在穿越。他知道演绎有余项,知道自己正在被这个余项逼出去,知道他走向的归纳象限也有余项,知道他在归纳象限也会被逼出去。他看到了整张地图,看到了四个象限的余项,看到了箭头的方向。这个自觉不改变穿越的结构,改变的是穿越的效率和方向感。

6.3 "无知"作为离开的能力

方法论总论定义了hundun的主体条件:"无知又自大。"本文给这个定义一个认识论再解释。无知 = 不把当前象限的方法当作完备的。你在演绎象限工作得再好,你知道演绎有余项。这个"知道"不是知识——知识是构,可以被写下来、被教、被考试考。这个"知道"是一种对构的不信任:你随时准备好被余项逼出去。你的构在当前象限里站得再稳,你也不把它当作最终答案。没有无知,你就出不来。

6.4 "自大"作为不被收编的能力

自大 = 在四个象限之间移动时,始终从自己的否定出发。你进入归纳象限的时候不变成归纳主义者。你进入演绎象限的时候不变成理性主义者。你穿越每个象限、使用每个象限的工具,但不被任何象限的方法论收编。没有自大,你会在每个象限都被收编。每个象限都有一套完整的方法论叙事,每一套都能把你说服,每一套都想留住你。无知是运动,自大是运动时不丢掉自己。两者缺一不可。

第七章 应用射线

核心命题:2×2不是抽象分类,是实际的地形。从2×2出发,可以向具体领域展开射线,看四个象限和四个余项在不同领域中的具体形态。每一条射线都是核心定理的显形:停在单一象限被锁死,穿越四个象限才能继续。

7.1 向科学方向

科学方法论最有影响力的模型是波普尔的"假说-演绎模型":提出假说(溯因),推出可检验预测(演绎),用实验检验预测(归纳)。三个象限跑了,但波普尔拒绝承认归纳的地位,他的名言"归纳的神话"试图把科学压缩到演绎+溯因两个象限。从2×2看,波普尔的方法论压缩掉了归纳象限。被压缩掉的归纳余项不会消失——它会以另一种形式回来。框架预测:当科学界系统性地低估归纳的地位,归纳的余项(规律不稳定)就会以"复制危机"的形式爆发——大量已发表的实验结果不可重复。2010年代以来心理学和生物医学领域的复制危机是这个预测的显形。

7.2 向法律方向

普通法系统(common law,英美法系)以判例为核心。法官从大量判例中提取规律(归纳),对新案件做最佳解释推理(溯因)。这个系统主要在后验轴上运行。大陆法系统(civil law,欧陆法系)以成文法为核心。法官从法条出发推出判决(演绎),把案件事实拆解为法律要素进行匹配(还原)。这个系统主要在先验轴上运行。两者各有被锁死的风险。普通法被归纳锁死时产出大量不一致的判例。大陆法被演绎锁死时面对新问题无法灵活应对——法条是死的,现实是活的。法律改革的结构本质:从被锁死的象限穿越到其他象限。两大法系在历史上的互相借鉴不是偶然的制度选择,是被余项逼迫的穿越。

7.3 向AI方向

LLM在2×2上的占位需要区分两个层面。底层架构层面:Transformer的self-attention机制在token级别做的是极端的分析——把上下文拆解为token,计算每个token对其他token的注意力权重矩阵。这是还原操作。但底层有还原不等于系统级有还原。LLM不能把自己的推理过程拆解为可检验的部分呈现给外部——你问它"你为什么给出这个回答",它给你的是一个看起来合理的事后解释(溯因),不是它实际推理过程的拆解(还原)。系统级层面:LLM是归纳和溯因的极巨化。训练是从海量数据中提取模式(归纳)。输出是对输入的最佳补全推理(溯因的模拟)。但LLM在先验轴上几乎完全瘫痪:它没有内置的公理系统可以做严格演绎,它不能对自己的行为做系统级的拆解检验。框架预测:AI系统的安全攻击面优先出现在缺失象限的方向上。LLM的可解释性问题(XAI)是系统级还原缺失的直接表现。Agent安全中的prompt injection和scope drift是先验轴整体瘫痪的后果——系统没有从原理出发检验自身行为的能力。

7.4 向哲学史方向

哲学史可以被读作四个象限之间的穿越史。十七世纪的理性主义(笛卡尔、莱布尼茨、斯宾诺莎)在演绎象限工作。十八世纪的经验主义(洛克、贝克莱、休谟)是归纳象限对演绎象限的反击。二十世纪的分析哲学(罗素、维特根斯坦前期、逻辑实证主义)在还原象限工作。实用主义(皮尔斯、詹姆斯、杜威)在溯因象限工作。康德的"批判哲学"是第一次自觉地穿越四个象限的尝试。但康德的体系最终被黑格尔收回演绎象限——黑格尔把康德的批判成果整合进了一个新的演绎体系(辩证法),体系越来越完美、越来越封闭,直到基尔凯郭尔从外部凿了一刀:体系什么都解释了,就是没解释解释者自己。这就是4.2节说的"停在演绎中被锁死"的哲学史版本。

第八章 非平凡预测

核心命题:从2×2结构和四个结构性余项可以推出非平凡的可检验预测。每一条预测附带否证条件——如果预测失败,框架在该处被否证。

8.1 单象限学科的天花板预测

预测:任何主要依赖单一象限的学科,其最深层的困难在结构上等于该象限的余项。

可检验:纯数学(演绎象限)的最深层困难是公理的来源与一致性——这正是演绎的余项。纯统计学(归纳象限)的最深层困难是相关性不等于因果性——这正是归纳的余项。神经科学(还原象限)的最深层困难是意识的困难问题——这正是还原的余项。临床医学(溯因象限)的最深层困难是误诊——这正是溯因的余项。

否证条件:如果发现某个主要依赖单一象限的学科,其最深层困难不对应该象限的结构性余项,框架在此处被否证。

8.2 跨象限创新的规律

预测:重大科学突破不在单一象限内部发生,而在象限穿越的瞬间发生。

可检验:达尔文的自然选择理论是从归纳穿越到溯因。爱因斯坦的广义相对论是从溯因穿越到演绎。图灵的可计算性理论是从还原穿越到演绎。每一个案例的突破点都不在象限内部——突破点在穿越的瞬间:从一个象限带着它的余项跳到另一个象限,用另一个象限的工具处理前一个象限处理不了的问题。

否证条件:如果发现某个重大科学突破完全在单一象限内部完成——没有任何象限穿越——框架在此处被否证。

8.3 AI系统安全性的结构预测

预测:AI系统的安全漏洞与该系统缺失的象限数量正相关。缺失的象限越多,安全风险越高。

推导:LLM的可解释性问题(XAI)是系统级还原缺失的直接表现:你不能把LLM的输出拆解为可检验的推理步骤。Agent安全中的prompt injection和scope drift这类安全漏洞应该集中出现在先验轴缺失的方向(系统不能从原理出发检验自身行为、不能拆解自身行为的推理步骤),而不是在后验轴方向(系统在模式提取和最佳输出方面是强项)。

否证条件:如果发现AI系统的安全漏洞与缺失象限数量不相关——比如四个象限完整的系统安全漏洞一样多——框架在此处被否证。

8.4 学科融合的方向预测

预测:当两个学科发生融合时,融合的方向总是从余项暴露的方向穿越——学科A的余项指向学科B所在的象限。

可检验:计算神经科学的融合方向:神经科学(还原象限)碰到了意识的困难问题(还原的余项——涌现不可还原),驱动它寻求演绎象限的计算模型来处理涌现。行为经济学的融合方向:经济学(归纳象限的实验经济学)碰到了理性人假设的反例(归纳的余项——反例),驱动它寻求溯因象限的心理学解释来处理非理性行为。

否证条件:如果发现学科融合的方向与余项方向不一致——比如还原象限的学科与另一个还原象限的学科融合(同象限融合而非跨象限穿越)占了主流——框架在此处被否证。

第九章 结论

回收

方法论总论建了操作系统。本文画了地图。操作系统说的是凿构循环怎么跑——凿产生构,构有余项,余项迫使再凿。地图说的是凿构循环跑在什么上面——四种方法构成2×2结构,每种方法有一个不可消除的结构性余项,凿构循环是穿越四个象限的运动本身。操作系统不知道自己在哪。地图不会自己跑。两者合在一起:一个知道怎么跑的循环,跑在一张知道地形的地图上。

2×2的真正内容不是四个格子,是格子之间的箭头。方法不是工具箱里的工具,是凿构循环的运动形态。你不选择方法,你被余项推向方法。

贡献

一、认识论2×2地图与四个结构性余项。方向(先验/后验)×操作(综合/分析)定位四种经典方法。每种方法的余项不是方法的缺陷,是方法的操作本身制造的——力量和余项是同一个操作的两面。方法越纯,余项越尖。停在任何一个象限内,必被该象限的结构性余项锁死——单象限锁死定理。

二、凿构循环作为穿越运动的定位。凿构循环不是第五种方法,是穿越四个象限的运动本身。2×2的核心不是格子,是余项驱动的箭头。主体不选择方法,主体被余项推向方法。凿 = 从当前象限的余项出发被逼入下一个象限。构 = 在新象限中建立暂时稳定的结构。

三、"无知又自大"的认识论再解释与DD层级区分。无知 = 离开当前象限的能力(不把任何方法当作完备的)。自大 = 穿越时不被任何象限收编的能力(始终从自己的否定出发)。穿越在任何DD层级都发生——余项逼迫穿越不需要主体的许可。但自觉穿越需要14DD+:看到整张地图,在余项刚出现时就认出它,然后直接穿越。

开放问题

一、四个象限之间是否有优先序?本文论证了必须穿越全部四个象限,但没有论证穿越的顺序是否有结构性约束。凿构循环是否总是从某个象限开始?或者起点是任意的?如果有优先序,它和DD序列的展开方向有什么关系?

二、2×2与DD序列的精确对应。DD序列中不同的DD是否对应不同的象限?比如1DD–4DD主要在还原象限(从整体拆出部分),5DD–8DD主要在归纳象限(从案例中提取规律),9DD–12DD主要在溯因象限(对涌现的解释跳跃),13DD–16DD主要在演绎象限(从原理推出伦理结构)?这个对应如果成立,意味着DD序列本身就是一次穿越四个象限的完整循环。但这需要逐DD检验,本文不在此展开。

三、语言离散度与象限偏好。方法论总论论证了凿的自由度与构的精确度反相关。语言应用论文论证了低离散度语言(中文)对应高凿自由度。问题:低离散度语言的使用者是否在2×2中更容易穿越(因为凿的自由度高,不容易被单一象限锁死),高离散度语言的使用者是否更容易被锁在某个象限(因为构的精确度高,构的舒适区更强)?