李小五
- 作品数:22 被引量:19H指数:2
- 供职机构:中山大学更多>>
- 发文基金:国家社会科学基金教育部人文社会科学重点研究基地度重大研究项目教育部人文社会科学研究重大课题攻关项目更多>>
- 相关领域:哲学宗教社会学经济管理语言文字更多>>
- 他连A都知道——认知逻辑EK1-EK3被引量:1
- 2006年
- 首先,我们构造认知系统EK1-EK3,给出它们的一些证明论结果。其次,我们引入邻域语义,给出EK1-EK3的特征公理和规则的框架条件,证明EK1-EK3相对这些框架条件分别是框架可靠的。最后,我们证明EK1-EK3相对这些框架条件分别是框架完全的。
- 李小五
- 关键词:认知逻辑
- 一个适于更新语义的涉景条件句逻辑
- 2008年
- 传统条件句逻辑研究的条件句没有明显提述条件句的背景.本文提出了一种明显提述背景的条件句逻辑BCS,并证明了该系统相对于Veltman提出的更新语义的模型可靠性和模型完全性.
- 李小五郭向阳徐秋华
- 加标动态逻辑及其若干应用
- 我们引入一加标动态逻辑,然后用它以及变种逻辑刻画实践、活动程度和活动否定这三个概念。
- 李小五
- 文献传递
- 适于认知系统和条件句系统的更新语义(英文)被引量:2
- 2008年
- 更新语义是一种刻画单个主体信息变化的语义。本文我们首先提出由Veltman[1]提出的更新语义的某些变种,从而证明某些认知系统和条件句系统相对这些变种有模型可靠性和模型完全性。其次,我们提出带两分定义的更新语义的某些变种,从而证明某些认知系统和条件句系统相对这些变种有框架可靠性。
- 李小五
- 一个刻画理解的认知逻辑被引量:1
- 2009年
- 通过两次问卷调查可以发现,绝大多数调查对象直观上都认为:理解一个命题就是知道它的意义。然后我们认为,在认知逻辑中,理解,作为一个模态算子,可以在一个较弱的意义上用知道算子来刻画:理解一个命题就是知道它的真假。由此,我们给出一个刻画理解的认知逻辑来揭示理解与知道之间的联系与区别。
- 李小五何纯秀
- 关键词:认知逻辑
- 以目的与背景知识为双条件的逻辑AKC被引量:1
- 2007年
- 首先,我们构造以目的和背景知识为双条件的条件句系统AKC,给出它的一些证明论结果。其次,我们引入有序邻域语义,给出描述AKC的特征公理和推理规则的框架条件,证明AKC相对这些框架条件是框架可靠的。最后,我们证明AKC相对这些框架条件也是框架完全的。
- 李小五
- 逻辑刻画:研究“理解”的新视角
- 2010年
- 对理解的哲学研究大多是纯粹的哲学思辨,很难体现理解所具有的客观性,不过也有哲学家把"理解"直觉上等同于"知道A的意义",或把理解归于"知道怎样",试图用知道的客观性来描述理解的客观性。理解可以用知道这样来表述:主体理解一个命题当且仅当主体知道这个命题真或知道这个命题假。把此命题形式化后作为特征公理纳入描述知识的S5系统,建立描述理解的认知系统U,用关系语义和典范模型方法证明此系统具有完全性与可靠性,能够逻辑地刻画理解的客观性。
- 何纯秀李小五
- 再论什么是逻辑被引量:6
- 2009年
- 什么是逻辑笔者以前有过阐述。现在看来,那时的观点过于极端,有很大的不足。笔者修正了以前的观点。提出:在学科层次上,逻辑就是研究有效推理的学问;在对象层次上,逻辑恰是后承关系。这种定义可以称为逻辑的关系定义,所以接下来我们将此定义与流行的逻辑的集合定义进行比较。最后指出如何扬弃以前的观点及其理由。
- 李小五
- 关键词:逻辑学科定义
- 概率语义与蕴涵系统
- 2003年
- 本文我们引入适于初始联结符为和→的句子语言的概率语义,并证明通常我们使用的句子系统——蕴涵系统——相对这样的概率语义有可靠性和完全性。
- 李小五
- 关键词:可靠性
- 命题型的择类语义与主次条件句逻辑
- 首先,我们构造双条件句系统C2K和主次条件句系统C2L2,给出这两个系统的一些证明’论结果。其次,我们建立命题型的择类语义,给出描述上述系统的特征公理的框架条件。最后,我们证明这两个系统相对不同的框架类是框架可靠和框架完...
- 李小五刘壮虎
- 文献传递