第二届“洪谦优秀哲学论文奖”启动通告

根据中国现代外国哲学学会分析哲学专业委员会的《洪谦优秀哲学论文奖评选办法》规定,第二届洪谦优秀哲学论文奖(简称洪谦奖)将于2011年9     

论毛泽东主体性思想的内在逻辑

毛泽东主体性思想是以现代先进文化形态传承、凝聚、提升了的人类主体性精神。它是马克思主义中国化的精神产物,又成为贯穿马克思主义中国化全过程的文化逻辑,具有坚实的真理品格、人文价值和历史影响力。毛泽东主体性思想的内在逻辑是一个结构系统,其中,独立性逻辑是指历史主体对自身存在的权利、价值与尊严的自觉、肯定与捍卫,是主体实际地追求自身价值目标、实现价值诉求的文化形态;求真性逻辑是指主体对事物本质深入探究、理性把握的能动性特质;实践性逻辑是指主体将其价值目标付诸实际行动,进而转变为现实的历史创造性旨趣;超越性逻辑是指主体解构与否定既定文化模式和实践模式的创新性特质,其逻辑展开过程为总体性框架的转换与跃迁。以上四重逻辑之张力关系构成了内在于毛泽东主体性思想的逻辑架构。     

时态数据库属性推理的类型逻辑

1994年Gabbay等论证了时态逻辑的公理化系统和证明论方法不适于时态数据库推理建模,因此目前主要使用非公理化的时态逻辑做推理。然而非公理化的时态逻辑缺乏公理化性质约束,形式晦涩,无直观性与运算性,因而一般不用于知识推理。另一方面,1983年Allen提出了13种时态关系运算,并使用区间逻辑对时态关系进行表达,但这些运算只能表示时间本身的运算关系,未能体现时间与属性之间的映射关系,不能表达时态数据库属性间的推理与运算。此外,时态数据库中仍存在着许多开问题,例如在做属性推理与运算时出现的Now语义的不确定性问题。基于此,我们提出一种基于时态数据库属性推理的类型逻辑系统,其主要思路为将属性映射为类型,将类型映射为时间向量子集,以时间向量集为逻辑语义模型,在推理中从句法逻辑系统剥离对时间的表示,减少逻辑算子,与时间相关的运算单纯由语义模型支持,从而降低复杂性,提高运算能力。并且由于该类型逻辑系统是基于构造性语义的,能直观解释Now的不确定性问题。文中给出了相对该系统的时态数据库属性推理的应用示例,从技术可操作性上介绍了根据该类型逻辑设计的时态推理中间件原型及工作流程,最后从元理论范畴证明了系统可靠性与完全性的逻辑性质及切割消除与判定性的证明论性质。     

非形式逻辑及其早期历史发展

“非形式逻辑”作为逻辑的子领域,最初出现于1970至1980年代的美国和加拿大,本文意在回顾非形式逻辑发展的早期历史进程。本文假定,当我们从历史的角度来考察时,非形式逻辑的本质能够得以阐明。因此,我将以观念史领域的评论作为出发点。之所以不从理论的要素谈起并把历史留给历史学家,其中一个理由在于“非形式逻辑”这个词并不指示一个理论。非形式逻辑部分地可看作是某个思潮,部分地可当作一种论证研究进路,部分地涉及到对逻辑之本质的看法,这些都可以通过考察非形式逻辑的发展史来加以理解。本文的第一部分追溯了非形式逻辑的兴起,概括了其思想史和社会史,并评述了其早期发展中的主要人物、教科书,以及主要的论旨及其社会化。第二部分简要描述了《逻辑的自我辩护》这本教科书中的一些革新。第三部分简要涉及非形式逻辑与其它领域的早期互动。     

一个维特根斯坦主义者眼中的框架问题

