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

• 作者: 李晟
• 来源期刊: 重庆理工大学学报（社会科学版）
• 学科: 哲学
• 关键词: 公理化 真理论 弱组合性 无类型
• 年，卷（期）: 2017,（1）
• 所属期刊栏目: 智库专稿
• 页码范围: 13-17
• 页数: 5页
• 分类号: B81
• 字数: 5748字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425(s).2017.01.003

摘要

在概述弱公理化真理论与无类型的弱公理化真理论 PUDT 的基础上，证明无类型去引号理论，即正一致去引号理论（positive uniform disquotational theory，简记为 PUDT）是一种正真（positive truth）的弱公理化真理论。对 PUDT 进行适当扩充，可以得到在经典逻辑上不相容，而在直觉主义逻辑上相容的公理化真理论。但是，这类公理化真理论并不是理想的真理论。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李晟	四川师范大学逻辑与信息研究所	8	11	2.0	3.0