在线期刊

逻辑与认知[2006年第1期]

  • 哲学逻辑

    • (刘虎)·开放系统中合作与竞争的时态逻辑

      :时态逻辑模型检测是自动验证最重要的方法之一。近年来,模型检测技术与人工智能研究的结合, 成为一个研究的热点。具体地,就是扩充或者修改模型检测的时态逻辑,使之能够刻画多agents系统的特征。 交互时态逻辑(Alternating Time Temporal Logic),...[详细]

    • (高东平)·带模糊量词的性质命题推理

      本文讨论了带模糊量词的性质命题之间的对当关系,详细论述了带模糊量词的性质命题的变形推理 及三段论推理,给出了模糊量词推理有效的规则,并证明了规则是可靠性且所有有效的三段论形式都是符 合修改规则的。 [详细]

    • (文学锋)·带相对等词的命题逻辑(PLRI)与分析悖论的解决

      本文构造了带相对等词的命题逻辑PLRI,给出了其代数语义,证明了PLRI 相对该语义是强可靠和强完全的,并应用PLRI 解决了分析悖论,从而弥补了现有的超内涵逻辑在内涵同一刻画上的薄弱和不足。最后,本文还指出了关于PLRI 的进一步研究方向。 [详细]

    • (文学锋)·相对于条件的命题同一性逻辑PIRC

      首先,我们构造相对于条件的命题同一性逻辑PIRC,给出一些证明论结果;其次引入有序领域语义,给出描述PIRC 的特征公理和特征规则的框架条件,证明PIRC 相对这些框架条件是框架可靠的;最后,我们证明PIRC 相对这些框架条件也是完全的。[详细]

    • (李小五)·动态认知逻辑的几个应用

      我们建立若干逻辑分别刻画下列概念:做了一个活动、若干主体做了若干活动形成合力改变一 个状态、知道一个主体、知道一个性质与知道一个关系。[详细]

  • 逻辑哲学

    • (晋荣东)·从情境理性看现代逻辑的论证理论及其转型

      以从先验理性向情境理性的转变为背景,本文阐明了现代逻辑论证理论的普遍主义预设及其存在的问题,认为非形式逻辑的若干尝试代表着逻辑学如何从普遍与情境的结合、摹写与规范的统一中 去研究论证的努力。[详细]

    • (王春华)·井中的月亮存在吗——试论认识过程中的信息存在

      引入信息概念来探讨认识过程就可发现,所谓存在,既包括物质的存在,也包括信息的存在。在感知过程中,客观事物留在人的感性形象里的信息就是该事物存在形式的差异,信息的本质是差异。人的精神世界包括逻辑学中的存在都是信息的存在。 [详细]

    • (程本学)·专名意义的两种理论及其融合

      摹状词理论与历史因果理论是专名意义问题上的两种对立的理论。从表面上看,这两种理论在专名有无涵义的问题上持截然相反的观点,但仔细分析可以发现,借助于可能世界的观念,它们在某种程度上是可以统一的。因此,将这两种理论结合起来考察专名的意义,就...[详细]

  • 学术报告

版权声明:社科网的所有在线期刊内容均由各期刊编辑部根据协议提供。 任何个人、机构、网站如未经本网书面授权,私自复制或转载本网中的图片、文字,均将被视为侵权行为。此类行为一经发现,本网将依据《中国人民共和国版权法》和《互联网管理条例》,追究侵权者的责任。