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

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

从传统逻辑到对称逻辑

传统逻辑的性质不能简单地看作是“形式”逻辑。传统逻辑的学科基础是对象质的认识,学科定位是知性逻辑,学科体系是内容形式的统一,学科发展是内容丰富化、形式抽象化双向同步发展。科学界定传统逻辑的性质,可促成逻辑学范式的转换,构建新的对称逻辑。对称逻辑是语言意义和价值、思维内容和形式、认识主体和客体相对应的逻辑。对称逻辑具有元逻辑的性质,它是直觉的、创新的、整体的、本质的、实证的、哲学的、全息的、方法的、反思的、审美的、实践的和可持续性发展的逻辑。     

逻辑哲学与哲学逻辑

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

技术哲学的内在逻辑分析

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

现代逻辑中的哲学问题

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

传统逻辑与现代逻辑量词比较

逻辑是研究思维形式及其规律的科学,是个历史悠久、基础性和工具性很强的学科。其中的两大种类─传统逻辑和现代逻辑的联系与区别在其量词的表达上得以体现。本文以命题为例,对传统逻辑和现代逻辑的量词进行了简单比较。     

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

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

逻辑理论变革的必然趋势

逻辑学是一门古老的科学 ,从它产生至今已有两千多年的历史。逻辑理论的历史大致经历了传统逻辑和现代逻辑两个阶段 ;而现代逻辑的发展又经历了由经典逻辑到非经典逻辑的变革。恩格斯曾经说过 :“每一时代的理论思维 ,从而我们时代的理论思维 ,都是一种历史的产物 ,在不同时代具有非常不同的形式 ,并因而具有非常不同的内容。因此 ,关于思维的科学 ,和其他任何科学一样 ,是一种历史的科学 ,关于人的思维的历史发展的科学。[1 ]”逻辑学从传统逻辑到现代逻辑、从经典逻辑到非经典逻辑的历史 ,正好说明了这一点。     

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

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

略论先验逻辑到思辨逻辑的发展

康德建立了逻辑与形而上学统一起来的先验哲学。他的逻辑是独立于传统逻辑之外的哲学逻辑 ,他的形而上学是有别于传统形而上学的科学形而上学。他的这项开创性的工作为欧洲哲学史的发展做出了巨大的、影响深远的贡献。费希特改进了他的先验逻辑和科学形而上学 ,建立起了完整的先验哲学体系。黑格尔吸收了康德和费希特先验哲学中的辩证内容 ,批判了它的主观唯心论基础 ,建立了以客观唯心论为基础的、具有科学形态的思辨逻辑体系。     

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

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

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

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

哲学与逻辑: 百年回眸

自弗雷格的《概念文字》发表以来，现代逻辑已历经百余年的发展，其中逻辑和哲学的交叠和互动关系构成了现代逻辑发展的一个重要侧面和不可或缺的组成部分。一方面逻辑和哲学彼此独立，另一方面两者又相互补充，相互取予。哲学哺育逻辑，逻辑反哺哲学。20世纪许多哲学分支的进步和发展与现代逻辑所提供的严格的分析技术是密不可分的。逻辑几乎影响了整个语言哲学的风格，也为形而上学、元伦理学和心智哲学提供了丰富的资源。逻辑提供了各种形而上学理论发展的基本框架，有时甚至在哲学中扮演着中立仲裁者角色。逻辑的百年事实上是逻辑与哲学互动性发展和交叠式共生的百年，而这种深刻和复杂的关系只有在一个广阔的逻辑哲学和哲学逻辑的背景下，透过语言的层面才能被充分理解和揭示。     

现代语境中的康德逻辑论题

在涉及康德逻辑观点的评价这一问题上,当代哲学和逻辑流行的看法是康德只是简单地继承和重复了亚里士多德的逻辑传统;康德的逻辑观在当代已经被（例如,弗雷格的逻辑哲学）彻底取代,其观点对当代哲学争论几乎没有任何影响;本文的观点恰好相反。笔者认为康德虽然继承了他那个时代理性哲学的逻辑传统,但联系到这种传统的创新是十分明显的,康德的逻辑论题具有始源性、基础性和奠基性;康德的逻辑观点与当代逻辑哲学的关系十分密切。     

关于逻辑哲学的问答

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

试论逻辑的语用趋向——从哲学与逻辑的互动维度解读

逻辑与哲学之间有一种内在的互动关系:某种逻辑观念的形成与存在常常有与之相应的哲学学说为其理论后承,而特定的逻辑观念反过来又为新的哲学观念的产生提供方法论意义上的依托。逻辑受命于哲学的“危难”时代,而哲学的“动乱”又造就了逻辑的“英雄”地位;哲学的语用化带来的是逻辑向生活世界的回归。     

维特根斯坦与逻辑经验主义

《逻辑哲学论》的目的是为了分清可说的和不可说的界限。不可说的东西不是由证实原则决定的,也不是由逻辑形式的界限决定的,而是由于我们语言的界限,我们无法表达它,对此只好沉默;《逻辑哲学论》对逻辑经验主义的影响主要有两个方面,其一是逻辑经验主义者的哲学倾向与维特根斯坦十分近似,其二是逻辑经验主义者曲解维特根斯坦的思想,引为己用。     

弗协调逻辑的发展及现状

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

从个体词看传统逻辑与现代逻辑的关系

传统逻辑与现代逻辑都包含对个体词的说明,而传统逻辑对个体词的说明是有问题的,现代逻辑由于量词的引入,即个体词的引入,很好地解决了传统逻辑的难题,由此分析从个体词的逻辑性质能够更好的说明现代逻辑优于传统逻辑的地方。     

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

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