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

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

怀疑逻辑的弗协调方案探赜

目的：提供一个建立在弗协调认知逻辑基础上的包含三分认知世界思想的怀疑逻辑构造方案。方法在系统 SPN 内定义相关的认知模态算子。结果怀疑逻辑三分认知世界的设想得以实现,同时由于弗协调认知逻辑的原因,一些怀疑逻辑公式的有效性发生了变化。     

浅谈认知世界三分的真标准

言语行为博弈是一类信息交互博弈，博弈的基础是人的认知世界。人的认知世界由信念世界（WB）、怀疑世界（WD）和．君知世界（WU）三个世界构成。这三个世界中的元素是认知命题。对认知世界的划分以人的信念为根据，依照个体主义方法论，可以将三分认知世界的标准界定为信念真，较之于逻辑真和事实真。信念真标准强度稍弱。根据信念真标准，言语行为博弈的结果是认知主体的认知世界可能发生变化。     

言语博弈与认知世界的变迁

对于一个言语博弈群体中的每个认知主体,其三个认知世界(信念世界、怀疑世界、无知世界)随着与他人的言语交流而变化。公共信念是理解言语交流的核心概念。某个命题之被表达其原则是:被表达的命题其命题态度不是公共信念。一个群体能够进行交流的条件是:至少存在一个人的信念或疑点不是公共信念。充分交流之后,公共信念集达到极限,此时任何表达都不会增加该群体的公共信念。公共信念逻辑为所有群体公共信念集中的共有部分,它们构成这样的公共信念"每个交流者是理性的"。     

论拒斥模态与拒斥认知逻辑

在认知模态当中,"知道"、"信念"等是"正"的模态,"拒斥"、"怀疑"则是"负"的模态.在负的模态词中,"拒斥"是最强的认知否定.在三分认知世界理论的基础上讨论拒斥模态与拒斥认知命题是恰当的.根据三分认知世界理论,在经典命题逻辑的基础上引入拒斥算子"J",可以建立一个静态拒斥认知命题逻辑系统.拒斥认知逻辑的建立有利于保持思维的明晰性,拒斥认知逻辑是精确判断、做出决策、排除谬误等活动的重要工具.     

怀疑主义与认知价值

当代知识论越来越重视认知价值的研究,但从认知价值角度去重新思考传统怀疑主义问题的研究却很少。历史上的怀疑主义者既认为我们无法拥有任何知识,又主张我们应该悬置判断。因此,他们不仅预设了一个高的知识标准,而且预设了一个价值标准：任何达不到知识标准的认知状态都是没有认知价值的。但这个价值标准是错误的,所以我们即使无法达到怀疑主义者所设定的知识标准,也不必悬置判断。假设怀疑主义者认为我们无法拥有任何知识,同时认可“有些达不到知识标准的认知状态也有认知价值”,那么怀疑主义就没有很大的威胁性,因为即使我们无法获取知识,也可以获得具有认知价值的东西,取得认知进步。此外,摩尔主义、语境主义、溯因主义这几种对怀疑主义的主要回应是否成功,最终都依赖于对认知价值的讨论。     

认知封闭原则与逻辑全能问题

关于认知封闭原则的研究是当代认识论中的一个重要话题,而现代逻辑工具是讨论这一话题的基本工具。逻辑全能问题是在认知逻辑系统把认知封闭原则作为初始公理的一种结果,其与认知封闭问题虽然侧重点不一样,但是两者是可以相互阐释的。考察认知封闭原则的不断修正以逼近理性认知主体一般直觉的研究历程,对于理解与解决逻辑全能问题,具有重要的启发价值。     

认知悖论及其逻辑问题

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

论摩尔对怀疑主义的回应

当代知识论是伴随着怀疑主义的诘难和对怀疑主义诘难的回应发展起来的.知识论者通过回应怀疑主义提出的种种诘难,试图更为详细的回答“知识如何可能”的问题,并致力于完善知识论体系的构建.摩尔的常识实在论在对怀疑主义的反驳中有着鲜明的特色和重要的意义,文章主要论述摩尔对怀疑主义回应的意义和价值.     

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

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

