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

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

从认知三层面看亚相容逻辑与经典逻辑

亚相容逻辑致力于刻画"不相容"但"足道"情形下的逻辑机制,在系统中容纳矛盾而限制矛盾律。其倡导者或将它与经典逻辑并列,或视其为对经典逻辑的择代。然而,在认知行动中,无论是在实在、思想和语言层面,本体论意义上的矛盾律都无法违反,被限制的只能是作为认知规范的矛盾律,被容纳的只是由违背该规范而产生的信念矛盾。而经典逻辑恰好可以通过对信念矛盾的本体论重塑,实现对亚相容逻辑的合理统摄。     

认知博弈、信息与社会

人与人之间的认知过程是一个认知博弈过程。认知博弈的本质即交流主体之间的信息交互,这种信息交互的目的在于彼此的信念修正,达成公共信念。信念交互通过认知命题而得以进行,通过认知命题所承载的意义而得以实现。随着当代社会信息化特征的日益增强,社会存在的各个方面可以看做信息命题,透过言语行为的信息特征,认知博弈就能够刻画信息的社会交互模式。     

先验：知性通向逻辑之路？——康德先验逻辑的逻辑命运与认知出路

康德将逻辑视为＂先验的＂而非＂先天的＂,在于排除逻辑的经验性,同时又要保持逻辑与经验的联系性,试图寻找到一条人把握逻辑的道路。因此康德的先验逻辑并没有给出逻辑是怎样的,而是在刻画一种逻辑认知能力,在建构内嵌于人之能力之中的逻辑,在回答人何以具有逻辑的知识与信念。人何以具有逻辑的知识与如何把握逻辑不属于逻辑所要关注的问题,这必然使康德的先验逻辑失去在逻辑上的地位,这一点可能是康德自己也没有想到的,命名为先验逻辑却在逻辑上没有得到应有的位置。但康德的先验逻辑在对人的认知结构图景、人如何通达理性等方面做出的尝试却远远超越了逻辑上的意义,它使我们的视角从外在的、客观的逻辑图景转向人内在的逻辑认知能力图景,试图搭建这两种图景的相互对应性。     

基于后悔度的博弈剔除算法的逻辑认知分析

博弈分析中存在大量的逻辑问题,通过认知逻辑可以精确表达主体间认知互动中的推理.首先,构建了基于后悔度的博弈认知模型,从选手选择某一策略所导致的后悔度分析主体的理性特征,为多种博弈剔除算法的认知机制提供统一的逻辑刻画.其次,基于后悔度模型,重提主体理性定义,并证明该理性可作为公开宣告的事实,借助公开宣告逻辑,为Halpern等人提出的重复最大最小化后悔度算法提供合理的逻辑认知基础.     

认知悖论及其逻辑问题

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

简论对象的逻辑与方法的逻辑

正确把握逻辑的研究对象、方法、范围、类型等相关问题的还需注意的一个问题是对逻辑本质认识的澄清。一般认为逻辑是关于思维形式有效性的理论体系,它不关心思维内容问题。这一观点预设在思维内容和思维形式之间存在着明显的区分,事实上这是对逻辑的严重误解。人类知识信念具有整体性,逻辑属于信念承诺集合的一部分,并且是其最不愿意放弃的那部分。     

关于模态认证主体性验证的考察及批判

就认知科学而言,虽然认知逻辑研究的是知识推理,重点之一就是研究各种有关知识和信念认知模态词所形成的认知命题,但是,如果从公理系统的角度看,认知逻辑则属于模态逻辑的一个分支.而所谓“批判的”意味着可评价的、公共的、多元的,并且以平等的和异质的福利为导向.所以,模态认证主体性验证就是在知识推理的前提下,从模态认证以及涉身性与主体性验证的角度,来探究模态认证主体性验证及关于它的考察与批判问题.文章在分析模态认证的主体性、涉身性以及主体性验证等问题的基础上,论述了知识推理与模态认证,以及模态认知中主体性验证等诸多的认知科学问题.     

关于互补性逻辑、辩证逻辑及次协调逻辑——对马佩教授挑战的一种回应

