霍书全
- 作品数：39 被引量：42H指数：4
- 供职机构：河南大学哲学与公共管理学院更多>>
- 发文基金：国家社会科学基金安徽省教育厅人文社会科学研究项目安徽省哲学社会科学规划项目更多>>
- 相关领域：哲学宗教理学自然科学总论自动化与计算机技术更多>>
- 开放类3-值逻辑的元性质
- 2006年
- 经典逻辑是建立在封闭世界预设的基础上的,但逻辑系统也可以建立在开放世界预设的基础上。鞠实儿教授在研究开放世界的逻辑过程中给出了一个开放世界的命题逻辑。该文将对这一逻辑建立系统,并证明其元逻辑性质。
- 霍书全
- 关键词：公理系统一致性
- 一类函数完全的n值逻辑联结词及其特点
- 一、多值逻辑函数完备性问题多值逻辑理论中,函数系完备性问题是一个重要的问题,要解决此问题就要定出多值逻辑函数集中所有的极大封闭集,对于这一问题的研究,上一世纪八十年代有了较好的结果,定出了完全多值逻辑函数集中所有的极大封...
- 霍书全
- 文献传递
- 关于条件句的蕴涵理论被引量：6
- 2011年
- 为了刻画条件句,逻辑学家提出了许多蕴涵理论,如真值函项理论、条件概率理论、信念修正理论、可能世界语义学等。作为现代逻辑的一个分支,条件句逻辑充分利用各种蕴涵思想建立许多逻辑系统,但由于条件句的复杂性,各种蕴涵都难以刻画出所有的条件关系,因此都不能等同于自然语言中的"如果,那么"。
- 霍书全
- 关键词：条件句蕴涵信念修正
- 戴维森对谓述问题的解决被引量：2
- 2013年
- 谓述问题是困扰哲学两千多年的难题,戴维森认为直到塔尔斯基真理论出现之前没有哲学家能够解决它。现代逻辑产生之后,谓述问题才得到清晰的表达。塔尔斯基利用现代逻辑成果对真进行了定义,才使得谓述问题可以解决。戴维森根据弗雷格的语义学,并改造了塔尔斯基的真概念,从外延角度对谓述问题进行了解决,具有重要的意义。但是由于戴维森把真作为首要概念,而没有给出真的具体内容,他的理论也受到其他哲学家的批判。
- 霍书全
- 关键词：指称
- 基于互模拟的两种模态逻辑模型构造方法及其应用
- 2013年
- 对休斯(Hughes,G.E)和克雷斯韦尔(Cresswell,M.J)的压延技术(从一个自反、传递和全连接的模型构造它的自反、传递、全连接和反对称的模型)进行两种改造,从而可以从一个传递的模型分别构造出它的禁对称的传递模型和反对称的传递模型,并应用构造的新模型得出两个结论:K4被禁对称的传递模型类所刻画,S5被某个自反的、反对称的传递模型类所刻画;构造模互模拟的商模型与模语言等价的商模型,证明了它们都是Σ-过滤的特例——Form(◇,Φ)-过滤(Form∞(◇,Φ)-过滤/Form(τ,Φ)-过滤/Form∞(τ,Φ)-过滤),进一步得出这两种商模型之间具有同态关系。
- 姚从军霍书全
- 关键词：互模拟压延
- 弗雷格关于普遍性的思想及其逻辑学意义被引量：1
- 2021年
- 弗雷格用实质蕴涵来刻画条件句导致了“实质蕴涵怪论”,因此实质蕴涵不断受到批判。然而,根据弗雷格关于逻辑普遍性的思想,我们可以清楚地了解弗雷格对实质蕴涵的看法以及他为什么使用实质蕴涵。弗雷格把条件关系区分为能表达普遍性的情况和仅仅表达真值关系的情况,表达普遍性的条件句其从句不是完整的思想,其指称不是真值,而是其间接指称。仅仅表达真值关联系的条件句其从句则是完整的句子,其指称是真值。他指出表达事物因果联系的条件句要用带全称量词的一阶谓词逻辑公式x(P(x)→ψ(x))表达,而只表示真假关系的条件句直接用实质蕴涵式来表达。弗雷格的思想远远超出了他建立的逻辑,他关于逻辑普遍性的思想对于条件句逻辑的产生及后来逻辑学的发展有着直接或间接的影响,对于我们全面而准确地理解和把握现代逻辑有着重要的意义。
- 霍书全李伟凤
- 关键词：弗雷格经典逻辑实质蕴涵因果联系
- 推理关系形式化产生的问题及哲学思考
- 2006年
- 推理关系的形式化带来了“实质蕴涵怪论”问题,本文对推理关系形式化引起的歧义和“实质蕴涵怪论”的产生进行了分析。通过分析认为,推理是逻辑的研究对象,而逻辑又必须应用推理,推理的这种双重角色决定了对推理进行形式化就会产生“怪论”。虽然“怪论”难以消除,但在一定条件下也是可以消除的。既然推理如此特殊,我们只能通过扩充逻辑种类的方法间接完成对推理的刻画,应该抛弃狭义的逻辑观,使数理逻辑的优势发扬光大。
- 霍书全
- 关键词：经典逻辑非经典逻辑
- 罗素哲学中的谓述问题及其认知意义
- 2015年
- 谓述问题是哲学史上的难题,罗素对这一问题进行过大量的论述,并试图采用认识论的方法加以解决。戴维森认为罗素没有解决谓述问题,是他根据塔尔斯基的真理论才使该问题得到彻底解决。但是罗素仍然对谓述问题作过贡献,表现为他用现代逻辑的方法清楚地表述了谓述问题,他把语言划分为不同层次,把谓述问题限制在原子命题中,把谓词推广到关系词。虽然戴维森从外延角度解决了谓述问题,但是语言的意义和心理活动的关系问题仍是未解之迷,罗素后期的理论尝试从心理学角度探讨意义问题,为谓述问题的解决提供了必要的补充。
- 霍书全
- 关键词：命题共相殊相
- 多值逻辑的乌拉姆博弈语义被引量：1
- 2009年
- 霍书全
- 关键词：多值逻辑语义基础非经典逻辑模糊集合论语义解释逻辑系统
- 多值逻辑的联结词、系统和代数语义
- 多值逻辑的研究主要分为直观语义，系统构建和代数语义三个部分，本报告大致也是围绕这三方面展开，内容共分三章。第一章介绍了多值逻辑的联结词和多值逻辑系统，对历史上曾提出的多值逻辑给出了一个全面的列举，使读者可以看到多值逻辑提...
- 霍书全
- 关键词：多值逻辑逻辑联结词逻辑代数
- 文献传递
