您的位置： 专家智库 > >

李晟

作品数：11 被引量：9H指数：2
供职机构：四川师范大学更多>>
发文基金：国家社会科学基金更多>>
相关领域：哲学宗教自然科学总论自动化与计算机技术更多>>

合作作者

文献类型

  • 11篇中文期刊文章

领域

  • 10篇哲学宗教
  • 1篇自动化与计算...
  • 1篇自然科学总论

主题

  • 7篇真理
  • 7篇真理论
  • 5篇公理
  • 5篇公理化
  • 3篇逻辑
  • 2篇因果推理
  • 2篇直觉主义
  • 2篇直觉主义逻辑
  • 2篇逻辑与
  • 1篇导师
  • 1篇定理
  • 1篇定理证明
  • 1篇信念
  • 1篇形式语言
  • 1篇演绎逻辑
  • 1篇引号
  • 1篇语言模型
  • 1篇蕴涵
  • 1篇哲学
  • 1篇哲学发展

机构

  • 7篇四川师范大学
  • 5篇南开大学
  • 1篇华南师范大学
  • 1篇四川大学

作者

  • 11篇李晟
  • 4篇李娜
  • 2篇王刚
  • 1篇胡泽洪

传媒

  • 3篇重庆理工大学...
  • 2篇逻辑学研究
  • 1篇哲学动态
  • 1篇学术研究
  • 1篇社会科学家
  • 1篇自然辩证法研...
  • 1篇武汉科技大学...
  • 1篇科学技术哲学...

年份

  • 2篇2023
  • 2篇2022
  • 1篇2020
  • 1篇2018
  • 1篇2017
  • 2篇2015
  • 2篇2014
