试论逻辑哲学的兴起及其主要论题

随着传统逻辑创立和发展到现代逻辑,对逻辑作哲学上的反思不断深入和展开。逻辑哲学作为一门独立学科,是现代逻辑迅猛发展和现代西方哲学语言转向的要求和结果。逻辑哲学的主要论题包括:逻辑范畴的界定,逻辑真理,逻辑悖论,逻辑中的本体论承诺,推理、后承与蕴涵,形式化方法的哲学考察。     

从逻辑与哲学的关系看逻辑的发展趋势

逻辑与哲学的关系是逻辑哲学探讨的一个热点话题。通过对作为逻辑的哲学、逻辑与语言哲学、哲学逻辑的模式和方法、哲学逻辑中逻辑作为哲学的研究表明,逻辑与哲学具有相互支持、相互渗透、水乳交融的紧密关系。正是由于这样的关系,才使得逻辑的发展具有了结实的基础以及繁荣的前景。     

逻辑哲学与哲学逻辑

逻辑是我们这个时代哲学的独特标志,20世纪许多哲学分支的进步和发展是与现代逻辑所提供的严格的分析性技术密不可分的.逻辑几乎影响了整个语言哲学的风格,逻辑也为形而上学、元伦理学和心智哲学提供了丰富的资源.逻辑提供了各种形而上学理论发展的基本框架,甚至在哲学中扮演着中立仲裁者角色.但逻辑也受哲学的制约,逻辑依赖于哲学的基本预设,经典逻辑和各种非经典和反经典逻辑系统都有深刻的形而上学背景.逻辑哲学和哲学逻辑分别从逻辑的哲学方面和哲学的逻辑方面为我们正确地理解和刻画逻辑和哲学的这种复杂、动态和多样性关系提供了深刻的洞见.     

数理逻辑的盲区与哲学逻辑的兴起

海德格尔从哲学探究的角度出发 ,对哲学和逻辑进行了深入的思考。他认为 ,逻辑是关于一个语句的意义和判断的内容的。数理逻辑的发展使逻辑丧失其重要性并且远离了本体论的讨论。哲学逻辑并不是一门新科学 ,而只是实现了从一开始就在进行的对于传统逻辑的刻画。研究海德格尔的哲学和逻辑思想可以得到的基本启示是 :我们在进行哲学逻辑以及逻辑哲学研究的时候 ,一定要有一个理念 ,即逻辑是需要哲学来为其辩护的 ,逻辑的研究要有一个哲学的基础。哲学逻辑是逻辑在哲学中的应用 ,在应用的过程中哲学理念已经深深地灌输进去 ,哲学与逻辑已水乳交融 ,两者的联盟使得各自的学科都得到了长足的发展。     

逻辑哲学的历史背景、涵义及其范围

逻辑哲学是目前国际逻辑学界和哲学界研究的热门课题,而在我国对它的研究则处于起步阶段。逻辑哲学是逻辑学和哲学相关研究的结果,它不同于哲学逻辑或元逻辑,也不同于语言哲学或数学哲学,它研究由逻辑学引发的哲学问题,特别研究形式系统和哲学逻辑中的哲学问题。逻辑哲学是哲学和逻辑学联系的中介,它本质上属于哲学。本文简要探讨逻辑哲学的研究历史、产生背景、基本涵义及研究范围。     

论“恰当性”是逻辑哲学的中心问题

从逻辑哲学观点看,归纳逻辑首要的哲学问题在于,抽象的归纳逻辑系统的句法及其语义解释与现实原型之间的恰当相符性问题。逻辑哲学作为对逻辑的哲学反思,则着重于从哲学角度探讨逻辑问题。逻辑哲学有一个中心问题,那就是形式系统内的推理有效性是否恰当地符合非形式原型的问题,亦即恰当性问题。     

数理逻辑的盲区与哲学逻辑的兴起——评海德格尔哲学逻辑思想

海德格尔从哲学探究的角度出发,对哲学和逻辑进行了深入的思考.他认为,逻辑是关于一个语句的意义和判断的内容的.数理逻辑的发展使逻辑丧失其重要性并且远离了本体论的讨论.哲学逻辑并不是一门新科学,而只是实现了从一开始就在进行的对于传统逻辑的刻画.研究海德格尔的哲学和逻辑思想可以得到的基本启示是:我们在进行哲学逻辑以及逻辑哲学研究的时候,一定要有一个理念,即逻辑是需要哲学来为其辩护的,逻辑的研究要有一个哲学的基础.哲学逻辑是逻辑在哲学中的应用,在应用的过程中哲学理念已经深深地灌输进去,哲学与逻辑已水乳交融,两者的联盟使得各自的学科都得到了长足的发展.     

论作为证据逻辑的核证逻辑

哲学逻辑的蓬勃发展显示出现代逻辑在分析和澄清哲学问题方面的巨大优势,其中一个表现便是认知逻辑与知识论的结合成为研究热点。证据是哲学知识论领域极为重要的概念,相关研究已经颇为丰富,然而对它的逻辑学考察则相对较晚。在为数不多的几个证据逻辑中,核证逻辑具有独特的语言特点和系统性质,在分析哲学问题时显示出以往认知逻辑所不具有的优势。对核证逻辑的发展历史、哲学背景和技术方法进行探讨,有助于理解它为何能被视为证据逻辑。     

关于逻辑哲学的问答

