探结构主义下的现代逻辑学的特征.docVIP

[标签:标题] 探究结构主义下的现代逻辑学的特征 本文关键词：结构主义，逻辑学，探究，特征 探究结构主义下的现代逻辑学的特征 本文简介：摘要：20世纪以来，结构主义在数学哲学中占据着主导地位，作为与数学密不可分的现代逻辑学也具有结构主义特征。这种特征表现为：重要的是考察所研究对象的结构以及结构之间的关系，而不必考虑所研究对象本身的内在品质。现代逻辑学的总体特征就是研究对象的构造性的数学特征，即：在句法和语义的基础上，利用定义、公理和 探究结构主义下的现代逻辑学的特征 本文内容： 摘要：20世纪以来， 结构主义在数学哲学中占据着主导地位， 作为与数学密不可分的现代逻辑学也具有结构主义特征。这种特征表现为：重要的是考察所研究对象的结构以及结构之间的关系， 而不必考虑所研究对象本身的内在品质。现代逻辑学的总体特征就是研究对象的构造性的数学特征， 即：在句法和语义的基础上， 利用定义、公理和推理规则， 对现实中的对象进行抽象化和模型化， 进而给出相关定理的证明。 　　 　　关键词：结构主义； 现代逻辑学； 结构； 关系； 　　　　Modern Logic from the Perspective of Structuralism 　　 　　Abstract:Since the 20th century, structuralism has taken the leading position in mathematical philosophy.Modern logic, inseparable from mathematics, has the characteristics of structuralism.This feature is characterized by the importance of examining the structure and the relationship between the object and the structure rather than considering the intrinsic quality of the object.The general characteristics of modern logic is the structural mathematical characteristics of the object, namely:on the basis of the syntax and semantics, using definitions, axioms and inference rules to abstract and model real objects, and finally offering the proof of relevant theories. 　　 　　Keyword:structuralism; modern logic; structure; relation; 　　 　　关于数学与逻辑的关系问题， 费雷格学派主张：ldquo;数学是逻辑学的一个分支rdquo;;布尔学派则认为：ldquo;逻辑学是数学的一个分支rdquo;[1]220.不争的事实则是：逻辑学与数学不能相互剥离， 它们ldquo;血脉相连rdquo;、ldquo;生命相依rdquo;, 二者ldquo;你中有我， 我中有你rdquo;[1]220.从逻辑学和数学双重视域来看， 形式化的现代逻辑学可以说是应用数学的一个分支， 其高度抽象性和形式化特征决定了它像数学一样具有广泛的应用性。现代逻辑学的蓬勃发展， 离不开对逻辑进行哲学反思。 　　 　　逻辑哲学就是对逻辑进行哲学反思的科学。而数学哲学是数学的基础， ldquo;是研究数学的本体论、认识论和方法论以及其他问题的知识体系rdquo;, 数学哲学研究的问题最后都会涉及到数学与逻辑的关系[2]15.虽然逻辑哲学与数学哲学在研究的论题、研究的视角、研究的侧重点和研究方式等方面都有所不同， 但是由于逻辑 （尤其是形式化的现代逻辑学） 与数学具有如下共同特征：纯形式化特征、高度抽象性、极端精确性和严格性、广泛的应用性[2]15-16.这些共同特征以及数学和逻辑学常常具有一批共同或类似的课题， 决定了逻辑哲学和数学哲学具有非常密切的关系。因此， 从某种意义上说， 对逻辑的哲学思考， 很大程度上就是对数学的哲学思考。就像逻辑学与数学不能相互剥离一样， 逻辑哲学和数学哲学其实也是很难剥离开来的。 　　 　　20世纪以来， 结构主义在数学哲学中占据着主导地位， 那么结构主义是否在逻辑学中也有所反映呢？这正是本文要探讨的问题。 　　 　　一、结构主义的四大学派及其基本观点 　　 　　19世纪， 在微积分的算术化和