我国概率动态认知逻辑研究简况

将认知逻辑、动态逻辑、时间逻辑与概率逻辑相组合来对概率进行研究,是目前国际上比较前沿的研究领域。利用组合模态逻辑的方法构造概率动态认知逻辑,可以用来处理信息、高阶信息和信息变化,同时也可用来分析一些哲学问题,如认知悖论等。     

自信性认知逻辑

认知T-原则是一种过强的认知原则，一般的认知不具有此性质。“逻辑全能性质”不只是“理想认知主体”才具有的认知性质，一般的“理性认知主体”也具有某些“逻辑全能”的性质。在一种修正的可能世界语义学下，削弱了“逻辑全能问题”，并且保留了那些合理的认知性质。认知T-原则在这种语义学下，不会有效。自信性以及弱自信性认知逻辑系统刻画了认知主体的自信性和弱自信性。这两个系统相对干这种语义学有可靠性和完全性。     

自信性认知逻辑

认知T-原则是一种过强的认知原则,一般的认知不具有此性质。"逻辑全能性质"不只是"理想认知主体"才具有的认知性质,一般的"理性认知主体"也具有某些"逻辑全能"的性质。在一种修正的可能世界语义学下,削弱了"逻辑全能问题",并且保留了那些合理的认知性质。认知T-原则在这种语义学下,不会有效。自信性以及弱自信性认知逻辑系统刻画了认知主体的自信性和弱自信性。这两个系统相对于这种语义学有可靠性和完全性。     

认知悖论及其逻辑问题

认知悖论总是相对于一定的认知主体或某一认知系统而言的。认知悖论的产生既离不开具体的认知主体的背景知识和某些假定的前提条件,也离不开具体的认知主体的逻辑推论。因而不能简单地把认知悖论归结为一种特殊的命题。与逻辑悖论和语义悖论相比,认知悖论涉及到具体的认知主体及其心理状态,因而其推论过程更具有复杂性。认知悖论的推论不仅涉及到自指性问题的纠缠,而且建构认知悖论的严格形式,还需要发现一种真正的悖论性难题的严格公式化描述,而这样做将会导致重要的技术性进步。认知悖论是挑战人类理性思维和科学发展的难题,研究认知悖论具有十分重要的理论意义和现实意义。     

解决逻辑全能基本制约性标准及哲学反思

逻辑全能问题是认知逻辑发展的一个瓶颈,抑制了认知逻辑在其他学科中的应用。许多学者对逻辑全能问题提出了诸多的解决方案,但并未在"解决标准"上展开深入研讨,难以在各种解决方案的优劣上达成共识。在达克提出的"逻辑全能"与"逻辑无能"概念的基础上,文章试图给出解决逻辑全能问题的一种基本制约性标准,并给予哲学说明。     

贝叶斯推理的逻辑与认知问题

贝叶斯主义的复兴出现在统计推理领域,贝叶斯方法成功避免了经典统计推理中的主观因素问题以及先验回避问题,凸显了自身的归纳特性,因而是推理方法的革命。尽管目前贝叶斯主义风行,但它仍存在主观性、简单性与旧证据问题等难题,这也为其进一步发展留下了宽广空间。认知心理学近来对贝叶斯推理研究的发展,为贝叶斯推理研究的认知转向提供了契机,同时为这种方法的发展提供了可能的进路：探索频率主义与贝叶斯主义整合的可能性;在外延性归纳逻辑中引入内涵因素,尝试外延性与非外延性因素的融合。     

多值逻辑与审美逻辑——论审美认知的逻辑基础

审美认知长期被公认为是直觉而非逻辑的 ,因此而与科学认知形成明显分界线。然而从所谓逻辑的本质看 ,其与联系、规律等概念有着高度内在的同一性。任何复杂事物包括美与审美现象都是有着普遍联系的、有规律可循的、因而是有逻辑可循的 ,因而审美认知也应当是有逻辑的。打破传统二值逻辑构架而建立在多值逻辑基础上的现代逻辑学 ,以及与此相照应的现代计算机原理与技术、现代艺术和审美实践等都充分证明 :审美逻辑是现代多值逻辑最典型、也最极端的存在式。承认并研究审美的逻辑问题 ,发现审美———这一人类精神或心理世界最为复杂现象与活动独具的逻辑面貌 ,及其独具的定律、演算系统 ,对于丰富和健全认知心理学理论 ,建立科学的审美教育和整个教育的审美化体系 ,从而真正实现用“美的规律”去“建造物体”和塑造人类自身 ,有着重要的理论和实践意义     

三分的认知世界与怀疑逻辑的独立性

