公共文化服务平台

国家社会科学基金(12BZX059): 作品数：10 被引量：10H指数：2; 相关作者：李娜李晟刘大为孙新会更多>>; 相关机构：南开大学四川师范大学大连理工大学更多>>; 发文基金：国家社会科学基金更多>>; 相关领域：哲学宗教更多>>

公理化真理论研究述评被引量：2: 2012年; “真”一直以来是哲学中的一个核心概念，是哲学家、逻辑学家在进行研究时难以绕过的一个问题。哲学家们曾经乐观地认为“真”能够被定义，如果“真”可以被明确地定义，那么“真”这个概念就可以被其他的定义者所消解了，至少从外延上如此。传统定义的真理论主要有符合论、融贯论、实用论等。; 李娜刘大为; 关键词：真理论公理化哲学家逻辑学家符合论

一种无类型的弱公理化真理论及其扩充: 2017年; 在概述弱公理化真理论与无类型的弱公理化真理论PUDT的基础上,证明无类型去引号理论,即正一致去引号理论(positive uniform disquotational theory,简记为PUDT)是一种正真(positive truth)的弱公理化真理论。对PUDT进行适当扩充,可以得到在经典逻辑上不相容,而在直觉主义逻辑上相容的公理化真理论。但是,这类公理化真理论并不是理想的真理论。; 李晟; 关键词：公理化真理论

真理论的转向：由定义到公理化被引量：2: 2013年; 传统的实质真理论有其自身的缺陷，塔斯基等人的语义真理论则需要使用更强的元语言。实质真理论和语义真理论都试图给真下定义，因此可被归为定义的真理论。定义的真理论不可避免地面临着无穷倒退的困境，而向公理化的真理论的转向则克服了这一缺陷。公理化真理论不再给真下定义，而是把真看作一个原始谓词，并且用一组公理和推理规则来规定它。公理化真理论可以给出自身语言中真谓词的意义，不需要使用很强的元语言，而且可以对真的性质作系统的推理。公理化真理论主要分为类型真理论和无类型真理论两大类：两者都有自己的优点，同时也都存在不足之处。本文将按照莱特杰布（H．Leitgeb）的标准，对上述公理化真理论的性质、特点逐一给出分析和补充。; 刘大为李娜; 关键词：真理论公理化下定义元语言塔斯基

公理化真理论的巩固与扩展: 2017年; 哈尔巴赫(Volker Halbach)、霍斯顿(Leon Horsten)作为研究公理化真理论的领军人物,多年来一直致力于公理化真理论体系内部各分支理论的研究。近期他们以理论整体为着眼点对公理化真理论进行完善,包括加强公理化真理论与语义真理论的联系,并注重对真理论的规范进行探讨与整合,这些工作都是对理论整体的巩固。而辛德勒(Thomas Schindler)、赫克(Richard G.Heck)、尼克莱(Carlo Nicolai)作为研究公理化真理论的新生代力量,最近则是从理论局部进行创新。这些拓展性的工作包括引进博弈论语义学丰富公理化真理论的语义解释,构造包含"有根基的(grounded)"和"真的"两个谓词的新系统,尝试以三层语言的组合真理论克服不保守性现象。但在尝试解离(disentangled)语法之后,保守性与紧缩论之间的矛盾依然存在,从而迫使萨林斯克(Cezary Cie'sliński)等学者重新审视保守性要求与紧缩论教条的合理性。; 李娜孙新会

紧缩真理论的多元化发展被引量：2: 2016年; 传统的紧缩真理论似乎自诞生之初就是与真之符合论对立的,而且这种传统的紧缩论在其发展过程中一直是存在缺陷的。20多年来,对紧缩真理论的研究呈现多元化发展的态势。在阐释稳健的紧缩论、反紧缩论、弱紧缩论、双面真的紧缩论基础上,指出必须在保持一致性的前提下努力探寻一种新的紧缩论,从而更加客观地反映真之本质。; 李娜孙新会

公理化真理论研究新进展被引量：2: 2014年; 公理化真理论（axiomatic theory of truth）兴起于20世纪80年代，其核心思想是把“真”作为一个初始的谓词，直接添加到一种基础理论（base theory）的语言中，并以若干刻画真概念基本事实的语句作为公理，对基础理论进行扩充。这里所谓的基础理论是一种句法理论（syntactic theory），用于提供研究真概念所必需的精确而严格的形式语言。; 李娜李晟; 关键词：公理化真理论形式语言句法理论

紧缩论和公理化真理论的匹配性问题研究: 2018年; 与实质真理论相反,紧缩论认为“真”是非实质的。起初基于保守性,公理化真理论以紧缩论作为其哲学依据,但保守性问题却充分暴露了二者各自存在的困境。一方面是由于紧缩论本身的不当承诺,使这种有瑕疵的理论不能作为刻画不同真谓词的公理化真理论的统一哲学解释;另一方面是由于多数公理化的真理论根本不满足基于基础理论的保守性。因此,这2种理论的匹配问题亟待新的探究。; 孙新会李娜; 关键词：保守性

直觉主义逻辑上的Friedman-Sheard理论被引量：1: 2018年; 文章通过削弱经典的Friedman-Sheard理论的逻辑基础,讨论了基于直觉主义逻辑的IFS理论。通过将直觉主义逻辑的语义学与修正语义学相结合,文章提出了直觉主义修正语义学,并证明了IFS可以将这种直觉主义修正语义学公理化至第一个极限序数。文章在最后证明了FS可以通过否定性转换嵌入IFS。; 李晟李娜; 关键词：直觉主义逻辑公理化真理论

从塔尔斯基转向看公理化真理论被引量：2: 2015年; 塔尔斯基的语义真理论是逻辑发展史上的一座里程碑。它带来了真理论研究的塔尔斯基转向:在研究基础上,发生了从本体论或认识论到语言学的转向;在研究动力上,发生了从揭示真之本质到克服语义悖论的转向;在研究主题上,发生了从研究真之本质到研究真之规律的转向;在研究进路上,发生了从下定义到公理化的转向。公理化真理论是在塔尔斯基转向的背景下发生和发展起来的新型真理论。理解塔尔斯基转向是理解公理化真理论的一把钥匙。; 李娜李晟

直觉主义逻辑上的公理化真理论被引量：2: 2015年; 本文在直觉主义逻辑和海廷算术HA的基础上,重新考察了去引号模式和组合真公理,得到了三种直觉主义的类型真理论:IDT、ICT和SICT,并探讨了它们的一些基本性质。本文证明了三者都满足对算术的标准解释,并且IDT和SICT是实质上充分的真理论,而ICT不是。在保守性方面,本文证明了IDT是HA的算术保守扩充理论,而SICT是非保守扩充。; 李娜李晟; 关键词：直觉主义逻辑

国家社会科学基金(12BZX059)