变元符号与演绎系统——兼论我国古代为何缺乏演绎系统的论述

首页 > 按月查看>2017年第1月 >31-38

变元符号与演绎系统——兼论我国古代为何缺乏演绎系统的论述
DOI:
                        
作者:
                        
作者单位:
作者简介:
通讯作者:
基金项目:国家社会科学基金项目（15XYY012）

Review on Researches of Axiomatic Theories of Compositional Truth

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

摘要:

中国古代逻辑思想没有进入演绎系统的阶段，究其原因，在很大程度上在于没有应用变元并发展出变元的概念。中国古代数学未能走出实用的领域，没有演绎系统化，因而未能走向理论的深度，原因类同。很难想像，在缺乏变元的情况下，数学会有当今的成就，逻辑学也不可能成为一门基础理论。

Abstract:

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

参考文献

相似文献

引证文献

引用本文

郝一江.变元符号与演绎系统——兼论我国古代为何缺乏演绎系统的论述[J].湖南科技大学学报(社会科学版),2017,20(1):31-38

复制

文章指标

点击次数:
下载次数:

历史

收稿日期:
最后修改日期:
录用日期:
在线发布日期: 2016-10-18

引用本文

分享

文章指标

历史