动态认知逻辑研究述评

动态认知逻辑是近年来兴起不久的非经典逻辑,是一个相对比较新的研究领域.20世纪中后期人们对知识与信念的研究由静态向动态转变,荷兰逻辑学家J.van Benthem首先提出用动态模态逻辑为信息变化提供模型,建议用动态算子来刻画事实的变化,从而宣告动态认知逻辑的产生.到目前,动态认知逻辑得到了快速发展,人们不仅深入地讨论了公共宣告、半公开宣告和秘密告知等行为,而且还研究了行为过程中的信息更新、信念修正,进一步为它们提供了结构模型与形式表达,建立了一系列的形式系统.     

动态认知逻辑:变化中的认知推理

动态认知逻辑是近年兴起的非经典逻辑,是一个相对比较新的研究领域.它是逻辑、认知以及信息相交汇的产物,旨在分析知识与信息的变化,为逻辑推理中的信息动态认知提供形式语言表达、结构模型以及一套形式化的处理办法.动态认知逻辑对于语言构造的分析、人的动态化认知过程、人工智能以及计算机的信息处理具有重要意义.     

认知动力模型面临的几个问题

认知动力系统模型作为新的认知范式,将身体与环境作为两个重要的参数纳入到认知操纵过程之中,体现了一种新的认知理念。但它在批评传统的认知主义研究模型的同时,本身也存在一些问题:在对待认知的时间维度时,过分倚重认知发生的在线性耦合,忽视离线的去耦过程;完全否定表征的意向性;新增加的身体与环境这两个参数是否能完全补足框架的缺省值;动力模型能否从类比阶段的隐喻稳定地向实在论方法论过渡。认知动力模型要想成为成熟的认知范式,就必须回答或解决这些问题。     

论身体认知的逻辑

长期以来,人们都无视身体的认知功能和价值,只把认知归功于大脑。其实,正是人的整体性身体结构,以及由此形成的身体场、知觉场、实践场、身体的意向性、认知冲动、探索行为、身体的感知力、认知的超越功能、概念化和范畴化作用等身体要素、身体智能和身体思维,一起构成认知和才智的源泉。因此身体才是人类从事社会实践、获得知识、创造历史的根本,只有把人的身体放在第一位,才更有利于推动人的认知活动。     

当前欧洲术语学的认知理论方向

自20世纪90年代起,欧洲术语学界出现了对传统术语学的反思思潮。近十几年,在欧洲专业语言学界经历了某种认知方向的转换,这种潮流也对术语学界的理论反思产生了影响,相应产生了一些新的术语学认知理论范式。文章旨在对这些新理论思路的产生和发展做一简述,以期与广大读者共勉,并对中国的术语学理论建设提供一些借鉴。     

认知研究的隐喻描述

随着"新修辞学"重新审视和解读人文社会科学的思想基础,隐喻的定义被不断地扩展,远远超越了语言本身的范围,并与认知研究建立起密切的关系.本文在分析隐喻的认知价值基础上,选择有代表性的案例重点展示了认知研究中的隐喻描述,以求从多元视角揭示认知的本质.     

哥德尔定理与逻辑认知进化

哥德尔定理是20世纪现代逻辑科学的三大成果之一,在自然和人文社会科学领域被广泛引用和阐述。其所揭示的不完全性,不仅存在于数学或逻辑系统之中,而且普遍存在于人类使用的语言符号之中。此后,逻辑理论和分析方法发生了重大变革,影响了西方哲学的发展形态。从进化与辩证的角度来看,哥德尔定理不应该被绝对化,人类认知是不断发展的过程;在科学实践中,系统不断通过逻辑进化来解决问题,理性逻辑思维与直觉思维是辩证统一的。     

证实原则的认知逻辑分析

证实原则作为证实主义的一个一般性纲领认为,一个非分析性的有意义的真语句都是可以被经验所证实(因而是可知)的。用认知逻辑表明从证实原则出发可以产生费奇悖论。费奇悖论表明,证实原则不仅和信念修正中穆尔语句不能被一致地相信相关,还与动态认知逻辑中一个公式是否总能成功更新有关。我们在对动态认知逻辑对证实原则的各种修正方案进行比较分析后认为,证实原则反映了人类学习和交流互动过程中的精致性和复杂性,这在动态逻辑的具体背景下可以进一步进行更为细致的研究。     

主体间的互动性与多主体认知推理模型的建构

认知往往是多个主体间相互作用的活动,建立多主体认知推理模型就必须考虑主体间互动问题.为此我们需要区分团体知识与公共知识,需要借助博弈论方法分析描述主体认知的动态性.这就使多主体认知推理模型的建立面临许多需要解决的技术问题.     

辩证法能够逻辑化吗？