1.玻尔的黎曼面模型是互补性的语义模型,恰当地表征了辨证矛盾与逻辑矛盾之间的相互关系,恰当地刻画了互补性的逻辑结构."互补性"的要点是"相反相成"或"互补又互斥",说的是矛盾双方既互相排斥又互相联结而形成统一体,因此它与辩证法的核心思想相一致.2.与马佩先生主要从语义角度着手不同,次协调逻辑学者主要从句法角度对矛盾进行划分,考虑形式系统允许或不允许哪一种矛盾.3.所谓辩证逻辑的形式化,就是像多种非经典逻辑那样采用形式化手段,对辩证法的现实原型进行恰当刻画和再现.我们认为,关键在于要保证兼有次协调逻辑/相干逻辑/模糊逻辑的禀性:(1)有次协调性(能刻画有意义的矛盾,而不会使得每一个公式都变成定理);(2)有相干性(避免不相干的推理);(3)能恰当刻画模糊性(即恩格斯所说的恰当地承认"亦此亦彼");(4)有表征辩证法特有原理的公理组.     

论无知的本质与规范性

人类对知识的研究已然精深,但是对无知的关注还未深入。就无知的本质问题来看,无知是知识的缺乏。随着当代知识论对知识概念的深入分析,作为缺乏呈现的无知也展现出多种样态。这有助于我们拨开迷雾,进一步刻画无知的种类。就无知的规范性问题来看,我们在谈论无知时往往带有规范性层面的意蕴。这种意蕴可以是责备的,也可以是赞扬的。责备或赞扬的根源并非只是由认知活动的最后结果决定,还取决于认知主体是否对规范性理由给予了合适的回应,以及认知主体是否遵循了来自不同层面的义务。从行动结果向行动者的进一步溯源,可以揭示出认知主体的美德与恶习发挥的重要作用。     

皮亚杰心理逻辑探析

为精确刻画儿童认知结构,皮亚杰对布尔代数进行了改造并在此基础上增加了新的概念和运算。皮亚杰称这种用来刻画儿童认知结构的运算理论为“心理逻辑”。心理逻辑产生之后,受到逻辑学家和心理学家的批评和指责。然而,当代逻辑学、心理学以及认知科学的发展,需要我们对皮亚杰的心理逻辑重新加以认识。     

知识概念扩展和作为知识表示技术的逻辑

知识概念是不断扩展的，逻辑学作为知识体系的一个组成部分，先是作为构建知识的工具。后工业社会知识概念的进一步发展，知识表示技术成为信息社会或者说知识社会重要的知识门类。排在首位的知识表示方法是在亚里士多德和斯多亚学派基础上建立的一阶逻辑。而当我们深入到其他知识表示方式的时候，这些表示方式的实质都是现代逻辑所研究的核心内容，即推理的知识。所以，逻辑学的功能在当代的演变方向之一就是演变为知识表示技术。     

当代逻辑科学"应用转向"探纲

经过一个多世纪的长足发展,当代逻辑科学研究正在经历着一场深刻的"应用转向",亟须运用新的概念和方法论工具加以把握。以"科学逻辑"(logic of science)为范例重新界说"应用逻辑"(applied logics)概念,不仅可以统一认识"非形式转向"和"认知转向"的实质,而且可以看到一个新型学科群正在崛起,该学科群在逻辑基础理论与逻辑应用研究之间起着桥梁、中介作用,已日益成为当代逻辑科学的研究重心。     

论归纳悖论研究的认知转向

归纳悖论研究是当代逻辑哲学、科学哲学、形式知识论等领域的核心话题之一.归纳悖论的两次研究高潮取得了一系列成果,但也存在许多不足.通过回归归纳悖论的源发语境,分析和澄清其涵义及真实“悖境”,梳理解悖的历史脉络,可以表明归纳悖论的研究应该且正在实现认知转向.同时,这种认知转向对构建合理的信念接受理论、解决葛梯尔问题等知识论疑难、构建新的动态认知逻辑分支,都有重要的启发意义和价值.     

蒂斯兹论胡塞尔《算术哲学》中的逻辑思想

