检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:郝一江[1] 陶侃 HAO Yi-jiang;TAO Nan(Institute of Philosophy, Chinese Academy of Social Science, Beijing 100732;School of Marxism, Sichuan Normal University, Chengdu, Sichuan 610066, China)
机构地区:[1]中国社会科学院哲学所,北京100732 [2]四川师范大学马克思主义学院,成都610066
出 处:《四川师范大学学报(社会科学版)》2018年第3期78-83,共6页Journal of Sichuan Normal University(Social Sciences Edition)
基 金:国家社会科学基金项目"面向中文信息处理的汉语语篇的逻辑语义及其推理模式研究"(16BZX081)
摘 要:20世纪以来,结构主义在数学哲学中占据着主导地位,作为与数学密不可分的现代逻辑学也具有结构主义特征。这种特征表现为:重要的是考察所研究对象的结构以及结构之间的关系,而不必考虑所研究对象本身的内在品质。现代逻辑学的总体特征就是研究对象的构造性的数学特征,即:在句法和语义的基础上,利用定义、公理和推理规则,对现实中的对象进行抽象化和模型化,进而给出相关定理的证明。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.
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.145