共 11 条 记 录，以下是 1-10
全选 清除 导出
排序方式：
一种无类型的弱公理化真理论及其扩充
2017年
在概述弱公理化真理论与无类型的弱公理化真理论PUDT的基础上,证明无类型去引号理论,即正一致去引号理论(positive uniform disquotational theory,简记为PUDT)是一种正真(positive truth)的弱公理化真理论。对PUDT进行适当扩充,可以得到在经典逻辑上不相容,而在直觉主义逻辑上相容的公理化真理论。但是,这类公理化真理论并不是理想的真理论。
李晟
关键词：公理化真理论
贝叶斯确证理论视域下的非经验确证问题
2023年
从经验主义的视角来看,运用非经验证据确证科学理论的做法不具备合理性,如何对这一做法的合理性给予辩护的问题即是所谓的“非经验确证问题”。依据贝叶斯确证理论对无替代选项论证进行形式化分析,可以为该问题的解决提供一种可能的思路。然而,这种形式化分析亦有诸多局限性,即,无替代选项论证的确证显著性难以评估、无法为可接受的替代理论提供客观的判定标准、不具有启发式的价值,以及其有效性证明仍然是建立在非经验证据的基础上。
王刚李晟
以推理理解知识——基于盖梯尔案例推理细节的反思
2020年
知识的JTB定义的三元条件包括:成真条件、信念条件、证成条件。盖梯尔案例揭示出信念条件联结成真条件和证成条件的关键作用。在通常的盖梯尔案例中,由于缺少信念条件而造成了成真条件和证成条件割裂,暴露出盖梯尔案例推理过程中真理论的不一致性,因此盖梯尔案例中的根本矛盾应该是真理论的矛盾,所以盖梯尔案例并不构成对JTB定义的反例。盖梯尔案例启发人们以推理理解知识,特别是区分信念的潜证成和实证成。
李晟
关键词：知识信念真理论
直觉主义逻辑上的Friedman-Sheard理论被引量：1
2018年
文章通过削弱经典的Friedman-Sheard理论的逻辑基础,讨论了基于直觉主义逻辑的IFS理论。通过将直觉主义逻辑的语义学与修正语义学相结合,文章提出了直觉主义修正语义学,并证明了IFS可以将这种直觉主义修正语义学公理化至第一个极限序数。文章在最后证明了FS可以通过否定性转换嵌入IFS。
李晟李娜
关键词：直觉主义逻辑公理化真理论
公理化真理论研究新进展被引量：3
2014年
公理化真理论（axiomatic theory of truth）兴起于20世纪80年代，其核心思想是把“真”作为一个初始的谓词，直接添加到一种基础理论（base theory）的语言中，并以若干刻画真概念基本事实的语句作为公理，对基础理论进行扩充。这里所谓的基础理论是一种句法理论（syntactic theory），用于提供研究真概念所必需的精确而严格的形式语言。
李娜李晟
关键词：公理化真理论形式语言句法理论
模态逻辑与真理论
2022年
模态逻辑有算子和谓词两种研究方法,但谓词方法始终面临悖论的困扰。算子方法虽然避免了蒙塔古式悖论,但孔斯却构造了算子方法中的新悖论,因此算子方法并不能作为模态谓词悖论的解决方案。形形色色的模态谓词悖论无不隐含着对真之原则的不当使用,不一致的真理论是导致模态谓词悖论的根本因素。模态算子逻辑的成功在于它化解了不一致真理论的威胁。谓词方法倘若忽略了这个关键点,也效仿算子方法对真的处理,则必然导致悖论。解决模态谓词悖论和建立模态谓词理论需要引入一致的真谓词,以公理化真理论和语义真理论分别作为模态逻辑的语形基础和语义基础。
李晟胡泽洪
关键词：模态逻辑真理论谓词算子悖论
从塔尔斯基转向看公理化真理论被引量：3
2015年
塔尔斯基的语义真理论是逻辑发展史上的一座里程碑。它带来了真理论研究的塔尔斯基转向:在研究基础上,发生了从本体论或认识论到语言学的转向;在研究动力上,发生了从揭示真之本质到克服语义悖论的转向;在研究主题上,发生了从研究真之本质到研究真之规律的转向;在研究进路上,发生了从下定义到公理化的转向。公理化真理论是在塔尔斯基转向的背景下发生和发展起来的新型真理论。理解塔尔斯基转向是理解公理化真理论的一把钥匙。
李娜李晟
纯蕴涵演算定理证明的两个能行过程被引量：1
2014年
以不同于通常的根先证明搜索策略,从纯蕴涵演算的初始公理和初始规则出发,通过分析公理在定理证明中的作用和规律,可以得到两个实用的能行过程。这两个能行过程虽不是机械化的证明搜索程序,但有助于新程序的研发,并且可应用于数理逻辑的实际教学。
李晟
关键词：定理证明
从逻辑学视角看人工智能语言模型ChatGPT
2023年
基于机器学习机制的ChatGPT是一种建立在归纳逻辑基础之上的自然语言处理模型,其推理机制融合了统计推理和概率推理的思想,然而,这种推理机制使ChatGPT面临诸多局限性。为此,可以从因果推理和演绎推理的视角反思ChatGPT的局限性。一方面,因果推理可以克服ChatGPT只关注相关关系而不注重因果关系的缺陷;另一方面,演绎推理可以规避ChatGPT的内容不具备完全可靠性的缺陷。由此可见,对于包括ChatGPT在内的机器学习技术而言,无论是统计推理、概率推理、因果推理,还是演绎推理,都是其不可或缺的推理手段。
王刚李晟
关键词：因果推理归纳逻辑演绎逻辑
直觉主义逻辑上的公理化真理论被引量：2
2015年
本文在直觉主义逻辑和海廷算术HA的基础上,重新考察了去引号模式和组合真公理,得到了三种直觉主义的类型真理论:IDT、ICT和SICT,并探讨了它们的一些基本性质。本文证明了三者都满足对算术的标准解释,并且IDT和SICT是实质上充分的真理论,而ICT不是。在保守性方面,本文证明了IDT是HA的算术保守扩充理论,而SICT是非保守扩充。
李娜李晟
关键词：直觉主义逻辑
全选 清除 导出
共2页<12>
聚类工具0