逻辑哲学的一个具体困难在于:与数学、物理学、生物学、心理学和历史学相比,逻辑学本身有一个欠发达的学科身份.像其现代形式的任何东西都起步非常晚,逻辑学系很罕见,至少在以英语为母语的大学中是如此.它目前分布在数学系、计算机科学系和哲学系,并且在每种情况下,都带有某些其主学科的特征.由哲学关切带动的逻辑是哲学逻辑,其在原则上与逻辑哲学截然不同,尽管在实践上二者往往不易区分此外,逻辑学包含许多相互间没有太多共性的各种分支,比如模型论、证明论、集合论、递归函数论,以及哲学逻辑因此,逻辑哲学应该反思什么并不是完全清楚的然而,这种情况在带来威胁的同时也提供机遇.我们能够以任何最有望带来回报的方式来研究逻辑哲学.逻辑哲学的本性中没有任何东西限制我们使用任何我们所知的作为证据,只要其与我们考察的问题相关.逻辑哲学所面临的最紧迫的任务是对逻辑学作为一门科学的本性和首要原则进行重新思考.从长远来看,人们可能希望关于逻辑学本性的更大的清晰性将有助于我们在更多具体的逻辑哲学问题上取得更大的进步.     

《逻辑哲学论》的逻辑观

维特根斯坦在《逻辑哲学论》中所提出的逻辑命题是重言、是形式的观点，对于本世纪哲学家们的逻辑观给予了决定性的影响。本文对《逻辑哲学论》的逻辑观、它的基本的理论假定、理论背景及影响作了探讨，并就它的评价问题阐明了个人的意见     

从逻辑哲学看辩证逻辑的形式化

从逻辑哲学的眼光看,辩证逻辑应当定位于一种独特的、富有哲理性的非经典逻辑,因此它归属于逻辑,而辩证法作为它的原型则归属于哲学。辩证逻辑形式体系所追求的总体目标是越来越恰当地刻画、再现辩证法原型中的本质特征。我们所钟爱的辩证逻辑兼有次协调逻辑、相干逻辑和模糊逻辑这样的形式特性。辩证逻辑形式化研究并非只有独一无二的表现形式,相反,它可以有多元化的进路。     

逻辑学人的哲学思索--读《逻辑哲学研究》

陈波教授从《逻辑哲学引论》(1990)到《逻辑哲学导论》(2000)再到新作《逻辑哲学研究》(2004)的系列专著,以哲学思考逻辑,以逻辑思考哲学,是一位真正逻辑学人的哲学思索,对中国逻辑哲学作出了历史性贡献。其著作具有信息量大、论述明晰、思想性强、态度客观、见解独到等特点,很有学术份量,值得反复阅读;还希望拓展某些内容。     

逻辑学人的哲学思索——读《逻辑哲学研究》

陈波教授从《逻辑哲学引论》（1990）到《逻辑哲学导论》（2000）再到新作《逻辑哲学研究》（2004）的系列专著，以哲学思考逻辑，以逻辑思考哲学，是一位真正逻辑学人的哲学思索，对中国逻辑哲学作出了历史性贡献。其著作具有信息量大、论述明晰、思想性强、态度客观、见解独到等特点，很有学术份量，值得反复阅读；还希望拓展某些内客。     

技术哲学的内在逻辑分析

技术哲学的演进历经了对技术进行辩护的工程派传统和对技术展开批判的人文派传统,20世纪60年代后期开始向经验主义转变。经过100多年的发展,技术哲学研究的基本问题序列已经逐渐形成。技术哲学在发展过程中始终把技术人工物作为研究对象。对技术人工物的研究,体现了技术哲学的经验传统,目前已经深入到技术物的结构—功能关系内部。既要有技术哲学的经验分析,还必须有逻辑分析,这里的逻辑不是科学哲学中的演绎逻辑,而应当是具有实践特点的实践推理。技术哲学研究正朝向逻辑经验转向。逻辑经验分析是使技术哲学"哲学"起来的重要研究方法。     

浅析传统逻辑向现代逻辑发展的主要因素

传统逻辑主要局限于逻辑形式的贫乏与粗糙,现代逻辑是传统逻辑在当代哲学形式下的继承与发展,是逻辑学家企图弥补传统逻辑缺陷的一种逻辑。长期以来,研究者一直试图说明导致传统逻辑向现代逻辑转变的原因。从传统逻辑的局限性与现代逻辑的特征两个角度出发进行尝试性探讨,认为:现代逻辑的结构明显优于传统逻辑;传统逻辑向现代逻辑发展是现代哲学和科学发展的必然要求,更是必然结果;传统逻辑向现代逻辑发展过渡符合发展规律。     

弗协调逻辑的发展及现状

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

论情境语义学研究的发展

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

时间逻辑学的创立、历史及其研究意义

时间逻辑是研究包含时间因素的命题及推理的哲学逻辑的一个分支。它在传统逻辑的基础上引入了时间算子,丰富了普通命题逻辑,从而克服了传统逻辑不能有效地描述或者处理事件在时间上的关系的不足。对逻辑学、哲学、语言学、计算机以及人工智能的研究和发展,有着重要的理论意义和实际应用。     

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

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

现代逻辑中的哲学问题

现代逻辑在发展过程中与现代哲学相互渗透,也相互促进发展。本文认为,现代逻辑所涉及的哲学包括逻辑本体问题,归纳逻辑中的休谟问题和现代逻辑概念的一些精细分析问题,并大致归纳出10个具体的问题作进一步的讨论。