As Kant shows in A 71–76 of the First Critique, his table of the twelve “logical functions of understanding” (in A 70) is an indispensable extension of a table of four well-known logical functions that we find in a section of the Logic that was “already finished” in Aristotle’s times: The Square of Oppositions. The undisputed completeness of this special table thus warrants the completeness of Kant’s general table as well. Any further philosophical proof of completeness for Kant’s table of judgements as a whole is therefore not necessary at all. And due to the contingency of “kind and number” of human forms of intuition and functions of judgment, such a ‘proof’ would not even be possible according to Kant – and thus it is not a subject (or even a part) of his Transcendental Deduction of the Categories. A concluding evaluation of Kant’s own statements about the proof-structure of the B-Deduction as a whole supports this claim.

中文翻译：

---

Kritik der Reinen Vernunft de Vollständigkeit der Urteilstafel tatsächlich (nur) 是“vor Augen stellen”吗？康德的总体逻辑与超验哲学

正如康德在 A 71-76 中所表明的那样第一次审查，他的十二个“理解的逻辑函数”表（在 A 70 中）是我们在逻辑这在亚里士多德时代“已经完成”：对立方。其完整性无可争议特别的因此，该表保证了康德的完整性一般的表也​​是如此。任何进一步哲学的因此，康德判断表作为一个整体的完整性证明并不成立必要的根本不。而由于人类直觉形式和判断功能的“种类和数量”的偶然性，这样的“证明”甚至不会被证明。可能的根据康德的说法——因此它不是他的主题（甚至不是他的一部分）超验的类别的扣除。对康德自己关于 B 演绎的证明结构的陈述的结论性评估总体上支持了这一主张。