组合范畴语法研究述评

范畴语法是一种面向自然语言信息处理的逻辑理论,是便于计算机处理的逻辑语法。它产生于20世纪30-40年代,50年代后逐渐走向成熟。[1]纯范畴语法是所有形式主义范畴语法的共同起点,它是巴-希勒尔(Bar-Hillel)对爱裘凯维茨(Ajdukiewicz)的句法演算进行方向性修改的产物,一般被称为AB-演算。[2]AB-演算仅有两条函项应用规则,导致其推演能力太弱,斯蒂德曼(Steedman)在     

乡愁与爱的画家 夏加尔

马克·夏加尔(1887年-1985年),白俄罗斯裔法国画家、版画家和设计师。生于俄国西部的小城捷布克斯。夏加尔16岁以前一直在犹太经学院中学习犹太经典。但他从小就对绘画有特殊的兴趣,并表现出敏锐的观察力。当他母亲注意到这一点后,就果断地让他去学画。他的画主要是表现俄国犹太人的生活,他本人也一直与犹太文化和宗教保持着密切的联系。他的作品依靠内在诗意力量而非绘画逻辑规则把来自个人经验的意象与形式上的象征和美学因素结合到一起。     

研究动画场景设计中的假定性因素

假定性在动画创作每个环节所起的作用都不可忽视。从剧本、角色、场景到最终的成品,假定性如一个系统的体系影响着整部作品的艺术效果。动画场景设计包括的范围很广,涉及的工作量也较为庞大,除角色造型以外,影片中所要出现和用到的一切物象的造型设计都属于场景设计的范畴,动画场景如同戏剧中的舞台,是动画角色的表演空间。场景在动画中起到交代时空、营造氛围、刻画角色的作用。     

编者导语

逻辑与哲学的关系不仅是方法论层面的问题,也是思想本身的问题。在西方哲学史上,逻辑与形而上学和认识论的关系极其密切,达米特曾言道：逻辑一直正确地被看做哲学的一部分。这种看法是正确的,不仅因为逻辑后承（logical consequence）这个概念是一种成功的哲学必定要加以分析的概念,而且因为对许多其它概念的分析,对语言的基本结构因而对思想的基本结构的理解,都依赖于以一种正确的形式拥有对句子的构造和句子之间的相互关系的解释,而这种解释正是逻辑要做的事情。1逻辑在19世纪后半叶转向现代发展阶段,同时哲学内部也发生了革命。如今的逻辑理论、技术和方法已经发展十分成熟,运用数学工具对逻辑理论的研究取得了相当丰富的成果。如何运用逻辑理论发展的成果,不被眼花缭乱的逻辑理论所迷惑,努力推进哲学问题的讨论,这是值得认真思考的问题。要运用逻辑理论,首先要掌握逻辑理论（不仅要学会逻辑的技术和方法,而且要理解逻辑理论的实质）,否则应用就是空谈。这里我们组织“逻辑与哲学”专栏,希望通过它向我国逻辑界展示逻辑与哲学研究的成果,逐渐推动我国学者在运用逻辑理论研究哲学问题方面不断取得进步。     

《逻辑学研究》征稿启事

正《逻辑学研究》是中山大学和中国逻辑学会主办、由教育部高等院校人文社会科学重点研究基地中山大学逻辑与认知研究所承办的学术刊物,旨在积极推动我国逻辑学及相关学科的学术研究水平,增进海内外逻辑学及相关领域学术同行的交流。《逻辑学研究》是当前我国在逻辑学领域内唯一正式出版的专业刊物,采用中英双语发表     

论“是”的哲学用法

本对以希腊语和拉丁语为基础的西方哲学的关键句式“X是”,采取与传统的“存在”理解不同的解读途径,从系词“是”的哲学用法入手进行重新理解。这样理解至少有两个理由：一是因为西方本体论哲学中许多深不可测的问题,都可以从普通系词“是”的哲学用法中获得合理的理解     

“犯罪人心理”与“犯罪心理”辨析

关于“犯罪心理结构”之争,已经集中在“犯罪心理”或“犯罪人心理”这个焦点上。反对“犯罪心理结构”者认为,犯罪心理实际上是不存在的,犯罪人心理在很多方面（甚至一切方面）同守法公民没有区别。因此,犯罪心理学实际上是一门研究“犯罪人心理”的学科。笔者认为,这是一种违反逻辑的、必将导致取消犯罪心理学的推论。     

百年西方逻辑研究陈那因明的反思北大核心CSSCI

百年因明研究的主要方法是西方逻辑的研究方法。其间所取得的成果及困境,加深了人们对因明学的认识。因明是一种集逻辑、论辩和认识论一身的学问。因此,研究时,如果不先加以粗略的区分,而盲目地以某一领域、学科来比拟、研究则有失偏颇。百年西方逻辑研究因明所遇到的挫折便是最好的说明。将三支作法与三段论作比较研究,其本质就是将论辩与逻辑作比较,因为三支作法是因明的论辩形式,属于论辩范畴;三段论是典型的推理形式,属于逻辑范畴。将两类不同范畴作比较研究,除了不易看清问题的本质以外,还将产生一些伪问题。     

资本逻辑与现代性——马克思哲学视野中的现代性批判

资本逻辑作为现代世界里支配一切的最高原则和体系,实际上体现的正是现代性的本质和逻辑,但这一本质和逻辑却具有“解放”和“奴役”并存的内在矛盾和困境.在超越资本逻辑、拯救现代性危机的回到“前现代性”之路、走向“后现代性”之路等不同道路中,马克思的“超现代性”——“通过现代性而扬弃现代性”之路是一条最为可行的选择.     

康德“存在不是实在谓词”论题诠证

康德在批判关于上帝存在的本体论证明时提出了"存在不是实在谓词"论题。这一论题蕴含如下两个困难:(1)如果存在不是实在谓词,那么它是上帝的什么谓词?(2)如果存在不是上帝的实在谓词,那么什么才是上帝的实在谓词?在康德看来,在神学领域,至少有四类谓词:逻辑的、实在的、实存的和先验的。传统本体论证明的真正诡秘之处在于:把作为系词的"Sein"通过逻辑谓词这个无所不包的中介,混同于"万能的"等实在谓词,再以"Sein"这个语词形式为中介,把作为实存谓词的Sein即"实存""偷运"进来,从而把"实存"像"万能的"等词那样,也分析地从"上帝"概念中推导出来。