胡塞尔有广泛的逻辑和数学著述,但胡塞尔的逻辑思想甚至并未引起以胡塞尔继承者自居的所谓"大陆哲学家们"的重视R.Tieszen;2004,p,208,更不用说在一向以资格审查严谨而著称的逻辑的领域。然而近些年情况有些变化。例如,美国圣何塞州立大学哲学系教授,现象学数学和逻辑研究专家蒂斯兹(R.Tieszen)近年来出版发表了一系列的著作,文章和书评,意在系统阐述评价胡塞尔著作中的逻辑思想。依据蒂斯兹的研究,胡塞尔和逻辑学的关系可以概括如下:(一)作为哲学家的胡塞尔并不是狭义上的逻辑学家,但他却在一个重要方面上为我们提供了对逻辑概念的基本理解;(二)胡塞尔研究逻辑的目的并不是为了构造一个特定的形式系统,而是更多地反思这一形式系统的性质,它们在逻辑和数学中的地位,以及它们以何种方式在何种意义上能够提供知识;(三)胡塞尔研究了逻辑和数学概念的起源等问题,其逻辑观是描述心理学和形式主义相结合的产物(四)胡塞尔所从事的是逻辑和数学的认识论,本体论和方法论的研究;本文以胡塞尔《算术哲学》为基础,以蒂斯兹的研究为主要依据,力图较为完整的阐述胡塞尔《算术哲学》中的逻辑思想(当然,胡塞尔的《算术哲学》主要是关于算术的,对此,我们应当从广义上理解算术,逻辑及算术哲学这些基本概念及其联系),并通过胡塞尔这部后来激发了现象学开端的著作,使逻辑获得一种不同哲学传统(有别于英美哲学或分析传统哲学)的理解。     

论资本逻辑与文化逻辑的价值冲突

认真研究和解决资本逻辑与文化逻辑的矛盾、冲突,是我们面临的一个跨制度、跨时代的重大课题。资本逻辑与文化逻辑的乖离,对精神文化生产形成的深刻影响之一,就是造成了主观文化和客观文化、内在财富与外在财富的诸多对立。由此对文化逻辑形成的挤压与扭曲,借助现代信息技术介入精神生产及其产品的传播,使社会文化生活脱离原有精神生产技术基础上形成的既定逻辑与价值秩序,在认知和价值理性方面发生畸变。资本逻辑对文化逻辑的扭曲或解构,从价值系统销蚀文化生产主体的创造性进力。凡此种种,都需要用一种充满社会大智慧和科学自觉性的系统理念与工作策略,去克服市场机制与资本逻辑自发调节给文化生产可能带来的价值偏颇与逻辑扭曲,如此才能保证精神文化生产的正确方向、社会价值与有效发展。     

归纳逻辑程序设计的应用与发展

学习是智能主体拥有的重要特征,机器学习研究计算机如何模拟并实现人类的学习行为。归纳逻辑程序设计作为机器学习的核心方法之一,不仅充分发挥了逻辑技术的优势,而且极大提高了人类改造客观世界的能力。深入探讨归纳逻辑程序设计的研究现状与未来技术走向,对机器学习其他领域有借鉴意义。     

认识论与心理和逻辑之辩

波普的没有认识主体的认识论认为,认识论是科学知识的逻辑学,与心理学无关;哈克的具有认识主体的认识论则认为,心理学和逻辑学同等重要.他们共同分享的前提是:只有对知识的客观内容的分析才具有逻辑的品格,而对认识主体及其状态和倾向的研究则属于心理学的范畴.波兰尼挑战了这一前提,为心理和逻辑之辩开出了全新的局面.他的个人认识论在通常被视为心理的领域中窥见了逻辑的因素,并且大大拓展了逻辑的外延.     

政治经济学研究与人本主义逻辑的解构——重新认识《评李斯特》的历史地位

从马克思总体思想的逻辑进程来看,《评李斯特》是一个过渡性的文本。这主要表现在两个方面:一是马克思对古典经济学认知态度的变化,不再像之前(如《1844年经济学哲学手稿》)那样把古典经济学当作批判和否定的对象,而是开始内在地承袭这一思路来建构自己的哲学理论;二是在逻辑布展的格局上,客观的现实逻辑已经取代了人本主义逻辑,成为此时马克思话语布展的逻辑中轴。这是马克思向历史唯物主义迈出的坚实一步,为其后的思想变革奠定了基础。     

现代逻辑关于辩证思维现象的思考

思考现代逻辑对辩证思维现象的刻画是涉及多门学科的工作,对此,辩证逻辑研究几十年来产生了各种各样的探索进路。我们选择对标注逻辑、动态逻辑以及哲思逻辑等现代逻辑分支关注的辩证思维现象进行考量。然后,从辩证思维现象的个案个例出发,采用语言逻辑分析自然语言句法语义的方法——组合范畴语法CCG融合λ-演算或投射话语表述理论PDRT等工具,对典型的辩证思维例句进行解析推演,彰显其中的矛盾思想和动态思想,从而尝试开启辩证逻辑研究的新思路。