关于社交网络中主体行为的推理和预测

社交网络中主体之间的影响可以分为单向和双向两种。新观念、文化元素的扩散是一种单向的影响。受到单向的影响,主体的认知和行为会发生变化,借助逻辑的形式语言和推理能够对行为的发展趋势进行预测。与此不同,双向的影响则引发主体行为模式的反复转换,通过引入新的动态变化规则可以避免此类情形的出现。本文给出了行为稳定性的几个概念,讨论它们对有穷和无穷的社交网络空间的不同意义。

中国古代的推理模型(英文)

文章主要针对中国古代语言和论证的一些重要方面进行探讨,特别地,我们重点考察了儒家和墨家的观点。我们主张使用轻型的逻辑模型方法(不引进全部的现代逻辑演算)对一些重要的概念提供解释。我们所关注的问题主要有:情景辨别和做出反应、根据合适的反应来正名、以及通过"法"和"因"两个方面讨论类的外延。我们尝试使用博弈模型来表示古代论证的实际情形,重点讨论关于对象和类之间关系的争辩。在文章的最后,我们讨论了使用博弈建模方法对于理解古代中国推理实践潜在的可能性。

从动态认知逻辑的观点看中医方证思想

运用动态认知逻辑的系统思想对中医治疗的总原则进行分析和阐释,揭示其动态的特征,并把中医学家和患者之间的交流看作是一个多主体认知系统中主体间的信息互动。以实际例子说明这样的动态过程是如何实现的,为我们正确理解和看待中医诊疗方法提供了一个崭新的视角。

信念偏好逻辑:从单主体到多主体

偏好是哲学、博弈论、决策论和效益理论等学科的核心概念,偏好及其逻辑性质在行为哲学和理性选择理论中尤其占有十分重要的地位。从抽象逻辑的角度为偏好建模:首先,引入基于个体对象的单主体的信念偏好逻辑,然后把这个逻辑扩展到多主体的情形,给出多主体的信念偏好逻辑,证明其完全性,并提出在新情况下的表示定理。通过对两种具体情境:相互合作的主体和相互竞争的主体的重点研究,表明基于优先序列的偏好概念可以刻画多主体互动的主要特征。

中医诊疗过程的逻辑——一个信念修正理论的阐释

从分析中医诊疗过程的特点入手,运用信念修正理论来阐释这一过程中的逻辑规律。主张要更好地理解中医理论的发展,需要重视具体的中医诊疗实践,特别是中医学家的信念及其动态改变所起的作用及其规律的研究。

关于语境的一个逻辑模型

本文从对一元价值谓词"好"、"坏"和二元价值谓词"更好"之间的关系出发,首先回顾了偏好逻辑中用二元价值谓词定义一元谓词的各种方案。然后,文章介绍了van Benthem利用语境从一元谓词定义二元谓词的工作。文章着重分析了在这一背景下语境的概念和性质,并提出了两种逻辑的方法刻画语境。本文重点给出了语境的模态语言、语义模型,并对涉及语境变化的三条有效规则进行了深入讨论。

略论弗雷格和皮亚诺对数学基础的研究

十九世纪初以来，在数学研究积累了大量的材料和成果之后，数学研究要求对基础理论进行深入探讨，这就必然要求数学中的论证具有逻辑的严密性。从十九世纪七十年代到二十世纪三、四十年代，两位伟大的数学家，德国的弗雷格和意大利的皮亚...……

全国现代逻辑学术研讨会综述

2010年4月25日至26日“全国现代逻辑学术研讨会”在北京大学举行。会议由北京大学哲学系主办，中国逻辑学会现代逻辑专业委员协办。来自全国各高校和研究单位的二十多位专家、学者、博士生在会上作了学术报告，内容涉及到数理逻辑、哲学逻辑和逻辑哲学的多个分支和领域。这些报告展示了我国逻辑学目前发展最新的研究成果。

逻辑、认识论与方法论——范本特姆教授访谈录

《逻辑之门》是当代著名逻辑学家约翰·范本特姆经典著作的中文翻译丛书,该丛书搜集了他的经典论文和主要著作。丛书的前三卷已经出版发行,在汉语世界产生了积极的影响。第四卷《逻辑、认识论和方法论》于2013年1月在科学出版社出版。其内容主要集中在范本特姆对逻辑常项、认识论、科学方法论和逻辑哲学等方面的学术贡献,展示了他对逻辑与科学、哲学的关系问题的一些思想和观点。参与本书翻译的学者们都是目前活跃在国内外的青年学者，我们就自己关心的问题对范本特姆教授进行了采访，并将他的回答整理如下，希望能跟更多的读者分享。

一种基于认知心理逻辑的“观其脉证,知犯何逆,随证治之”研究方案

