逻辑推理定律篇1
论文关键词法律逻辑学形式逻辑非形式逻辑
在我国,法律逻辑的研究开始于80年代初期,起步较晚,而且国内学者对国外法律逻辑的研究状况也了解较少。在我国法律逻辑研究的初期阶段,法律逻辑学的主要研究方向是如何把形式逻辑的知识应用到法律当中,法律逻辑的任务在于把形式逻辑的一般原理运用于法学和法律工作中。但随着研究的深入以及学科理论的发展,不少学者认识到把法律逻辑限制在形式逻辑的框架下,不仅阻碍了这一学科的发展,也没能使这一学科发挥出其应有的作用。因此,国内的法律逻辑学教材多呈现出两种趋势,一种是以形式逻辑为框架穿插法律案例,以形式逻辑的推论来解决法律案例中的逻辑问题;另一种是不局限于形式逻辑,而是采用了更多的非形式逻辑的方法来解决法律实践中遇到的难题。在这样的背景下,便产生了法律逻辑学的研究方向的转向。有的学者更多的是从法律的角度出发,把法律思维分为立法和司法两个领域,司法领域中所涉及的推论分为事实推理、法律推理和判决推理。也有的学者更多的是从逻辑学角度出发,认为法律逻辑学研究的主要趋向应该是非形式逻辑的方向。本人认为法律逻辑学是法学和逻辑学的交叉学科,它既是法学的一个分支,又是逻辑学的一个分支,它运用的是逻辑工具,它需要解决的则是法律领域的问题,因此法律逻辑学有着它固有的逻辑基础——形式逻辑,但仅有形式逻辑明显不足以支撑起法律逻辑学的大厦,法律实践中遇到的问题很多还要留给非形式逻辑去解决。
一、形式逻辑与法律逻辑学
法律推理是指运用“情境思维”的方法或“个别化的方法”来解读或解释法律,从已知或假定的法律语境出发判断出法律意思或含义的推论,是一个在法律语境中对法律进行判断或推断的过程。法律推理旨在为案件确定一个可以适用的法律规则即上位法律规范,为判决确立一个法律理由或法律依据即裁判大前提。形式逻辑可以为法律逻辑学提供一定的理论基础,这是毋庸置疑的,运用形式逻辑的方法来解决法律逻辑问题的案例在法律逻辑学教科书中也屡见不鲜:
侦查机关通过一番调查,初步判断:
被害者的上级(B)、妻子(m)、秘书(G)中至少有一人是凶手,但他们不全是凶手。
仅当谋杀发生在办公室里(a),上级才是凶手;如果谋杀不发生在办公室里,秘书不是凶手。
假如使用毒药(C)那么除非妻子是凶手,上级才是凶手;但妻子不是凶手。
毒药被使用了,而且谋杀未发生在办公室里。
问:侦查员的这些判断都是真实的吗?
解决这一问题首先需要把四个命题用形式化的方法表示出来,然后运用自然推理系统pn进行推理,推理过程中如果得出了相互矛盾的结果则说明这些判断不都是真实的,如果得出的结果没有相互矛盾,则证明这些判断都是真实的。这是运用形式逻辑来解决刑事案件的典型例子。从这个例子可以看出,形式逻辑是研究推理的,是一种证明的逻辑,传统法律逻辑运用的是传统逻辑即形式逻辑,可见它解决的是法律推理问题。所谓推理是指由一个推论的序列组成的推论链,其中一个推论的结论是下一个推论的前提;所谓推论是指一组命题,其中一个命题是结论,其他命题是前提;而一个推理序列则组成了论证,其中一个推理的结论充当了下一个推理的前提。可以说,一个论证包含了多个推理,一个推理包含了多个推论。形式逻辑虽然解决了法律推理问题,但是未能解决法律论证问题。
另外,法律推理理论的研究大致有两个方向,一是法律的形式推导,二是法律的实质推导。法律的形式推导是指基于法律的形式理性或逻辑理性进行的法律推理,是基于法律规范的逻辑性质或逻辑关系进行的法律推理。法律的形式推导的结果是法律规范的逻辑后承,是对法律规范进行逻辑判断的结果,是对法律规范进行“形式计算”或“概念计算”的结果。如果要进行法律形式推导,则必定是建立在法律规范含义明确清晰,案件事实确凿清楚,案件所适用的法律规范是确定无疑义的情况下的,这样一来就可以根据法律规范本身的逻辑特性,按照相应的逻辑规则进行推理,这种推理可以运用形式逻辑的的方法,但是这种法律形式推理只适用于较为简易的案件判决。从这里可以看出,形式逻辑确实可以为法律逻辑学提供一定的理论基础。
虽然形式逻辑可以为法律逻辑学的研究提供一定的方法,但是仅仅有形式逻辑时无法满足法律逻辑学发展的需要的。众所周知,能够进入诉讼程序的案件往往不是那么容易就被确认的,控辩双方经常会在法律规范的模糊意义下摆出自己的道理,控辩双方对于案件事实的描述也往往大相径庭,在这种情况下,法官则需要运用法律的实质推导来处理案件。法律的实质推导是指基于实践理性或目的理性以及价值理性进行的法律推理。它是基于法律意图或目的、法律的价值取向、社会效用或社会效益、社会公平正义观念等实质内容对法律展开的推论。在法律出现空隙,法律规范含混不清,相互抵触,“合法”与“合理”相悖的困境等问题上,法律实质推理作出了法律形式推理无法给出的回答。
形式逻辑也有传统和现代之分,传统形式逻辑主要是指亚里士多德三段论理论和斯多葛命题逻辑为主体的形式逻辑,现代形式逻辑主要是指皮尔士、弗雷格、罗素、希尔伯特等人发展起来的数理逻辑或符号逻辑。从形式逻辑本身性质来看,它自身的一些特点决定了它无法完全满足法律逻辑学发展的需要。
首先,我们知道形式逻辑主要研究的是演绎推理的有效性问题,如果想要得到真实可靠的结论,则需两个条件:前提真实并且形式有效,而形式逻辑关心的则是人工语言论证和逻辑系统的有效性,它对前提是否真实则关注不够。一个论证的形式是有效的并不能保证前提是真的。“形式逻辑对论证的评价是从真前提开始,但如何判定前提的真假,这已经超出形式逻辑所讨论的范围。”
其次,在法律事务中遇到的问题往往不像上述例子中那么简单,某些不确定的因素总是包含在法律论证的大、小前提(即法律规范和案件事实)当中,在由前提到结论的推论中,不是单纯的形式逻辑的推演活动,因而这样的推论不可能是像书本例题中的那种简单形式逻辑的操作。作为法律论证大前提的法律规范是基于自然语言的产物,因此难免会受到自然语言多义性、模糊性的影响,导致法官、律师在运用法律规范的过程中产生困扰。
在实际操作中,作为法律推论小前提的案件事实并不总是清晰地摆在人们面前,法官、律师也总是面对不完整的案件事实而进行推理、推论,而形式逻辑所进行的演绎推理必然是在前提充分的条件下进行的,它关注的更多是程序化的论证及人工语言的论证。从这点来看,用形式逻辑来进行法律推论显然是力不从心的。
再次,形式逻辑所研究的命题都是事实命题,是有真值的对象,形式逻辑对事实命题做出的非此即彼的评价是形式逻辑二值性的充分体现。但是在法律文本中有较多的命题并非事实命题,而是如“外国人入境,应当向出入境边防检查机关交验本人的护照或者其他国际旅行证件、签证或者其他入境许可证明,履行规定的手续,经查验准许,方可入境。(中华人民共和国出境入境管理法第二十四条)”这一类的规范命题或价值命题,这类命题的性质无所谓真假,它们也不充当演绎推理的前提和结论,这类命题显然已经超出了形式逻辑的研究范围。形式逻辑并不专门以法律领域中的推理与论证为对象,没有涵盖法律思维领域里的全部推理与论证。
第四,《牛津法律大辞典》指出:“法律推理是对法律命题的一般逻辑推理”,包括演绎推理、归纳推理和类比推理。法律思维中涉及了大量的归纳推理、类比推理、语境推理等,这些都属于非演绎推理的范畴,而形式逻辑对非演绎推理的研究十分粗糙,无法满足法律思维的实践,因此形式逻辑无法有效地评价、规范全部法律思维。
二、法律逻辑学的研究方向——非形式逻辑
非形式逻辑兴起于上个世纪60年代,到目前为止,它还没有一个完全统一公认的概念,现任《非形式逻辑》杂志主编拉尔夫·约翰逊(RalphH.Johnson)和安东尼·布莱尔(J.anthonyBlair)提出:“非形式逻辑是逻辑的一个分支,其任务是讲述日常生活中分析、解释、评价、批评和论证建构的非形式标准、尺度和程序”。这个定义被认为是当今流行的定义。从这个定义中可以看出,非形式逻辑的研究对象是日常生活的语言,也就是自然语言,这一点恰恰迎合了法律逻辑学以自然语言为文本的的特性。
非形式逻辑之所以是“非形式的”,这主要是因为它不依赖于形式演绎逻辑的主要分析工具——逻辑形式的概念,也不依赖于形式演绎逻辑的主要评价功能——有效性。非形式逻辑在这方面与形式逻辑形成了良好的互补,形式逻辑研究论证主要是基于语义的研究,即真假命题之间的关系研究;而非形式逻辑研究论证主要是基于语用的研究,即从语境和论证目的角度进行研究,正是这一点成为了法律逻辑学与非形式逻辑的完美联姻。在法律逻辑学中,与法律形式推导对应的是法律实质推导,法律实质推导是指基于实践理性或目的理性以及价值理性进行的法律推理,是基于法律意图或目的、法律的价值取向、社会效用或社会利益、社会公平正义观念等实质内容之间的关系对法律展开的推论,可分为法律的目的推导和价值推导。法律实质推导是基于目的蕴涵和价值蕴涵,而不是基于形式蕴涵,因此它应当有不同于法律形式推导的框架,而非形式逻辑从语境和论证目的角度进行研究就为法律实质推导提供了工具。
逻辑推理定律篇2
综合性高校仅开设“逻辑学导论”在课程设置上，中国政法大学属于相对比较完善的，除了为本科生开设“逻辑学导论”之外，还开设了诉讼逻辑、法律逻辑和侦查逻辑等。但是一个学校的课程完善不代表整个中国的高校都具有这样的课程设置。一般的综合性大学的法律专业仅开设“逻辑学导论”这一门课程作为法律逻辑学的基本理论，同时在教材的选择上也不尽如人意。一方面受到课时数的限制，仅仅对逻辑学在法学中进行生搬硬套，这样的教学结果就是学生对逻辑学稍有理解，对法学理解也不是很深，在两者的结合上简直就是在云里雾里，摸不着头脑，这样的“人才”走向社会可以为社会带来怎样的效果呢？这种形式的授课，讲述的都是普通逻辑学的内容，没有突出法律的科学性，也没有深入考虑法律内部的问题，肤浅得很。
第二，对于法律和逻辑结合所产生的“法律推理”的讲述让人十分诧异，要么抛开法律讲推理，要么抛开推理讲法学，这样的课程设置简直让人发笑。有的人说“实质法律推理”也叫“辩证推理”。而事实上“实质法律推理”的根据并不是取决于推理的逻辑问题，而是推理之前的事实依据，应该属于“内容推理”。还有的教科书认为“个案适用推理”、“民事责任划归的推理”等其他责任划归推理都划归到法律逻辑学里。这种想法本身就是错误的，是对于概念的混淆。
第三，存在大量法律逻辑学属于不规范以及分类偏差的错误，这样的错误是由于不能坚持以“逻辑学”为研究基础，必然会把法律逻辑术语搞混，造成不规范和分类错误的情况。通过以上分析可以发现，对于法律逻辑学的教学在讲“法律辩证推理”时却去讲“实践推理”和“实质推理”，并且不重视法律逻辑学的法律的主体地位的情况，在进行法律逻辑学的讲授过程中需要进行纠正的。
二、法律逻辑学教学改革方案
通过笔者研究，在解决法律逻辑学教学中存在的问题上可以有以下几种解决方案。
2.1分清法律逻辑学和普通逻辑学的关系作为区分法律逻辑学和普通逻辑学的关系的方法，首先搞清楚普通逻辑学和法律逻辑学的整体和个体的关系，然后再加以区别，主要从以下几个方面：
2.1.1抽象和具体的关系显然普通逻辑学属于逻辑学中较抽象的问题，而法律逻辑学则属于抽象中的具体个例。
2.1.2理论和应用的关系普通逻辑学属于理论逻辑范畴，更多的是进行形式和方法的理论研究；法律逻辑学则更倾向于逻辑学在实际中的应用，而应用的正是普通逻辑学中的理论结合法学理论。
2.1.3广泛和个体的关系在普通逻辑学中并不涉及固定的应用领域里的个性化问题；法律逻辑学则必须应用到法律领域内的各种具体化的思维方式和思维方法。所以在讲授法律逻辑学的过程中既要讲授普通逻辑学的思维方法，又要讲授法学中对普通逻辑学的应用。在概念的讲述上既要讲述法律术语的主观规定与客观现实的矛盾，也要讲法律的稳定与灵活的统一，而判断的真假特征与判断的断定上更要明确法律条文的意义，同样的推理要注重法律辩证推理和形式推理的统一。
2.2解决法律逻辑学和法理学的关系在这方面对于法理学、法律方法论和法哲学等学科的理论成果要经过辩证判断之后吸收，再避免出现照搬其成果的情况。法律逻辑学必须坚持在法律逻辑研究基础之上的法律思维方法和法律思维形式。在进行法律辩证推理的讲解时不能完全不顾形式而只考虑内容，这都是一些普通综合性高校在法律逻辑学课堂上容易出现的错误。总之，这二者的关系不能是脱离开来的两个孤立部分，而应该是互相结合融为一体的两个相辅相成的关系。所以，采用这种逻辑统一的方式实现法律逻辑学术语的规范化是法律逻辑学教学改革内容中必不可少的一部分。
2.3重视“法律”在法律逻辑学中的特色目前大部分法律逻辑学课程中所讲述的都是普通逻辑学在法律工作中的应用问题，采用的方法大多是“案例分析+普通逻辑学原理”，这在整个法律逻辑学中是属于个体与整体的关系，目前的方法必须采用，但是仅采用目前的办法还远远不够。法律逻辑学的内容应该包括应用逻辑学和特殊逻辑问题在法律实践中的应用，这些情况中不仅有法律适用过程中存在的逻辑问题，还有法律逻辑规范中自身存在的逻辑问题。总之在教学过程中，应该多采用法律实践的研究形式提高学生的法律思维能力，明确法律逻辑学中法律的重要性。
2.4重视法律推理的地位既然是法律逻辑学就应该凸显法律推理的重要性，以法律推理为主要依据。根据逻辑学界的通用说法就是逻辑学就是推理学。尤其是法律逻辑学，更应该在重视法律的基础之上重视逻辑推理。事实上，法律推理是法律工作者在执法过程中广泛使用的法律思维方式，尤其是在法律事实明确、而法律动机不明的情况下，通过法律推理对案件进行分析和侦查的过程，对案件的认定存在必然关系。在具体讲授过程中，特别应该强调以下几点：
2.4.1法律推理的定义和特点只有弄清法律推理的定义和特点才能明确使用的适用范围。
2.4.2法律推理的种类通过对种类的详细描述，才能让学生了解在具体情况中应该采用何种方法和手段进行有效的推理。
2.4.3法律推理的要求对事实的可信性进行分析之后采用正当的形式和合法的手段进行法律推理是法律推理必须遵照的要求，以维护法律的公正性。
2.4.4法律推理的作用法律推理的使用可以弥补法律的漏洞，在案件侦查过程中可以找到正确的方向，从而实现司法公正。
2.5理论与实际相结合目前国内的学术氛围就是重理论而轻实际，这在学术探讨中无可厚非，但是大部分学校培养的人才是要到社会中去实践自己的理论，而不是去研究机构进行更深层次的研究的。这就造成大部分刚刚步入社会的学生空有一身理论而无法进行实践操作。所以在教学过程中一定要注意理论和实践的结合，这正是出于法律逻辑学的特点———经验性学科而得出的结论。经验在实际操作中往往会更胜于理论。
三、法律逻辑学的应用（密室逃脱策划方案）
3.1活动主题本次活动的主题就是通过实践教学提升学生的逻辑推理能力。
3.2活动目的“普通逻辑学”是一门关于思维的基本形式、思维方法及其发展规律的科学。为提高学生思维的准确性和敏捷性，它注重培养学生准确判断、精确推理的能力，因我院是培养执法工作者的摇篮，执法工作者需要有较强的逻辑思维素质，而且逻辑学来源于实践，最终也要回到实践中去，因此未来的执法工作者学习逻辑，更应该结合实际思考和体会。根据我院学生所学专业需要，培养学生逻辑推理实践应用的能力是有必要的，特在2012级本科大队开设“普通逻辑学”的实践活动，在学习理论知识概念、判断和推理的基础上，合理运用理论知识联系实际，最大程度地锻炼参加者的观察能力、逻辑推理能力、抽象思维能力，以及团队协作能力。
3.3活动过程
3.3.1准备工作人员准备：活动参与人员从2012级本科大队7个开设普通逻辑学科目的班级中选出20名学员分两次参加此项活动。活动地点准备：新疆警察学院北校区1号教学楼二楼全部行政班级教室（202~208）。（注：活动当天需学生处领导配合安排各区队教室）活动器具准备：根据设计关卡，列出项目活动器具清单，上交至基础部综合教研室教师处审核，统一配备。(注：因活动设计需要向警体训练部借用手铐)
3.3.2正式活动部分参加人员先聚集在一号教学楼阶梯101教室统一进行对本次活动的全面介绍和规则的学习，再随机分组，由每组负责学生分别带到202-209教室统一开始第一关：心有灵“析”、心心相印。活动中，所有参与学生必须在学习理论知识的基础上联系实践，紧密配合，能够在规定时间内，人人参与其中通过团队合作寻找线索，推理、联想、破解谜题获取最终密码，才能全部成功逃脱。随后由第一名逃脱的小组再进入终极关卡：越狱终极大Boss。最后评出逃脱最快、使用提示最少的小组为冠军进行奖励。此次活动，教师只是指导，学生自主设计密室关卡，不仅学生参与积极性很高而且还专门单设一间供邀请嘉宾闯关，让我部全体教师与学生同时参与活动，真实切身体会其中的奥秘。
3.4活动总结通过这种多样的实践教学活动，最大程度地锻炼参加者的观察能力、逻辑推理能力、抽象思维能力，以及团队协作能力。无论是推出了成功经验还是发现了存在的不足，都会对学院的本科实践教学模式产生积极的影响，这类实践教学活动可长期坚持下去，并在实践中不断改进和完善。
四、总结
逻辑推理定律篇3
论文摘要：逻辑学是研究推理的一门学问，而推理是由概念、命题组成的，不懂得命题就不懂得推理。普通逻辑学在研究命题时，主要是从二值逻辑的角度研究命题逻辑形式的逻辑值与命题形式之间的真假关系。本文着重从认识论的角度阐述逻辑真理的内涵，同时详细论述逻辑真理与事实真理的区别。为了探求真理必须保证思维的逻辑性。
逻辑学离不开“真”这个概念。一般来说人们是从下述意义上使用“真”这个概念的：
（一）前提或者命题真。这种真是指命题的思想内容是真的。任何一个命题的内容不是真的就是假的，在这里真或假不是用以描述事物状态的，而是评价命题或陈述的内容的。它的核心是针对其所表达的知识或信念的，例如：“台湾不是一个国家。”这个命题的内容是符合客观事实的，所以是个真命题。
（二）推理真。这是指推理中前提真和结论真之间的关系。演绎推理前提真结论必然真，归纳推理和类比推理前提真而结论是或然性真。因此推理真就是推理中的结论相对于前提是必然的真或者是或然的真。这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价。
（三）指派真和赋值真。在逻辑学中（特别是在现代逻辑中）把命题形式当作真值形式，而且只从真假的角度研究每一种命题形式的逻辑特征，真和假是命题的唯一属性。逻辑真在这里指这些真值形式和其中的变项与公式的真假，这时的真假和具体命题内容的真假无关，而只是一种假定的真假和根据这种假定而推论出的真假。
（四）形式真。这是指永真式（重言式）或普遍有效式的真。逻辑学中有一类公式，对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这类公式的真是一种逻辑关系的真，例如：p或者非p中不管变项p赋真值或是假值，这个公式都是真的。
（五）系统真。现代逻辑建立了形式系统，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整个系统便是可靠的和一致的，这种可靠性和一致性就是一种系统的真。
在以上这五种“真”的情况下，逻辑学不考虑第一种意义的“真”，而只关注后四种“真”。后四种“真”在逻辑学中有各种表现，在其他科学中也有这些意义上的真的表现，就被称为逻辑真理。
所谓逻辑真理是一种特殊的真理，是一种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真，它需要我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们日常生活中所说的真理是有区别的。
恩格斯认为：全部哲学特别是近代哲学的重大基本问题，是思维与存在的关系问题。它包括两个方面的问题，一方面是思维与存在何者为本原的问题；另一方面是思维和存在有无同一性的问题，也就是我们的思维能否认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度来看，其重大的基本问题就是逻辑与客观现实的关系问题，任何逻辑学家都要回答：逻辑真理是否与客观现实一致？逻辑真理与事实真理之间又有什么关系？
关于这个理论问题，亚里士多德在其所著《形而上学》一书中明确提出并详细论述了逻辑基本规律（矛盾律与排中律）。在谈到矛盾律时认为，事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律，是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性，其根据就是真理符合现实的理论，即所谓真理符合论。它在解释真与假这对概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。按照真理符合论，一切真理必需与现实一致，逻辑真理也不能例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。
莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。
基于莱布尼兹的推理真理和事实真理的对立，在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于一切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康德看来表示逻辑规律的判断就属于分析判断。
数理逻辑问世之后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，由此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来，凡是先天的都是分析的；反之，凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为，哲学家们常常区分两类真理，某些陈述的真理是逻辑的、必然的、根据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。
1933年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。
综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。
马克思主义认识论认为，真理是客观事物及其规律在人们思维中的正确反映。同样逻辑真理也是客观世界规律性的反映。列宁指出，人的实践经过千百万次的重复，它在人的意识中以逻辑的格固定下来，而最普遍的逻辑格，就是事物被描述的很幼稚的……最普遍的关系。列宁认为逻辑的公理、正确的推理形式是事物最普遍的关系，是由人们实践中千百万次的重复而反映和巩固在意识中。列宁说的最普遍的逻辑格是指三段论推理的正确形式。在这一点上我们说逻辑真和事实真是相容的，事实真是基础，逻辑真是建立在事实真基础之上的，二者是一致的，但是逻辑真理与任何具体的经验事实无关。
第一，逻辑系统的公理和定理的真是逻辑系统设定，其为真的根据是某种初始的逻辑关系。第二，逻辑公理和定理经过解释的真命题，其为真不取决于解释中的内容，而取决于这些公理、定理所显示的逻辑关系。第三，逻辑推断关系这种推论的结论真是一种逻辑关系真。第四，根据逻辑联系词的性质，由逻辑真得到逻辑真。如：a、B是逻辑真命题，那么a并且B、如果a那么B都是逻辑真命题。第五，数学中的逻辑真命题，是建立在公理演绎基础之上。以上这些逻辑真由于逻辑的原因或者逻辑关系而真，在这一点上我们可以说，在局部意义上，相对于特定的逻辑系统而言，逻辑真理可以说是分析的，是以逻辑意义为根据的，而与任何具体的经验事实无关。
逻辑推理定律篇4
（二）推理真。这是指推理中前提真和结论真之间的关系。演绎推理前提真结论必然真，归纳推理和类比推理前提真而结论是或然性真。因此推理真就是推理中的结论相对于前提是必然的真或者是或然的真。这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价。
（三）指派真和赋值真。在逻辑学中（特别是在现代逻辑中）把命题形式当作真值形式，而且只从真假的角度研究每一种命题形式的逻辑特征，真和假是命题的唯一属性。逻辑真在这里指这些真值形式和其中的变项与公式的真假，这时的真假和具体命题内容的真假无关，而只是一种假定的真假和根据这种假定而推论出的真假。
（四）形式真。这是指永真式（重言式）或普遍有效式的真。逻辑学中有一类公式，对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这类公式的真是一种逻辑关系的真，例如：p或者非p中不管变项p赋真值或是假值，这个公式都是真的。
（五）系统真。现代逻辑建立了形式系统，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整个系统便是可靠的和一致的，这种可靠性和一致性就是一种系统的真。
在以上这五种“真”的情况下，逻辑学不考虑第一种意义的“真”，而只关注后四种“真”。后四种“真”在逻辑学中有各种表现，在其他科学中也有这些意义上的真的表现，就被称为逻辑真理。
所谓逻辑真理是一种特殊的真理，是一种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真，它需要我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们日常生活中所说的真理是有区别的。
恩格斯认为：全部哲学特别是近代哲学的重大基本问题，是思维与存在的关系问题。它包括两个方面的问题，一方面是思维与存在何者为本原的问题；另一方面是思维和存在有无同一性的问题，也就是我们的思维能否认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度来看，其重大的基本问题就是逻辑与客观现实的关系问题，任何逻辑学家都要回答：逻辑真理是否与客观现实一致？逻辑真理与事实真理之间又有什么关系？
关于这个理论问题，亚里士多德在其所著《形而上学》一书中明确提出并详细论述了逻辑基本规律（矛盾律与排中律）。在谈到矛盾律时认为，事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律，是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性，其根据就是真理符合现实的理论，即所谓真理符合论。它在解释真与假这对概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。按照真理符合论，一切真理必需与现实一致，逻辑真理也不能例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。
莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。
基于莱布尼兹的推理真理和事实真理的对立，在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于一切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康德看来表示逻辑规律的判断就属于分析判断。
数理逻辑问世之后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，由此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来，凡是先天的都是分析的；反之，凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为，哲学家们常常区分两类真理，某些陈述的真理是逻辑的、必然的、根据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。
1933年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。
综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。
马克思主义认识论认为，真理是客观事物及其规律在人们思维中的正确反映。同样逻辑真理也是客观世界规律性的反映。列宁指出，人的实践经过千百万次的重复，它在人的意识中以逻辑的格固定下来，而最普遍的逻辑格，就是事物被描述的很幼稚的……最普遍的关系。列宁认为逻辑的公理、正确的推理形式是事物最普遍的关系，是由人们实践中千百万次的重复而反映和巩固在意识中。列宁说的最普遍的逻辑格是指三段论推理的正确形式。在这一点上我们说逻辑真和事实真是相容的，事实真是基础，逻辑真是建立在事实真基础之上的，二者是一致的，但是逻辑真理与任何具体的经验事实无关。
第一，逻辑系统的公理和定理的真是逻辑系统设定，其为真的根据是某种初始的逻辑关系。第二，逻辑公理和定理经过解释的真命题，其为真不取决于解释中的内容，而取决于这些公理、定理所显示的逻辑关系。第三，逻辑推断关系这种推论的结论真是一种逻辑关系真。第四，根据逻辑联系词的性质，由逻辑真得到逻辑真。如：a、B是逻辑真命题，那么a并且B、如果a那么B都是逻辑真命题。第五，数学中的逻辑真命题，是建立在公理演绎基础之上。以上这些逻辑真由于逻辑的原因或者逻辑关系而真，在这一点上我们可以说，在局部意义上，相对于特定的逻辑系统而言，逻辑真理可以说是分析的，是以逻辑意义为根据的，而与任何具体的经验事实无关。
逻辑真理和事实真理的关系是：事物之间的关系显示一定的逻辑关系，也是逻辑真的基础。逻辑真理在某些方面与事实真理是一致的，但是在另一方面，逻辑真理又与事实真理不是一致的，逻辑真理和事实真理之间是一种交叉关系。逻辑真理既具有绝对性又具有相对性，有些逻辑关系是绝对的真，但是另一些逻辑真理是相对的真。逻辑真理之所以为逻辑真理，不是由于它们揭示了事物的本质事物或事物的普遍性，而只是涉及到逻辑自身，只根据逻辑自身而成立。逻辑真理的必然性需要在逻辑自身中去寻找，而不能在现实中寻找。
综上所述可见，逻辑真理来源于经验，但又不同于事实真理。由于逻辑思维的作用，它越远离事实，其真理性越强；当它与具体事实相符合时，即成为事实真理的必要条件。当逻辑真理和事实真理一致时，逻辑思维就正确地反映了事物的规律，因此逻辑真理在认识中有着重要的作用。当我们认识世界时，会在原有的知识基础上作出许多推测和猜想，也会试图把这些思想与已经获得的关于被研究对象的材料联系起来。为了搞好各项工作，我们要正确的调整各种思想关系，从中抛弃不适当的思想，选取可以促进我们前进的思想，这就需要我们在思维过程中严格遵守逻辑规律和规则。只有认识逻辑真理才能更好地认识事实真理，随着人类的经验积累，逻辑真理和事实真理的交叉容量必然会不断增大，为了探求真理我们必须保证思维的逻辑性。
逻辑推理定律篇5
（一）前提或者命题真。这种真是指命题的思想内容是真的。任何一个命题的内容不是真的就是假的，在这里真或假不是用以描述事物状态的，而是评价命题或陈述的内容的。它的核心是针对其所表达的知识或信念的，例如：“台湾不是一个国家。”这个命题的内容是符合客观事实的，所以是个真命题。
（二）推理真。这是指推理中前提真和结论真之间的关系。演绎推理前提真结论必然真，归纳推理和类比推理前提真而结论是或然性真。因此推理真就是推理中的结论相对于前提是必然的真或者是或然的真。这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价。
（三）指派真和赋值真。在逻辑学中（特别是在现代逻辑中）把命题形式当作真值形式，而且只从真假的角度研究每一种命题形式的逻辑特征，真和假是命题的唯一属性。逻辑真在这里指这些真值形式和其中的变项与公式的真假，这时的真假和具体命题内容的真假无关，而只是一种假定的真假和根据这种假定而推论出的真假。
（四）形式真。这是指永真式（重言式）或普遍有效式的真。逻辑学中有一类公式，对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这类公式的真是一种逻辑关系的真，例如：p或者非p中不管变项p赋真值或是假值，这个公式都是真的。
（五）系统真。现代逻辑建立了形式系统，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整个系统便是可靠的和一致的，这种可靠性和一致性就是一种系统的真。
在以上这五种“真”的情况下，逻辑学不考虑第一种意义的“真”，而只关注后四种“真”。后四种“真”在逻辑学中有各种表现，在其他科学中也有这些意义上的真的表现，就被称为逻辑真理。
所谓逻辑真理是一种特殊的真理，是一种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真，它需要我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们日常生活中所说的真理是有区别的。
恩格斯认为：全部哲学特别是近代哲学的重大基本问题，是思维与存在的关系问题。它包括两个方面的问题，一方面是思维与存在何者为本原的问题；另一方面是思维和存在有无同一性的问题，也就是我们的思维能否认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度来看，其重大的基本问题就是逻辑与客观现实的关系问题，任何逻辑学家都要回答：逻辑真理是否与客观现实一致？逻辑真理与事实真理之间又有什么关系？
关于这个理论问题，亚里士多德在其所着《形而上学》一书中明确提出并详细论述了逻辑基本规律（矛盾律与排中律）。在谈到矛盾律时认为，事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律，是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性，其根据就是真理符合现实的理论，即所谓真理符合论。它在解释真与假这对概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。按照真理符合论，一切真理必需与现实一致，逻辑真理也不能例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。
莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。
基于莱布尼兹的推理真理和事实真理的对立，在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于一切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康德看来表示逻辑规律的判断就属于分析判断。
数理逻辑问世之后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，由此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来，凡是先天的都是分析的；反之，凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为，哲学家们常常区分两类真理，某些陈述的真理是逻辑的、必然的、根据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。
1933年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。
综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。
马克思主义认识论认为，真理是客观事物及其规律在人们思维中的正确反映。同样逻辑真理也是客观世界规律性的反映。列宁指出，人的实践经过千百万次的重复，它在人的意识中以逻辑的格固定下来，而最普遍的逻辑格，就是事物被描述的很幼稚的……最普遍的关系。列宁认为逻辑的公理、正确的推理形式是事物最普遍的关系，是由人们实践中千百万次的重复而反映和巩固在意识中。列宁说的最普遍的逻辑格是指三段论推理的正确形式。在这一点上我们说逻辑真和事实真是相容的，事实真是基础，逻辑真是建立在事实真基础之上的，二者是一致的，但是逻辑真理与任何具体的经验事实无关。
第一，逻辑系统的公理和定理的真是逻辑系统设定，其为真的根据是某种初始的逻辑关系。第二，逻辑公理和定理经过解释的真命题，其为真不取决于解释中的内容，而取决于这些公理、定理所显示的逻辑关系。第三，逻辑推断关系这种推论的结论真是一种逻辑关系真。第四，根据逻辑联系词的性质，由逻辑真得到逻辑真。如：a、B是逻辑真命题，那么a并且B、如果a那么B都是逻辑真命题。第五，数学中的逻辑真命题，是建立在公理演绎基础之上。以上这些逻辑真由于逻辑的原因或者逻辑关系而真，在这一点上我们可以说，在局部意义上，相对于特定的逻辑系统而言，逻辑真理可以说是分析的，是以逻辑意义为根据的，而与任何具体的经验事实无关。
莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。
基于莱布尼兹的推理真理和事实真理的对立，在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于一切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康德看来表示逻辑规律的判断就属于分析判断。
数理逻辑问世之后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，由此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来，凡是先天的都是分析的；反之，凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为，哲学家们常常区分两类真理，某些陈述的真理是逻辑的、必然的、根据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。
1933年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。
综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。
逻辑推理定律篇6
摘要：逻辑学是研究推理的一门学问，而推理是由概念、命题组成的，不懂得命题就不懂得推理。普通逻辑学在研究命题时，主要是从二值逻辑的角度研究命题逻辑形式的逻辑值与命题形式之间的真假关系。本文着重从认识论的角度阐述逻辑真理的内涵，同时详细论述逻辑真理与事实真理的区别。为了探求真理必须保证思维的逻辑性。
逻辑学离不开“真”这个概念。一般来说人们是从下述意义上使用“真”这个概念的：
（一）前提或者命题真。这种真是指命题的思想内容是真的。任何一个命题的内容不是真的就是假的，在这里真或假不是用以描述事物状态的，而是评价命题或陈述的内容的。它的核心是针对其所表达的知识或信念的，例如：“台湾不是一个主权国家。”这个命题的内容是符合客观事实的，所以是个真命题。
（二）推理真。这是指推理中前提真和结论真之间的关系。演绎推理前提真结论必然真，归纳推理和类比推理前提真而结论是或然性真。因此推理真就是推理中的结论相对于前提是必然的真或者是或然的真。这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价。
（三）指派真和赋值真。在逻辑学中（特别是在现代逻辑中）把命题形式当作真值形式，而且只从真假的角度研究每一种命题形式的逻辑特征，真和假是命题的唯一属性。逻辑真在这里指这些真值形式和其中的变项与公式的真假，这时的真假和具体命题内容的真假无关，而只是一种假定的真假和根据这种假定而推论出的真假。
（四）形式真。这是指永真式（重言式）或普遍有效式的真。逻辑学中有一类公式，对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这类公式的真是一种逻辑关系的真，例如：p或者非p中不管变项p赋真值或是假值，这个公式都是真的。
（五）系统真。现代逻辑建立了形式系统，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整个系统便是可靠的和一致的，这种可靠性和一致性就是一种系统的真。
在以上这五种“真”的情况下，逻辑学不考虑第一种意义的“真”，而只关注后四种“真”。后四种“真”在逻辑学中有各种表现，在其他科学中也有这些意义上的真的表现，就被称为逻辑真理。
所谓逻辑真理是一种特殊的真理，是一种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真，它需要我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们日常生活中所说的真理是有区别的。
恩格斯认为：全部哲学特别是近代哲学的重大基本问题，是思维与存在的关系问题。它包括两个方面的问题，一方面是思维与存在何者为本原的问题；另一方面是思维和存在有无同一性的问题，也就是我们的思维能否认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度来看，其重大的基本问题就是逻辑与客观现实的关系问题，任何逻辑学家都要回答：逻辑真理是否与客观现实一致？逻辑真理与事实真理之间又有什么关系？
关于这个理论问题，亚里士多德在其所著《形而上学》一书中明确提出并详细论述了逻辑基本规律（矛盾律与排中律）。在谈到矛盾律时认为，事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律，是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性，其根据就是真理符合现实的理论，即所谓真理符合论。它在解释真与假这对概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。按照真理符合论，一切真理必需与现实一致，逻辑真理也不能例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。
莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。
基于莱布尼兹的推理真理和事实真理的对立，在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于一切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康德看来表示逻辑规律的判断就属于分析判断。
数理逻辑问世之后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，由此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来，凡是先天的都是分析的；反之，凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为，哲学家们常常区分两类真理，某些陈述的真理是逻辑的、必然的、根据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。
1933年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。
综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。
逻辑推理定律篇7
一、逻辑的方法
逻辑的方法主要有比较法、分析与综合、抽象与概括。比较法是用以确定客观的事物与现象的相似之处与不同之处的逻辑方法。分析是在思想中分解着一个物体或一个对象，将它的个别部分特征和性质分辨出来；综合则是在思想中把对象的各个组成部分、特征联合起来成为一个整体。抽象是在思维中仅只区分出对象的本质特征，而将其余非本质的、不重要的特征抽象开去的方法，抽象的结果叫做抽象化。概括是在思维中将同一种类的对象的本质属性集中起来，结合为一般的类的属性。抽象与概括是一个统一的、不可分割的过程。一般多用于对概念的学习和理解，如学习等差数列的概念时先给出几组数列：10，8，6，4，2…；2，2，2，2，2…观察这些数列得到共同特点：每个数列相邻两项之差都是相等的。这样就抽象概括出等差数列的定义。
二、逻辑的规律
形式逻辑的基本规律是：同一律、矛盾律、排中律与充足理由律。这些规律是数学证明的基础。
同一律的形式就是“甲是甲”。它的基本内容是：在进行论断和推理的过程中，每一个概念都应当在同一意义上来使用。
矛盾律的形式是“甲不是非甲”。它的基本内容是：同一对象在同一时间和同一关系下，不能具有两种互相矛盾的性质。矛盾律和同一律是直接联系的。“甲不是非甲”乃是“甲是甲”的否定形式，也就是说它们是同一种思想的两种不同表现形式，矛盾律用否定的形式表现，同一律以肯定的形式表现。
排中律的形式是“或者是甲，或者是非甲”。它的具体内容是：同一对象在同一时间和同一关系下，或者具有某种性质，或者是不具有某种性质，不存在第三种情况。
充足理由律的形式是“所以有甲，是因为有乙”。它的基本内容是：特定事物之所以具有某种性质，是因为它有着现实的根据，为一定的先行于它的条件所决定的。这个规律要求在进行思维时，必须有充分的根据，任何判断或论证，只有当它有充足的理由时，才能是正确的、合乎逻辑的，才能具有论证和说服的力量。
三、逻辑推理
逻辑推理是逻辑学习中的主要部分，也是数理逻辑的主要内容，主要有演绎推理和归纳推理。
1.演绎推理
演绎推理是由普通性的前提推出特殊性结论的推理，有三段论、假言推理和选言推理等形式。
三段论指由两个简单判断做前提和一个简单判断做结论组成的演绎推理。由三部分组成：大前提、小前提和结论。大前提是一般性的原则，小前提是一个特殊陈述。在逻辑上，结论是应用大前提于小前提上得到的。运用三段论，前提必须真实，符合客观实际，否则就推不出正确的结论。
假言推理是以假言判断为前提的演绎推理。即在三段论中，大前提是一个假言判断，小前提是一个定言判断，这种论式就叫做假言判断。假言推理体现在反证法中居多。
选言推理是以选言判断为前提的演绎推理。选言推理分为相容的选言推理和不相容的选言推理。相容的选言推理的基本原则是：大前提是一个相容的选言判断，小前提否定了其中的一个选言肢，结论就肯定剩下的一个选言肢。不相容的选言推理的基本原则是：大前提是一个不相容的选言判断，小前提肯定了其中的一个选言肢，结论就否定其他的选言肢。小前提否定除其中一个之外的语言肢，结论则肯定剩下的那个语言肢。
2.归纳推理
归纳推理，就是从个别性知识推出一般性结论的推理，具有从特殊到一般，从具体到抽象的认识功能，所得的结论未必是正确的，但是对于数学家的发现、科学家的发明，归纳推理却是十分有用的。通过观察，实现对有限的资料作出归纳推理，提出带有规律性的猜想。
归纳推理的一般步骤是：通过观察个别情况发生某些相同性质和规律，从已知的相同性质中推出一个具有一般性结论的命题，即猜想。
总的来说，学习简易逻辑，重要的是培养学生的一种逻辑思维能力，教师应该教给他们一种方法和思路，而不是简单地给出答案。
参考文献：
逻辑推理定律篇8
关键词：逻辑；思维；实践；真理
中图分类号：B81文献标识码：a文章编号：1673-0992（2010）08-0332-01
结论对前提来说是否新知，逻辑证明能否得出新真理？这是逻辑史上长期未获解决的问题。我个人认为，逻辑证明是一种思维过程，是人们在认识过程中借助于概念、判断、推理等思维形式能动地反映客观现实的理性认识过程，是一种理论思维。它是作为对认识着的思维及其结构以及起作用的规律的分析而产生和发展起来的。真理就是事物发展的客观规律。客观规律存在于人的主观意识之外，不以人的意志为转移。客观规律在人们头脑中的反映，就是主观真理。主观真理总是相对的。认识来源于实践,但认识有正确和错误两种可能；认识回到实践，同样也有成功和失败两种可能。从实践上升为认识，上升为理性，这是一个飞跃。同形象思维不同，它以抽象为特征，通过对感性材料的分析思考，撇开事物的具体形象和个别属性，揭示出物质的本质特征，形成概念并运用概念进行判断和推理来概括地、间接地反映现实。通过逻辑证明，就象1+1经过证明可以得出2一样，1+1得出2，就得出了新结论，但也可以说是客观实际。逻辑规律主要是研究客观世界的逻辑规律的科学。这种客观规律在人类诞生之前早就广泛地存在，人类认识了这种规律后便形成了逻辑科学，在人认识了事件到事件的过渡之后，就形成了思维的过渡，客观世界存在的过渡是必然的，但人认识的过渡却不一定是必然的，就需要逻辑证明和科学解释。
如果狭义的理解，那逻辑证明不出新真理，广义的理解引申的理解，逻辑证明出新真理。逻辑证明过程只是一种纯思维的理性的思考过程，是在不段实践中总结出来的科学思考方法，是一种工具。证明的结论只是用一种科学方法循序渐进得出的必然结果，换言之只是用科学的逻辑方法经过正确的逻辑推理得出一个合乎理性的答案。正像新元素在没发现之前就已经存在一样，科学的研究也只是一个不断探索、发现的过程。单纯的用逻辑证明、推理是很难得出新知识，逻辑证明和推理过程必然要结合大量的自然科学知识，甚至是自然科学为主体，逻辑证明为辅助工具。
逻辑证明更准确的说就是运用已知的正确判断，通过逻辑推理，从理论上确立另一判断正确性的方法。它是严格按照人的思维规律来进行的。思维规律是人们认识客观世界的最一般规律，它是在人们认识客观世界过程中，对实现主客观相统一的最典型、最一般模式的升华和抽象，因此具有普遍性。逻辑思维是人类全部历史实践的产物，理性思维能力是人类实践能力在精神形式上的内化和积淀，逻辑推理的规则也是人类实践活动的内在普遍特性的反映。逻辑证明是人类认识世界必不可少的方法，它对理论的形成、发展和检验具有重要作用。例如，在某种新的理论尚待发现的时候，它可以起到由已知推论未知的探索真理的作用；在真理形成和发展过程中，它可以起到阐述真理的作用；在运用真理的过程中，它可以提供指导线索，避免走弯路；在检验和实现真理的过程中，它可以起到理性分析的、甚至于可以直接对某一认识的真理性进行检验使其实现。众所周知，凡是已知的知识是对事物最本质、最一般化的认识，那么它就有共性，不仅是对某一特定对象的反映，而且也是对同类事物共同本质的反映，由已知推出未知是毫无困难的。如用“凡生物必死”作为已知的普通性的知识就可以推论出各类生物一定死亡的正确性。此外，认识在实践中接受检验时，必须运用逻辑方法使其具有可检验的形式。同时，对实践过程和实践结果分析时，也必须充分运用逻辑方法。总之，逻辑证明常常发挥着直接检验和实现真理方式的作用，有时在一些领域，例如数学、逻辑学和哲学领城里常常单独地起着检验和实现真理方式的作用。但是相对实践方式，逻辑证明还不是检验、实现真理的根本方式。因为：一是逻辑证明所依据的是思维规律和逻辑规则，而思维规律是否正确地反映了客观规律，逻辑规则是否正确地反映了人的思维规律，这些归根到底都需要实践来证明的，二是只有科学的逻辑证明才是实践检验的间接的、集中化的形式。逻辑证明的前提、规则和过程都是以实践为基础的。三是经过逻辑证明了的认识或结论，还需要实践给以最终检验或持续不断的检验。只有以实践为后盾的逻辑证明才能在一些领域中起着单独的直接的检验和实现真理的作用。
哥德巴赫猜想是为无数实践证明是对的,但是至今未能得到理论上的证明，所以仍然只能是猜想和经验，不能当作普遍的规律去使用。如果承认科学的定理是真理的话，那么很多定理是根据已知的定理推导出来，而推导出来的定理马上就可能用于解决实际问题，而无须再用实践检验一下。哥德巴赫猜想用实践证明不了,只能有待于理论的证明；再说逻辑证明，就是运用已知的正确概念和判断，通过推理从理论上来论证另一种概念和判断的正确性的逻辑方法。逻辑证明还能在具体实践之前大体证明认识的真理性，节省人力、财力、物力，而且对于实践检验真理的过程有重要作用。逻辑证明可以论证实践无法直接检验的认识。如宇宙大爆炸理论，人类起源理论等，从而得出新知。但是逻辑证明中的推理前提是在以往的实践中被证明的正确的认识，逻辑证明中使用的逻辑规则是在实践中产生，并被实践证明过的，逻辑证明所得的结论还要再回到实践中去由实践最后判定其真理性。逻辑证明在根本上依赖于实践标准。这有就是说为什么有必要区分广义和狭义。为了避免由于用语的歧义而导致的假争论，逻辑证明出新知就有必要廓清语词的涵义和论题的意义。真理应该为认识与对象的符合，把检验真理的标准规定为判定认识与对象是否符合的标准，把逻辑规定为传统的和现代的演绎逻辑，把逻辑证明规定为以确定论题的真为目的的演绎推理。无论何种复杂冗长的逻辑证明，均由论据（即前提）、推论（即根据普遍有效的推理形式而进行的思维活动）和结论（亦即待证的命题）组成。对论据进行了分析，指出作为论据的命题不外乎经验命题、公理、定理和定义四种。然后分别对四种命题的特点作了详细的分析，无论何种命题都只要自己证明自己是否与客观对象相符合。再对推理进行了分析，推理所依据的推理形式本身是否普遍有效并由逻辑来证明的，当然也可以由人类亿万次的实践来证明。无论从推理的起源看，从形成以后的功能看，均是如此。
综合论述得出的结论是：既然前提和推理形式本身的真实性都能由逻辑来证明，可见由前提推出的结论是否与对象符合是可能由这一推理过程本身来判定。逻辑证明揭示前提与结论之间的蕴涵关系，并在检验真理的过程中的作用是巨大的、不可缺少的，并且是不可代替的，没有逻辑证明的辅助，实践检验真理将无法进行。
おげ慰嘉南祝
[1]亚里士多德.工具论[m].北京：中国人民大学出版社，2003.
[2]罗素.逻辑与知识[m].北京：商务印书馆，1996.
[3]张家龙.逻辑学思想史[m].长沙：湖南教育出版社，2004.
逻辑推理定律篇9
一、法律逻辑学课程的重要性
法律逻辑学作为研究人的思维形式之逻辑结构与逻辑规律，并在此基础上探讨法律领域中特有逻辑现象和逻辑问题的一门科学，乃逻辑学的一个分支学科。法律逻辑学课程的性质与特点，决定了这门课程的教学内容不同于部门法学或理论法学，其教学方法也有别于法学一般课程教学。探讨法律逻辑学的教学方法与教学手段，既有助于学生对课程教学内容的掌握和教师教学水平的提高，也能够为法学理论研究和法律实践工作提供充分的逻辑学知识和逻辑思维方法。
（一）法律逻辑学有助于提高学生的法律思维能力，实现法学教育的培养目标
在培养法学学生时，法律思本文由收集整理维能力的培养相当重要。“法学专业课讲授法律思维内容，法律逻辑学讲授法律思维形式和规律，各有侧重，但在培养和提高法科大学生的法律思维能力，对学生进行法律思维训练时，法律思维形式和法律思维内容彼此相依，形式离不开内容，内容也离不开形式”[1]。法律逻辑学这一注重法律思维形式、方法和规律教学的学科能够为学生更好地学习法学，理解更深层次的法学内涵，解决实际问题提供强大的后盾。
（二）法律逻辑学有助于提高学生表达和思维的严密性
法律工作者离不开说话和写文章，包括法律文书、学术论文、著作等。如检察人员要提起公诉，写起诉书，参与现场法庭辩论；审判员要参与审判活动，理解辩论双方的陈词和话语要义，制作判决书等；律师要撰写辩护书、当庭辩驳、询问证人等。将来需要从事法律工作的学生，在口头表达和论证过程中必须做到严密、准确，以维护涉案当事人的合法权益，维护法律的公正性和权威性。
（三）法律逻辑学有助于提高学生的法律论辩、识别谬论和驳斥诡辩的能力[2]
合乎逻辑的推理与论证乃是法律思维方式正当性与有效性的前提与保证。“理性法律论证概念的说明是要通过对一系列规则和形式加以阐述来进行的，论证必须遵循这些规则并且必须采用这些形式，以使其所提出的要求得到满足”[3]。法律工作者在开展法律活动时，通常要通过论证自己的观点以及驳斥别人的观点来进行。法律逻辑学的知识，一方面能够通过事实性的根据和充分的理由来证明自己在立法主张、法律规范、法律解释或法律学说理解中的正确性；另一方面能够发现别人语言中或者论证过程中的错误，甚至能够拆穿别人的诡辩，有效地进行反驳。
（四）法律逻辑学能为学生提供实用的逻辑知识和逻辑方法，用以解决现实法律问题
法律逻辑学提供的不是具体的科学知识，而是方法和手段，其中之一就是能够提高人们的推理能力，由已知探求未知，这对法律工作的开展有着独特的作用。例如，在侦查工作中，犯罪分子为了使自己逃脱法律的制裁，往往采用非常隐蔽的方式，有时候甚至故意制造假象、销毁犯罪证据，说谎等，因此，侦破工作就比较困难。我们必须在占有事实材料的基础上，通过一系列的侦查假设、逻辑推理和事实证明等来实现。在此过程中，法律逻辑学的知识能够为这些工作提供武器，帮助侦查人员理清思路，步步推演，最大程度准确地完成侦破工作。
二、法律逻辑学教学中存在的问题
（一）课程的技能性得不到发挥
一般高校法律逻辑学课程的学分为2学分，课时量在32课时左右。法律逻辑学的内容较为抽象，许多知识都是抽象化的符号和公式，在讲解过程中需要耗费较多时间让学生的思维实现由实质到形式的转化。所以，受课时的限制，教师在教学过程中主要集中精力讲解逻辑学的基础理论知识，课堂练习的时间较少，许多学生课堂上理解了基础理论知识，但印象很浅，时隔一星期就忘记，案例教学无法得以展开。逻辑学课程是传授方法的学科，学是为了用，而现实中因受课时的限制、练习的缺乏，学生往往无法实现学以致用，理论的掌握不能成为技能用以解决司法实践中的问题，知行脱节。
（二）轻视其涉法领域的特质
法律逻辑学是一门交叉学科，它首先是一门逻辑学，另外它还是一门具有特殊性的逻辑学应用学科。目前，逻辑学教材大多偏重一般逻辑学的知识，而轻视它与法学的结合，应用于司法活动过程的知识。法律逻辑的教学模式一般是先讲解形式逻辑的基础知识，而后在此基础上与法学知识相结合，阐述涉法思维活动中的特殊思维形式和规则。然而由于前一部分形式逻辑的教学已经耗费了较多课时，导致后半部分涉法思维的讲解只能草率一些，如侦查逻辑、法律规范逻辑等。“法律逻辑学科体系，应围绕法律思维方式有的放矢，选取与法律人实际思维密切相关的逻辑内容，结合办案思维与大陆法系法律推理模式，汇集法律逻辑内容”[4]。但现有情况是教师在讲解基础逻辑知识时，没有突出其在涉法思维领域中的运用。从整体来看，该课程丧失了其涉法思维的特色。
（三）有脱离经验生活的取向
法律逻辑学更多地关注形式上的、符号化的知识无可厚非，这是本学科存在和推演的基础。但是过于强调形而上学的思辨也难以实现法学教学和法学应用的目标。人们之所以走法律程序的途径，一般而言是为了解决双方或多方无法解决的问题，运用法律维护自身的合法权益，因此，单纯形式上的思辨无法达到相应目的，解决现实纠纷。在法律逻辑学教学中，比较重视知识的灌输、形式的推演和论证辩驳，却较少地与司法实践中的素材和需要相结合。
三、法律逻辑学教学改革思路
（一）让学生认识到法律逻辑学的重要作用，培养并保持学生对法律逻辑的学习兴趣
法律逻辑学是法学专业的必修课程，它所教授的知识在法学专业学习和实践的全过程都具有重要价值。词项逻辑和命题逻辑等，对具有最强规范性和约束力的法律文件的制定和完善具有重要意义；归纳推理和侦查逻辑等对侦查人员办案的法律思维有重要的引领作用；法律规范命题和法律论辩逻辑等对庭审中双方辩论的进行具有较好的指导作用。从最具现实性的角度出发，在学生就业时，我国许多地方在公务员考试时，各用人单位的初次能力测试中都有许多需要运用法律逻辑学知识的考题。凡此种种，目的都是为了让学生明确这门学科的重要性，调动其学习的积极性。在课堂教学中，教师除了深入浅出地讲授理论知识外，还要广泛搜集与法律逻辑学相关的案例，运用到教学当中，加强课堂知识性和趣味性的结合。无论是课堂的导入还是案例的使用都要讲究一定的技巧和艺术，防止枯燥无味的符号化信息降低学生的学习兴趣。
（二）重视一般原理的同时，注重涉法思维的训练
首先，要完成逻辑学一般原理的教学，思维形式、思维规律以及简单的逻辑方法都是人们在实践过程中总结概括出来的，具有普遍适用的价值。在讲解逻辑学一般原理时，既要将知识讲解透彻，也要有相应的配套练习，使学生学会举一反三。其次，要特别重视法律逻辑学中特有思维的训练。“一方面，法律逻辑将逻辑学的基本知识和基本原理应用于法律与司法活动过程，从而探讨涉法思维活动的一般逻辑形式与逻辑规律；另一方面，法律逻辑要结合法律与司法活动思维的特殊性，研究涉法思维活动的特殊思维形式及其合理性规则”[5]。简言之，既要学习逻辑学的一般知识，也要学习其在法律领域的特殊形式和规律的逻辑理论，使逻辑学知识与法律能够完美结合，为法律实务提供科学方法。
（三）逻辑与经验相结合，培养学生解决实际问题的能力
法学学科与现实联系十分紧密，从立法到司法再到执法，每一步都要面对和解决社会上纷繁复杂的纠纷，这些既需要法律从业者具有丰富的逻辑学知识和超强的思辨能力，同时也需要法律从业者积累丰富的社会经验，具备解决现实中复杂问题的能力。因此，在法律逻辑的课堂教学中，要着力培养学生独立思考的能力，从多方面、多角度分析问题、解决问题的能力，还有法律论辩能力等。这些能力的培养，一方面倚仗逻辑学的思维形式、规律和逻辑方法，另一方面需要社会经验作为支撑。因此，教师可以带领学生搞社会调查，参与侦破工作的分析过程，旁听法院庭审等，让学生在获取间接经验的同时尽可能多地获取直接经验。
逻辑推理定律篇10
[论文关键词]勃克斯因果陈述逻辑哲学性因果蕴涵
一、勃克斯及其因果陈述逻辑
“因果陈述逻辑”这一概念是由美国当代哲学家、计算机科学家阿瑟·勃克斯(arthurwalterBurks)首创的。勃克斯对科学哲学和归纳逻辑研究有着较大的贡献,他提出了自己的归纳概率理论,建构了因果陈述逻辑系统,成为归纳逻辑研究的独树一帜的理论。
勃克斯最具有代表性的重要理论成果是1977年出版的阐述其因果陈述公理系统的专着《机遇、因果和推理》。关于因果陈述逻辑(theLogicofCausalStatements)的理论与方法,勃克斯在这部着作中进行了详尽地说明。他在引申并深化刘易斯关于严格蕴涵与模态逻辑思想的基础上,将其应用到因果性模态问题之中,并将模态形式分为两大类:逻辑模态与因果模态。四个逻辑模态符号分别为:逻辑必然“”、逻辑可能“”、逻辑蕴涵“”、逻辑等值“?圮”。与此相对应,他创新性地提出了四个因果模态符号,分别为:因果必然“c”、因果可能“c”、因果蕴涵“c”、因果等值“?圮c”。与逻辑模态符号成立的形态——逻辑可能世界相类似,勃克斯提出了“因果可能世界”。因果可能世界的提出,不仅标志着一种新的模态形式的诞生,也为我们研究因果问题及其相关理论提供了一个新的思路。
因果陈述逻辑的公理系统继承了经典逻辑的核心内容。它由一个非模态性的一阶逻辑演算(或者不包含等词的一阶函数演算)加上一组关于逻辑形态的模态词(“必然”、“可能”)以及一组关于因果形态的模态词(“因果必然”、“因果可能”)的演算而构成。因果陈述逻辑的公理系统主要由语法、公理、证明和定理组成。在该形式系统的语法中,勃克斯分别对因果可能、因果蕴涵等重要的逻辑概念进行了定义。比如,因果可能的定义:c?椎=df~c~?椎,因果蕴涵的定义:?椎c?追=dfc(?椎?劢?追)。关于因果陈述逻辑系统的公理,勃克斯将它们分为三类,即真值函项公理、量词公理和模态公理。由于在该系统中判定真值函项公理和量词公理的方法与步骤和经典逻辑一致,故此不赘述。因果陈述逻辑与模态逻辑密切相关,如果说经典逻辑是这一形式系统的框架,那么模态逻辑便是该理论系统的精髓和亮点,二者缺一不可。而因果陈述逻辑的模态性以及模态算子的本质特征也恰恰是通过模态公理体现出来的。比如,模态公理?椎?劢c?椎(逻辑必然蕴涵因果必然)和c?椎?劢?椎(因果必然蕴涵实然)。我们看到,这两个公理是按照模态的强弱来排序的,前者表示逻辑必然性强于因果必然性,后者表示因果必然性强于实然性。二者是“必然性是分等级的”这一哲学指导思想在因果陈述逻辑中的具体体现。在语法和公理的基础上,勃克斯对证明和定理进行了定义。从表面上看,证明和定理的内容无非是对经典数理逻辑中一些概念的简单重复。但是,值得注意的是,勃克斯的创新之处就在于他将这套理论搬到了带有因果必然算子(c)的因果陈述逻辑的系统中,并且十分适用,用勃克斯本人的话说,“一个演绎论证的普遍概念在我们的形式语言(因果陈述逻辑)中根据有前提的证明而得到了模拟”。
二、因果陈述逻辑的哲学意蕴
(一)因果陈述逻辑的哲学基础
任何一个逻辑系统或者逻辑理论都必须包含蕴涵,也就是说,没有无蕴涵的逻辑系统或理论,勃克斯构建的因果陈述逻辑系统也不例外。在因果陈述逻辑理论中,因果蕴涵是该形式系统的重要内容,也是它区别于其他形式系统的主要标志。勃克斯对因果陈述逻辑的构造就是从对因果蕴涵的描述和刻画开始的。因此,分析因果陈述逻辑这一逻辑系统的哲学基础,关键就在于正确地理解和把握因果蕴涵的哲学性质。
因果蕴涵(?椎c?追)反映了事物情况?椎和事物情况?追之间的一种因果条件联系,?椎是原因,?追是结果。所谓原因,是指这样的现象:它产生某一现象并先于某一现象。所谓结果,是指原因发生作用的后果。同时,?椎和?追之间也是一种蕴涵关系,这种蕴涵不是传统意义上的实质蕴涵、严格蕴涵等蕴涵形式,而是能够刻画因果虚拟句的蕴涵类型。勃克斯创造它的目的就是为了解决因果条件句和因果模态陈述句的形式化问题。根据勃克斯的因果陈述逻辑理论,因果蕴涵的蕴涵强度介于逻辑蕴涵(严格蕴涵)和实质蕴涵之间,这一点也是勃克斯对包含“因果”算子在内的诸如因果等值、因果必然、因果可能概念进行强度界定以及因果陈述逻辑系统中对某些公理、定理及公式进行排序的基础和来源。从这一意义上说,因果蕴涵不仅是勃克斯因果陈述逻辑理论的一个重要概念,而且由于它兼有因果性和蕴涵性这样的双重特性,因此对因果蕴涵的哲学特征进行分析,具有重要的意义和作用。
在勃克斯看来,因果蕴涵克服了传统蕴涵类型的缺点,能够准确地对因果虚拟句进行形式化地表述。我们认为,它之所以具有这样的作用,根本原因在于它的两个特性(上面已经提到)——因果性和蕴涵性,这也是我们对因果蕴涵进行哲学分析的两个切入点。
第一,因果性是因果蕴涵区别于其他蕴涵类型的哲学本质。事物之间的因果联系是普遍的联系,也是必然的联系,原因和结果在时间上总是前后相继的,这是科学中的因果律,是不能更改的。对于日常生活中大量出现的因果虚拟句(反事实条件句),其前件是假的,但前件与后件之间却有着真实的联系,即已知的一个空类与另一个类之间有真实联系。我们认为,这种真实的联系就是因果联系,符合因果联系的普遍性。正因为用自然语言表达的因果虚拟句需要我们用与其相符合的人工语言(逻辑语言)进行刻画,而实质蕴涵等蕴涵类型的前后件并不能恰当地表达这种反事实的因果联系,于是勃克斯对这些经典蕴涵形式进行了改造,提出了因果蕴涵。也就是说,在反事实条件句中,如果某个事物情况?椎不发生,那么另外的事物情况?追就一定会发生。?椎与?追之间的这种因果联系决定了前后件之间纯粹的充分必要联系已经不再适合对它形式化和符号化的需要,于是勃克斯找到了因果蕴涵这样一种新的蕴涵类型。
第二,蕴涵性是因果蕴涵的一般哲学特征。如前所述,蕴涵总是逻辑系统中的蕴涵,从这一意义上说,逻辑系统的区分就在于它所包含的蕴涵词的区分。因此,因果蕴涵是因果陈述逻辑系统的主要标志。勃克斯以“必然性是分等级的”这一哲学思想为指导,对因果蕴涵以及因果必然性等概念按照强弱进行了等级划分,这也是他构建因果陈述逻辑的语形结构的基础,这是蕴涵性所具有的一个哲学表现。另外,因果蕴涵所具有的蕴涵的一般性质,比如前后件的真假对蕴涵式真假的制约情况等,是勃克斯能够将它与逻辑蕴涵、实质蕴涵进行比较的理论依据。我们对因果蕴涵进行哲学考察,其蕴涵式前后件之间的真假制约关系是很重要的一个方面。通常人们都认为,蕴涵是对实际推理中“条件命题前后件关系”的刻画或反映,不同的蕴涵词所刻画的是条件命题前后件关系的不同侧面。其中实质蕴涵就是条件命题前后件之间的真假关系的逻辑抽象。也就是说,与实质蕴涵相比,因果蕴涵能够运用其蕴涵形式来刻画反映反事实条件命题前后件之间的真假制约关系,它是这类命题前后件之间真假关系的逻辑抽象。
综上所述,因果性和蕴涵性是构成因果蕴涵的两个元素,也是因果蕴涵具有哲学性质的具体表现。在勃克斯的因果陈述逻辑理论中,随着因果蕴涵的应用性不断增强,其内在的哲学性也会越来越明显地体现出来。
(二)因果
陈述逻辑的哲学启示
因果陈述逻辑是勃克斯归纳逻辑思想体系中一个非常重要的部分,为他的归纳逻辑理论指引了正确的方向,而勃克斯的归纳逻辑理论则为因果陈述逻辑系统的发展和深化奠定了坚实的基础。因此,对勃克斯的因果陈述逻辑理论进行研究,是一件非常有意义的事情,而笔者也从这一研究过程中,得到了一些启发。主要表现在以下两个方面:
其一,因果陈述逻辑的提出及发展过程不仅是对归纳问题的合理性进行辩护的一个重要表现,而且是对归纳逻辑所具有的强大的认知功能逐步提高的一个重要反映,同时也说明现代归纳逻辑具有深厚的认识论基础。早在1951年,勃克斯就已经提出了因果命题逻辑的形式系统,但是当时没有能够对这一逻辑系统作出恰当的语义解释,所以该形式系统仅停留在语形结构方面。后来由于可能世界语义学理论的发展,为勃克斯提供了一种非常有效的解释工具,从而使他较为成功地解释了因果陈述逻辑系统。这一成果的意义在于:不会被看成仅仅是真值函项逻辑和古典模态逻辑的人为扩充。由此可以看出,任何理论都是一个发展的过程,因果陈述逻辑也不例外。我们在前面的内容中曾经提到,用于解释该系统的语义学理论——因果可能世界语义学,从模态逻辑的观点看,它是因果化的可能世界理论,即使得可能世界语义学增加了因果的性质,这是对它的基本理解;从更深层次的意义上讲,它是勃克斯对因果陈述逻辑所具有的科学认知功能的一次挖掘和提高。传统的归纳推理对因果必然性的证明是不严格的,很多是赋予经验的直观形式,勃克斯建构因果陈述逻辑的目的就是为了形成一套证明因果必然律的方法,它的最大特点就是因果必然性规律先验概率的确定,而用来测定因果必然性规律的恰恰是以三种世界类型(逻辑可能世界、因果可能世界和现实世界)为依托的。因此,从这一意义上说,因果可能世界以及“因果必然性”等一系列思想和理论的形成,是因果陈述逻辑对人们的认知能力的一次检验,对于探求科学陈述之间的因果联系,进而对科学理论做出因果可能性的推断有着重要的作用。
其二,因果陈述逻辑的深层次问题在其哲学方面,具体而言,它表现为因果蕴涵的普遍适用性问题。我们知道,科学中的因果律指的是原因和结果在时间上总是前后相继的,原因总是在结果之前,结果总是在原因之后。但是,有先后关系的现象之间并不一定都有因果联系,关键在于结果必须与原因之间具有必然的联系。因此,寻求现象之间的因果联系是一个十分复杂的过程,涉及到各种各样的因素,而勃克斯的因果蕴涵不可能涵盖所有的因果联系样式,即它不可能反映如此丰富的因果联系内容,它只能反映因果联系中最一般的本质特征,主要表现为因果律。从时间的角度看,因果关系的内在特点是:原因在时间上要先于结果。而勃克斯已经意识到了这一点,于是他构建的因果陈述逻辑是将因果关系的这一时间因素包括在内的,这一点通过他对因果模型的构建就可以看出来。这充分说明勃克斯将因果联系与一般的条件联系严格地区分开来,定义了因果律、因果倾向句、自然律,并分别对它们进行了形式刻画,从而丰富了他的归纳逻辑思想,使其归纳逻辑理论向全面化的方向迈出了重要的一步。
三、因果陈述逻辑的哲学认知价值
二十世纪四五十年代以来,人类真正进入科学认知与知识创新的时代,纯粹的演绎和简单的归纳都不再适用于科学创新与技术发现的需要,不再满足知识快速更新的要求,在这样的大背景下,广义归纳逻辑、广义认知逻辑和广义模态逻辑迅速地发展起来,并出现了三者交叉的认知发展动向。而归纳逻辑是以归纳推理和归纳方法为基本内容的知识体系,其结论超出了前提所断定的范围,因此,从认知方法论的角度看,归纳推理比演绎推理更具有认知趋向与价值,它不仅能帮助人们拓宽自己的认知视野,还能对知识前景进行科学预测,从而在知识创新方面具有巨大的优越性。与古典归纳逻辑所擅长的性质判断相比,现代归纳逻辑尤其是因果陈述逻辑在知识认知与科学理论创新方面的价值更为突出,主要体现在三个方面:
其一,因果陈述逻辑对于解释或者预见事实具有重要意义。它可以从理论命题推演出事实命题,或者是解释已知的事实,或者是预见未知的事实。这种推演的步骤是以公理、定理、假说等作为理论前提,再加上某些初始条件的陈述,逐步推导出一个描述事实的命题。
其二,因果陈述逻辑的核心概念是因果蕴涵。比较重要的逻辑推导关系是从逻辑蕴涵推导因果蕴涵,再从因果蕴涵推导出实质蕴涵。也就是说,这种推导过程
就是从具有逻辑必然性的规律或者理论陈述中推导出具有因果必然性的因果律陈述,进而推导出事实陈述,其本质就是一种科学理论的创新。