The abstract status of Kant's account of his ‘general logic’ is explained in comparison with Gödel's general definition of a formal logical system and reflections on ‘abstract’ (‘absolute’) concepts. Thereafter, an informal reconstruction of Kant's general logic is given from the aspect of the principles of contradiction, of sufficient reason, and of excluded middle. It is shown that Kant's composition of logic consists in a gradual strengthening of logical principles, starting from a weak principle of contradiction that tolerates a sort of contradictions in predication, and then proceeding to the (constructive) principle of sufficient reason, and to a classical-like logic, which includes the principle of excluded middle. A first-order formalisation is applied to this reconstruction, which reveals implicit modalities in Kant's account of logic, and confirms the implementability of Kant's logic into a sound and complete formal system.

中文翻译：

---

逻辑基础和康德的形式逻辑原理

与哥德尔对形式逻辑系统的一般定义和对“抽象”（“绝对”）概念的反思相比，康德对其“一般逻辑”的描述的抽象状态得到了解释。此后，从矛盾原理、充足理由原理和排中原理三个方面对康德的一般逻辑进行了非正式的重构。可见，康德的逻辑构成在于逻辑原理的逐渐强化，从容忍某种谓词矛盾的弱矛盾原理开始，再到充足理由的（构造性）原理，再到经典的逻辑原理。 -like 逻辑，其中包括排中原则。一阶形式化应用于这种重建，揭示了康德的隐式模态