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

探究结构主义下的现代逻辑学的特征探究结构主义下的现代逻辑学的特征 本文关键词：结构主义，逻辑学，探究，特征 探究结构主义下的现代逻辑学的特征 本文简介：摘要：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; 关于数学与逻辑的关系问题， 费雷格学派主张：数学是逻辑学的一个分支;布尔学派则认为：逻辑学是数学的一个分支[1]220.不争的事实则是：逻辑学与数学不能相互剥离， 它们血脉相连、生命相依,...