论文部分内容阅读
20世纪以来,结构主义在数学哲学中占据着主导地位,作为与数学密不可分的现代逻辑学也具有结构主义特征。这种特征表现为:重要的是考察所研究对象的结构以及结构之间的关系,而不必考虑所研究对象本身的内在品质。现代逻辑学的总体特征就是研究对象的构造性的数学特征,即:在句法和语义的基础上,利用定义、公理和推理规则,对现实中的对象进行抽象化和模型化,进而给出相关定理的证明。