直觉主义逻辑上的Friedman-Sheard理论  

The Friedman-Sheard Theory on Intuitionistic Logic

作　　者：李晟[1,2] 李娜 Sheng Li(School of Marxism,Sichuan Normal University Institute of Logic and Information,Sichuan Normal University;College of philosophy,Nankai University)

机构地区：[1]四川师范大学逻辑与信息研究所 [2]四川师范大学马克思主义学院 [3]南开大学哲学院

出　　处：《逻辑学研究》2018年第2期75-93,共19页Studies in Logic

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

摘　　要：文章通过削弱经典的Friedman-Sheard理论的逻辑基础,讨论了基于直觉主义逻辑的IFS理论。通过将直觉主义逻辑的语义学与修正语义学相结合,文章提出了直觉主义修正语义学,并证明了IFS可以将这种直觉主义修正语义学公理化至第一个极限序数。文章在最后证明了FS可以通过否定性转换嵌入IFS。In this paper, we investigate the Friedman-Sheard theory on intuitionistic logic by weakening the logical base of the classical one. Then, we develop an intuitionistic revision semantics, which combines ideas from revision semantics with semantics for intuitionistic logic, for the newly developed intuitionistic Friedman-Sheard theory （IFS）. We prove that IFS can axiomatize intuitionistic revision semantics up to the first transfinite ordinal ω. Finally, we discuss the negative translation between IFS and its classical version.

关 键 词：直觉主义逻辑 公理化 真理论 IFS理论 

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