← Critique of Pure Reason
第 6 章 · 24 分钟
The antinomies and the critique of the proofs of God
When both sides can be proved, the question was wrong.
概念地图
Antinomies
Both sides provable, so the question was wrong; the resolution draws a boundary rather than a verdict.
深色为本章概念，浅色为其他章
陪练模式
不想只是读？让它带你走一遍。
导师把这一章拆成小步，每一步先问你，再讲；你用自己的话答，它先认下对的部分再纠偏。用你自己的 AI，对话只存在这台设备上。
Locus01
延伸阅读
The dispute over a finite or infinite world · antiquity to the eighteenth century
Whether the world has a beginning in time and a limit in space had arguments on both sides and no progress for centuries. They argued against leaving such questions to common sense; the cost is that both sides take for granted that 'the world as a whole' is a given object one can talk about — and that assumption is where Kant goes to work.
Foundational
Kant · the antinomies · the four conflicts and their resolution
First writes out the proofs of thesis and antithesis side by side, then rules the two mathematical conflicts both false and the two dynamical ones both true once separated by level. He argued against taking sides on these questions; the cost is that the resolution needs the whole result of the Analytic and stands on very little of its own.
Turn
Kant · on the three proofs of the existence of God
The ontological, cosmological and physico-theological routes: the last two must borrow the first's step, and the first has already failed under 'existence is not a real predicate'. He argued against comparing the three proofs for persuasiveness; the cost is that this reduction itself needs argument, and the text is very compressed.
Turn
Hume · Dialogues Concerning Natural Religion · 1779
Attacks the design argument from the empirical side: the premises of analogical reasoning do not hold for a universe that is a single unrepeatable case. It complements Kant's formal attack — two routes to the same conclusion, neither depending on the other.
Revision
机制02
Both provable means a shared premise
Kant does something odd here: he sets out each side's proof next to the other, and writes both so that they go through. He calls the pairing an antinomy. Its place in the argument is not to display a predicament but to locate something: if two mutually exclusive claims can both be derived, the trouble is in neither of them but in what both used and neither stated.
机制A pair of mutually exclusive claims, through each being provable, exposes the unstated premise they share.
可迁移性测试
Move it to testing: if two contradictory assertions both pass on the same input, the fault is usually not in the assertions but in the fixture they share. The isomorphism breaks in that a fixture can be run on its own to check it, while the shared premise here can only be identified using earlier results.
机制03
Three routes collapse into one
The section on the proofs of God uses a different move: instead of weighing three arguments for persuasiveness, it inspects their dependencies. The cosmological route ends by saying the most real being exists necessarily, the physico-theological route ends by borrowing the cosmological, and all three land back on one step. Kant calls reason's supreme being a transcendental ideal and points out that an ideal is what reason posits in its search for systematic unity, not something given.
机制Three apparently independent proofs, through all having to take one same step, are carried away by a single refutation.
可迁移性测试
Move it to a dependency chain: three services look independent until load testing shows all of them calling the same downstream, which takes all three down when it fails. The isomorphism breaks in that dependencies can be read straight off a call graph, while the shared step here surfaces only under analysis.
Derivation04
The shape of an antinomy
What is being reconstructed is the shape of Kant's resolution, and what kind of move the resolution is.
The proofs of thesis and antithesis each go through as they stand
A premise Kant chose; the material is the two columns he writes out himself.
If two contradictory propositions can both be proved, some premise they share must be false
A premise Kant chose. It requires the two to be genuine contradictories rather than mere contraries — a distinction the next step uses.
The shared premise is that the world as a whole is given as a thing in itself
A premise Kant chose, his transcendental realism. This identification is the chapter's pivot.
推导 · 0 / 4
Worked derivation05
Running the third conflict: freedom and natural necessity
Are 'everything happens according to laws of nature' and 'there is a causality through freedom' contradictories?
Write out what contradiction requires, then check whether these two meet it.
裂缝06
Cracks in this reading
争议地形07
本书主张
That the four conflicts arise at all shows the question presupposes the world as a whole given in itself; the way out is to cancel the presupposition, not to declare a winner.
另一种看法
One line holds that modern cosmology does answer questions of this kind — expansion models, a finite unbounded spacetime, the age of the observable universe — so they are not pseudo-questions; what was missing in Kant's day was theory and instruments.
分歧扎在
The disagreement is rooted in whether the world as a whole can be an object of empirical inquiry, not in whether the two columns of proof have formal holes. Both sides grant that each column reads as though it goes through.
什么证据能裁决
What would settle it is the actual practice of cosmology: if propositions about the universe as a whole can be tested by observation and have been revised because of it, they fall inside possible experience and Kant drew the line in the wrong place. The observational record is public and recheckable.
The balance tips toward cosmology, with the scope kept in view: what gets tested is the age and geometry of the observable universe, not Kant's 'absolute totality of all appearances', which still has no point of entry. So this round moves the line rather than erasing it. What is missing is a way of putting the question that separates observable universe from world as a whole at the outset.
Textual test08
The 'four conflicts, two treatments' reading as a testable specification
The reading under test: Kant rules the two mathematical antinomies both false and the two dynamical ones both true once separated by level.
Edition: A 1781 and B 1787 side by side, the antinomies and their resolution cited by standard A/B pagination with a standard translation alongside
Fixed in advance; both editions must be checked.
Decisive passages: the columns of thesis and antithesis for all four conflicts, and the four corresponding sections of the resolution
Specified in advance, not picked after reading.
What counts as support: the resolution explicitly distinguishes mathematical from dynamical and gives two different treatments
Both must hold; a stated distinction with identical treatment does not count.
What the rival reading predicts: if all four were handled alike, the resolution would not need the distinction and would not set up a separation of levels for the last two
The two readings differ observably within the resolution.
Pre-registered failure condition: all four get one treatment, or the distinction does not match the treatments given
Either counts as the reading being refuted.
推导 · 0 / 3
接口09
Which slot it hangs on
挂在哪个槽位The conclusion you already hold is probably 'both sides have a point, so split the difference' — a default move for handling disagreement. That default is exactly what this chapter goes at.
Does this chapter (a) replace splitting the difference, or (b) constrain it: split only when each side is half right?
慢变量Register two slow variables: how many long-running disagreements you hold, and in how many of those you have written both arguments out side by side and looked for the shared premise. Look at the second first.
小结10
本章小结
01Writing both proofs out side by side is a locating move, not a display of predicament.
02When two mutually exclusive claims are both provable, the trouble is in what both used and neither stated.
03The resolution declares no winner; it cancels the question's presupposition — a conclusion about how the question was put.
04Separating levels rescues the compatibility of freedom and natural law, not the reality of freedom.
05'The shared premise is transcendental realism' is consistent with any evidence, so this course books it as unadjudicable.
提取练习 · 合上书，先自己答一遍。
?Is 'a false shared premise leaves the two claims no longer contradictory' (a) the relation of contradiction restated or (b) a textual claim refutable by the original?
?Does separating levels in the third conflict yield (a) freedom established or (b) freedom shown not to contradict natural law?
Forced choice11
A · Identify the mechanism
Which of these is a mechanism?
二选一
Forced choice12
C · Locate the crack
In which situation does this chapter's reading give a confident and wrong answer?
二选一
读到这里，把它记为已读。