通过对认知心理学问题解决、动态认知逻辑、中医辨证论治等研究现状的回顾,提出中医学"观其脉证,知犯何逆,随证治之"的思维过程可以从认知心理学问题解决来分析,可以动态认知逻辑中公开宣告、信念变化来刻画。认为"观其脉证,知犯何逆"即是确定问题、表征问题;"随证治之"即计划解决方案、执行计划。病人服药后效果如何、如何调整处方正是问题解决中的评估计划、评估解决方案。在辨证论治这一系列有目的指向的认知操作的动态过程,中医师的信念会随着治疗前后信息的变化而不断变化、完善。既然辨证论治是一系列有目的指向的认知操作的动态过程,那么就可以认知心理学问题解决的立场去研究它、以动态认知逻辑来刻画它。

偏好变化的一个量化模型(英文)

偏好是哲学、博弈论、决策论和效益理论等学科的核心概念,偏好及其逻辑性质在行为哲学和理性选择理论中尤其占有十分重要的地位。偏好的概念使得我们对世界的看法变得多姿多彩,它驱使着我们在尘世的种种行为选择。然而,偏好不是静止不变的,建议、命令、以及其他的信息不断改变着我们的偏好。近年来,逻辑学家们开始对偏好的改变进行深入的研究。到目前为止,关于偏好变化的模型主要有以下两种:第一、采取AGM理论研究偏好变化,给出变化的逻辑公设。第二、采用新近发展起来的动态认知逻辑的方法,对偏好的具体变化机制进行研究,给出动态偏好逻辑系统。无论是上面提到的哪种方法,都是采用定性的视角,即,偏好被表示成一个序关系。与此相反,本文采取量化的视角来研究偏好,利用偏好赋值函数给出偏好的量化语义。就逻辑语言而言,我们给出一个包括命题常元的新语言。这个语言既简练又富于表达力。基于这样的量化语义,处理偏好变化的方法就与以往的方法有所不同。根据经典的乘积更新的机制,我们提出了新的加法规则和一个参数化规则,来刻画偏好赋值的细微变化之处。同时,我们给出一个动态认知赋值逻辑,并证明其完全性。此外,我们还考虑道义逻辑最近的一些研究成果,表明本文给出的模型同样适用于道义的情境。特别是,这个新的模型能够解决困扰人们已久的义务冲突问题。最后,针对赋值偏好模型,我们定义了适用于它"赋值互模拟"。而且,我们还进一步给出了一个新的互模拟概念"距离互模拟"以结束本文。

社会网络中信念修正的几个问题

本文首先在传统信念修正理论和动态认知逻辑的框架上提出了社会网络的信念修正模型,将主体之间的社会关系纳入到新的模型中来,介绍并研究了"有穷自动机"模型从众心理的信念修正模式;其次,引入证据、信任度两个概念来刻画基于理由的信念修正;最后,指出社会网络中信念修正的研究如何与哲学其他领域相关联。

基于命题的信念偏好逻辑

Preference is a core notion in philosophy,game theory,decision theory and utility theory,and it has played a central role in philosophy of action and rational choice. This paper studies preferences from a logical perspective. I first introduce an existing Doxastic preference logic over individual objects,and then extend it to propositions. A new Doxastic preference logic over propositions is proposed,and its completeness and a representation theorem have been proved. The paper also explores a notion of propositional preference as a lift from preference relations over possible worlds and presents a complete logic for it. Finally,the two Doxastic preference logics over objects and over propositions,respectively,are compared,and I show that they are essentially the same in terms of reasoning with preferences.

与约翰·范·本瑟姆教授面对面——聆听逻辑、语言和信息领域巨匠的声音

约翰·范·本瑟姆(Johan van Benthem)是荷兰阿姆斯特丹大学的逻辑学教授,美国斯坦福大学人文科学的博撒(Bonsall)教授。20世纪90年代,他创建了阿姆斯特丹大学的逻辑、语言与计算研究所,该所横跨数学、计算机科学、哲学和语言学,旨在研究信息的结构和信息流,同时担任欧洲逻辑、语言和信息基金会的第一任主席,还是荷兰艺术与科学学院、欧洲科学院和国际哲学院的院士。由于他的卓越成就,1996年荷兰政府授予他斯宾诺莎奖。

从方法论的角度看动态认知逻辑的研究

本文主要探讨动态认知逻辑技术结果背后的思想,着重强调其在方法论方面的一般想法。文章在公开宣告逻辑的基础上展开讨论,重点考察了归约公理的意义,揭示了其本质是在基本语言中提前解析动态信息对认知产生的影响。文章以公共知识为例,说明了并非所有的逻辑算子都能找到归约公理,有时候我们需要丰富基本语言的表达力。而且,我们从如何给出一个逻辑的角度提出,动态认知逻辑实际上是在"动态化"认知逻辑,这种动态化的方法可以应用在其他静态的逻辑系统中。我们以动态偏好逻辑为例,说明了这一过程是如何实现的。

社会网络结构与主体认知变化的逻辑探讨

本文首先介绍了逻辑学研究的一个前沿领域,即对社会网络信息流的新特点和新规律的研究。接着,文章对社会网络的结构展开逻辑分析,并阐明结构的不同对信息传播和主体认知产生直接的影响。在此基础上,作者在动态认知逻辑模型中引入社会网络框架,给出新的模型和语言,并对社会网络中信息内容本身、信息的发送者和接收者三者之间的关系进行刻画和描述。