框架问题的核心命意乃是：在对智能体的行动进行表征之时,如何能够在有效地表征出行动的效果之时,避免对于其非效果的表征？对于符号主义路数的人工智能研究来说,框架问题的确非常棘手,因为它的存在使得对于行动的知识刻画必须引入大量的框架公理,并由此使得系统的计算负荷剧增。从历史上看,人工智能界赖以解决这个问题的基本路径主要有两条。第一条是诉诸于＂关于惯性的常识律＂或缺省逻辑,即在行动表征中预设：没有被表征式牵涉到的＂世界其余部分＂都将保持惯性。另一条路径则采纳了海耶斯的＂素朴物理学＂表征方案,即试图把日常物理学知识全部用谓词逻辑公理化,让系统自动推算出哪些动作会导致哪些结果。本文将论证,这两条道路其实都走不通。在此基础上,本文将从维特根斯坦的《论确定性》中寻找灵感,建立一个关于信念网动力学模型——在这个模型中,某些知识节点的激发只会导致某些与之毗邻的节点的激发,因此,对于特定问题求解路径的表征,就能够避免对于一个更大范围内的知识网络的牵涉。框架问题也有望借助于这个模型得到解决。最后,我将利用＂非公理推演系统＂（NARS）为这个模型提供一种尽量逼真的工程学模拟。     

从动态认知逻辑的角度看偏好——刘奋荣《动态偏好逻辑》评介

《动态偏好逻辑》一书是国家社会科学基金青年项目（项目编号：04CZX001）的优秀成果,也是刘奋荣博士在荷兰阿姆斯特丹大学逻辑、语言和计算研究所（ILLC）从事博士项目研究的主体内容。全书分为七章：第一章引论;     

纯粹逻辑的贝叶斯主义及其哲学效应

"纯粹逻辑的贝叶斯主义",是C.豪森近年来发展出的一个研究纲领。他认为概率演算的布德诺.德.菲耐蒂公理化系统是纯粹逻辑的,而包含可列可加性的公理系统则破坏了逻辑一致性原则。基于"方程可解性"概念所建立的形式类比展示了概率一致性和演绎一致性之间的平行关系。这一纲领对逻辑全能问题、休谟问题以及条件化规则的合理性问题都提出了独到而统合的解决。然而,该纲领仍面临着"杜宾(Dubin)问题"的挑战,同时也回避了一些像简单性和真理的关系这样有意义的哲学问题的探讨。     

走向形式公正与实质公正的统一——西方公正观演进的现实启示

构建与我国社会发展进程相一致的公平正义观,是我国现阶段面临的重要课题.社会主义公平正义观是马克思主义经典作家在资本主义形式公正的基础上提出来的,旨在实现形式公正与实质公正的统一.在西方,公平正义观经历了一个由形式公正走向实质公正进而追求形式公正与实质公正相统一的过程.借鉴西方公正观演进的逻辑,把握公平正义发展的规律,构建市场与政府良性互动的公平正义实现机制,逐步实现形式公正与实质公正的统一,对于构建和实现社会主义公平正义观至关重要.     

逻辑、语言和计算国际学术研讨会综述

由西南大学逻辑与智能研究中心和重庆逻辑学会主办,国际符号逻辑学会协办的逻辑、语言与计算国际会议暨第二届东亚逻辑、语言与计算学校于2012年8月25日至31日在西南大学成功举办。本次活动是继2010年在中山大学举行的“中欧逻辑、语言与计算冬令学校”之后的第二届活动,旨在对逻辑、语言和计算机科学的交叉研究领域开展研讨,促进跨学科、跨地区学术交流与合作,展示现代逻辑与数学、哲学、语言学、信息科学等学科的内在联系,训练和培养青年学者,发现人才。     

《逻辑学研究》征稿启事

《逻辑学研究》是中山大学和中国逻辑学会主办,由教育部高等院校人文社会科学重点研究基地中山大学逻辑与认知研究所承办的学术刊物,旨在积极推动我国逻辑学及相关学科的学术研究水平,增进海内外逻辑学及相关领域学术同行的交流。