|
变元符号与演绎系统——兼论我国古代为何缺乏演绎系统的论述 |
Review on Researches of Axiomatic Theories of Compositional Truth |
|
DOI: |
中文关键词: 变元符号 演绎系统 中国古代逻辑 中国古代数学 |
英文关键词: |
基金项目:国家社会科学基金项目(15XYY012) |
|
摘要点击次数: 2021 |
全文下载次数: 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阅读器 |
关闭 |