一种无类型的弱公理化真理论及其扩充  

A Type-Free Weak Axiomatic Truth Theory and Its Expansion

作　　者：李晟[1] LI Sheng(Institute of Logic and Information, Sichuan Normal University, Chengdu 610068, China)

机构地区：[1]四川师范大学逻辑与信息研究所,成都610068

出　　处：《重庆理工大学学报（社会科学）》2017年第1期13-17,共5页Journal of Chongqing University of Technology（Social Science）

基　　金：国家社会科学基金项目"公理化真理论研究"(12BZX059)

摘　　要：在概述弱公理化真理论与无类型的弱公理化真理论PUDT的基础上,证明无类型去引号理论,即正一致去引号理论(positive uniform disquotational theory,简记为PUDT)是一种正真(positive truth)的弱公理化真理论。对PUDT进行适当扩充,可以得到在经典逻辑上不相容,而在直觉主义逻辑上相容的公理化真理论。但是,这类公理化真理论并不是理想的真理论。In this paper,we will prove that the type-free disquotational theory,that is,the positive uniform disquotational theory（ PUDT）,is a weak axiomatic truth theory for positive truth. There exists an axiomatic truth theory,which is consistent on classical logic but not on intuitionistic logic,when PUDT be expanded properly. However,this kind of axiomatic truth theory is not ideal theory of truth.

关 键 词：公理化 真理论 弱组合性 无类型 

分 类 号：B81[哲学宗教—逻辑学]