国家社会科学基金(10BZX054)
- 作品数：5 被引量：8H指数：2
- 相关作者：杜国平傅庆芳更多>>
- 相关机构：中国社会科学院哲学研究所北京大学更多>>
- 发文基金：国家社会科学基金中国社会科学院青年科研启动基金更多>>
- 相关领域：哲学宗教语言文字更多>>
- 知识蕴涵与其他蕴涵的关系被引量：1
- 2012年
- 一不同形式的蕴涵
蕴涵关系是自然语言表达中经常使用的一种表达方式，也是人们在进行判断、推理等思维活动时所依据的极为重要的逻辑关系之一。由于所使用的语词是有限的，而需要表达的语义是多样的，这就造成了在不同的语言中或者同一语言的不同语境中，蕴涵关系所表达的语义极为丰富多彩。为了准确描述蕴涵关系的不同表达，在逻辑上出现了对蕴涵关系各种不同的形式刻画。
- 杜国平
- 关键词：蕴涵语言表达逻辑关系思维活动语义同形
- 知识蕴涵直觉主义逻辑系统被引量：3
- 2012年
- 在知识蕴涵命题逻辑的基础上,借助强知识蕴涵,可以构建知识蕴涵直觉主义逻辑系统。结合知识蕴涵逻辑和直觉主义逻辑的形式语义,可以证明知识蕴涵直觉主义逻辑系统具有可靠性和完全性。在该系统中,矛盾律仍然成立,但是排中律、双重否定消去律、司各脱法则都不再成立。在该系统中,弗协调逻辑和直觉主义逻辑的基本特征都被保留了下来,该系统给出了一个处理矛盾问题的既是弗协调的、又是直觉主义的兼容方案。
- 杜国平
- 关键词：直觉主义
- “即使p,也q”句式的逻辑分析被引量：3
- 2011年
- 现代汉语中的"即使p,也q"表达的是什么样的逻辑关系?目前主要有两种观点,一种认为表达的是充分条件假言判断,一种认为表达的是联言判断。本文揭示了三个具体的"即使p,也q"语句的七个逻辑特征,通过比较分析可以看出,这两种观点都不能完全解释这些逻辑特征。作者提出了一种新的观点,该观点认为"即使p,也q"是"在通常情况Ω下,即使p,也q"的省略表达,它表达的是推理关系"Ω,p├q",它是相对于"在通常情况Ω下,如果非p,那么q"、"在通常情况Ω下,如果p,那么非q"而表达的,其中"在通常情况Ω下,如果非p,那么q"是它的语用断定;"在通常情况Ω下,如果p,那么非q"是它所反驳的推理关系。这种观点可以完全解释三个具体的"即使p,也q"语句的七个逻辑特征。
- 杜国平
- C_n(1≤n<ω)及C_ω中的否定
- 2012年
- 在对当关系逻辑中,命题A与命题△A之间是一种下反对关系。在弗协调逻辑系统中,我们通过定义一个一元连接词●,可以证明,在对当关系逻辑中算子△所具有的性质,在弗协调逻辑中其否定﹁也都具有这些性质,从而得出,弗协调逻辑中的否定﹁是一种特殊的下反对关系算子。
- 杜国平傅庆芳
- 关键词：弗协调逻辑
- 哲思逻辑的扩充及其应用被引量：2
- 2011年
- 在9种二值一元连接词中,非平凡的共有5个。由这5个连接词连接的命题和原命题之间形成了5种关系,即矛盾关系、差等关系、逆差等关系、反对关系和下反对关系。在扩充的哲思逻辑中包含了这5个一元连接词,这大大提高了命题逻辑的表达功能和推理功能。其中的逆差等命题○A和原命题A之间既不满足矛盾律也不满足排中律,既不能用A和○A进行反证法证明,也不能用A和○A进行归谬法证明。哲思逻辑在自然语言推理方面的应用主要体现在两个方面:基于哲思逻辑的自然语言形式表示;基于哲思逻辑的自然语言推理。
- 杜国平
- 关键词：逻辑应用
- 知识蕴涵直觉主义逻辑系统
- 在知识蕴涵命题逻辑的基础上,借助强知识蕴涵,可以构建知识蕴涵直觉主义逻辑系统。结合知识蕴涵逻辑和直觉主义逻辑的形式语义,可以证明知识蕴涵直觉主义逻辑系统具有可靠性和完全性。在该系统中,矛盾律仍然成立,但是排中律、双重否定...
- 杜国平
- 关键词：直觉主义
- 文献传递
