逻辑学研究杂志 CSSCI南大期刊

模态逻辑GL的基于广义谢弗竖的分析性模态公理系统（英文）

作者：唐芳芳 刊期：2016年第02期

基于广义谢弗竖这种新算子,本文构造了模态逻辑GL的模态表列和分析性模态公理系统。广义谢弗竖是一种n元算子,为模态逻辑的表达式提供一种新记法,使分析性模态公理系统的陈述直接明了。由于谢弗竖是一种新算子,基于它的模态表列规则与通常的基于模态词和联结词的表列规则有所不同。分析性模态公理系统中的内定理证明很简单。因为分析性模态公理...

前提嵌套程序和基数约束程序的简洁性研究

作者：张燕; 沈榆平; 赵希顺 刊期：2016年第02期

直观地说,简洁性是指一个逻辑系统紧凑表示问题的能力。近年来关于简洁性的研究逐渐得到人们的关注。本文将讨论两类逻辑程序,即基数约束程序(Cardinality Constraint Programs,CCP)与前提嵌套程序(Nested Logic Programs,NLP)之间的简洁性。我们设计了一个从CCP到NLP多项式长度的等价翻译,这极大改进了Ferraris和Lifschitz提出的指数长度翻译方...

连续统问题与薄实在论

作者：高坤 刊期：2016年第02期

哥德尔对连续统问题的独立性的柏拉图主义回应作为一种"厚实在论"招致麦蒂(Penelope Maddy)的一个批评。作为一种可能的替代,麦蒂提出了所谓的"薄实在论"。本文试图论证麦蒂对厚实在论的批评并不像表面上看来那么有力,而薄实在论作为一种本体论立场涉嫌一种自相矛盾,并且后者也不能像厚实在论那样赋予连续统问题以客观意义。

普莱尔混合时态逻辑的思想基础

作者：霍书全 刊期：2016年第02期

普莱尔较早较系统地创立了时态逻辑。蒯因认为模态逻辑的产生面临三个等级的牵涉,但是这并没有阻碍普莱尔构建时态逻辑。普莱尔出于哲学的和技术的考虑在时态逻辑的基础上进一步建立了混合时态逻辑。混合时态逻辑在人文和计算机科学中有着重要的应用,但它又引起了进一步的牵涉,普莱尔对此没有给出充分的说明,本文将追寻普莱尔提出混合时态逻辑的...

结构主义与科学表征

作者：魏屹东 刊期：2016年第02期

对科学表征问题的解释有同构、相似、图像、推理力等说明。这些观点无一不是说明两个不同客体之间的关系问题,这两个客体之间形成的关系就是表征关系,它们构成了一个二元素结构R(a,b)。从数学结构主义观点看,这是对表征关系的最小理解,也是表征关系的逻辑意蕴。表征关系之所以能够成立,是因为两个不同客体之间存在"共有结构",正是这种结构将科学...

“部分–整体”转喻中语义冲突的形式化描写

作者：王恩旭; 丁崇明 刊期：2016年第02期

作为人类一般的认知方式,转喻正越来越引起学者们的关注。但转喻的基本问题——语义冲突问题,却一直没有得到妥善的解决。在分析了传统解决方案种种缺欠后,我们认为,在一个表达式中,只要谓词不变,论元的指称对象、性质也不会变。所以会造成语义上的变化,是显著性的原因。一个表达式要凸显哪些类、不凸显哪些类,不取决于表达式自身而是它的搭配对...

王浩的生平与学术成就（英文）

作者：张尚水; 张家龙; 张清宇; 王路 刊期：2016年第02期

王浩(1921—1995)是国际知名的美籍华裔数理逻辑学家、计算机科学家和哲学家。本文分为三个部分:(1)介绍他的生平与主要论著;(2)论述他在数理逻辑、计算机科学领域的开创性贡献,包括:集合论、和多米诺理论、王氏机器、定理的计算机证明以及逻辑语义学等5个方面;(3)评述他对哲学的贡献。

《逻辑学研究》征稿启事

刊期：2016年第02期