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

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

皮尔士思想研究

主持人的话:查尔斯·S.皮尔士(1839—1914)的一生及其成就备受争议和瞩目,主要的原因是他的学说的广泛性和原创性。当前哲学研究许多领域的工作都可以追溯到皮尔士,譬如现代逻辑、符号学、指号学、可能世界语义学、科学哲学、数学哲学、语言哲学以及心灵哲学等等。此外,他对形而上学的贡献也被当代哲学家视为无尽的宝藏。如果把他和分析哲学的奠基者弗雷格做一比较,那么可以借用这样一个隐喻:皮尔士是一只狐狸,而弗雷格是刺猬。“狐狸知晓许多事情,而刺猬知晓一件大事。”计划30卷的编年体《皮尔士文集》从1982年开始到现在才出版6卷就足以…     

论康德Sein论题中的逻辑谓词与实在谓词——从二项解读模式到三项解读模式

康德"Sein论题"中的"逻辑谓词"与"实在谓词"究竟指什么,这是一个有争议的话题。人们或者把系词和存在断定词一概视为逻辑谓词,或者认为系词就是逻辑谓词,但其实只能把存在断定词理解为逻辑谓词——尽管在"Gott ist"命题中,系词ist充当了存在断定词。对实在谓词也有先验论和经验论两条解读思路。本文将实在谓词理解为分析命题的谓词,即述说"上帝"这类"可能事物"之"先验实在性"或"规定"的谓词概念;而被述说的"先验实在性"或"规定"则是实在谓词的客体。但不少人要么将实在谓词理解为综合的主谓关系命题的谓词,要么将其理解为综合的实存性命题的谓词。把分析的实存性命题的谓词"存在"当作逻辑谓词,把综合的实存性命题的谓词"实存"当作实在谓词,这种富有特色的做法忽略了真正的实在谓词,也遮蔽了"实存概念的精确规定",因而需要由包含以下三个要素的解读模式来取代:(1)述说上帝这类可能事物的先验实在性的实在谓词;(2)在本体论证明中被混淆为实在谓词的逻辑谓词,即分析的实存性命题的实存谓词;(3)"实存概念的精确规定",这是综合的实存性命题的谓词。     

大学生学科问题类比迁移的实验研究

考察了单个和两个源问题条件下大学生学科问题类比迁移的情况。实验1考察表面特性对学科问题迁移成绩的影响,以及个体的时间控制、解题策略。实验2考察两个源问题表面相似关系和思路归纳关系对迁移成绩的影响。结果表明：1)表面相似性对迁移成绩影响显著,同领域学科问题之间更容易迁移;2)依据表面和依据结构来激活源问题都是有效策略．源问题学习时间与迁移效果之间不存在显著关系;3)思路归纳对迁移成绩影响显著。     

佛教哲学的逻辑结构

本文中所说的佛教哲学,是从哲学思维的角度来看待的佛教义理之学。先辈学者汤用彤先生说过"佛法亦宗教亦哲学"。笔者的理解,佛法,严格地说,可以     

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

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

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

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

一个用于表达因果关系的ATL的扩展

CTL模型检测技术已被广泛应用于形式验证领域。交互时态逻辑（ATL）是对CTL的一个扩展,用于表达多主体博弈结构上的性质。ATL使用合作算子来表达多个主体能够通过合作保证系统的设计目标。在实际应用中,我们需要知道主体的行动与系统的输出状态之间具有因果关系。在本文中,我们通过引入新的模态算子扩展ATL,使得这种因果关系得到表达。我们使用两种方式的扩展。其中之一是从主体的能力出发,直观上,如果一些主体可以通过合作的行动来保证系统进入某个状态,同时,这些主体也可以通过合作的行动保证系统不进入这个状态,则这些主体的行动与该系统状态间具有更强的因果关系。我们使用的另一种方式是从系统状态出发。我们考虑要想使系统进入某状态,哪些主体的行动的必不可少的,哪些主体的行动是充分的但非必要的条件。在本文中,我们扩展后的逻辑CATL和SATL表达力强于ATL,但计算复杂性与ATL相同。     

范本特姆《逻辑、语言和认知》书介

“逻辑之门——约翰·范本特姆经典著作”是由荷兰阿姆斯特丹大学资助的翻译项目。该项目的成果以丛书形式由科学出版社出版,刘奋荣任丛书主编。《逻辑、语言和认知》为丛书第二卷,由刘新文和郭美云任主编。第二卷全书由17篇范本特姆（van Benthem,LEA．K．）撰写的论文组成,这些论文写作的时间从1983年开始至今,时间跨度达25年。按照研究的主题的不同,     

《易经》:人类科学思维和审美思维方式的精典阐释

一本诞生于五千年前的中国古书《易经》,已经包含着深刻的现代科学数理逻辑原理,且与美学的审美逻辑原理互为支持、互为表里,使这两大类本来被认为水火不相容的领域及其独具的思维方式得到了高度完善统一的阐释。从这样的角度来看《易经》,也许会有助于目前心理学界对思维方式及逻辑问题的研究,拓开一条崭新的思路。