在一个事实性领域，什么是真的和假的，形式逻辑只能以分析的必然性形式对此进行预判。自然，形式逻辑规则的普遍性能够通过人们形式地规定代数学规则术语——这完全像算术命题3＋3＝6被应用到苹果上就具有这样的形式：3个苹果＋3个苹果＝6个苹果一样——而被特殊化、具体化。例如，我因此可以分析地说两个化学的、光学的、语言学的命题：其中一个命题肯定另一个命题所否认的，其中一个命题是真的，另一个命题是假的等。但是没有人会相信：随着这些不言而喻地将形式逻辑规则转移到化学、物理学以及其他具体认识领域，诸如化学、物理学等一类的学科本身就大功告成。分析的必要性产生于经由纯转移，纯引入具体术语的形式逻辑本身。但是，具体认识，尤其是具有科学形式的具体认识如物理学、化学、语文学等想突出强调的，是具有特定内容的真理，对于具体之物是真的不是由于具体之物的纯范畴形式。而恰恰是对于这个具体之物而言是真的，或者这类真理对具体之物是真的是由于具体之物的普遍的、具体的种类。因此，分析的必要性没有触及我们相应地称为综合的无限真理领域，这些是逻辑之外的科学。只是作为辅助手段，作为方法链，如康德所言，逻辑规则和分析必要性出现在具体的科学中。因此，如果人们说，在任一特定知识领域（分析的知识领域自然除外）何是真，有一个好的意义，我们就不能察觉到逻辑规则。它们只给我们保护武器以防形式错误，因此不是用来防任何错误，而是只防那些依赖于纯逻辑形式的错误。