Publisher: 国家哲学社会科学学术期刊数据库
E-ISSN: 1674-8425|30|1|13-17
ISSN: 1674-8425
Source: 重庆理工大学学报:社会科学, Vol.30, Iss.1, 2017-01, pp. : 13-17
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
在概述弱公理化真理论与无类型的弱公理化真理论PUDT的基础上,证明无类型去引号理论,即正一致去引号理论(positive uniform disquotational theory,简记为PUDT)是一种正真(positive truth)的弱公理化真理论。对PUDT进行适当扩充,可以得到在经典逻辑上不相容,而在直觉主义逻辑上相容的公理化真理论。但是,这类公理化真理论并不是理想的真理论。