模态逻辑与哲学

模态逻辑是关于必然性与可能性的逻辑,因此也就涉及到必然与可能相关的一些哲学问题。除语义学方面的问题外,模态逻辑自身也存在与哲学相关的问题,如本质主义问题、抽象实体的存在性问题等。模态逻辑也引发一些哲学问题,如可能世界的本体论问题,可能个体的跨界同一和识别问题等。模态逻辑的研究成果对当代哲学的发展也具有重要的意义。当代马克思主义哲学的研究也应该结合与考察现代逻辑的研究成果。     

二十一世纪的逻辑与哲学

冯赖特于1991年写道,逻辑学中大多数具有哲学意义的技术性工作似乎均已完成。本文作者以二阶逻辑、直觉主义逻辑、连续统值逻辑、一阶模态逻辑,以及关于绝对无限一般性的逻辑等等为例,说明逻辑学中大量具有哲学意义的技术性工作才刚刚开始。对象语言中的非正统只有通过元语言的非正统才能得以充分探究与公正评价,这种非正统有时是关于逻辑的演绎力的,有时是关于语言的表达力的。两种类型的非正统导致在元逻辑研究方式上的争论。由于这方面工作的动机主要是哲学上的,而且所需要的技术常常具有哲学意味,这项工作必须由哲学家自己去完成。因此,在21世纪,逻辑学将继续受到哲学家的关注,哲学家也将继续对它的进一步发展做出贡献。     

论情境语义学研究的发展

现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。     

弗协调逻辑的发展及现状

现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。     

Kripke语义学及其一些哲学问题

Kripke语义学是关于模态逻辑形式语义等符号的意义和公式真假的一种理论。模态逻辑是逻辑学的一个古老的分支,近几十年来,它得到了蓬勃的发展。其中Kripke語义学的提出是极为重要的,模态逻辑的发展因此而进入了一个新的阶段,而且它还在哲学研究方面提出了新的工具以及新的观点和问题,表现了逻辑和哲学在现代形式下的相互依赖和促进的关系。一、模态逻辑的形式系统模态逻辑简单地说就是关于必然性与可能性的逻辑。“必然”和“可能”作为模态概念在模态逻辑里通常分别用符号□和◇表示,称为模态词,从演算的角度,也称为模态算子。有了模态概念和符号后,就会产生以下三种模态公式:     

正规模态逻辑完全性理论研究综述

现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。     

伍德与哈维争论：资本逻辑与帝国的空间扩张

资本主义全球化的新阶段,新帝国主义论以资本逻辑的批判为核心,深入反思资本力量的全球空间扩张.艾伦·伍德与大卫·哈维作为新帝国主义论的重要代表,将美国的资本帝国描述为一种由资本逻辑主导的帝国主义新形式.而围绕资本逻辑的实质、资本逻辑与国家权力的关系、资本帝国的危机与出路问题,两者展开了争论.分析这一争论有助于把握西方左派思想家的当代资本主义研究进展.     

论“可能世界”

“可能世界”是模态逻辑语义学的一个重要概念。这一概念的提出被认为是现代逻辑的一项伟大成就。利用这一概念,逻辑学家和哲学家们终于能够合乎直觉地解释必然真的命题和可能真的命题,从而确立了模态逻辑在逻辑学和哲学中的地位。尽管如此,“可能世界”概念的一些基本问题,如究竟什么是一个可能世界,如何识别不同可能世界中的对象等问题,至今仍未解决。本文在评述关于解决这些问题的有代表性的观点的同时,也提出自己的某些看法。     

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

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

马克思哲学物质本体论研究的切入方式

长期以来,关于马克思哲学与本体论的关系问题一直是学术研究交锋与争鸣的重要问题,争论的焦点围绕三个问题:什么是本体论,马克思哲学有没有本体论,马克思哲学的本体论是什么样的本体论.解决这三个问题就要做到四个直面:直面历史、直面逻辑、直面分歧和直面文本.这样我们可以得出,马克思哲学是有本体论的,不能把马克思哲学本体论理解为"实践本体论"或"关系本体论",马克思哲学本体论是物质本体论.     

塔尔斯基真定义的特征及其哲学实质

"真"是逻辑哲学的重要内容.在众多的关于"真"的理论中,塔尔斯基给出的"真"的语义学定义产生了极其广泛而深远的影响.人们没有怀疑它在逻辑、教学、语言哲学等诸多方面的重要价值,却对其哲学实质颇具争议.文章在考察塔尔斯基语义真定义的基础上概括其特征,并指出其哲学实质在于圈定了真之为真的最基本条件.     

模态逻辑的哲学归宿

通过分析模态逻辑发展过程中所遭受到的来自技术及哲学方面的挑战,指出这一系列问题的产生归根结底在于:模态逻辑,特别是量化模态逻辑,在哲学上承诺了本质主义,本质主义是模态逻辑的最终哲学归宿。     

论时态逻辑的新发展

