本文针对康德的批评，即康德既忽略了经验主义者的非古典推理，又忽略了莱布尼兹重新尝试建立力学的尝试。 考虑到这种逻辑分歧，康德的对立面（实际上是将莱布尼兹的人类迷宫的两个迷宫应用于特定主体），根据二分法关于逻辑类型的两种选择，代表了两种平行的推理方式。 通过增加关于数学种类的二分法，可以得到科学基础的新概念。 莱布尼兹的知识哲学代表了科学史和知识哲学史上与这些基础最接近的近似。