建立在"笛卡尔公理"上的一个怀疑逻辑系统

怀疑逻辑是关于人们合理怀疑的逻辑。如果说知道逻辑、信念逻辑都是"正"的逻辑的话,那么怀疑逻辑则是"负"的逻辑。将怀疑算子D加于命题之上就构成怀疑命题。笛卡尔的"我思,故我在"可以作为怀疑逻辑的特征公理:某人怀疑p,蕴涵着他对怀疑p是不可怀疑的———我们可以将之命名为"笛卡尔公理"。从该公理可以推论得到定理:某人不怀疑p,蕴涵着他对不怀疑p是不可怀疑的。该定理与笛卡尔公理一起作为当下思维存在的自明性公理。我们可以建立一个以"笛卡尔公理"作为一个特征公理的怀疑逻辑系统(PD)。笛卡尔公理与知道逻辑中的智慧公理(苏格拉底公理)在逻辑上是同构的,它们均对应于模态逻辑中的E公理。怀疑逻辑作为一种认知逻辑,有广泛的用途,它可以运用到政策反驳、科学批判、法律推理等领域。     

认知问题和群知识浅析

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

自信性认知逻辑

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

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

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

论形式逻辑与物的世界的关系

任何一种逻辑都要面向一个世界,形式逻辑也不例外,它主要面向物的世界,物的世界是形式逻辑的存在基础。物的世界是一种理论世界,它的产生具有“合法性”,符合人类的自然倾向,那就是对确定性的渴求。形式逻辑是物的世界的逻辑支撑,形式逻辑的发展程度和样式制约着物的世界的具体形态,物的世界的理论发展和形式逻辑的发展具有内在一致性。物的世界是一种必然的世界、自然的世界、知识的世界。作为一种面向物的世界的逻辑,形式逻辑在本性上与物的世界相契合,它具有必然性、可控制性、可计算性等。     

丁香花疑案毋庸置疑

丁香花疑案是近代中国第一大公案,主要涉及龚自珍和顾太清之间有无恋事的问题。就目前所能接触到的资料看,可以确定此事,其中旁证有三:一是龚自珍狂放喜交;二是龚一生风流浪漫;三是龚对清室不满。本证三则:一是《无著词》及他人杂记中的昭示;二是龚自珍不愿居京及暴死丹阳;三是顾太清广交、风流及被逐出家。     

内涵的刻画与认知的可能世界——兼评查尔莫斯的二维语义理论

解决同义性问题的一个重要困难在于:断定表达式有相同的意义包含了如下的假定———不同的说话者用音节划分世界的方式是一样的。因此,同义性问题不仅涉及指称问题,也涉及说话者如何使用语言的问题,而这也是"分析性"和"内涵"这些概念何以导致众多争论的重要原因之一。查尔莫斯认为,为了刻画表达式的内涵,必须区分认知的可能世界和模态的可能世界,从而利用理性(说话者使用语言的方式)和模态(真实世界的可能状态)构建出"意义"的解释。     

论村落自主性的形成机制与演变逻辑

从理想类型上看,传统村落具有一定程度的自主性:自我提供公共产品,自我生产帮扶体系,自我满足消费欲望,自我维持内部秩序.这是由相应的内外支持结构决定的:从内部看,村落的自然条件与空间分布、熟人社会的特质、交换圈的客观存在、资源总量限制与模糊化利益、民间信仰体系都是至关重要的原因;从外部看,"编户齐民"的限度、"皇权不下县"与乡绅的非正式治理、政府的重农导向与休生养息的理念、村落与国家共享一套文化符号,是非常关键的外部因素.系统解析村落自主性的形成机制,可以发现其维持所需的独特的社会条件,因而具有先天的脆弱性.在现代化的背景下,我国村落的转型历程呈现其自主性的演变逻辑.在此背景下,村落未来的发展路径也应得到深思.