国家社会科学基金(08BZX050)
- 作品数：6 被引量：4H指数：1
- 相关作者：李小五何纯秀刘佳秋徐秋华更多>>
- 相关机构：中山大学厦门大学西南大学更多>>
- 发文基金：国家社会科学基金更多>>
- 相关领域：哲学宗教理学更多>>
- 适于认知系统和条件句系统的更新语义(英文)被引量：2
- 2008年
- 更新语义是一种刻画单个主体信息变化的语义。本文我们首先提出由Veltman[1]提出的更新语义的某些变种,从而证明某些认知系统和条件句系统相对这些变种有模型可靠性和模型完全性。其次,我们提出带两分定义的更新语义的某些变种,从而证明某些认知系统和条件句系统相对这些变种有框架可靠性。
- 李小五
- 一个刻画理解的认知逻辑被引量：1
- 2009年
- 通过两次问卷调查可以发现,绝大多数调查对象直观上都认为:理解一个命题就是知道它的意义。然后我们认为,在认知逻辑中,理解,作为一个模态算子,可以在一个较弱的意义上用知道算子来刻画:理解一个命题就是知道它的真假。由此,我们给出一个刻画理解的认知逻辑来揭示理解与知道之间的联系与区别。
- 李小五何纯秀
- 关键词：认知逻辑
- 逻辑刻画:研究“理解”的新视角
- 2010年
- 对理解的哲学研究大多是纯粹的哲学思辨,很难体现理解所具有的客观性,不过也有哲学家把"理解"直觉上等同于"知道A的意义",或把理解归于"知道怎样",试图用知道的客观性来描述理解的客观性。理解可以用知道这样来表述:主体理解一个命题当且仅当主体知道这个命题真或知道这个命题假。把此命题形式化后作为特征公理纳入描述知识的S5系统,建立描述理解的认知系统U,用关系语义和典范模型方法证明此系统具有完全性与可靠性,能够逻辑地刻画理解的客观性。
- 何纯秀李小五
- 一个刻画强否定的模态系统及其性质被引量：1
- 2009年
- 否定是逻辑学的中心概念之一。直觉主义用关系语义刻画了一个强否定,我们在此也用关系语义刻画一个强否定。所不同的是,我们的否定是直觉主义的否定的补,所以我们给出的刻画强否定的语义和系统就有一些刻画直觉主义否定的语义和系统所没有的性质。例如,禁自返相对于我们的语义是模态可定义的。
- 李小五刘佳秋徐秋华
- 一个匹配生成更新语义的条件句系统(英文)
- 2009年
- 条件句系统通常用择类语义来刻画,此语义对条件句逻辑来说是标准的。一个择类模型可以用一个三元组(W,f,V)来表示,其中W≠φ,f是从(?)(W)×W到(?)(W)中的择类函数,且V是从一命题变元集PV到(?)(W)中的赋值函数。本文我们提出一个更新语义,它保留择类框架,但V被从PV到(?)(W)(?)^((W))中的一个更新函数代替,因为更新函数能表示动态命题而赋值函数则不能。最后我们证明一个条件句系统相对这样的语义有框架可靠性。
- 李小五
- 关键词：条件句语义值函数可靠性命题
- 直觉主义思想概述
- 2012年
- 一场关于数学基础问题的大论战,产生了三大数学(哲学)流派,它们分别是逻辑主义学派、形式主义学派和直觉主义学派。直觉主义学派认为任何数学对象都是思维构造的产物,所以一个对象的存在性等价于它的构造的可能性,因此直觉主义者坚持用人类构造性思维活动进行数学研究的方法。并且直觉主义者相信理论的真理性最终取决于理论的实际内容,并且只有通过人类的实践活动才能得到检证。
- 刘佳秋
- 关键词：直觉主义直觉主义逻辑