自20世纪80年代以来,在哲学、计算机科学、人工智能、语言学等诸多领域的推动下,时态逻辑取得了新的发展。主要表现为区间时态逻辑、行为时态逻辑的创立以及时态逻辑与模态逻辑的结合。对这些新的发展进行研究,既具有重大理论意义,又具有重要的实际应用价值。     

法律与道德“结合命题”何以可能?——兼评富勒的“内在道德”学说

朗·富勒清楚地认识到,他与法律实证主义者之间存在严重的分歧。根本的原因在于各自的法律观不同,而两种不同法律观的核心争议点在于法律与道德关系问题上的分歧。由此展开的争论,可归结为"分离命题"与"结合命题"之争,其核心在于是否承认法律与道德之间的逻辑"必然性"。富勒对此做过一套逻辑上的论证,其"内在道德"学说旨在克服"分离命题";只不过他所借助的概念分析和模态逻辑,也是伦理自然主义者所借助的重要理论工具。这种研究,对于我们进一步理解法律和法治有重要意义。     

塔斯基真理论的意义

塔斯基在三十年代初提出的真理论,是逻辑语义学创立的标志,它提供了当代分析哲学界最广为接受的真理理论,给分析哲学带来了新的方法,还提出了许多引起普遍关注的问题。一、塔斯基真理论概要波兰逻辑学家、数学家塔斯基(1902—1983)早年曾是华沙学派成员。第一次世界大战后崛起的华沙学派是现代数学史上的重要流派。这一学派中以莱斯涅弗斯基和科达宾斯基为代表的一批逻辑学家,不仅在逻辑学上卓有建树,对哲学研究也颇感兴趣。与同时代的维也纳学派一样,他们推崇逻辑研究与哲学研究的结合,提倡用逻辑方法来进行哲学研究。作为华沙学派新一代的成员,塔斯基也受了这种时尚的影响。事实上,他的真理论就实现了逻辑与哲学的结合。     

相干逻辑的产生及评价

在概述“蕴涵怪论”与相干逻辑的产生的基础上,阐述相干逻辑对经典逻辑与模态逻辑的修改.认为相干逻辑不仅建立了自己庞大的形式系统家族,而且拥有完整的语义学,具有良好的发展前景.然而,相干逻辑比经典逻辑、模态逻辑更加抽象,更加复杂,也导致了一系列的质疑.     

《逻辑哲学论》的沉默与孤寂

维特根斯坦的<逻辑哲学论>是一部影响广泛而又颇有争议之作.除了它的复杂性和不做论证之外,更多的争论源于对其性质的理解.与言说及沉默的分界相对应,隐身于沉默中的伦理和宗教品质,也许比其所言说的逻辑和语言部分更为重要.因此,重要的不是言说什么,而是如何言说;后者构成维特根斯坦风格和启示的一部分.<逻辑哲学论>在言说与否的意义上呈现为沉默,背后则是孤寂.     

辩证逻辑“逻辑化”的新探索和新成果──简介马佩《辩证思维研究》一书

较长时期以来,我国逻辑学界在关于辩证逻辑是不是逻辑的问题上,进行过反复的争论。一些逻辑学家虽然承认辩证逻辑是一门科学,但只承认它是哲学,是马克思主义哲学的一个组成部分,而不承认它是“逻辑”。另一些逻辑学家的观点与之相反,或坚持辩证逻辑既是哲学,也是逻辑;或坚持辩证逻辑不是哲学,而是逻辑。后述观点虽然在辩证逻辑是否是哲学的问题上尚有分歧,但共同点在于都坚持辩证逻辑是逻辑。近几年来,对这一问题见诸文字的公开争论虽略显沉寂,但并不意味着这一问题已经解决。反对辩证逻辑是逻辑的人们俨然以“逻辑”捍卫者的身…     

数学存在的语言建构——结构主义的研究范式

伴随结构主义的兴起,数学哲学的研究领域发生了范式转换,数学存在的语言建构取代了数学语言的逻辑分析,成为数学哲学发展壮大的基本动力与成长源泉.结构主义根据不同语言进行数学对象的存在建构,或者借用数理逻辑的集合论与模态逻辑作为语言,或者突破分析哲学的逻辑语言框架创造范畴论这种本体论语言,从而形成了集合论结构主义、模态结构主义与范畴论结构主义.集合论结构主义与模态结构主义成为沟通结构主义与数理逻辑的必要环节,范畴论结构主义成为结构主义数学哲学的发展方向.     

西方公共行政学中的争论:行政科学还是政治哲学?

在百余年西方公共行政学的发展历程中,充满了各种争论.争论的一个主题就是:公共行政学应该定位于行政科学,还是政治哲学?围绕着"到底是政治哲学,还是行政科学"这一问题,西蒙与沃尔多在1952年爆发了一场争论,并影响了随后五十余年的公共行政学的发展.世纪之交,达布利克和公共行政网络社群又再次就此展开了争论.理解这些争论,不仅有助于我们更好地把握西方公共行政学的发展脉络,也有助于深化中国公共行政学研究.