《中山大学学报论丛》是一本有较高学术价值的月刊，自创刊以来，致力于为国内外逻辑学及相关领域的研究者提供一个发表学术创见、展开学术对话的卓越的平台。选题新奇而不失报道广度，服务大众而不失理论高度，颇受业界和广大读者的关注和好评。

重要通知：《中山大学学报论丛》杂志已正式更名为《逻辑学研究》杂志。

1.请在文章正文之后附上百字以内创作简历以及真实姓名、详细通联地址、手机号码、身份证号码等信息。

2.正文用五号宋体，表题、表格正文、表注用小五号宋体，行距1.25倍或1.5倍。来稿不要分栏。

3.文摘应包括研究目的、研究方法、研究结果和研究结论4个层次。

4.优先刊发创新性学术论文及依托部级、省级科研立项课题的研究成果。

5.本刊提倡严谨的学风，坚持“百花齐放，百家争鸣”的方针，坚持相互尊重的自由讨论。

• 相干逻辑关系语义的推理解释

  关系语义是相干逻辑中最为重要的语义学之一,但是关系语义一开始就以＂纯粹＂的形式语义的面貌出现,其中三元关系R的直观意思是什么并不清楚,于是出现了关于关系语义的多种解释。我们认为,R所代表的是推理规则集、前提集和结论集三者之间的关系,据此提出了推理语义。推理语义以推理的形式结构为背景,有明确的直观意义。本文以相干逻辑系统R＋为...

  作者：周北海 贾青 刊期： 2015年第01期

• 排除式CP定律的形式刻画

  本文关注近年来在科学哲学等领域引起广泛关注和争议的CP定律的形式刻画。论文首先考察了CP定律的不同分类和用法,继而锁定排除式CP定律作为重点研究对象。论文对完成者方法、不变性和稳定性理论、趋向性理论和正常性解释进行了探究,同时,作为一种尝试,将逻辑学领域中对概称句的正常刻画引入CP定律的刻画之中,文末对刻画标准及这些方向进行了进...

  作者：张立英 刊期： 2015年第01期

• 布尔模态的公理化（英文）

  布尔模态（即模态生成算子补、交、并）涉及到了完全性问题。并模态是模态可定义的,但是补和交都不是。这意味着证明包含这三个模态的逻辑的完全性不是一件简单直接的事情。Gargov和Passy使用复制方法从整体上处理这三个模态,但是,这个方法不适用于强完全性,也不能单独处理这三个模态。本文改进了这个方法,使得改进后的方法更具一般性,并且没有...

  作者：琚凤魁 胡祥梅 刊期： 2015年第01期

• 烧旺理性的火焰：对逻辑的个人体会（英文）

  现代逻辑拥有一套方法,使得它能够成为关于推理和其他信息导向之行为的一门广泛的科学,不但在大学里起着联接人文学、精密科学和社会科学的重要作用,并且也是我们信息社会基础的一部分。这篇文章,是我2014年9月26号在阿姆斯特丹大学大礼堂里所做的＂纯粹与应用逻辑的顶级讲座教授＂（University Professor of Pure and Applied Logic）讲席之离...

  作者：范丙申 刊期： 2015年第01期

• 编者导语

  现代逻辑是一个广泛的领域,自从弗雷格、皮尔士等创立以来,已经有一个多世纪的历史,经历了20世纪30年代的＂数理逻辑黄金时代＂和70年代的＂哲学逻辑黄金时代＂。逻辑也是一个变动不居的概念。20世纪前30年间,我们大致可以说逻辑就是类型论;一阶逻辑成为大写的逻辑（the logic）则要等到40年代。逻辑通常被视为对推理的研究，对于一个命题或一个...

  作者：刘新文 刊期： 2015年第01期