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

作品数：10被引量：12H指数：2
导出分析报告
相关作者：李娜李晟刘大为孙新会更多>>
相关机构：南开大学四川师范大学大连理工大学河北经贸大学更多>>
相关期刊：《哲学研究》《天津大学学报（社会科学版）》《逻辑学研究》《哲学动态》更多>>
相关主题：真理论公理化符合论直觉主义逻辑形式语言更多>>
相关领域：哲学宗教更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
紧缩论和公理化真理论的匹配性问题研究被引量：1
《湖南科技大学学报（社会科学版）》2018年第2期34-38,共5页孙新会 李娜 
国家社会科学基金一般项目(12BZX059)
与实质真理论相反,紧缩论认为“真”是非实质的。起初基于保守性,公理化真理论以紧缩论作为其哲学依据,但保守性问题却充分暴露了二者各自存在的困境。一方面是由于紧缩论本身的不当承诺,使这种有瑕疵的理论不能作为刻画不同真谓词的公...
关键词：紧缩论 保守性 公理化真 
直觉主义逻辑上的Friedman-Sheard理论被引量：1
《逻辑学研究》2018年第2期75-93,共19页李晟 李娜 
国家社会科学基金项目"公理化真理论研究"(项目编号:12BZX059)
文章通过削弱经典的Friedman-Sheard理论的逻辑基础,讨论了基于直觉主义逻辑的IFS理论。通过将直觉主义逻辑的语义学与修正语义学相结合,文章提出了直觉主义修正语义学,并证明了IFS可以将这种直觉主义修正语义学公理化至第一个极限序数...
关键词：直觉主义逻辑 公理化 真理论 IFS理论 
公理化真理论的巩固与扩展被引量：1
《天津大学学报（社会科学版）》2017年第2期146-151,共6页李娜 孙新会 
国家社会科学基金资助项目(12BZX059)
哈尔巴赫(Volker Halbach)、霍斯顿(Leon Horsten)作为研究公理化真理论的领军人物,多年来一直致力于公理化真理论体系内部各分支理论的研究。近期他们以理论整体为着眼点对公理化真理论进行完善,包括加强公理化真理论与语义真理论的联...
关键词：公理化真理论 整体巩固 理论扩展 紧缩论 
一种无类型的弱公理化真理论及其扩充
《重庆理工大学学报（社会科学）》2017年第1期13-17,共5页李晟 
国家社会科学基金项目"公理化真理论研究"(12BZX059)
在概述弱公理化真理论与无类型的弱公理化真理论PUDT的基础上,证明无类型去引号理论,即正一致去引号理论(positive uniform disquotational theory,简记为PUDT)是一种正真(positive truth)的弱公理化真理论。对PUDT进行适当扩充,可以得...
关键词：公理化 真理论 弱组合性 无类型 
紧缩真理论的多元化发展被引量：2
《重庆理工大学学报（社会科学）》2016年第3期7-12,共6页李娜 孙新会 
国家社会科学基金项目"公理化真理论研究"(12BZX059)
传统的紧缩真理论似乎自诞生之初就是与真之符合论对立的,而且这种传统的紧缩论在其发展过程中一直是存在缺陷的。20多年来,对紧缩真理论的研究呈现多元化发展的态势。在阐释稳健的紧缩论、反紧缩论、弱紧缩论、双面真的紧缩论基础上,...
关键词：紧缩真理论 多元化 真之符合论 
直觉主义逻辑上的公理化真理论被引量：2
《逻辑学研究》2015年第3期48-63,共16页李娜 李晟 
国家社会科学基金项目"公理化真理论研究"(12BZX059)
本文在直觉主义逻辑和海廷算术HA的基础上,重新考察了去引号模式和组合真公理,得到了三种直觉主义的类型真理论:IDT、ICT和SICT,并探讨了它们的一些基本性质。本文证明了三者都满足对算术的标准解释,并且IDT和SICT是实质上充分的真理论,...
关键词：直觉主义逻辑 公理化真理论 类型 去引号 组合 
从塔尔斯基转向看公理化真理论被引量：3
《重庆理工大学学报（社会科学）》2015年第4期4-9,66,共7页李娜 李晟 
国家社会科学基金项目"公理化真理论研究"(12BZX059)
塔尔斯基的语义真理论是逻辑发展史上的一座里程碑。它带来了真理论研究的塔尔斯基转向:在研究基础上,发生了从本体论或认识论到语言学的转向;在研究动力上,发生了从揭示真之本质到克服语义悖论的转向;在研究主题上,发生了从研究真之本...
关键词：塔尔斯基转向 公理化真理论 真之本质 真之规律 
公理化真理论研究新进展被引量：3
《哲学动态》2014年第9期91-95,共5页李娜 李晟 
国家社会科学基金项目"公理化真理论研究"(12BZX059)资助
公理化真理论（axiomatic theory of truth）兴起于20世纪80年代，其核心思想是把“真”作为一个初始的谓词，直接添加到一种基础理论（base theory）的语言中，并以若干刻画真概念基本事实的语句作为公理，对基础理论进行扩充。这里所...
关键词：公理化 真理论 20世纪80年代 基础理论 形式语言 基本事实 句法理论 “真” 
真理论的转向：由定义到公理化被引量：2
《哲学研究》2013年第5期118-125,共8页刘大为 李娜 
国家社会科学基金项目“公理化真理论研究”(编号12BZX059)的资助
传统的实质真理论有其自身的缺陷，塔斯基等人的语义真理论则需要使用更强的元语言。实质真理论和语义真理论都试图给真下定义，因此可被归为定义的真理论。定义的真理论不可避免地面临着无穷倒退的困境，而向公理化的真理论的转向则克...
关键词：真理论 公理化 下定义 推理规则 元语言 词的意义 塔斯基 缺陷 
公理化真理论研究述评被引量：2
《哲学动态》2012年第8期91-95,共5页李娜 刘大为 
2012年国家社会科学基金项目"公理化真理论研究"(项目号:12BZX059)的资助
“真”一直以来是哲学中的一个核心概念，是哲学家、逻辑学家在进行研究时难以绕过的一个问题。哲学家们曾经乐观地认为“真”能够被定义，如果“真”可以被明确地定义，那么“真”这个概念就可以被其他的定义者所消解了，至少从外延上...
关键词：真理论 公理化 述评 “真” 哲学家 逻辑学家 定义 符合论 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部