形式逻辑的推理方法篇1
论文关键词法律逻辑学形式逻辑非形式逻辑
在我国,法律逻辑的研究开始于80年代初期,起步较晚,而且国内学者对国外法律逻辑的研究状况也了解较少。在我国法律逻辑研究的初期阶段,法律逻辑学的主要研究方向是如何把形式逻辑的知识应用到法律当中,法律逻辑的任务在于把形式逻辑的一般原理运用于法学和法律工作中。但随着研究的深入以及学科理论的发展,不少学者认识到把法律逻辑限制在形式逻辑的框架下,不仅阻碍了这一学科的发展,也没能使这一学科发挥出其应有的作用。因此,国内的法律逻辑学教材多呈现出两种趋势,一种是以形式逻辑为框架穿插法律案例,以形式逻辑的推论来解决法律案例中的逻辑问题;另一种是不局限于形式逻辑,而是采用了更多的非形式逻辑的方法来解决法律实践中遇到的难题。在这样的背景下,便产生了法律逻辑学的研究方向的转向。有的学者更多的是从法律的角度出发,把法律思维分为立法和司法两个领域,司法领域中所涉及的推论分为事实推理、法律推理和判决推理。也有的学者更多的是从逻辑学角度出发,认为法律逻辑学研究的主要趋向应该是非形式逻辑的方向。本人认为法律逻辑学是法学和逻辑学的交叉学科,它既是法学的一个分支,又是逻辑学的一个分支,它运用的是逻辑工具,它需要解决的则是法律领域的问题,因此法律逻辑学有着它固有的逻辑基础——形式逻辑,但仅有形式逻辑明显不足以支撑起法律逻辑学的大厦,法律实践中遇到的问题很多还要留给非形式逻辑去解决。
一、形式逻辑与法律逻辑学
法律推理是指运用“情境思维”的方法或“个别化的方法”来解读或解释法律,从已知或假定的法律语境出发判断出法律意思或含义的推论,是一个在法律语境中对法律进行判断或推断的过程。法律推理旨在为案件确定一个可以适用的法律规则即上位法律规范,为判决确立一个法律理由或法律依据即裁判大前提。形式逻辑可以为法律逻辑学提供一定的理论基础,这是毋庸置疑的,运用形式逻辑的方法来解决法律逻辑问题的案例在法律逻辑学教科书中也屡见不鲜:
侦查机关通过一番调查,初步判断:
被害者的上级(B)、妻子(m)、秘书(G)中至少有一人是凶手,但他们不全是凶手。
仅当谋杀发生在办公室里(a),上级才是凶手;如果谋杀不发生在办公室里,秘书不是凶手。
假如使用毒药(C)那么除非妻子是凶手,上级才是凶手;但妻子不是凶手。
毒药被使用了,而且谋杀未发生在办公室里。
问:侦查员的这些判断都是真实的吗?
解决这一问题首先需要把四个命题用形式化的方法表示出来,然后运用自然推理系统pn进行推理,推理过程中如果得出了相互矛盾的结果则说明这些判断不都是真实的,如果得出的结果没有相互矛盾,则证明这些判断都是真实的。这是运用形式逻辑来解决刑事案件的典型例子。从这个例子可以看出,形式逻辑是研究推理的,是一种证明的逻辑,传统法律逻辑运用的是传统逻辑即形式逻辑,可见它解决的是法律推理问题。所谓推理是指由一个推论的序列组成的推论链,其中一个推论的结论是下一个推论的前提;所谓推论是指一组命题,其中一个命题是结论,其他命题是前提;而一个推理序列则组成了论证,其中一个推理的结论充当了下一个推理的前提。可以说,一个论证包含了多个推理,一个推理包含了多个推论。形式逻辑虽然解决了法律推理问题,但是未能解决法律论证问题。
另外,法律推理理论的研究大致有两个方向,一是法律的形式推导,二是法律的实质推导。法律的形式推导是指基于法律的形式理性或逻辑理性进行的法律推理,是基于法律规范的逻辑性质或逻辑关系进行的法律推理。法律的形式推导的结果是法律规范的逻辑后承,是对法律规范进行逻辑判断的结果,是对法律规范进行“形式计算”或“概念计算”的结果。如果要进行法律形式推导,则必定是建立在法律规范含义明确清晰,案件事实确凿清楚,案件所适用的法律规范是确定无疑义的情况下的,这样一来就可以根据法律规范本身的逻辑特性,按照相应的逻辑规则进行推理,这种推理可以运用形式逻辑的的方法,但是这种法律形式推理只适用于较为简易的案件判决。从这里可以看出,形式逻辑确实可以为法律逻辑学提供一定的理论基础。
虽然形式逻辑可以为法律逻辑学的研究提供一定的方法,但是仅仅有形式逻辑时无法满足法律逻辑学发展的需要的。众所周知,能够进入诉讼程序的案件往往不是那么容易就被确认的,控辩双方经常会在法律规范的模糊意义下摆出自己的道理,控辩双方对于案件事实的描述也往往大相径庭,在这种情况下,法官则需要运用法律的实质推导来处理案件。法律的实质推导是指基于实践理性或目的理性以及价值理性进行的法律推理。它是基于法律意图或目的、法律的价值取向、社会效用或社会效益、社会公平正义观念等实质内容对法律展开的推论。在法律出现空隙,法律规范含混不清,相互抵触,“合法”与“合理”相悖的困境等问题上,法律实质推理作出了法律形式推理无法给出的回答。
形式逻辑也有传统和现代之分,传统形式逻辑主要是指亚里士多德三段论理论和斯多葛命题逻辑为主体的形式逻辑,现代形式逻辑主要是指皮尔士、弗雷格、罗素、希尔伯特等人发展起来的数理逻辑或符号逻辑。从形式逻辑本身性质来看,它自身的一些特点决定了它无法完全满足法律逻辑学发展的需要。
首先,我们知道形式逻辑主要研究的是演绎推理的有效性问题,如果想要得到真实可靠的结论,则需两个条件:前提真实并且形式有效,而形式逻辑关心的则是人工语言论证和逻辑系统的有效性,它对前提是否真实则关注不够。一个论证的形式是有效的并不能保证前提是真的。“形式逻辑对论证的评价是从真前提开始,但如何判定前提的真假,这已经超出形式逻辑所讨论的范围。”
其次,在法律事务中遇到的问题往往不像上述例子中那么简单,某些不确定的因素总是包含在法律论证的大、小前提(即法律规范和案件事实)当中,在由前提到结论的推论中,不是单纯的形式逻辑的推演活动,因而这样的推论不可能是像书本例题中的那种简单形式逻辑的操作。作为法律论证大前提的法律规范是基于自然语言的产物,因此难免会受到自然语言多义性、模糊性的影响,导致法官、律师在运用法律规范的过程中产生困扰。
在实际操作中,作为法律推论小前提的案件事实并不总是清晰地摆在人们面前,法官、律师也总是面对不完整的案件事实而进行推理、推论,而形式逻辑所进行的演绎推理必然是在前提充分的条件下进行的,它关注的更多是程序化的论证及人工语言的论证。从这点来看,用形式逻辑来进行法律推论显然是力不从心的。
再次,形式逻辑所研究的命题都是事实命题,是有真值的对象,形式逻辑对事实命题做出的非此即彼的评价是形式逻辑二值性的充分体现。但是在法律文本中有较多的命题并非事实命题,而是如“外国人入境,应当向出入境边防检查机关交验本人的护照或者其他国际旅行证件、签证或者其他入境许可证明,履行规定的手续,经查验准许,方可入境。(中华人民共和国出境入境管理法第二十四条)”这一类的规范命题或价值命题,这类命题的性质无所谓真假,它们也不充当演绎推理的前提和结论,这类命题显然已经超出了形式逻辑的研究范围。形式逻辑并不专门以法律领域中的推理与论证为对象,没有涵盖法律思维领域里的全部推理与论证。
第四,《牛津法律大辞典》指出:“法律推理是对法律命题的一般逻辑推理”,包括演绎推理、归纳推理和类比推理。法律思维中涉及了大量的归纳推理、类比推理、语境推理等,这些都属于非演绎推理的范畴,而形式逻辑对非演绎推理的研究十分粗糙,无法满足法律思维的实践,因此形式逻辑无法有效地评价、规范全部法律思维。
二、法律逻辑学的研究方向——非形式逻辑
非形式逻辑兴起于上个世纪60年代,到目前为止,它还没有一个完全统一公认的概念,现任《非形式逻辑》杂志主编拉尔夫·约翰逊(RalphH.Johnson)和安东尼·布莱尔(J.anthonyBlair)提出:“非形式逻辑是逻辑的一个分支,其任务是讲述日常生活中分析、解释、评价、批评和论证建构的非形式标准、尺度和程序”。这个定义被认为是当今流行的定义。从这个定义中可以看出,非形式逻辑的研究对象是日常生活的语言,也就是自然语言,这一点恰恰迎合了法律逻辑学以自然语言为文本的的特性。
非形式逻辑之所以是“非形式的”,这主要是因为它不依赖于形式演绎逻辑的主要分析工具——逻辑形式的概念,也不依赖于形式演绎逻辑的主要评价功能——有效性。非形式逻辑在这方面与形式逻辑形成了良好的互补,形式逻辑研究论证主要是基于语义的研究,即真假命题之间的关系研究;而非形式逻辑研究论证主要是基于语用的研究,即从语境和论证目的角度进行研究,正是这一点成为了法律逻辑学与非形式逻辑的完美联姻。在法律逻辑学中,与法律形式推导对应的是法律实质推导,法律实质推导是指基于实践理性或目的理性以及价值理性进行的法律推理,是基于法律意图或目的、法律的价值取向、社会效用或社会利益、社会公平正义观念等实质内容之间的关系对法律展开的推论,可分为法律的目的推导和价值推导。法律实质推导是基于目的蕴涵和价值蕴涵,而不是基于形式蕴涵,因此它应当有不同于法律形式推导的框架,而非形式逻辑从语境和论证目的角度进行研究就为法律实质推导提供了工具。
形式逻辑的推理方法篇2
作为大学逻辑学教师，我们的首要任务是从事逻辑学的教学，并且以科学研究来促进逻辑学的教学改革，提高逻辑学的教学质量，提升逻辑学的教学水平。20多年来，特别是20世纪90年代以来，中国高等学校中逻辑教学现代化的步子越来越大，步伐越来越快，逻辑教材的建设成就斐然，逻辑教学的改革成果丰硕。其中，王路著的《逻辑基础》[1]和宋文坚主编的《新逻辑教程》[2]和《逻辑学》[3]、中国人民大学逻辑教研室编写的《逻辑学》[4]、中山大学逻辑教研室编写的《逻辑学》[5]以及梁庆寅主编的《传统和现代逻辑概论》[6]，何向东主编的《逻辑学教程》[7]，黄华新、胡龙彪编著的《逻辑学教程》[8]以及其它许多教材，在逻辑教学内容和体系的改革方面都具有自己的特色。宋文坚教授在《逻辑学的传入和研究》中认为:这些教材“总的特点是:教学体系的框架是按逻辑演算的讲述体系构建起来的;以讲经典逻辑为主，较全面完整地介绍了两个演算，或公理系统，或自然演算，介绍了它们的元逻辑问题，注重阐释现代逻辑的各个基本概念，力图让学生学习逻辑学的新观念。……这些书一般都保留了传统形式逻辑的某些有实际应用的内容，如直言命题的推理，对当关系等”[9]。
在逻辑教学初步实现现代化的过程中，在这些具有时代特色的教材中，我们到底有哪些成功经验值得总结和推广，有哪些问题需要反思和改进?这就是本文中讨论的主题。
1坚定不移地走逻辑教学现代化之路
在20世纪70年代末期，针对我国逻辑教学和研究水平远远落后于国际水平的实际状况，特别是我国大学逻辑教学中所用的逻辑教材内容比较贫乏、陈旧的状况所提出的“形式逻辑要现代化”的口号，主张逻辑教学和研究要现代化，要大量吸收数理逻辑的成果，编写现代化的逻辑教科书。然而，对于这个反映时代要求的口号，逻辑学界不少人并不是完全赞同的。在什么是逻辑教学和研究现代化，如何实现逻辑教学和研究现代化等等问题上，逻辑学界曾经展开了3次较大的争论。在许多次逻辑学讨论会上，双方展开激烈争辩的情景至今仍历历在目，令人难以忘怀。
经过多次激烈的争论，在逻辑教学是否应当现代化的问题上，逻辑学界基本取得了共识，这就是在中国的高等教育中，逻辑教学也要与国际接轨，坚定不移地走逻辑教学现代化之路。上述这些教材，就是中国的逻辑教学与国际初步接轨的一批成果中的典型代表。由于使用了这些教材，在中国的逻辑教学中，特别是大多数高校哲学系的逻辑教学中，现代逻辑已经成为学生的必修课，也已经和正在成为许多高校非哲学专业的文科学生的公共基础课或者公共选修课。现代逻辑正在大踏步地走进我国高等学校课堂，逐渐成为逻辑教学的主流。因此，张家龙先生认为我国的逻辑教学已经初步实现了现代化，这是一个不容争辩的事实。
正是基于我国的逻辑教学已经初步实现了现代化这一基本事实，张家龙会长发出了这样的号召:“我们不能满足于已经取得的成绩，我们要继续前进，在21世纪经过几十年奋斗，中国逻辑学者完全有能力全面实现我国逻辑教学与研究的现代化、与国际逻辑教学和研究水平全面接轨。”
2树立正确的逻辑教学观，促进逻辑教学的改革
王路教授在《逻辑基础》一书的“序”中谈到学习逻辑可以有许多目的。他把这些目的大体上分为3类:一类是通过学习逻辑，掌握一些专门的技术和方法，从而使我们能够应用这些技术和方法解决一些具体的问题;另一类是是通过学习逻辑，培养一种逻辑的眼界和意识，从而使这种逻辑的眼界和意识成为我们知识结构中的构成要素，在我们的工作和生活中潜移默化地起作用;第三类则是通过有关的逻辑知识树立逻辑的观念。“就这三个目的而言，最重要的是逻辑的观念。因为逻辑的技术方法，逻辑的眼界和意识都是围绕逻辑的观念展开的。”[1]
那么，在逻辑教学，特别是现代逻辑教学中，我们应当用什么样的逻辑的观念去指导逻辑学的教学改革呢?
在《逻辑的观念》一书以及一系列的论文中，通过对历史上亚里士多德逻辑和现代逻辑的详尽考察，王路教授认为，从逻辑的内在机制看，逻辑是研究必然性推理即研究推理的前提和结论之间“必然地得出”的关系的:“从亚里士多德到现代逻辑，始终贯穿了一条基本的精神，这就是‘必然地得出’。”[10]王路详尽地讨论了亚里士多德和现代逻辑对于“什么是必然地得出”和“如何才能必然地得出”的问题的解答，树立了一种逻辑的观念，一种对逻辑科学或者逻辑学科的内在机制和根本性质的观念。并且，他反复强调现代逻辑通过构造形式语言和逻辑演算，得到具体的可以操作的方法，以保证我们可以达到“必然地得出”。李小五教授在《什么是逻辑》中指出:“逻辑就是对形式正确的推理关系进行可靠且完全刻画的形式推演系统。”[11]并且，他给逻辑下了这么一个形式定义:“我们称L是一个C--逻辑当且仅当L是一个三元组
3构造简明易学的逻辑教学系统，普及现代逻辑的基本知识
中国逻辑学会副会长马钦荣教授认为:“有一种现象值得深思，逻辑学界对于传统逻辑的教学议论很多，否定的也不少，但传统逻辑作为课程却大行其道;对现代逻辑赞扬的人多，但开课的学校不多。这里有队伍的问题，也有课程的开发与建设的问题。我们需要有可教可学、有特色、上水平的现代逻辑教材和一批胜任的教师，这是应当引起重视并扎扎实实去做的工作。”[14]。马钦荣教授在这里所谈到的这种现象后面的深层次的原因是什么?怎么建设现代逻辑的教学队伍?特别是怎么建设可教可学、有特色、上水平的现代逻辑教材?这些问题，的确是事关逻辑教学改革成败的关键问题。
1999年6月，在纪念《普通逻辑》出版20周年座谈会上，对于怎样进一步改革我国高校的逻辑教学和逻辑教材，苏天辅先生提出了“普通逻辑数理逻辑化”和“数理逻辑普通逻辑化”2条指导性意见[15]。根据我的理解，所谓“普通逻辑数理逻辑化”，是指在高校讲授的逻辑基础知识的导论课程即“普通逻辑”中以数理逻辑为主要内容，走逻辑教学现代化之路;而“数理逻辑普通逻辑化”，是指必须将数理逻辑这门学科的基础知识，主要是一阶逻辑的基本内容，按照教学规律，特别是学生的认知规律，以深入浅出、通俗易懂的方式表述出来，使之符合导论课的性质和要求。因此，数理逻辑普通逻辑化就是建设教师好教、学生易学的逻辑教材的原则和方法。
那么，怎么才能建设好教易学的现代逻辑教材，实现“普通逻辑数理逻辑化”和“数理逻辑普通逻辑化”，在中国的高校中普及和推广现代逻辑呢?这是每一个关心中国逻辑教学现代化的人不得不认真思考的问题。结合20多年中国逻辑教学现代化的历程，并且对逻辑学的研究方法进行客观的、深入的分析和评价，我们不难找出正确的答案。
在研究各种逻辑词的推理规律的过程中，我们可以采取不同的研究方法。例如，可以通过公理方法从一个公理(或者公理模式)集合和一个推理规则集合来建立逻辑演算;还可以运用自然推理方法从一个推理规则集合出发来构造逻辑的形式系统，把关于某些逻辑词的推出关系纳入这个系统;还可以通过表列(语义图)方法运用一个规则集合来逐个构造某个公式或公式集的反驳，以研究这个公式或公式集是否存在推出关系;还可以通过范式方法来研究一个公式或公式集合的各种性质，特别是该公式或该公式集合的所有逻辑后承，等等。
从理论上讲，在逻辑系统中，例如在命题逻辑中，对于包括否定词、合取词、析取词、蕴涵词和等值词为研究对象的一个形式语言中，这些研究方法得到的推出关系的集合可以是相同的或者等价的。但是，在建立关于某些逻辑词的全体推出关系形成的集合的推演过程中，不同的研究方法具有相当不同的特点，例如，推演的出发点不同，推演的复杂程度不同，特别在是否有明确的推演目标，是否有明确的推演步骤等方面，这些方法是大异其趣的。
就逻辑学的研究方式而言，运用公理方法构建逻辑的形式系统，研究一类类的逻辑词的推理规律，是从现代逻辑创立以来直到今天最常见的研究方式。在历史上，一阶逻辑的形式系统最早是由弗雷格用公理方法建立起来的。其后，罗素、希尔伯特以及海廷所构造的逻辑主义、形式主义和直觉主义的逻辑系统都是公理系统。逻辑的公理系统无疑具有种种优点，特别是在研究某些逻辑词特有的推出规律时，公理系统是十分严谨的，而且在讨论系统的元逻辑性质方面，公理系统更表现出了种种优点。至今，尽管已经发展出了其它构建逻辑系统的方式，然而，公理方法仍然是人们构建种种逻辑的形式系统时最常用的方法，公理系统对逻辑研究的作用是任何人都不可否认的。
但是，在逻辑教学中，我们是不是一定要采用公理方法来构建逻辑的教学系统呢?用公理方法构建的逻辑系统，对于文科学生是否是好教易学的教学系统呢?回答这个问题，必须从公理系统的特征出发进行分析。从公理系统推演出定理的复杂程度和推演的目标、推演技巧方面来看，要求没有受到公理方法训练的学生，尤其是文科学生以逻辑的公理系统为学习对象，是有相当的难度的。逻辑的公理系统是以推导逻辑定理为己任的。由于公理(或公理模式)和/或推导规则的数目不同，从公理推出定理的技术复杂程度也是不相同的。虽然可以采用演绎定理等方式来简化逻辑定理的推演，但是，从技术上讲，公理系统的推演还是比较复杂的。就推演目标而言，从公理推出定理的过程往往是探索性的、试错性的，我们往往没有能行的方式进行定理的推演，特别是用代入规则推演时这个问题就更为突出;就逻辑的核心任务———对推出关系的刻画而言，公理和定理是以逻辑定理或者逻辑真这种不自然的方式刻画前提和结论之间的推出关系的。因此，以公理方法构建的逻辑系统被称为“不自然的逻辑”。①
20世纪80年代在中国的高校中普及和推广现代逻辑时，一些教材，特别是翻译过来的教材采用公理系统作为逻辑学的教学系统。由于对公理系统复杂的逻辑定理的推演过程产生了畏难情绪，许多人对现代逻辑的教学和研究不是采取积极探索而是采取了消极后退的方针，并且产生了对现代逻辑的种种误解和非难，特别是认为现代逻辑不适合中国国情、对人们的思维实践没有什么作用等等。这些误解和非难，就其实质来讲，是不正确的。但是，就教学对象讲，在以大学文科学生，特别是非哲学专业的大学一年级本科生为教学对象时，以公理系统作为基础构建的教学系统似乎并不是最好的选择，这就是马钦荣教授谈到的“逻辑学界对于传统逻辑的教学议论很多，否定的也不少，但传统逻辑作为课程却大行其道;对现代逻辑赞扬的人多，但开课的学校不多”这种现象的深层次的原因。
作为逻辑学的教学系统中，在一阶逻辑，特别是其基础的命题逻辑部分，当然还可以采用范式方法或者表列(语义图)方法判定任一公式a是不是某个有穷公式集的重言后承或者某个公式是否常真式等。然而，以范式方法求取一个公式集合的所有的结论时，常常要使用交换律、分配律、吸收律、幂等律、归约律等逻辑规律进行等值替换，推演过程并不直观、明显。表列(语义图)方法是按一组可行的规则构造一个树形图，以判定某个公式是不是某个有穷公式集的重言后承或者某个公式是不是重言式。跟公理方法和范式方法相比，表列方法无疑具有推演目标明确、推演方法机械和推演步骤简洁、比真值表快速有效等等优点。可是，在实际思维中，人们一般不会通过划真值表、求取范式、构造反驳等等方法来判定前提和结论之间是否有逻辑推论关系的。因此，我们可以在理论研究或者在有逻辑知识的人们中间以这些方法讨论推理的规律，但是，我们不能指望以这些方法来指导人们在日常实际思维中进行具体的推理和论证。
20世纪30年代，自根芩和其他逻辑学家提出了完全以推理规则集合代替公理来建立逻辑的形式系统以来，构造自然推理系统或者自然演算成为构造逻辑演算的另一种选择。跟用公理和定理表示前提和结论之间的推出关系或推理规律相比，以推理规则来表示前提和结论之间的推出关系或推理规律更接近人们的实际思维过程，因此，逻辑学家以不同的方式构建了许多自然推理系统，自然推理系统得到巨大的发展。在自然推理系统中，我们可以从证明论的角度，以推理规则从符号与符号的关系方面建立语法推论关系，而且，我们还可以从模型论的角度，根据指派、赋值讨论公式和公式集的可满足性、有效性，特别是前提集和结论的语义推论关系，并在讨论语法推论关系和语义推论关系的基础上研究系统的种种元逻辑性质如可靠性、完全性等等性质。而且，自然推理系统恢复了逻辑推论关系在逻辑学中的崇高地位，不再把逻辑真作为逻辑学的核心概念，而是把逻辑真看成前提为空的推论关系的一种特殊情况，一种不自然的逻辑推论关系。由于自然演算所具有的种种优点，在构造逻辑的教学系统时，采用这种方法所构造的逻辑系统是适合教学要求，符合教学规律的。
20世纪80年代初期，为了培养现代逻辑方面的教学和研究人员，教育部委托南京大学开办了数理逻辑学习班。在这个学习班上使用了美国著名逻辑学家苏佩斯的《逻辑导论》[17]作为教材。该教材以自然推论方法来建立一阶逻辑的知识系统，不但逻辑知识讲述得非常清楚、明白，而且，还以许多事例来说明逻辑原理的广泛应用，因此是一本非常优秀的教材。但是，该教材是以重言式作为命题逻辑的推出规则的，从证明论的角度讲，以这种方式处理语法推论关系是不够妥当的。而且，该教材没有讨论一阶逻辑的元逻辑性质，这不能说不是一个令人遗憾的问题。其后，北京大学出版社出版了另一位美国著名逻辑学家科庇的教科书《符号逻辑》[18]。这本教材介绍了一阶逻辑的自然演绎系统，也构建了一阶逻辑的公理系统。在讨论自然推理时，该书以真值表为基础，引入了命题逻辑的若干推理规则，详细研究了关于联结词的演绎方法，并且在此基础上介绍了量化理论、关系逻辑，以及命题逻辑和一阶函项演算的公理系统以及它们的元逻辑性质，内容丰富，论述清晰。这2部国际一流的逻辑教材和其它翻译出版的教材，对我国逻辑教材的改革，产生了深刻而且广泛的影响。例如，从人大版的《逻辑学》和以及其它优秀教材如毕富生的《数理逻辑》[19]中，可以看得到这些国外教材的影响。
从传统形式逻辑传入我国开始，我国逻辑教材经历了翻译介绍、消化吸收、自主创新的发展过程。当然，现代逻辑教材的发展也经历了这个过程。上述以现代逻辑为主的教材中，许多教材已经发展到了结合中国大学生，特别是文科大学生的特点讲述现代逻辑的知识，达到了自主创新的阶段。其中，王路的《逻辑基础》特别突出。在《逻辑基础》中，王路以非形式的方法讨论了命题逻辑和谓词逻辑的基本概念、基本原理和基本方法，其论述之清楚、事例之生动、方法之详尽、思路之清晰，在众多逻辑教材中可谓独树一帜。即使是自学者，只要用心一些，也可以轻松地跟随作者一起在一阶逻辑形式证明的大海中遨游。逻辑教材，特别是符号逻辑教材能够写到这个地步，的确是非常难得的了。这本教材，是对逻辑教材创新发展的一个典范，值得所有在大学教授现代逻辑的教师学习和借鉴。
根据我们的教学经验，在以大学文科学生为对象的逻辑教材中，以什么方式讲述现代逻辑的基础知识，培养学生什么样的眼界和意识，特别是树立什么样的逻辑观念，是关系到逻辑教学是否有成效的大问题，也是关系逻辑教学改革是否成功的大问题。王路的教材，虽然没有构建一阶逻辑的形式系统，更没有讨论系统的元逻辑性质，但是，他却通过与人们直观更为接近的方式，分析命题和推理的构成成分，运用有效推理的规则，去分析和解决人们实际思维中的关于联结词和量词的推理和证明的问题，并在这个过程中培养学生逻辑的意识和眼界，树立正确的逻辑的观念。因此，王路把逻辑理论和逻辑的应用紧密地结合在一起，以培养学生的逻辑的观念作为逻辑教学的根本目的。逻辑的具体的推演技术和方法可以上升为学生自觉的习惯，更为重要的是，通过这些推演技术和方法所养成的逻辑的意识和眼界可以内化为学生的素质。学生有了这种素质，也就培养了逻辑精神。而有了逻辑精神，那么，在求知求真的过程中他们就会思索前提和结论、论据和论题之间的联系是否是必然的，是否具有推出关系，是否符合逻辑规律，逻辑的观念从而就根深蒂固地扎进学生的思想深处，成为他们的根深蒂固的思维习惯。
王路在《逻辑基础》中提出了教材的2个使用目的:“一是搞好课堂教学，使之好教、好学、好用;二是便于自学，使之好读、好理解、好掌握。”[1]并为此采取了一系列的措施来落实这6个“好”，特别是不构建逻辑系统，只给出从前提推出结论的推理规则，让学生通过运用推理规则去进行形式证明，从而极大地简化了一阶逻辑的复杂程度。这些措施，真正体现了“数理逻辑普通逻辑化”的原则和方法。笔者认为，王路在《逻辑基础》中所做的有益的探索，就是试图让中国的逻辑教学再上一个新的台阶，达到又一个新的境界的探索。
4培养逻辑精神，突出逻辑学的社会功能就其来源来说，逻辑学来源于哲学论证、法庭辩论、数学推理等等人类的实践活动，是为人类求知求真的服务的工具。逻辑学，包括现代逻辑，也是来源于人类的实践活动，它也应当能够指导人类的实践活动，服务于人类的实践活动。更为重要的是，在逻辑学应用于人类实践活动的过程中，可以培养学生的逻辑意识或者逻辑精神，树立逻辑的观念。
实践性教学是课堂教学的延伸。实践性教学是为巩固、加深和扩展逻辑理论和逻辑应用的知识，通过各种方式使学生在思维实践中运用所学到的逻辑知识去分析问题、讨论问题、解决问题的教学方式。这种教学方式，主要由学生自主进行。通过这种教学方式，可以使学生深刻体会到逻辑学求知求真的精神实质，提高学生的学习能力和科研能力。这种教学方式，可以有如下种种表现形式。
通过组织或参与组织学生运用讲演会或论辩会的形式进行的教学活动。教师让学生自主策划讲演或论辩的题目，设计逻辑框架，寻找论据对论题进行论证、反驳和辩护，对论证进行分析、评估，教师只在必要时加以指导。这种实践性教学方式，非常有利于培养学生在实践中把逻辑知识创造性地进行应用的能力，非常有利于培养和提高学生的逻辑思维素质，树立逻辑的观念，培养求知求真的逻辑精神。
进行案例教学，也是进行实践性教学的有效方式。通过来自社会生活，主要是来自报刊杂志和互联网上的实际事例中包含的逻辑问题的分析，可以使学生深刻体会逻辑学的作用，充分理解逻辑学的社会功能。
实践性教学还可以采用让学生探讨在各门学科中是怎样根据基本概念、基本原理通过推理、论证把这些学科组织成为严密、系统的知识体系的方式进行，也可以通过让学生交流如何运用所学到的关于概念、命题、推理和论证的知识，撰写科研论文的体会和经验的方式进行。
形式逻辑的推理方法篇3
关键词形式逻辑辩证逻辑“对立说”“高低说”“主从说”“协同说”
中图分类号：B81文献标识码：a
关于形式逻辑与辩证逻辑的特点、优劣及其二者的关系，一直以来都见仁见智，争论不休。至少有三种典型的说法：“对立说”、“高低说”和“主从说”。这些见解对形式逻辑与辩证逻辑关系的把握虽然各有其合理的一面，但都言之武断，有失偏颇，不仅不能从理论上全面地说明二者的关系，更不利于在实践中把两种思维方式的长处结合起来，更好地发挥其功能。故此，笔者斗胆提出“协同说”，以求教于方家。
1“对立说”
持此种观点的人认为形式逻辑与辩证逻辑是两种“水火不容”、根本不同、不能并存的逻辑方法和思维方式。当然，由于其显而易见的片面甚至错误，奉行这种观点的人少之又少。
之所以有人认为形式逻辑与辩证逻辑是根本对立的，主要是由于对“矛盾”的理解和态度不同。
形式逻辑最主要的一个原则和定律就是“（不）矛盾律”，即“a=a”。什么是“（不）矛盾律”呢？从对象语言的角度看是指同一个对象不能同时既是又不是，不能既具有又不具有某个性质。从元语言的角度看，矛盾律是指相互否定的两个命题不能都是真的，其中必有一个是假的。根据矛盾律，如果同时对互相否定的两个命题加以肯定，没有从中否定一个，就会出现自相矛盾的逻辑错误。这在形式逻辑看来是不可能的，必须从逻辑系统中排除出去。所以，协调性即不矛盾性定理是形式逻辑系统的一个基本元定理。
西方逻辑学传统中，首要的是开创形式逻辑的亚里士多德传统，最早可追溯到巴门尼德认为“世界是协调的，关于世界的知识也必须相应地一致，所有矛盾都必须加以排除”，通常称为“无矛盾原理”。
亚里士多德说：“一切意见中最为确实的是，对立的陈述不能同时为真。”这一思想在整个现代经典逻辑中普遍得到了认可，认为逻辑就是协调的、一致的、不矛盾的，而包含矛盾的逻辑是不可能的。
在现代，坚持无矛盾原理最为突出的代表人物是波普尔，他说：“科学是按照矛盾不能被允许和可以避免这一假设而推进的，因而发现矛盾就会迫使科学家尽一切努力去消除它。”不错，一旦承认了矛盾，所有的科学就必然瓦解。“千万不要认可一种矛盾。”“如果我们准备容忍矛盾，那么批判以及一切人类智力进步都必定同归于尽。”他说“如果承认了两个互相矛盾的陈述，那就一定要承认任何一个陈述；因为从一对矛盾陈述中可以有效地的推导出任何一个陈述来。”波普尔所理解的科学，错误地以经典形式逻辑取代黑格尔的辩证逻辑对理性的定义，从而将科学理性仅仅确立为形式逻辑为支撑的内容，这种错误背离了宇宙天道和西方的辩证法传统，直接将科学推向狭隘偏执乃至异常缓慢发展的困境。
经典形式逻辑不容忍矛盾，追求线性的发展，最后又逃不出矛盾，因为它与现实存在不符；但其本身没有错，错就错在人类仅仅掌握形式逻辑并将其作为唯一的研究手段，而不知运用辩证逻辑、不明白二者亦是辩证统一的关系。辩证逻辑则如实地揭示了现实世界中矛盾的客观存在，既承认一定条件下的“非此即彼”――这是形式逻辑所认同的，又承认另一条件和范围内的“亦此亦彼”――这是形式逻辑所不能接受的。因此，有人提出二者关系的“对立说”。
2“高低说”
对于形式逻辑与辩证逻辑的关系，坚持“高低级”之说的学者为数众多，成为当时的一种主流观点，其主要是靠援引马克思主义经典著作中的结论，具体说是引用恩格斯的一个比喻。在《自然辩证法》中，恩格斯把使用“固定不变的范畴”比喻为“就好像是逻辑的初等数学”。在《反杜林论》中，恩格斯又说：“形式逻辑也首先是探寻新结果的方法，由已知进到未知的方法；辩证法也是这样，只不过是更高超得多罢了；而且，因为辩证法突破了形式逻辑的狭隘界限，所以它包含着更广泛的世界观的萌芽。在数学中也是存在着同样的关系。初等数学，即常数的数学，是在形式逻辑的范围内活动的，至少总的说来是这样；而变数的数学――其中最重要的部分是微积分――本质上不外是辩证法在数学方面的运用。”
形式逻辑主要从形式结构上研究思维形式和规律。它是由固定范畴建立起来的体系，是对既成的、凝固的、间断的认识成果进行概括与总结，只是反映客观对象间最普通、最简单的关系。推理的环节每一个都是完全确定与界限分明的，它用逻辑符号来指称对象，建立一套严密的逻辑规则进行精确的逻辑演算。
辩证逻辑则着眼于研究动态的、过渡的、生成变化的对象和层次，在这个层次上，形式逻辑则会“失灵”，必须运用辩证逻辑才能正确反映和揭示出来。借用恩格斯的话说：“辩证法对今天的自然科学来说是最重要的思维形式，因为只有它才能为自然界中所发生的发展过程，为自然界中的普遍联系，为从一个研究领域到另一个研究领域的过渡提供类比，并从而提供说明方法。”
但形式逻辑与辩证逻辑在研究对象、研究方法和研究特色上的区别不是说明二者有高低、优劣之分，而是说明了二者各有所长，各有其劣。因此，用“高低说”来概括二者的关系是不恰当的。正如所言：“说形式逻辑好比低级数学，辩证逻辑好比高等数学，我看不对。形式逻辑是讲思维形式的，讲前后不相矛盾的。它是一门专门科学，同辩证法不是什么初等数学和高等数学的关系。数学有算术、代数、几何、微分积分，它包括许多部分。形式逻辑却是一门专门科学。任何著作都要用形式逻辑，《资本论》也要用。形式逻辑对大前提是不管的，要管也管不了。那得由各门科学来管。”
3“主从说”
持“主从说”的学者主要是周谷城。1956年，《新建设》2月号上发表了周谷城的《形式逻辑与辩证法》一文。该文提出了新的见解：形式逻辑的对象是推论方式，它的法则只是对推论过程的形式规定，它的任务侧重于依据大前提如何推论，却不追问大前提是怎样成立的；它对任何事物都没有主张，它既可为辩证法服务，也可为形而上学服务；既能为正确的主张服务，也能为错误的主张服务；在认识活动中，“辩证法是主，形式逻辑是从；主从虽有别，却时刻不能分离”。
周谷城的文章一登出，就注意到了。他十分欣赏这篇文章的探索精神和新见解，认为“也不错”。认为形式逻辑不管前提的思想内容，因而没有阶级性。这些观点，同周谷城的文章的观点是一致的。
“主从说”与“高低说”有非常相似之处，也有共同的不足，即还是把形式逻辑与辩证逻辑的关系做了像“高低”、“贵贱”、“主从”这样的“尊卑”之分。但它比以往学说高明的地方在于：它不再从外部形式上，而是开始关注两种逻辑在本质和功能上的区别，开始从动态上注意二者的协同运用，指出在认识过程中，形式逻辑和辩证逻辑都在发挥作用。这是一个巨大的进步。
4“协同说”
从对以上观点的分析可以看出，形式逻辑和辩证逻辑分属两种不同的逻辑思维方式和方法，既各有长短，又相互依赖、相互补充。因此，现实中应把二者结合起来，协同运用，才能更好地认识世界、规范和明确理论。
形式逻辑的优点是，它给予了概念方式的事物定格，使人类的意识活动可以定格地造就事物样式的概念建构，并以此进行观念的和实在的制作。如，山就是山，水就是水，它们都按照形式逻辑的规定而获得观念的和实在的概念制作，并以此确立彼此的界分，从而使人类的意识活动能够对种种意识对象作出定格判定，形成恒定的判断和推理。形式逻辑的不足则在于，它不能把握处在变易中的事物，不能造就和处理变易中的事物样式和事物过程，以及相关的概念建构和过程式的判断和推理。
辩证逻辑则是从变易的逻辑上把握事物。在变易的逻辑必然中，事物的样式处在了一种是无非无，是有非有的状态中，或者说处在既是无又是有的状态中，这样的“是无又是有”的事物样式和概念建构则是形式逻辑所难以接受的。而对于辩证逻辑来说，它和形式逻辑不同，它不是建立在事物样式和概念建构的定格上的，它是建立在事物样式和概念建构的变易上的。对于辩证逻辑来说，“是无又是有”正好是一种变易式和过程式的事物样式和概念建构。这种变易式的和过程式的事物样式和概念建构，是一种对立统一的建构，并以对立统一建构绽出了一种辩证方式的事物样式和概念建构。这样，辩证逻辑就在我们的意识活动中，以及在我们的知识建构中，造就和确立了一种对立统一的事物样式，以及这种事物样式的概念建构，使得人类的意识活动能够从事物的定格到事物的变易，进入到事物变动的历史过程，造就出了一种与形式逻辑所不同的事物样式和概念建构，以及一个以对立统一为逻辑展开的，运动的、联系的和历史的，处在不断生成、变化和发展过程中的世界。
形式逻辑和辩证逻辑并无优劣之分，两者是不同的概念逻辑工作方式。在形式逻辑中，事物样式和概念建构有着其定格式的恒定确立；而在辩证逻辑中，事物样式和概念建构则有着其对立统一式的辩证确立。前者以定格式的事物和概念，造就恒定式的判断和推理；后者以变易式的事物和概念，造就对立统一式的判断和推理。
无论是形式逻辑的事物样式和概念建构，还是辩证逻辑的事物样式和概念建构，都是人类概念方式的制作，我们既不能凸出辩证逻辑而扬弃形式逻辑，也不能停留于形式逻辑而拒绝辩证逻辑，而应共同地将它们作为人类的重要思想原则，作为不同场合的概念制作、建构、使用的规范和工作方式。对于人类的观念、思想、知识和实在制作来说，两者都是极为重要和不可偏废的。也就是说，我们当在需要定格的认知和实践场合运用形式逻辑的工作方式，而在变易和过程的认知和实践场合运用辩证逻辑的工作方式，使之互为映辉，各成其就。
参考文献
[1]苗力田.亚里士多德全集第七卷[m].北京：中国人民大学出版社，1993.
[2]波普尔.开放社会及其敌人第二卷[m].北京：中国社会科学出版社，1999.
[3]波普尔.猜想与反驳[m].上海：上海译文出版社，1986.
形式逻辑的推理方法篇4
【关键词】逻辑/广义与狭义/一元论/多元论/工具主义
【正文】
一、广义的逻辑与狭义的逻辑
什么是逻辑？要清楚明确地回答这一问题，要将各种各样冠以“逻辑”的学科都统一在一个明确清晰的“逻辑”的定义之下，这是很困难的，甚至是不可能的。
不妨先对逻辑发展史作一简单考察。
在西方，公元前4世纪，古希腊哲学家亚里士多德集其前人研究之大成，写成了逻辑巨著《工具论》（由亚氏的六部著作编排而成：《范畴篇》、《解释篇》、《前分析篇》、《后分析篇》、《论辩篇》、《辨谬篇》）。虽然在亚氏的著作中他并没有明确地使用“逻辑”这一名称，也没有明确地以“逻辑”这一术语命名其学说，但是，历史事实是，亚氏使形式逻辑从哲学、认识论中分化出来，形成了一门以推理为中心，特别是以三段论为中心的独立的科学。因此，可以说，亚里士多德是形式逻辑的创始人。
亚氏之后，亚里士多德学派即逍遥学派和斯多葛学派都以不同形式发展了亚氏的形式逻辑理论——逍遥学派的德奥弗拉斯特和欧德慕给亚里士多德逻辑的推理形式增补了一些新的形式与内容，提出了命题逻辑问题，斯多葛学派克里西普斯等人则构造了一个与亚里士多德词项逻辑不同的命题逻辑理论。
弗兰西斯·培根是英国近代唯物主义哲学家，也是近代归纳逻辑的创始人，他在总结前人归纳法的基础上，在批判了经院逻辑和亚里士多德逻辑之后，以其古典归纳逻辑名著《新工具》为标志，奠定了归纳逻辑的基础。
18-19世纪，德国古典哲学家康德、黑格尔等，对人类思维的辩证运动与发展进行了深入研究，建立了另一种新的思辩逻辑——辩证逻辑。
与此同时，以亚里士多德逻辑为基础的形式逻辑在发展与变化中也进入了新的阶段——数理逻辑阶段。数理逻辑也称符号逻辑，或谓狭义的现代逻辑，奠基人是德国哲学家、数学家莱布尼兹。他主张建立“表意的、普遍的语言”来研究思维问题，使推理的有效性可以用数学方法来进行。莱布尼兹的这些设想虽然在许多方面并未实现，但他提出的“把逻辑加以数学化”的伟大构想，对逻辑学发展的贡献却是意义深远的，正如逻辑史家肖尔兹所说，“人们提起莱布尼兹的名字就好象在谈到日出一样。他使亚里士多德逻辑开始了‘新生’，这种新生的逻辑在今天的最完美的表现就是采作逻辑斯蒂形式的现代精确逻辑。”（注：肖尔兹著，张家龙译：《简明逻辑史》，商务印书馆1997年版，第50页。）莱氏之后，经过英国数学家、哲学家、逻辑学家哈米尔顿、德摩根的研究，英国数学家布尔于1847年建立了逻辑代数，这是第一个成功的数理逻辑系统。1879年，德国数学家、逻辑学家弗雷格在《概念文字——一种模仿算术语言构造的纯思维的形式语言》这部88页的著作中发表了历史上第一个初步自足的、包括命题演算在内的谓词演算公理系统，从而创建了现代数理逻辑。之后，英国哲学家、逻辑学家罗素和怀特海于1910年发表了三大卷的《数学原理》，建立了带等词的一阶谓词系统，从而使得数理逻辑成熟与发展起来。
上述数理逻辑，以两个演算——命题演算与谓词演算作为核心，被称之为现代形式逻辑或狭义的现代逻辑。在当代，以现代逻辑为基础，将现代逻辑应用于各个领域、各个学科，从而出现了广义的各种各样的现代逻辑分支。
从以上对古代、近代、现当代逻辑学说发展的简单考察可以看出，逻辑的范围是十分广泛的。它至少包括了以亚里士多德逻辑为基础的传统演绎逻辑、以数理逻辑为核心及基础的现代逻辑及其分支、归纳逻辑、辩证逻辑等等，而这些逻辑相互之间的特性又是十分不同甚至十分对立的。所以，要用一个明确的定义把这些历史上所谓的逻辑都包含进去，确实是很难的。事实上，“逻辑”一词是可以有不同的涵义的，逻辑可以有广义与狭义之分。
英国逻辑学家哈克在谈到逻辑的范围时，认为逻辑是一个十分庞大的学科群，其分支主要包括如下：
1.传统逻辑：亚里士多德的三段论
2.经典逻辑：二值的命题演算与谓词演算
3.扩展的逻辑：模态逻辑、时态逻辑、道义逻辑、认识论逻辑、优选逻辑、命令句逻辑、问题逻辑
4.异常的逻辑：多值逻辑、直觉主义逻辑、量子逻辑、自由逻辑
5.归纳逻辑（注：S.Haack:philosophyoflogics,CambridgeUniversitypress,1978,p.4,221-231.）
在这里，哈克所谓的“扩展的逻辑”，是指在经典的命题演算与谓词演算中增加一些相应的公理、规则及其新的逻辑算子，使其形式系统扩展到一些原为非形式的推演，由此而形成的不同于经典逻辑的现代逻辑分支；至于“异常的逻辑”，则是指其形成过程一方面使用与经典逻辑相同的词汇，但另一方面，这些系统又对经典逻辑的公理与规则进行了限制甚至根本性的修改，从而使之脱离了经典逻辑的轨道的那些现代逻辑分支。“扩展的逻辑”与“异常的逻辑”统称为“非经典逻辑”。
以哈克的上述分类为基础，从逻辑学发展的历史与现实来看，逻辑是有不同的涵义的，因此，逻辑的范围是有宽有窄的：首先，逻辑指经典逻辑，即二值的命题演算与谓词演算，不严格地，也可以叫数理逻辑，这是最“标准”、最“正统”的逻辑，也是最狭义的逻辑；其次，逻辑还包括现代非经典逻辑，不严格地，也可以叫哲学逻辑，即哈克所讲的扩展的逻辑与异常的逻辑；再次，逻辑还包括传统演绎逻辑，它是以亚里士多德逻辑为基础的关于非模态的直言命题及其演绎推理的直观理论，其主要内容一般包括词项（概念）、命题、推理、证明特别是三段论等。此外，逻辑还可以包括归纳逻辑（包括现代归纳逻辑与传统归纳法）、辩证逻辑。将逻辑局限于经典逻辑、非经典逻辑，这就是狭义的逻辑，而将逻辑包括传统逻辑、归纳逻辑与辩证逻辑，则是广义的逻辑。以这一取向为标准，狭义的逻辑基本上可以对应于“逻辑是研究推理有效性的科学，即如何将有效的推理形式从无效的推理形式中区分开来的科学”这一定义，而广义的逻辑则可以基本上对应于“逻辑是研究思维形式、逻辑基本规律及简单的逻辑方法的科学”这一定义。
由此可见，逻辑学的发展是多层面的，站在不同的角度，就可以从不同的方面来考察逻辑学的不同层面及不同涵义：
(1)从现代逻辑的视野看，逻辑学的发展从古到今的过程是从传统逻辑到经典逻辑再到非经典逻辑的过程。这一点上面已有论述，此不多说。
(2)从逻辑学兼具理论科学与应用科学的角度，可以确切地把逻辑分成纯逻辑与应用逻辑两大层面。可以说，纯逻辑制定出一系列完全抽象的机械性装置（例如公理与推导规则），它们只展示推理论证的结构而不与某一具体领域或学科挂钩，是“通论”性的，而应用逻辑则是将纯逻辑理论应用于某一领域或某一主题，从而将这一具体主题与纯逻辑理论相结合而形成的特定的逻辑系统，它相当于逻辑的某一“分论”。在纯逻辑这一层面，还可以分成理论逻辑与元逻辑，所谓元逻辑，是以逻辑本身为研究对象的元理论，是刻划、研究逻辑系统形式面貌与形式性质的逻辑学科，它研究诸如逻辑系统的一致性、可满足性、完全性等等。不言而喻，元逻辑之外的纯逻辑部分，统称为理论逻辑。以这种分法为基础，如果说纯逻辑是狭义的逻辑的话，则应用逻辑就是广义的逻辑。
(3)从逻辑学对表达式意义的不同研究层次，可以把逻辑分成外延逻辑、内涵逻辑与语言逻辑。传统逻辑与经典逻辑对语言表达式（词或句子）意义的研究基本上停留在表达式的外延上，认为表达式的外延就是其意义（如认为词的意义就是其所指，句子的意义就是其真值），因此，它们是外延逻辑。对表达式意义的研究不只是停留在其外延上，认为不仅要研究表达式的外延，也要研究表达式的内涵，这样的逻辑就是内涵逻辑。可以看出，外延逻辑与内涵逻辑对表达式意义的研究都只是停留在语形或语义层面，而实际上，表达式总是在具体的语言环境下使用的，因此，逻辑对语言表达式意义的研究还可以也应该深入到语言表达式的具体的使用中去，对其进行语用研究，这一考虑，就促成了所谓的自然语言逻辑或语言逻辑的研究。所谓自然语言逻辑，按我的理解，就是通过对自然语言的语形、语义与语用分析来研究自然语言中的推理的科学。因此，如果说狭义的逻辑是一种语形或语义逻辑、它们只研究语形或语义推理的话，则广义的逻辑则是一种语用逻辑，它还要研究语用推理。
二、现代逻辑背景下的逻辑一元论、多元论与工具论
从上面的论述可以看出，在当代，现代逻辑的发展呈现出多层次、全方位发展的态势，逻辑学正在从单一学科逐步形成为由既相对独立又有内在联系的诸多学科组成的科学体系的逻辑科学。现代逻辑发展的这一趋势，就使得一方面大量的、各种各样的现代逻辑分支、各种各样的逻辑系统不断涌现，比如，既有作为经典逻辑的命题演算与谓词演算，也有作为对经典逻辑的扩展或背离的非经典逻辑。另一方面，不同于传统逻辑或经典逻辑所具有的直观性，非经典逻辑系统越来越远离直观甚至在某些意义上与直观相背。在这种背景下，逻辑学家就必然面临如下需要回答的问题：
(1)逻辑系统有无正确与不正确之分？说一个逻辑系统是正确的或不正确的是什么意思？
(2)是否一定要期望一个逻辑系统成为总体应用的即可以应用于代表任何主题的推理的？或者说，逻辑可以是局部地正确，即在一个特定的讨论区域内正确的吗？
(3)经典逻辑与非经典逻辑特别是其中的异常逻辑之间的关系如何？它们是否是相互对立的？
对上述问题的不同回答，就区分出了关于逻辑的一元论、多元论与工具主义。
不管是一元论还是多元论，都认为逻辑系统有正确与不正确之分，逻辑系统的正确与否依赖于“相对于系统本身的有效性或逻辑真理”与“系统外的有效性或逻辑真理”是否一致。如果某一逻辑系统中的有效的形式论证与那些在系统外的意义上有效的非形式论证相一致，并且那些在某一系统中逻辑地真的合式公式与那些在系统外的意义上也逻辑地真的陈述相一致，则该逻辑系统就是正确的，反之则为不正确的。以这一认识为基础，一元论认为只有一个唯一地在此意义下正确的逻辑系统，而多元论则认为存在多个如此的逻辑系统。
工具主义则认为，谈论一个逻辑系统是否正确或不正确是没有意义的，不存在所谓正确或不正确的逻辑系统，“正确的”这个词是不合适的。就工具主义来说，他们只允许这样一个“内部”问题：一个逻辑系统是否是“完善的”(Sound)？即是说，逻辑系统的定理或语法地有效的论证是否全部地并且唯一地是在该系统内逻辑地真或有效的？（注：S.Haack:philosophyoflogics,CambridgeUniversitypress,1978,p.4,221-231.）
多元论又可以分为总体多元论与局部多元论。局部多元论认为，不同的逻辑系统是由于应用于讨论的不同领域而形成的，因此，局部多元论把系统外的有效性和逻辑真理从而也把逻辑系统的正确性看作是讨论的一个特定领域，认为一个论证并不是无条件地有效的，而是在讨论中有效的，所以，逻辑可以是局部地正确的，即在某一特定的讨论区域内正确的。而总体多元论则持有与一元论相同的假定：逻辑原理可以应用于任何主题，因此，一个逻辑系统应该是总体应用的即可以应用于代表任何主题的推理的。
就经典逻辑与非经典逻辑特别是异常逻辑之间的关系而言，一元论者强迫人们在经典系统与异常系统中二者择一，而多元论者则认为经典逻辑与扩展的逻辑都是正确的。因此，一元论者断言经典逻辑与异常逻辑在是否正确地代表了系统外的有效论证或逻辑真理的形式上是相互对立的，而多元论者则认为经典逻辑与异常逻辑两者在某一或其他途径下的对立只是表面的。
就逻辑科学发展的现实而言，从传统逻辑到经典逻辑再到非经典逻辑的道路，也是逻辑科学特别是逻辑系统发展由比较单一走向丰富多样的过程。以传统逻辑来说，它来自于人们的日常思维和推理的实际，可以说是对人们的日常思维特别是推理活动的概括和总结，因此，传统逻辑的内容是比较直观的，与现实也是比较吻合的。而经典逻辑是传统逻辑的现展阶段，是以形式化的方法对传统逻辑理论特别是推理理论的新的研究，因此，与传统逻辑一样，经典逻辑的内容仍是具有直观基础的——经典逻辑的公理与定理大都可以在日常思维中找到相对应的思维与推理的实例予以佐证，人们对它们的理解与解释也不会感到与日常思维特别是推理的实际过于异常。所以，在传统逻辑与经典逻辑的层面，用“系统内的有效性”与“系统外的有效性”的一致来说明一个逻辑系统的正确性是合适的，这种说明的实质就是要求逻辑系统这种“主观”的产物与思维的客观实际相一致。
相对而言，在经典逻辑基础上发展起来的各种非经典逻辑，它的直观性、与人们日常思维特别是推理的吻合性就大大不如经典逻辑，甚至与经典逻辑背道而驰。以模态命题系统为例（应该说，相对而言，模态命题逻辑在非经典逻辑中是较为直观的），如果说系统t满足对模态逻辑系统的直观要求，它所断定的是没有争论的一些结论的话，则系统S4、S5就难以说具有直观性以及与人们日常思维特别是推理的吻合性了：在系统S4和S5中都出现了模态算子的重叠，因而象pp、pp这样的公式大量出现，而这些公式几乎没有什么直观性。至于非经典逻辑中的直觉主义逻辑、多值逻辑，它们离人们的日常思维特别是推理的实际更远，更显得“反常”。同时，同一个领域比如模态逻辑或时态逻辑，由于方法和着眼点不同，可以构造出各种不同的系统。在这种情况下，一些学者作出逻辑系统无正确性可言、逻辑系统纯粹只是人们思考的工具的工具主义结论也就不足为怪了。应该说，工具主义的观点是有一定的可取之处的：它看到了逻辑系统特别是各种非经典逻辑系统远离日常思维与推理和作为“纯思维产物”的高度抽象性，看到了逻辑学家在建构各种逻辑系统时的高度的创造性或“主观能动性”。但是，另一方面，从本质来看，工具主义的这种观点是不正确的，也是不可取的。它完全抹杀了逻辑系统建构的客观基础，否定了逻辑系统最终是人们特别是逻辑学家的主观对思维实际、推理实际的反映。这种观点最终的结果就是导致逻辑无用论，最终取消逻辑。这显然是不符合逻辑科学发展的实际和逻辑科学的学科性质的。
而一元论对逻辑系统的“正确性”的理解过于狭窄，也过于严厉，这种观点难以解释在今天各种不同的逻辑系统之间相互并存、互为补充的现实。从本质上讲，尽管任何逻辑系统都是逻辑学家构造出来的，但是，它们是有客观基础的——它总是在一定程度上反映了人类思维特别是推理实际的某一方面或某一领域（否则，它就是没有实际意义的，最终难以存在下去），所以，逻辑系统是有“正确”与“不正确”之分的——正确地反映了人类思维特别是推理实际的逻辑系统就是正确的，反之则是不正确的。应该说，这一点是一元论与多元论都可以同意的，但是，在承认这一说法的同时，还应该看到，“正确地反映人类思维特别是推理的实际”是可以有不同的程度、不同的层次的：逻辑系统对人类思维特别是推理实际的反映可以是比较普遍、一般的（比如传统逻辑与经典逻辑），也可以是比较特殊、具体的（比如某些非经典逻辑系统，它所反映的就是相对于某一特定主题或领域的特定的思维与推理）；逻辑系统对人类思维特别是推理实际的反映可以是比较直观、与日常较为吻合的，也可以是相对来说较为抽象、远离现实的。从这个意义上来讲，逻辑系统的“正确性”是多样的，不可绝对化和唯一化。所以，我认为，一元论坚持“只有一个正确的、唯一的逻辑”是不妥的，相反，多元论的观点则是可以接受的。
如果按哈克的分析把非经典逻辑分成“扩展的逻辑”与“异常的逻辑”的话，那么，很显然，扩展的逻辑是以经典逻辑为基础，将经典逻辑理论应用于某一领域或学科而形成的对经典逻辑的扩充，它们之间并不存在互斥、对立的情况，它们都可以是“正确的”。至于“异常的逻辑”，它的某些性质与特征确实可能与经典逻辑不同甚至相矛盾（例如在直觉主义逻辑、多值逻辑中排中律的失效等等），因此，它们有“对立”的地方，但就经典逻辑与某一异常逻辑分支相比而言，它们的对立或不一致只是在某些方面，而从整个系统的性质来看，它们的互通之处更多，因此，经典逻辑与某一异常逻辑分支之间的所谓“对立”之处，恰恰是该异常逻辑分支的独特之处，也是它对某一问题的不同于经典逻辑的处理和解决之处，所以，从这个意义上讲，它对经典逻辑的意义不在于“否定”了经典逻辑的某些定理或规则，而在于对经典逻辑忽略了的或无法处理的地方进行了自己的独特的处理。所以，经典逻辑与异常逻辑之间的“对立”是表面上的，其实质是它们之间的互补。
【参考文献】
[1]陈波.逻辑哲学导论[m].北京：中国人民大学出版社，2000.
[2]冯棉，等.哲学逻辑与逻辑哲学[m].上海：华东师范大学出版社，1991.
[3]桂起权.当代数学哲学与逻辑哲学入门[m].上海：华东师范大学出版社，1991.
[4]杨百顺.西方逻辑史[m].成都：四川人民出版社，1984.
[5]江天骥，等.西方逻辑史研究[m].北京：人民出版社，1984.
形式逻辑的推理方法篇5
一、逻辑哲学不是逻辑学
大多数学者认为，逻辑哲学从学科性质来分是逻辑学与哲学的交叉学科，是两者相互渗透的产物，是哲学的新分支之一，因此，逻辑哲学不是逻辑学，而是哲学。一般认为逻辑学是研究纯粹理念的科学，所谓纯粹理念就是思维的最抽象的要素所形成的理念。逻辑学的研究对象是真理，是认知思维，是人的思想。根据英国著名哲学家哈克的理解，从研究的范围来看，逻辑是关于形式逻辑系统的形式特性的学科。它通常包括形式逻辑系统的一致性、完全性或可判定性的证明或证伪）。逻辑哲学也同形式逻辑系统的问题有关，然而是同哲学问题有关，而不是同纯形式问题有关。逻辑哲学并非完全从事于形式逻辑的问题；非形式推论，形式系统与非形式推论二者间的关系也包括在逻辑哲学所研究的范围之内。形式系统的发展确实极大地增加了逻辑研究的深度与精确度；但是，非形式推论的研究对形式系统的发展往往是不可缺少的前提，同时，系统化的非形式推论的成就也是检验形式系统有用性的试金石。
从逻辑学发展的历史和现实来看，学者们对逻辑的涵义仍有不同的理解。首先，逻辑指经典逻辑，即二值的命题演算与谓项演算，在某种意义上也可以叫数理逻辑，这是最“标准”、最“正统”的逻辑，也是最狭义的逻辑。其次，逻辑还包括现代非经典逻辑，也就是所谓的哲学逻辑，即哈克所讲的扩的逻辑与异常的逻辑。再次，逻辑还包括传统演绎逻辑，它是以亚里士多德逻辑为基础的关于非模态的直言命题及其演绎推理的直观理论，其主要内容一般包括概念、命题、推理、证明，特别是三段论等。尽管关于逻辑的涵义和研究对表述不一，存在争议，但基本上可以从广义的和狭义的两类概念去理解。广义的逻辑是指研究思维形式、逻辑基本规律及简单的逻辑方法的科学。而狭义的逻辑是指研究推理有效性的科学，即如何将有效的推理形式从无效的推理形式中区分开来的科学，其中心问题是区别有效论证和无效论证，“逻辑的形式系统则为论证的有效性提供严格的工具和纯形式的标准”。狭义逻辑的形式系统力图把“非形式论证”形式化，力图用精确、严格和概括的名称来表述它们。“逻辑学家总在逻辑论著中直接提出他的公理系统，而决不告诉你他是怎么得出这套公理系统的。然而，逻辑哲学则要研究形式体系如何创立的问题，创建、调整过程的一般特征，直觉在这一过程中的定向、引导作用等。”
二、逻辑哲学不是哲学逻辑
从概念产生时间看，哲学逻辑要远远早于逻辑哲学，而且两者在研究的内容上多有重叠之处。因此，经常有人将两者等同，认为哲学逻辑就是逻辑哲学。但从目前国内外学者的研究情况来看，大多数学者认为应当将逻辑哲学和哲学逻辑区分开来，逻辑哲学并不是哲学逻辑。二者不能同等对。哲学逻辑主要是由逻辑学发展中相关的哲学探讨而引起的现代逻辑的一些分支，这方面的研究实质上预示着一个新的逻辑学科群体的产生，其特征是以某些传统的哲学理论、概念、范畴和方法为对象所进行的现代逻辑的研究，它是关于某些传统哲学范畴的形式理论，因而，它本质上属于逻辑学。最早明确使用“哲学逻辑”一词的是罗素，他在《我们关于外在世界的知识》一书中指出：“数理逻辑，除了它的初创形式之外，就连最现代的形式也不直接具有哲学上的重要意义。
在初创以后，它就属于数学而不属于哲学了。我将要扼要论述的，是数理逻辑的初创形式，只有这个部分才真正称得上哲学逻辑。往后的发展，尽管没有直接的哲学意义，但是对哲学研究有很大的间接用处。”但罗素并没有给哲逻辑学以明确的定义，逻辑哲学和哲学逻辑的关系如何，一直是学者所争论的问题，部分学者认为逻辑哲学就是哲学逻辑，英国牛津大学讲师a.C.格雷林（Grayling）在其出版的《哲学逻辑导论》一书中指出，哲学逻辑的研究是围绕语言问题展开的，它的基本概念为命题、分析性、必然性、存在性、真理性、意义和指称等，而其目的则在于通过语言的分析更好地理解思维和世界。虽然逻辑哲学有时候在一定的场合也被理解或者说涉及到哲学逻辑，但是它实际上是指与解决哲学范畴和方法相关的现代逻辑的一个学科群，大概可以包括：模态逻辑、时态逻辑、道义逻辑、多值逻辑、概率逻辑、自由逻辑、相干逻辑、直觉主义逻辑、存在逻辑、问句逻辑、问题逻辑、对话逻辑、认识论逻辑、命令逻辑、优先逻辑、行动逻辑、部分与整体逻辑、本体论逻辑、信息与信息过程逻辑、量子逻辑、归纳逻辑等。
北京大学哲学系陈波教授在其相关论著中，也明确主张严格区分哲学逻辑与逻辑哲学。他认为哲学逻辑是20世纪20-40年代开始兴起，50-70年代蓬勃发展的一个新兴逻辑学科群体。它们以数理逻辑为直接基础，以传统的哲学概念、范畴以及逻辑在各门具体学科中的应用为研究对象，构造出各种具有直接哲学意义的逻辑系统。逻辑哲学则是哲学。然而，哲学逻辑作为逻辑的形式系统，本身也提出了许多哲学问题，成为逻辑哲学的研究对象，因而，哲学逻辑与逻辑哲学又有着密切的联系。
形式逻辑的推理方法篇6
哲学逻辑这一术语最初是由罗素引入的，透过这个术语罗素意在传递人工语言对于自然语言和思想的研究是充分的这样一种想法。本质上这是一种对语言加以形式化处理的哲学纲领[1]。在当代，大多数哲学家认为哲学逻辑是更具体的逻辑的哲学问题的研究。例如关于论证、意义和真理的研究；关于同一性、存在和断定、必然性的研究[2]。逻辑哲学家伍德（Johnwoods）认为逻辑哲学研究自然语言中的真理、意义和指称等问题。他认为弗雷格的《概念文字》是典型的逻辑研究,而他的《涵义和指称》则属于典型的哲学逻辑研究[3]。哲学逻辑的另一种涵义是它主要涉及经典逻辑的扩展和替代系统，即所谓的非经典逻辑。在这种意义上哲学逻辑是一个技术性科目。如J.伯吉斯（J.Burgess）的教科书《哲学逻辑》，布莱克威尔的《哲学逻辑指南》和多卷本的《逻辑哲学手册》就是在术语的这种意义上使用的。在这种情况下，经典逻辑作为一个核心部分包括在非经典逻辑之中。按照伯吉斯的说法，这种逻辑对理论计算机科学具有极大的重要性，因为许多非经典逻辑在该领域中发现了它的应用。斯普林格出版的《哲学逻辑杂志》主要涉及的就是哲学逻辑的这种涵义。但是在这里我们最好不要一般地假定“哲学逻辑”必然地比“数理逻辑”一定有着更强的哲学关联。尽管在现代的早期阶段逻辑被作为哲学的一个分支看待，但今天的情况已经完全不同了，只有少数专业逻辑学家仍然在哲学系编制之内，不仅大多数“数理逻辑”专业工作者，而且大多数的“哲学逻辑”专业工作者的编制是在数学系或者计算机科学系。大多数非经典逻辑最初是由哲学家引入的，而且是基于一种哲学的动机，但是随着研究的发展它们很快就被纳入逻辑的“数学”研究范围之内。尽管我们对逻辑哲学的涵义做了仔细的分析，但逻辑哲学和哲学逻辑这对范畴之间的关系并没有一种普遍接受的表述方式，有些作者宁可将二者混为一体，把两个短语或多或少视为同义词来看。例如，哈克（SusanHaack）认为逻辑哲学和哲学逻辑之间没有实质性的区别[4]。杰奎特（DaleJacquette）也承认二者之间并没有显著的区别，不管是把它们作为两个不同的概念看待，还是不加区别地使用都没有特别充分的理由。如果一定要在二者之间做出一种划分的话，杰奎特的观点是哲学逻辑涉及到任何一种公认的逻辑方法对哲学问题或者以推进哲学讨论为目的的应用，反之逻辑哲学是对出现于和任何公认的逻辑分支的研究有关的哲学问题的思考[5]。格雷林（Grayling,a.C.）认为，当人们在从事哲学的逻辑研究时他是在做关于逻辑的哲学化的工作，而当人们在从事逻辑哲学研究时他是在做哲学工作[6]。作者认为，在二者的划界问题上应当将方法论的特征作为一个主要的因素来看待。凡是对论题的处理使用或者采取了逻辑的方法，那么它所处理的问题应当归属于哲学逻辑的范围，而凡是对论题的处理采用了哲学化的方法，那么它所处理的问题就应当归属于逻辑哲学。这一基于方法论划分的优点是有一个同一的标准。例如，按照这一标准，罗素的摹状词理论研究以及他的逻辑主义的数学哲学研究就是典型的哲学逻辑的研究，而他的关于（自然语言表层结构）误导形式的论题研究则属于逻辑哲学的研究。基于这一方法的划分当然有某些相互重叠交叉的论题，但这并不影响人们从不同的角度对它们做出不同的划分。例如，尽管罗素的摹状词理论是哲学逻辑的研究，但后来引发的施特劳斯和唐纳兰的更富语用学色彩的批评则属于哲学逻辑的范畴。按照本文提出的划分标准，大多逻辑哲学的论题事实上属于哲学逻辑的论题。作者认为真正属于纯粹的无争议的逻辑哲学的论题包括：真值的负荷者是句子类型，或者句子标记，还是命题？如果是命题，这些命题是无结构的还是有结构的？如果是有结构的，是粗糙结构的或罗素式的，还是细腻结构的或弗雷格式的？逻辑形式是与语言的语法形式相一致的，还是与语言的“表层形式”相对应的“深层形式”相一致。逻辑形式是心理实在的，或者是被表达在推理者意识中的或者大脑中的？抑或它们仅仅是在评价推理的过程中被分析者所强加的。逻辑真理或者逻辑知识是存在于逻辑小品词的意义中还是在其他地方？意义是由真值条件所构造还是体现于使用的规则中？等等问题。逻辑哲学和语言哲学是一种什么关系？逻辑和语言哲学被认为是20世纪哲学家们在哲学上做出最无可置疑的进步的少数领域中的两个。其中语言哲学的进步主要获益于逻辑的极大发展。例如，起源于中世纪哲学的从言模态（dedicto）和从物模态（dere）之间的区别直到当代模态逻辑诞生并为其提供了精确的语义刻画之后，这个问题才获得了一种较好的解决（尽管在认知语境的条件下，它们之间的区别仍有待于进一步澄清）。其他那些可以按照这种方式加以分类的论题包括存在、同一性、陈述条件句、本质主义、模态算子、量词和模糊性等。在逻辑和语言哲学中的进步已经正面地影响到相邻的哲学学科，如形而上学和元伦理学。基于上述理由，一些哲学家认为语言哲学是当代“第一哲学”，就像当年笛卡尔将“认识论”称为第一哲学那样。但事实上,语言哲学已经取得的巨大进步并不意味着它为我们提供了一种“第一哲学”。人们认识到一个学科比其他的学科进步得更快并不意味着这个学科掌握着所有其他学科进步的关键。二十世纪是语言哲学的世纪不是因为所有甚至大多数哲学问题已经通过诉诸于语言而使问题得到解决，而是由于哲学的那些涉及意义和内容的问题由此变得更加的复杂。如果说逻辑对语言哲学有一种方法论的在先性的话，逻辑哲学与语言哲学则是一种相互交叉，相互依存的互动关系。由于逻辑涉及推理，而推理如果不是全部也是绝大部分与语言有关的，因此逻辑哲学也必然涉及语言、语言哲学问题。一方面逻辑哲学家总能在自然语言那里找到新问题和新思路的灵感，语言哲学探讨的问题激发了逻辑哲学的思考和发展；另一方面逻辑哲学仍慷慨地向语言哲学提供自己的研究成果。二者也有一些研究主题是交叉的，如预设、隐含、模态性、条件句和内涵性。但二者仍有它们特有的可辨识的主题，语言哲学的核心论题是语言的意义，而按照斯特劳斯的表述，逻辑哲学的核心论题是“关于命题的观念，即关于什么是真什么是假的观念，和关于可能性的观念。”[7]（p211）
二、怎样理解逻辑的扩展？逻辑依然被定格为传统的推理理论吗？
许多哲学家和逻辑学家发现给出一个适合于当代逻辑现状的定义并不容易，一个很重要的原因在于当代逻辑具有很强的多元性和异质性。的确，在罗素谈及逻辑是哲学的本质时，他所指的“逻辑”还是一种单一的逻辑。而当代哲学家在谈论逻辑时一般指的是能够系统地表述语言的形式推理结构的特定方面的逻辑，特别指的是经典逻辑之后的各种替代逻辑系统，或者超经典逻辑（extraclassicallogic），如广义模态逻辑和各种反经典逻辑（anticlassicallog-ic），如自由逻辑、相干逻辑、多值逻辑、非单调性逻辑、概率逻辑、条件句逻辑、内涵逻辑、模糊逻辑、省缺信息逻辑、偏好逻辑、描述逻辑等。怎样理解逻辑的扩展和增生？其实这个问题除了有学科自身内部发展的原因之外，还可以从逻辑与科学关系的角度加以分析。从科学与逻辑的关系看，科学中的证据和假设之间的关系是科学进步的基础，这种关系涉及逻辑前提和结论之间联系，而这正是逻辑的核心概念。在这种核心意义上，逻辑是正确推理的研究。它是证据和假设、理由和信念或者前提和结论的形式结构和非形式关系的研究。是一种推定式（单调）和非推定式（非单调或扩展）的推理研究，或者人们通常也称之为蕴涵和归纳。特别是，逻辑涉及被详加设计，以展示这种蕴涵和归纳的形式系统。更一般地说，它是一种证据、证明、蕴涵、支持、证实、确证或者证伪一结论的条件的研究。有这样一个与科学相联系的背景，我们也就不难理解20世纪的逻辑不仅包括形式蕴涵理论，而且包括非形式逻辑、概率理论，确证理论、决策论、博弈论、可计算性和认知模型。在过去的一个世纪里，逻辑的研究不仅从诸如哲学和数学这些传统学科，而且也从诸如计算机和经济学众多其他学科受益匪浅。反过来，逻辑开辟了关于数学推理研究的新的可能性，因而促进了诸如集合论和范畴理论等与数学基础研究相关的新的逻辑研究分支的发展。同样，20世纪许多哲学分支如形而上学、认识论、数学哲学、科学哲学、语言哲学和形式语义学的发展与逻辑学的发展相向而行，相互渗透，相互影响。这些进步已经导致逻辑范围进一步地拓宽，对逻辑的应用和范围的更深入的理解。与逻辑系统的扩张相适应，逻辑的论题也由传统的推理理论、悖论、谬误和定义的研究扩展到广义模态家族概念分析、概率、概率自然语言模型、精确概率推理、博弈分析、语义解释、意向性结构、动态性、不确定推理、因果性论证、信息更新、信念修正、逻辑编程、因特网智能体、学习推理、甚至交往互动、认知表征、语言翻译等方面的研究。可以说逻辑的触角已经渗透到人类理性过程的各个方面，逻辑也由哲学和数学扩展到诸如语言学、计算机科学、人工智能、认知科学甚至经济学等领域。新旧论题在这种新配置之下重新组合（如真性模态逻辑和时态逻辑、认知逻辑和道义逻辑的组合，相干逻辑和直觉主义逻辑的组合）产生出各种组合逻辑。在这种背景下逻辑事实上已经从关于正确推理这一单一主题的研究扩展到包括推理、（语言）分析和计算这三大主题。分析传统上就属于逻辑的范畴。逻辑必然要涉及语言分析，尤其是语言中的语义分析。语义分析既是逻辑应用的必要条件也是逻辑研究的内容之一。现代逻辑赋予分析以更为重要的地位，并且日渐成为逻辑学家实践活动的主要部分。例如，哲学逻辑中的各个分支的主要问题来源是语言的分析。特别是像蒙太格形式语义学或者内涵逻辑，以及各种基于语言的逻辑分析的广义语言逻辑的整个发展，只有在语言分析的背景下才能得到清楚而准确的理解。在这些分支中语义分析往往处在问题的核心的位置。更进一步地说，逻辑与演绎、分析、演算和计算乃至自动化（automation）的概念有密切的联系。亚里士多德是第一个将推理作为演算来处理的并取得成功的逻辑学家。在当代继演算的代数处理和符号算法的发展之后，演算已经变成了一种普遍的工具，以至于人们期待最终的自动逻辑推理将像演算一样被广泛的应用。这就把我们带入到逻辑、计算机科学、人工智能和认知科学相互交汇的广阔领域。当代逻辑的主要灵感也来自于这些领域。最后，这也是莱布尼茨普遍演算逻辑理想的一种现代扩展。
三、逻辑语言、心智和形而上学的在先性问题
逻辑哲学的一个重要问题是逻辑成分与世界成分的联系。逻辑作为一种形式符号的语言，通过一种语义解释可以表达思想，进而可以谈论这个世界，表达世界的结构。这样，逻辑语言、思想和世界构成了一个三角形，在逻辑哲学、心智哲学和形而上学中我们围绕着这个三角形运动。例如，现实世界的某些区别———如物体和性质或一般与特殊之间的区别在逻辑系统中根据谓词和个体词，以及高阶谓词和低阶谓词的差别，或语义解释（思想领域）的差别而有所区别。但这种差别之所以能够做出，需要某些关于我们对逻辑语言和思想方面的差别有一种形而上学的假设。这就有一个逻辑（或逻辑哲学）和形而上学何者相对优先的问题。在逻辑哲学和心智哲学之间也存在何者优先的问题。例如，对逻辑语言的意义的解释的任何方法，总会涉及语言和思想的优先顺序的问题。首先，我们应搞清楚这里的优先是个什么概念。
四、逻辑哲学是如何产生的？
形式逻辑的推理方法篇7
（一）前提或者命题真。这种真是指命题的思想内容是真的。任何一个命题的内容不是真的就是假的，在这里真或假不是用以描述事物状态的，而是评价命题或陈述的内容的。它的核心是针对其所表达的知识或信念的，例如：“台湾不是一个国家。”这个命题的内容是符合客观事实的，所以是个真命题。
（二）推理真。这是指推理中前提真和结论真之间的关系。演绎推理前提真结论必然真，归纳推理和类比推理前提真而结论是或然性真。因此推理真就是推理中的结论相对于前提是必然的真或者是或然的真。这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价。
（三）指派真和赋值真。在逻辑学中（特别是在现代逻辑中）把命题形式当作真值形式，而且只从真假的角度研究每一种命题形式的逻辑特征，真和假是命题的唯一属性。逻辑真在这里指这些真值形式和其中的变项与公式的真假，这时的真假和具体命题内容的真假无关，而只是一种假定的真假和根据这种假定而推论出的真假。
（四）形式真。这是指永真式（重言式）或普遍有效式的真。逻辑学中有一类公式，对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这类公式的真是一种逻辑关系的真，例如：p或者非p中不管变项p赋真值或是假值，这个公式都是真的。
（五）系统真。现代逻辑建立了形式系统，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整个系统便是可靠的和一致的，这种可靠性和一致性就是一种系统的真。
在以上这五种“真”的情况下，逻辑学不考虑第一种意义的“真”，而只关注后四种“真”。后四种“真”在逻辑学中有各种表现，在其他科学中也有这些意义上的真的表现，就被称为逻辑真理。
所谓逻辑真理是一种特殊的真理，是一种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真，它需要我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们日常生活中所说的真理是有区别的。
恩格斯认为：全部哲学特别是近代哲学的重大基本问题，是思维与存在的关系问题。它包括两个方面的问题，一方面是思维与存在何者为本原的问题；另一方面是思维和存在有无同一性的问题，也就是我们的思维能否认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度来看，其重大的基本问题就是逻辑与客观现实的关系问题，任何逻辑学家都要回答：逻辑真理是否与客观现实一致？逻辑真理与事实真理之间又有什么关系？
关于这个理论问题，亚里士多德在其所着《形而上学》一书中明确提出并详细论述了逻辑基本规律（矛盾律与排中律）。在谈到矛盾律时认为，事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律，是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性，其根据就是真理符合现实的理论，即所谓真理符合论。它在解释真与假这对概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。按照真理符合论，一切真理必需与现实一致，逻辑真理也不能例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。
莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。
基于莱布尼兹的推理真理和事实真理的对立，在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于一切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康德看来表示逻辑规律的判断就属于分析判断。
数理逻辑问世之后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，由此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来，凡是先天的都是分析的；反之，凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为，哲学家们常常区分两类真理，某些陈述的真理是逻辑的、必然的、根据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。
1933年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。
综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。
马克思主义认识论认为，真理是客观事物及其规律在人们思维中的正确反映。同样逻辑真理也是客观世界规律性的反映。列宁指出，人的实践经过千百万次的重复，它在人的意识中以逻辑的格固定下来，而最普遍的逻辑格，就是事物被描述的很幼稚的……最普遍的关系。列宁认为逻辑的公理、正确的推理形式是事物最普遍的关系，是由人们实践中千百万次的重复而反映和巩固在意识中。列宁说的最普遍的逻辑格是指三段论推理的正确形式。在这一点上我们说逻辑真和事实真是相容的，事实真是基础，逻辑真是建立在事实真基础之上的，二者是一致的，但是逻辑真理与任何具体的经验事实无关。
第一，逻辑系统的公理和定理的真是逻辑系统设定，其为真的根据是某种初始的逻辑关系。第二，逻辑公理和定理经过解释的真命题，其为真不取决于解释中的内容，而取决于这些公理、定理所显示的逻辑关系。第三，逻辑推断关系这种推论的结论真是一种逻辑关系真。第四，根据逻辑联系词的性质，由逻辑真得到逻辑真。如：a、B是逻辑真命题，那么a并且B、如果a那么B都是逻辑真命题。第五，数学中的逻辑真命题，是建立在公理演绎基础之上。以上这些逻辑真由于逻辑的原因或者逻辑关系而真，在这一点上我们可以说，在局部意义上，相对于特定的逻辑系统而言，逻辑真理可以说是分析的，是以逻辑意义为根据的，而与任何具体的经验事实无关。
莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。
基于莱布尼兹的推理真理和事实真理的对立，在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于一切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康德看来表示逻辑规律的判断就属于分析判断。
数理逻辑问世之后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，由此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来，凡是先天的都是分析的；反之，凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为，哲学家们常常区分两类真理，某些陈述的真理是逻辑的、必然的、根据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。
1933年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。
综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。
形式逻辑的推理方法篇8
关键词：逻辑教学新问题对策
新编教材的明显特点是：采用现代逻辑的体系、理念，现代逻辑的内容占了很大分量，传统逻辑的内容在新教材中只保留了其精华部分。现代逻辑形式化的特点与高校文科学生特别是法律专业学生所学专业和实践的特殊性形成了一些矛盾，因此在教学中师生不可避免地遇到一些新问题。本文就这些问题的成因及对策结合本人的教学实际谈谈个人的看法，不妥之处，请同仁们指正。
一、关于逻辑学的价值和作用
高校逻辑教学使用新编教材，讲授现代逻辑的内容后，在学生中普遍产生了认识误区：逻辑已经远离人们的日常思维，似乎只能成为学术研究的专区。学习逻辑课对他们的作用不是很大，甚至认为学习逻辑没有用途。
为什么会产生以上的误区呢？原因是多方面的。从逻辑学科本身来看，逻辑学已经成为一门成熟的理论学科，它有自己专门的学科术语和严格的理论体系，有高度概括性和抽象性的特点，更为重要的是现代逻辑是对语言精致的抽象，由具体的语言到一般抽象的公式再到精致的符号体系，思维的工具已几乎完全符号化，思维的模式已经近乎数学化，逻辑已经变成了一种纯符号的推演，且技术性程度越来越高，文科学生很难接受。从现实角度来看，一是现实中确实存在着不学逻辑学照样思维比较好的现象；二是法律专业学生实践活动具有特殊性，那就是它以自然语言为工具，处理的对象是概念、判断、推理、论证等问题。从学生本身来看，学生逻辑基础相对比较薄弱，学起来也比较吃力。还有就是许多学生受逻辑主要是提高思维功能这种教导作用的实用观的影响，想通过逻辑学习达到“立竿见影”的效果。
面对如此情况，教师在教学伊始，就要帮助学生澄清认识上的误区，为后面的教学扫除障碍。笔者认为，教师应该做好如下的工作：
一是必须向学生解释清楚，任何科学理论都来源于实践，并且时刻接受着实践的检验，逻辑也不能例外，即使现代逻辑也没有远离人的实践活动，它仍是对人类特有的现象—思维及其语言的高度概括，“逻辑形式化的目的在于对人类实践推理进行提炼、概括和重构，在形式系统中再现它的本质方面。”逻辑学的理论还必须回到实践中去指导人们的思维活动。在解决这一问题时，除“解释”、“举例”这些常用手法外，还要讲解逻辑史，尤其是要介绍逻辑学的起源及两个发展形式之间的紧密联系。
二是要对逻辑学的作用及其特点作以说明。逻辑学除了有提高思维功能素质这种教导作用外，它还有提高人们文化素质、理论素质、方法技能素质等方面的作用，前者主要是通过传统逻辑的学习使人们在思维活动中正确使用概念、做出判断、进行推理论证，以达到思维清晰、敏捷等目的，后者主要通过现代逻辑的学习使人们树立必然性、系统性、框架构造等理念，学会一些分析解决问题的先进方法的目的。而这些目的的实现，并不是一挥而就的，它是一个渐进的过程。具体来说，它是通过学习、观察、体验，然后到知识的理解、理念的形成、方法的获得，再到指导实践的渐进过程，而决不会一口就吃成胖子。
最后，关于学不学逻辑是否一样思维的问题，可以告诉学生，没有经过逻辑训练的思维是自发思维，这是一种感性思维，感性的东西必须上升到理性的层次。毛泽东曾指出：“没有理论的实践是盲目的实践，没有实践的理论是空洞的理论。”盲目的实践不可避免地会走弯路、错路。关于这一点，我们也可以举好多例子来说明。例如（1）“鱼与熊掌不可兼得”这句话的含义是什么？学生往往把“如果鱼不可得则熊掌可得”也当作正确的答案。（2）“有人向没有受过正式逻辑训练的受试者展示了196个简单的三段论：比如‘如果有H则有e，有e所以有H’，有超过三分之二的受试者认为是正确的。”为什么人们会犯如此错误呢？完全可以归结为没有受过逻辑训练，思维还停留在感性的“会意”阶段。因为例（1）如果使用逻辑的理性手段来处理，则非常容易得出正确答案。例（2）稍受逻辑训练的都知其不正确。
二、关于逻辑理论的理解和把握
逻辑学作为一门社会科学，研究的是人们现实生活中的特定现象——思维与语言问题，因此，它的内容应该具有明显的通俗性的特点。但是当逻辑学上升为一门理论学科，即把日常的语言文字上升为逻辑概念、理论，并把其转化为符号时，它就变得有点不那么“平易近人”，甚至复杂而深奥，比如有人总结逻辑学有“五多两化”：（概念多、符号多、关系多、公式多、规则多；形式化、技术化），这样，该门课程就遇到了难学与学好之间的矛盾，反映在教学中，就是逻辑教师如何把专业化很强的一些理论和术语通俗化后教给学生。
在许多逻辑学教材的绪论中，都有对逻辑研究对象的定义，而且对此逻辑学界已形成共识，即“逻辑学是研究思维形式结构及其规律及简单的逻辑方法的科学”。由于这一定义的理解对学生逻辑课的学习却有着不可小视的意义，因此教师一般都会就此概念举例详细讲解。但是，由于这一概念涉及到思维、思维形式、思维形式结构等数个专业性极强的概念且又似乎远离日常实际，因而学生通过学习未必就能理解透彻并非常清晰地把握此概念，也就未必能确切地知道逻辑学究竟要研究什么，或者说在学生学完这一定义后未必能够形成对逻辑学研究对象的大致轮廓。但是，如果在讲解这一概念时老师能够把其通俗化，则效果可能要好得多。比如说，教师完全可以这样总结：通常我们都要说话，有些人还写文章，而说话写文章就要使用概念、做出判断，进行推理论证，在进行这些活动时要求做到概念明确、判断准确、推理严密、论证充分，而且只有做到以上几点，人们才能有效沟通和交流，这就需要一门专门研究概念、判断等的学问，而逻辑学从通俗意义上说，就是研究概念、判断、推理、论证的学问，主要是研究推理的科学。就拿概念这部分来说，它研究什么是概念、概念有何特征、怎样下定义、定义必须遵守哪些规则等。通过这样的解释，一方面能加深对研究对象的理解，对逻辑学的内容有一个初步的轮廓；另一方面还能引导学生怎样去学习逻辑，以达到增强教学效果的目的。
现代逻辑中产生了许多新的概念和原理，如形式化、真值、逻辑真、语义、框架、系统等等，其中有相当一部分是比较难把握但又必须理解透彻的，教师只有运用通俗易懂的语言，深入浅出地讲解，才能使学生消化理解。当然，逻辑学原理和术语是十分专业化且十分严谨的，有时使其通俗化并不见得十分贴切，但是只要我们在教学过程中以学生为主体，将教学内容与学生的实际情况和日常思维紧密结合起来，积极探索，还是能够找到不少有助于学生理解和把握一些比较难懂的逻辑概念和原理的方法。
三、关于逻辑学技术化与逻辑理念
“现代形式逻辑空前关心如何构建形式系统、如何按照特定的规则来进行符号操作，以至于它变得如此技术化。”打开目辑教科书，我们就会看到，自然语言已人工符号化，推理已变成符号推理，由此，推理论证已变成了技术性的活动，要学习逻辑，就必须熟悉符号化的规则，你必须把自然语言符号化，推演是符号的推演。于是，教学活动容易演变成了教师讲推演例题，学生做课后的推演习题，考试考推演题的模式，实际上，每个逻辑教师都知道，逻辑技术化有着自身的实质和理念，对学习逻辑的学生来说，学会操作是必要的，但更为重要的是要把握技术化的实质，树立逻辑理念，从另一个角度来说，适当的推演练习是十分必要的，但如果模式化，则使学生极易产生疲乏和无聊之感而丧失对逻辑学的学习兴趣。换句话说，如果在这一活动中，不及时引导学生注重掌握技术活动的实质及理念，学会欣赏，那么就会失去了这一技术活动的真正价值和意义。于是在逻辑教学中就会遇到学会技术化方法与树立逻辑理念的矛盾。
那么，如何去引导学生去掌握技术活动背后的东西呢？笔者认为，教师要注意以下几个方面：一是要解释技术化的原因。现代逻辑中，只所以要把自然语言形式化，是因为自然语言有歧义，而且自然语言的语法极具复杂性，甚至于比较混乱，因而，不能进行精确和严密地推导。二是要引导学生去欣赏形式（化）推演的严谨、精确、直观这一鲜明的特点，通过形式（化）推演活动，我们可以看到，只要符号化正确，并且遵守规则，那么由前提推出的结论是不容置疑的、更是不可辩驳的。三是要让学生注意到，形式（化）并没有完全脱离日常语言，而是源于现实中的语言，它是对一类相同结构的自然语言的抽象化。
四、关于逻辑学知识与能力培养
逻辑学的学科特点使逻辑学的教学承担着两项任务，一是广泛传播逻辑学知识，二是通过严格的逻辑训练提高教育者的思维水平，从而进一步提高学生的思维素质与思维能力，为学生其它学科的学习和以后的实践活动打下坚实的基础。教师在教学中，必须二者兼顾，但是更为重要的是要注重能力的培养。然而，从一定程度上说，逻辑学教学传授知识容易，培养学生的能力困难。一般地，教师的讲授、学生的自学大都可以基本实现授业解惑的目的，但培养学生分析问题和解决问题及获取新知识的能力却要花费较大的功夫，于是在逻辑教学中也就遇到了传授知识与培养能力之间的矛盾，尤其是现代逻辑内容中这一矛盾更加突出。
现在高校逻辑新编教材里均有命题演算一章，在这一章里，一般是首先列出了运算的数条规则，然后讲命题演算的三个基本方法——直接明法、假证明法和反证法。教学过程中，只要告诉学生规则就是复合命题推理的有效形式，然后讲解例题，再指导学生做课后练习，通过这些教学环节，就能让绝大多数学生掌握本章的知识，到此传播逻辑知识的任务基本上就完成了。但从某种意义上说，如果教学活动到此为止，那么逻辑教学就失去了它的价值。就该章内容看，首先是培养学生的认识能力——会区分演绎与归纳、必然性与或然性推理，然后是培养应用能力，归结到一点就是独立思考能力。笔者曾在讲这些内容时结合法学专业学生的实际提问：“就某一具体案件的判决结果来说，它是必然性的还是或然性的，为什么？”这时立刻就有学生回答说是必然性的，因为事实是客观的，法律是有规定的。从学生的答案来看，显而易见学生的知识并没有转化为能力，因为要回答此问题，学生必须一步步去分析，即这一问题的回答是否要经过推理？如果要，那么它又是什么推理？如果是演绎推理，那么需要哪些前提？能否像命题演算一样一步步严密推演？结论与前提的联系程度如何？等等。
形式逻辑的推理方法篇9
论文摘要：逻辑学是研究推理的一门学问，而推理是由概念、命题组成的，不懂得命题就不懂得推理。普通逻辑学在研究命题时，主要是从二值逻辑的角度研究命题逻辑形式的逻辑值与命题形式之间的真假关系。本文着重从认识论的角度阐述逻辑真理的内涵，同时详细论述逻辑真理与事实真理的区别。为了探求真理必须保证思维的逻辑性。
逻辑学离不开“真”这个概念。一般来说人们是从下述意义上使用“真”这个概念的：
（一）前提或者命题真。这种真是指命题的思想内容是真的。任何一个命题的内容不是真的就是假的，在这里真或假不是用以描述事物状态的，而是评价命题或陈述的内容的。它的核心是针对其所表达的知识或信念的，例如：“台湾不是一个国家。”这个命题的内容是符合客观事实的，所以是个真命题。
（二）推理真。这是指推理中前提真和结论真之间的关系。演绎推理前提真结论必然真，归纳推理和类比推理前提真而结论是或然性真。因此推理真就是推理中的结论相对于前提是必然的真或者是或然的真。这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价。
（三）指派真和赋值真。在逻辑学中（特别是在现代逻辑中）把命题形式当作真值形式，而且只从真假的角度研究每一种命题形式的逻辑特征，真和假是命题的唯一属性。逻辑真在这里指这些真值形式和其中的变项与公式的真假，这时的真假和具体命题内容的真假无关，而只是一种假定的真假和根据这种假定而推论出的真假。
（四）形式真。这是指永真式（重言式）或普遍有效式的真。逻辑学中有一类公式，对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这类公式的真是一种逻辑关系的真，例如：p或者非p中不管变项p赋真值或是假值，这个公式都是真的。
（五）系统真。现代逻辑建立了形式系统，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整个系统便是可靠的和一致的，这种可靠性和一致性就是一种系统的真。
在以上这五种“真”的情况下，逻辑学不考虑第一种意义的“真”，而只关注后四种“真”。后四种“真”在逻辑学中有各种表现，在其他科学中也有这些意义上的真的表现，就被称为逻辑真理。
所谓逻辑真理是一种特殊的真理，是一种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真，它需要我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们日常生活中所说的真理是有区别的。
恩格斯认为：全部哲学特别是近代哲学的重大基本问题，是思维与存在的关系问题。它包括两个方面的问题，一方面是思维与存在何者为本原的问题；另一方面是思维和存在有无同一性的问题，也就是我们的思维能否认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度来看，其重大的基本问题就是逻辑与客观现实的关系问题，任何逻辑学家都要回答：逻辑真理是否与客观现实一致？逻辑真理与事实真理之间又有什么关系？
关于这个理论问题，亚里士多德在其所著《形而上学》一书中明确提出并详细论述了逻辑基本规律（矛盾律与排中律）。在谈到矛盾律时认为，事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律，是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性，其根据就是真理符合现实的理论，即所谓真理符合论。它在解释真与假这对概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。按照真理符合论，一切真理必需与现实一致，逻辑真理也不能例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。
莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。
基于莱布尼兹的推理真理和事实真理的对立，在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于一切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康德看来表示逻辑规律的判断就属于分析判断。
数理逻辑问世之后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，由此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来，凡是先天的都是分析的；反之，凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为，哲学家们常常区分两类真理，某些陈述的真理是逻辑的、必然的、根据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。
1933年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。
综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。
马克思主义认识论认为，真理是客观事物及其规律在人们思维中的正确反映。同样逻辑真理也是客观世界规律性的反映。列宁指出，人的实践经过千百万次的重复，它在人的意识中以逻辑的格固定下来，而最普遍的逻辑格，就是事物被描述的很幼稚的……最普遍的关系。列宁认为逻辑的公理、正确的推理形式是事物最普遍的关系，是由人们实践中千百万次的重复而反映和巩固在意识中。列宁说的最普遍的逻辑格是指三段论推理的正确形式。在这一点上我们说逻辑真和事实真是相容的，事实真是基础，逻辑真是建立在事实真基础之上的，二者是一致的，但是逻辑真理与任何具体的经验事实无关。
第一，逻辑系统的公理和定理的真是逻辑系统设定，其为真的根据是某种初始的逻辑关系。第二，逻辑公理和定理经过解释的真命题，其为真不取决于解释中的内容，而取决于这些公理、定理所显示的逻辑关系。第三，逻辑推断关系这种推论的结论真是一种逻辑关系真。第四，根据逻辑联系词的性质，由逻辑真得到逻辑真。如：a、B是逻辑真命题，那么a并且B、如果a那么B都是逻辑真命题。第五，数学中的逻辑真命题，是建立在公理演绎基础之上。以上这些逻辑真由于逻辑的原因或者逻辑关系而真，在这一点上我们可以说，在局部意义上，相对于特定的逻辑系统而言，逻辑真理可以说是分析的，是以逻辑意义为根据的，而与任何具体的经验事实无关。超级秘书网
形式逻辑的推理方法篇10
关键词：逻辑真理；真理符合论
中图分类号：B81文献标识码：a
逻辑学离不开“真”这个概念。一般来说人们是从下述意义上使用“真”这个概念的：
（一）前提或者命题真。这种真是指命题的思想内容是真的。任何一个命题的内容不是真的就是假的，在这里真或假不是用以描述事物状态的，而是评价命题或陈述的内容的。它的核心是针对其所表达的知识或信念的，例如：“台湾不是一个国家。”这个命题的内容是符合客观事实的，所以是个真命题。
（二）推理真。这是指推理中前提真和结论真之间的关系。演绎推理前提真结论必然真，归纳推理和类比推理前提真而结论是或然性真。因此推理真就是推理中的结论相对于前提是必然的真或者是或然的真。这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价。
（三）指派真和赋值真。在逻辑学中（特别是在现代逻辑中）把命题形式当作真值形式，而且只从真假的角度研究每一种命题形式的逻辑特征，真和假是命题的唯一属性。逻辑真在这里指这些真值形式和其中的变项与公式的真假，这时的真假和具体命题内容的真假无关，而只是一种假定的真假和根据这种假定而推论出的真假。
（四）形式真。这是指永真式（重言式）或普遍有效式的真。逻辑学中有一类公式，对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这类公式的真是一种逻辑关系的真，例如：p或者非p中不管变项p赋真值或是假值，这个公式都是真的。
（五）系统真。现代逻辑建立了形式系统，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整个系统便是可靠的和一致的，这种可靠性和一致性就是一种系统的真。
在以上这五种“真”的情况下，逻辑学不考虑第一种意义的“真”，而只关注后四种“真”。后四种“真”在逻辑学中有各种表现，在其他科学中也有这些意义上的真的表现，就被称为逻辑真理。
所谓逻辑真理是一种特殊的真理，是一种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真，它需要我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们日常生活中所说的真理是有区别的。
恩格斯认为：全部哲学特别是近代哲学的重大基本问题，是思维与存在的关系问题。它包括两个方面的问题，一方面是思维与存在何者为本原的问题；另一方面是思维和存在有无同一性的问题，也就是我们的思维能否认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度来看，其重大的基本问题就是逻辑与客观现实的关系问题，任何逻辑学家都要回答：逻辑真理是否与客观现实一致？逻辑真理与事实真理之间又有什么关系？
关于这个理论问题，亚里士多德在其所著《形而上学》一书中明确提出并详细论述了逻辑基本规律（矛盾律与排中律）。在谈到矛盾律时认为，事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律，是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性，其根据就是真理符合现实的理论，即所谓真理符合论。它在解释真与假这对概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。按照真理符合论，一切真理必需与现实一致，逻辑真理也不能例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。
莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。
基于莱布尼兹的推理真理和事实真理的对立，在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于一切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康德看来表示逻辑规律的判断就属于分析判断。
数理逻辑问世之后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，由此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来，凡是先天的都是分析的；反之，凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为，哲学家们常常区分两类真理，某些陈述的真理是逻辑的、必然的、根据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。
1933年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。
综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。
马克思主义认识论认为，真理是客观事物及其规律在人们思维中的正确反映。同样逻辑真理也是客观世界规律性的反映。列宁指出，人的实践经过千百万次的重复，它在人的意识中以逻辑的格固定下来，而最普遍的逻辑格，就是事物被描述的很幼稚的……最普遍的关系。列宁认为逻辑的公理、正确的推理形式是事物最普遍的关系，是由人们实践中千百万次的重复而反映和巩固在意识中。列宁说的最普遍的逻辑格是指三段论推理的正确形式。在这一点上我们说逻辑真和事实真是相容的，事实真是基础，逻辑真是建立在事实真基础之上的，二者是一致的，但是逻辑真理与任何具体的经验事实无关。
第一，逻辑系统的公理和定理的真是逻辑系统设定，其为真的根据是某种初始的逻辑关系。第二，逻辑公理和定理经过解释的真命题，其为真不取决于解释中的内容，而取决于这些公理、定理所显示的逻辑关系。第三，逻辑推断关系这种推论的结论真是一种逻辑关系真。第四，根据逻辑联系词的性质，由逻辑真得到逻辑真。如：a、B是逻辑真命题，那么a并且B、如果a那么B都是逻辑真命题。第五，数学中的逻辑真命题，是建立在公理演绎基础之上。以上这些逻辑真由于逻辑的原因或者逻辑关系而真，在这一点上我们可以说，在局部意义上，相对于特定的逻辑系统而言，逻辑真理可以说是分析的，是以逻辑意义为根据的，而与任何具体的经验事实无关。