主体的认知世界可以划分为“信念世界(WB)”、“怀疑世界(WD)”和“无知世界(WU)”,这三个世界中的元素是认知命题。这三个世界之间是不重叠的,并且它们构成一个认知世界全集。一个认知命题是真的,当且仅当它属于相应的认知世界之中。有了这样的划分,研究怀疑世界中的认知命题之间的逻辑关系的怀疑逻辑是独立的,它不能通过信念逻辑的变形而得到。怀疑逻辑、无知逻辑与信念逻辑构成三个相互独立的逻辑系统。     

三分的认知世界与怀疑逻辑的独立性

主体的认知世界可以划分为“信念世界（WB）”、“怀疑世界（WD）”和“无知世界（WU）”，这三个世界中的元素是认知命题。这三个世界之间是不重叠的，并且它们构成一个认知世界全集。一个认知命题是真的，当且仅当它属于相应的认知世界之中。有了这样的划分，研究怀疑世界中的认知命题之间的逻辑关系的怀疑逻辑是独立的，它不能通过信念逻辑的变形而得到。怀疑逻辑、无知逻辑与信念逻辑构成三个相互独立的逻辑系统。     

一个刻画理解的认知逻辑

通过两次问卷调查可以发现,绝大多数调查对象直观上都认为:理解一个命题就是知道它的意义.然后我们认为,在认知逻辑中,理解,作为一个模态算子,可以在一个较弱的意义上用知道算子来刻画:理解一个命题就是知道它的真假.由此,我们给出一个刻画理解的认知逻辑来揭示理解与知道之间的联系与区别.     

演绎证成的认知解读

演绎也是需要证成的,这如同把所有以逻辑推理为基础的科学大厦放置在一个火山口上,随时有崩溃的危险。论文在对各种演绎证成进行评判的基础上,从认知主体的角度分析,认为演绎证成其实也是一个逻辑全能问题,演绎证成在认知主体层面上才需要辩护,从而维护科学大厦的基础。     

认知命题的逻辑语义特征分析

建立模型是对认知表达式进行逻辑语义分析的前提,可能世界语义学为此提供了有效工具。但是逻辑全能悖论说明认知世界不同于逻辑可能世界,为描述其逻辑特征我们需要“瓮”模型。此外对认知命题来说,名称—对象关系总是相对于认知主体而定,因此在对其逻辑分析中涉及到量词的信息独立等问题。这些都说明,我们对认知逻辑进行语义学和语形学方面的研究时,不能完全运用形式化和公理化的方法     

认知问题和群知识浅析

研究群知识的形式模型有助于澄清抽象的哲学概念以及概念之间的关系。然而,目前群知识的形式化的处理方法和哲学所讨论的群知识是相脱离的。对群知识的形式化的定义可称为集体知识,是关于公共问题的分布知识以及公共知识和全分布知识之间的桥梁。所有的知识都是基于对主体的不同概念的区分而获得的。为了对认知群和集体知识进行模型,需要引入新的克里普模型,即认知群模型。定义一个好的群知识有助于对基于群知识的更高层次的哲学讨论。     

无罪推定的逻辑形式

文章区分了3种关系———事实关系、认知关系和法律拟制关系,认为无罪推定是一种法律拟制,而不是单纯的认知活动。同时对无罪推定的逻辑形式进行了分析,分析表明,无罪推定的逻辑形式是一种正确的逻辑论证,而不是“以无知为据”的错误论证,无罪推定并不违反实事求是原则。     

马克思个体主体理论的中国化及其逻辑理路

马克思个体主体理论是马克思主义理论体系的重要组成部分;马克思个体主体理论的中国化面临着巨大的价值张力,其中国化进程经历了三个大的发展阶段,演绎着从思想层面——实践层面——制度层面方向发展与转变的逻辑理路。     

逻辑思维规则与逻辑问题解析

从假言命题中充分条件和必要条件这两种逻辑真值分析入手,结合实例,解析逻辑问题中所蕴含的思维规则,总结在逻辑教学过程中如何把握对学生进行思维训练的知识点,以便更好地训练和引导学生遵循逻辑规则,提高逻辑思维能力。     

全球环境治理中的“认知共同体”及其限度研究

全球环境治理是国际关系中的一个新领域,全球环境问题对国际关系从国际合作的实践和传统的国际关系理论都带来了挑战。而Peter M Haas所发展的“认知共同体”理论,为理解国际环境合作提供了新的视角。“认知共同体”理论认为对特定环境议题持有共同理念的跨国科学家联盟有助于帮助决策者进行议题界定、厘清国家利益以及提供政策选择,从而有效地促进国际环境合作。     

语言学中逻辑思想的历史流变

从哲学和逻辑学角度进行语言研究的思想贯穿语言学发展的不同阶段,形成了语言学中的逻辑流派。但在语言研究的不同历史时期,其主要观点有所不同。对语言学中逻辑思想的发展历程进行梳理,能从一个侧面勾勒出语言学理论演变的大体轮廓。