文章摘要
变元符号与演绎系统——兼论我国古代为何缺乏演绎系统的论述
Review on Researches of Axiomatic Theories of Compositional Truth
  
DOI:
中文关键词: 变元符号  演绎系统  中国古代逻辑  中国古代数学
英文关键词: 
基金项目:国家社会科学基金项目(15XYY012)
作者单位
郝一江1,2 1.中国社会科学院 哲学研究所北京 1007322.华中科技大学 哲学系湖北 武汉 430074 
摘要点击次数: 937
全文下载次数: 344
中文摘要:
      中国古代逻辑思想没有进入演绎系统的阶段,究其原因,在很大程度上在于没有应用变元并发展出变元的概念。中国古代数学未能走出实用的领域,没有演绎系统化,因而未能走向理论的深度,原因类同。很难想像,在缺乏变元的情况下,数学会有当今的成就,逻辑学也不可能成为一门基础理论。
英文摘要:
      It is the basic idea of axiomatic theories of truth to add axioms for truth to the base theory and to expand the language of the base theory with the predicate T. If we add the axiomatization of the inductive clauses used to define the truth by Tarski to
查看全文   查看/发表评论  下载PDF阅读器
关闭