首页期刊导航|逻辑学研究
期刊信息/Journal information
逻辑学研究
逻辑学研究

鞠实儿

季刊

1674-3202

logical.studies@gmail.com logicstu@mail.sysu.edu.cn

020-84110240

510275

广州市海珠区新港西路135号中山大学逻辑与认知研究所

逻辑学研究/Journal Studies in LogicCHSSCDCSSCI北大核心
查看更多>> 《逻辑学研究》是中山大学和中国逻辑学会主办，由教育部人文社会科学重点研究基地中山大学逻辑与认知研究所承办的学术刊物，旨在积极推动我国逻辑学及相关学科的学术研究水平，增进海内外逻辑学及相关领域学术同行的交流。《逻辑学研究》杂志于2008年6月正式创刊。《逻辑学研究》将从此致力于为国内外逻辑学及相关领域的研究者提供一个发表学术创见、展开学术对话的卓越的平台。 《逻辑学研究》是当前我国在逻辑学领域内唯一正式出版的专业刊物，目前为季刊，16开本，每期约120页左右，逢每季度第三个月的18日出版。欢迎各界学者惠赐大作。
正式出版
收录年代

    一阶模态逻辑(?)(□)-打包片段的Lindstr?m定理

    王勋
    1-23页
    查看更多>>摘要：通过推广de Rijke(1995)和van Benthem(2007)关于命题模态逻辑的Lind-ström定理结论,本文给出了一阶模态逻辑(∃)(□)-打包片段的三种不同的Lindström定理表述.三种表述均基于(∃)(□)-打包片段的互模拟不变性,此外,它们还分别利用了该片段的紧致性、有穷深度性以及自然数集上的超积不变性.
      原文链接:
    • 万方数据

    理解与解释:一种知识逻辑的视角

    魏宇
    24-50页
    查看更多>>摘要：知识逻辑学家很少关注"理解"这一概念,这与科学哲学和知识论领域的研究现状形成了鲜明对比.本文提出了一种类似知识逻辑的框架来刻画"理解".由于"解释"帮助理解,该模型包含不同程度的解释概念,并在这些解释之间建立起一种偏序关系.受哲学讨论的启发,本文在语形上包含了一系列理解的模态,从最低限度的理解到日常的理解、高要求的理解、以及理想的理解.文中给出了一个可靠完全的公理系统刻画这些理解概念,并讨论了这样的逻辑在多主体情境中的应用,如探讨不同主体之间的理解比较以及主体之间的元理解等.
      原文链接:
    • 万方数据
    • 维普

    半格模态逻辑以及格的模态公理化新方法

    王潇扬
    51-73页
    查看更多>>摘要：本文在《Modal Logic over Lattices》的基础工作之上,进一步探索了模态逻辑与格理论之间的关系.在之前的研究中,使用带二元模态词<sup>,<inf>的多元混合逻辑通过标准克里普克语义讨论格结构.本文将讨论如何使用模态逻辑刻画下半格结构.为了刻画下半格,本文使用了带有一元模态词P和二元模态词<inf>的多元混合逻辑语言并给出了半格上的多元混合逻辑的完整公理化.在已有的相关结果中,格的定义主要基于偏序关系.在本文的后半部分,提出了一种更符合代数视角的格的替代定义,并给出了相应的模态公理化结果.
      原文链接:
    • 万方数据
    • 维普

    有穷深度的传递濒表格逻辑的有穷公理化问题

    杜珊珊
    74-85页
    查看更多>>摘要：本文试图解决有穷深度的传递的濒表格逻辑的公理化问题.这是作者之前所解决的传递的濒表格逻辑判据工作的后继.本文使用了模态逻辑的先进技术典范公式来解决NExtK4格(即传递逻辑格)中的每一个有穷深度濒表格逻辑的公理化问题.我们所得到的结论不仅是它们的有穷可公理化,更是如何可公理化的可操作性方法.这种可操作性方法是和模型密切相关的.
      原文链接:
    • 万方数据
    • 维普

    模态计数逻辑ML(#)在不同框架类下的可判定性

    付小轩赵之光
    86-101页
    查看更多>>摘要：在本文中,我们给出模态计数逻辑ML(#)在不同框架类下的可满足性的判定过程.我们使用两种方法,一种是通过修改ML(#)相对于全部克里普克框架的可满足性的判定算法,另一种是将ML(#)的可判定性归约到基本模态逻辑.我们还证明了分次模态计数逻辑GML(#)相对于全部克里普克框架的可判定性.
      原文链接:
    • 万方数据
    • 维普

    实践中的独立性论题:如何理解群体认知成功

    帕翠夏·里奇刘海林
    102-128页
    查看更多>>摘要：社会认识论的一个重要经验是由两部分内容构成的"独立性论题":群体可能是非理性的,尽管其每一成员都是理性的;群体也可能是理性的,尽管其成员都是非理性的.我们强烈建议将合作合理化方面的研究视为一个范例,进而对现实世界中涉及论题中第二部分内容的分析提出质疑.我们集中讨论了这类分析的一个突出例子:信息层叠,并论证说明它可以富有成效地概念重构为认知合作的一个实例.这一新视角为改进对这一重要情景的解释和理解指明了方向.
      原文链接:
    • 万方数据
    • 维普