形式逻辑的本质就是差异辨析。观点或是界说即为属加种差。数学，是符号化（或图形化）的逻辑，即用符号或图形等方式体现的逻辑。逻辑和数学都是思维方式，两者作为形式组成详细知识的一部门。

知识的详细内容作为质料组成知识的另一组成部门。数学及逻辑学，不是综合知识，它们只涉及人所先天固有的知识能力或形式。这些学科的研究工具不是在空间直观中出现给我们的外部工具，而是人自心田先天结构出来的工具。综合知识是关于外部工具的知识，外部工具是指在空间直观中出现给我们的工具，因此空间是获得综合知识的须要前提。

综合知识是从物理学开始的。综合知识不行能是绝对的，因为它需要实验的验证，这与实验的方法、技术等条件相关，所以综合知识是相对的。实验的本质，就是将外部工具与我们所先天固有的逻辑与数学形式相关联，通过逻辑与数学对外部工具出现给我们的内容加以归纳整理。康德关于“几何学知识是综合知识”的叙述有误。

康德认为，几何学的命题为综合命题，综合的实现是因为可以借助空间这种纯直观。但厥后非欧几何的发现彻底否认了这种看法。

因为非欧几何中的命题（如罗氏几何的平面三角形三个内角和大于二直角，黎曼几何的平面三角形三个内角和小于二直角）并不能在空间这种纯直观中显现。非欧几何不需要直观介入形成组成其理论的命题。而且，切合我们纯直观（我们人类的日常生活的状况下）的欧式几何学只是非欧几何学在一定条件下的特例。借助空间在直观中研究我们结构的图形可以资助对数学尤其是几何学的明白，但空间不是须要条件。

本文来源：AOA官方入口-www.51wangkong.com