本文试图批判自黑格尔以来一直存在的把辩证法逻辑化的错误倾向，笔者论证了以下四点；（1）由于运动的基本性，无论是“矛盾”或“相互作用”都不可能解释所有运动变化；（2）运动和变化范畴不适用于“类”和“概念”，尤其不适用于逻辑推理的对象；（3）逻辑和辩证思维成立的主观前提首先存在于人类实践活动的基本要求中；（4）现代教学与逻辑的发展表明，辩证法的某些方面可以逻辑化，却包含着根本的非逻辑内容。这一批判将进一步恢复实践唯物主义的真精神，把唯物辩证法和逻辑分析方法统一起来，达到现代哲学研究所要求的精确性。     

Contemporary Epistemic Logic and the Lockean Thesis

This paper studies the Lockean thesis from the perspective of contemporary epistemic logic. The Lockean thesis states that belief can be defined as ‘sufficiently high degree of belief’. Its main problem is that it gives rise to a notion of belief which is not closed under conjunction. This problem is typical for classical epistemic logic: it is single-agent and static. I argue that from the perspective of contemporary epistemic logic, the Lockean thesis fares much better. I briefly mention that it can successfully be extended from single-agent to multi-agent settings. More importantly, I show that accepting the Lockean thesis (and a more sophisticated version for conditional beliefs) leads to a significant and unexpected unification in the dynamic behavior of (conditional) belief and high (conditional) probability with respect to public announcements. This constitutes a methodological argument in favor of the Lockean thesis. Furthermore, if one accepts Baltag’s Erlangen program for epistemology, this technical observation has even stronger philosophical implications: because belief and high probability display the same dynamic behavior, it is plausible that they are indeed one and the same epistemic notion.     

从PAL看认知逻辑的动态转换

本文首先介绍动态认知逻辑的发展由来和研究背景。再以动态认知逻辑的的一个基础系统——公开宣告逻辑（public armouncement logic简称PAL）为例。从而介绍动态认知逻辑研究的一些基本思路和方法，重点考察动态认知逻辑是如何完成静态向动态的转换。     

审视逻辑相对主义——以关于阿赞德逻辑的争论为例

逻辑相对主义观点是指不同的文化也许根据不同的逻辑规则进行推理。来自人类学关于偏远民族的调查引起了是否存在不同于西方逻辑的其他逻辑的争论。以关于阿赞德逻辑的争论为例进行分析,表明争论的缘起在于用西方形式逻辑的视角讨论特定文化的实践推理。从一种非形式逻辑的视角分析阿赞德推理,则引起争论的疑惑点得以解释与澄清。     

存在问题的逻辑哲学省察

本文试图立足于现代逻辑哲学,从三个方面对存在问题作一初步的介绍与讨论：作为真实个体的存在与作为思想对象的存在;隐含的存在与明示的存在;传统逻辑的存在与现代逻辑的存在。     

Epistemic Justification and Operational Symbolism

By the end of the twelfth century in the south of Europe, new methods of calculating with Hindu-Arabic numerals developed. This tradition of sub-scientific mathematical practices is known as the abbaco period and flourished during 1280–1500. This paper investigates the methods of justification for the new calculating procedures and algorithms. It addresses in particular graphical schemes for the justification of operations on fractions and the multiplication of binomial structures. It is argued that these schemes provided the validation of mathematical practices necessary for the development towards symbolic reasoning. It is shown how justification schemes compensated for the lack of symbolism in abbaco treatises and at the same time facilitated a process of abstraction.     

Some Epistemic Questions of Cosmology

We discuss a number of fundamental aspects of modern cosmological concepts, from the phenomenological, observational, theoretical and epistemic points of view. We argue that the modern cosmology, despite a great advent, in particular in the observational sector, is yet to solve important problems, posed already by the classical times. In particular the stress is put on discerning the scientific features of modern cosmological paradigms from the more speculative ones, with the latter immersed in some aspects deeply into mythological world picture. We finally discuss the principal paradigms, which are present in the modern cosmological studies and evaluate their epistemic merits.     

论辩：一种基于有限理性的多主体认知博弈

论辩是一种多主体认知博弈活动.参与论辩的主体至少有两个,它们的目的是改变其他主体的认知状态,论辩本身则是一场遵循一定规则的博弈.近几十年来,虽然许多学科和领域对论辩进行了深入的研究,取得了大量的成果,但是,这些研究普遍存在两个重要的缺陷,即,它们对以下两点没有给予足够的重视:论辩是一种认知博弈;论辩者只具有有限的理性.本文将对这两点进行初步的探讨.     

法兰克福学派技术思想发展理路探究

从早期到后期,法兰克福学派的技术研究理路发生了系列变化:技术本体从本质主义到后本质主义,研究方法从规范到规范与描述的统一、从价值预设到事实与价值的统一,研究路径由宏观向宏观与微观的结合,理论基调从敌托邦、乌托邦的宿命论到可选择性。这一转变理路与技术哲学的发展趋向一致,显示了哲学发展的同心圆性质。