二、法律逻辑学教学应实现形式逻辑与非形式逻辑的互补
三、法律逻辑学教学应强调法律论证的合理性
综合性高校仅开设“逻辑学导论”在课程设置上，中国政法大学属于相对比较完善的，除了为本科生开设“逻辑学导论”之外，还开设了诉讼逻辑、法律逻辑和侦查逻辑等。但是一个学校的课程完善不代表整个中国的高校都具有这样的课程设置。一般的综合性大学的法律专业仅开设“逻辑学导论”这一门课程作为法律逻辑学的基本理论，同时在教材的选择上也不尽如人意。一方面受到课时数的限制，仅仅对逻辑学在法学中进行生搬硬套，这样的教学结果就是学生对逻辑学稍有理解，对法学理解也不是很深，在两者的结合上简直就是在云里雾里，摸不着头脑，这样的“人才”走向社会可以为社会带来怎样的效果呢？这种形式的授课，讲述的都是普通逻辑学的内容，没有突出法律的科学性，也没有深入考虑法律内部的问题，肤浅得很。
第二，对于法律和逻辑结合所产生的“法律推理”的讲述让人十分诧异，要么抛开法律讲推理，要么抛开推理讲法学，这样的课程设置简直让人发笑。有的人说“实质法律推理”也叫“辩证推理”。而事实上“实质法律推理”的根据并不是取决于推理的逻辑问题，而是推理之前的事实依据，应该属于“内容推理”。还有的教科书认为“个案适用推理”、“民事责任划归的推理”等其他责任划归推理都划归到法律逻辑学里。这种想法本身就是错误的，是对于概念的混淆。
第三，存在大量法律逻辑学属于不规范以及分类偏差的错误，这样的错误是由于不能坚持以“逻辑学”为研究基础，必然会把法律逻辑术语搞混，造成不规范和分类错误的情况。通过以上分析可以发现，对于法律逻辑学的教学在讲“法律辩证推理”时却去讲“实践推理”和“实质推理”，并且不重视法律逻辑学的法律的主体地位的情况，在进行法律逻辑学的讲授过程中需要进行纠正的。
二、法律逻辑学教学改革方案
通过笔者研究，在解决法律逻辑学教学中存在的问题上可以有以下几种解决方案。
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.3活动过程
3.3.1准备工作人员准备：活动参与人员从2012级本科大队7个开设普通逻辑学科目的班级中选出20名学员分两次参加此项活动。活动地点准备：新疆警察学院北校区1号教学楼二楼全部行政班级教室（202~208）。（注：活动当天需学生处领导配合安排各区队教室）活动器具准备：根据设计关卡，列出项目活动器具清单，上交至基础部综合教研室教师处审核，统一配备。(注：因活动设计需要向警体训练部借用手铐)
3.4活动总结通过这种多样的实践教学活动，最大程度地锻炼参加者的观察能力、逻辑推理能力、抽象思维能力，以及团队协作能力。无论是推出了成功经验还是发现了存在的不足，都会对学院的本科实践教学模式产生积极的影响，这类实践教学活动可长期坚持下去，并在实践中不断改进和完善。
四、总结
（二）推理真。这是指推理中前提真和结论真之间的关系。演绎推理前提真结论必然真，归纳推理和类比推理前提真而结论是或然性真。因此推理真就是推理中的结论相对于前提是必然的真或者是或然的真。这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价。
（三）指派真和赋值真。在逻辑学中（特别是在现代逻辑中）把命题形式当作真值形式，而且只从真假的角度研究每一种命题形式的逻辑特征，真和假是命题的唯一属性。逻辑真在这里指这些真值形式和其中的变项与公式的真假，这时的真假和具体命题内容的真假无关，而只是一种假定的真假和根据这种假定而推论出的真假。
（四）形式真。这是指永真式（重言式）或普遍有效式的真。逻辑学中有一类公式，对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这类公式的真是一种逻辑关系的真，例如：P或者非P中不管变项P赋真值或是假值，这个公式都是真的。
（五）系统真。现代逻辑建立了形式系统，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整个系统便是可靠的和一致的，这种可靠性和一致性就是一种系统的真。
所谓逻辑真理是一种特殊的真理，是一种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真，它需要我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们日常生活中所说的真理是有区别的。
恩格斯认为：全部哲学特别是近代哲学的重大基本问题，是思维与存在的关系问题。它包括两个方面的问题，一方面是思维与存在何者为本原的问题；另一方面是思维和存在有无同一性的问题，也就是我们的思维能否认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度来看，其重大的基本问题就是逻辑与客观现实的关系问题，任何逻辑学家都要回答：逻辑真理是否与客观现实一致？逻辑真理与事实真理之间又有什么关系？
关于这个理论问题，亚里士多德在其所著《形而上学》一书中明确提出并详细论述了逻辑基本规律（矛盾律与排中律）。在谈到矛盾律时认为，事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律，是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性，其根据就是真理符合现实的理论，即所谓真理符合论。它在解释真与假这对概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。按照真理符合论，一切真理必需与现实一致，逻辑真理也不能例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。
莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。
数理逻辑问世之后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，由此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来，凡是先天的都是分析的；反之，凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为，哲学家们常常区分两类真理，某些陈述的真理是逻辑的、必然的、根据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。
1933年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。
综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。
认识论认为，真理是客观事物及其规律在人们思维中的正确反映。同样逻辑真理也是客观世界规律性的反映。列宁指出，人的实践经过千百万次的重复，它在人的意识中以逻辑的格固定下来，而最普遍的逻辑格，就是事物被描述的很幼稚的……最普遍的关系。列宁认为逻辑的公理、正确的推理形式是事物最普遍的关系，是由人们实践中千百万次的重复而反映和巩固在意识中。列宁说的最普遍的逻辑格是指三段论推理的正确形式。在这一点上我们说逻辑真和事实真是相容的，事实真是基础，逻辑真是建立在事实真基础之上的，二者是一致的，但是逻辑真理与任何具体的经验事实无关。
第一，逻辑系统的公理和定理的真是逻辑系统设定，其为真的根据是某种初始的逻辑关系。第二，逻辑公理和定理经过解释的真命题，其为真不取决于解释中的内容，而取决于这些公理、定理所显示的逻辑关系。第三，逻辑推断关系这种推论的结论真是一种逻辑关系真。第四，根据逻辑联系词的性质，由逻辑真得到逻辑真。如：A、B是逻辑真命题，那么A并且B、如果A那么B都是逻辑真命题。第五，数学中的逻辑真命题，是建立在公理演绎基础之上。以上这些逻辑真由于逻辑的原因或者逻辑关系而真，在这一点上我们可以说，在局部意义上，相对于特定的逻辑系统而言，逻辑真理可以说是分析的，是以逻辑意义为根据的，而与任何具体的经验事实无关。
逻辑真理和事实真理的关系是：事物之间的关系显示一定的逻辑关系，也是逻辑真的基础。逻辑真理在某些方面与事实真理是一致的，但是在另一方面，逻辑真理又与事实真理不是一致的，逻辑真理和事实真理之间是一种交叉关系。逻辑真理既具有绝对性又具有相对性，有些逻辑关系是绝对的真，但是另一些逻辑真理是相对的真。逻辑真理之所以为逻辑真理，不是由于它们揭示了事物的本质事物或事物的普遍性，而只是涉及到逻辑自身，只根据逻辑自身而成立。逻辑真理的必然性需要在逻辑自身中去寻找，而不能在现实中寻找。
从已知命题A1，A2，…，An。出发，按一定规则推得一个新命题B的过程，称为推理。根据新课程教材的说法，如果p成立，那么q一定成立，记作p=>q，是指由命题P成立经过推理可得出命题q成立。此时，命题P称为前提，命题q称为结论。
但是，推理的前提与结论是否真实，是属于推理内容方面的问题，不是逻辑应该回答的。
例如，无理数是实数，分数不是无理数，所以，分数不是实数。
这个推理的两个前提都为真，但推理形式不正确，因此，这个推理是一个不合乎逻辑的推理，并且，上述推理的前提与结论之间没有必然的联系，违反了推理规则。
数学推理形式“p=>q”，不仅要求推理形式正确，而且要求推理的前提与结论之间要有必然的联系，也就是说，它的“前提内容”与“结论内容”要有实质意义上的联系。这与一般的逻辑推理是不一样的。
在逻辑学中，命题“若P则q”，表示两个命题P、q用逻辑联词“若……则……”联结起来得到的新命题。这个命题记作p=>q，称为p、q的蕴涵式。也称为充分条件假言判断。它是用来断定某一事物情况存在是另一事物情况存在的条件判断。什么是充分条件？两个命题p、q，如果有P必有q，那么，P就是q的充分条件。有时，称P为前提条件，q为结论.
而数学命题“若P则q”表示的蕴涵关系，不仅要涉及形式也要涉及内容，它是一种因果关系。由上分析可知，仅仅从形式上分析，数学命题不一定是因果关系。
例如，⑴如果m>0，bn>0，那么m+n≥2
，
⑵如果两个角是对顶角，那么这两个角相等。
⑶如果两个角不是对顶角，那么这两个角不相等。
⑷如果11
从形式上分析，上述四个命题都是真的，但从数学内容上分析，⑴、⑵为真，而⑶、⑷为假。
命题p、q的真假值与命题“若P则q”的真与假之间的关系可用下图表示：
命题“若P则q”的真值表
pqp=>q
001
011
100
111
表中“1”表示命题为真命题，“0”表示命题为假命题
从表中我们可以看得出，命题“若P则q”的真与假只考虑前提条件、结论的真假值在形式上的意义，而不管它们在内容上的联系。
由上所述不难看出：
1.推理形式“p≥q”与命题“若p则q”不一样。
推理“p=>q”要求前提条件真，结论真，一定有“p=>q”，为真。不会有第二种情况。而命题“若P则q”有四种情况，其中有一种情况使命题“若p则q”为假（见上表）。因此，推理形式“p=>q”与命题“若P则q”是不一样的。
2.推理形式“p=>q”与命题“‘若P则q’为真”不一样。
使得命题“若P则q”为真有三种情况，这三种情况中，不管哪一种情况出现，那么命题“若p则q”为真。
第一种情况：前提条件为假，且结论为假；
第二种情况：前提条件为假，而结论为真；
第三种情况：前提条件为真，且结论为真。
也就是说，命题“若P则q”中，如果前提条件命题P假，且结论命题q假，一定有“若P则q”为真，这与推理“p=>q”要求前提条件真，结论真，不一样；同样，如果前提条件p为假，而结论q为真，一定有“若P则q，”为真，这与推理“p=>q”要求前提条件真，结论真，也不一样；只有第三种情况，前提条件P为真，且结论q为真，一定有“若p则q”为真，这与推理“p=>q”要求前提条件真，结论真的要求是一样的。也就是说，命题“若P则q”为真的三种情况中，只有一种情况保证前提条件真，结论真。
因此，推理形式“p=>q”与命题“若P则q”为真有三种情况是不一样的.
在第三种情况中，如果反过来，会有什么结果呢？也就是说，如果命题“若P则q”为真，且命题P真，那么会有命题q真吗？这是正确的。
此时的逻辑形式是：（p=>q）^p=>q。
要正确运用这个规则，必须保证前提p是正确的，前提P不真实、不正确，不能保证推出正确的结论q。如果得出错误的结论，用以指导我们的行动，将导致严重失误。
3.推理形式“p=>q”成立，一定有命题“若p则q”为真”。
如果推理形式“p=>q”成立，说明前提条件p真，结论q真。对照命题“若p则q”真值表，知道前提条件p真“1”，结论q真“1”，此时命题“若p则q”为真“l”成立。
4.命题“‘若P则q’为真”成立，不一定有数学推理形式“p=>q”。
如果命题“若P则q”为真。
第一种情况：前提条件p为假，且结论q为假。这时，没有数学推理形式“p=>q”
例如，命题“若3>4，则2=3”，
按照真值表，它是真命题，但是在数学学习中，我们不能说“3>4=>2=3”。
第二种情况：前提条件p为假，而结论q为真。这时，没有数学推理形式“p=>q”。
例如，命题“若3>4，则1=1”，
按照真值表，它是真命题，但是在数学学习中，我们不能说“3>4=>1=1”。
第三种情况⑴：前提条件p为真，且结论q为真，但前提与结论没有实质的联系。这时，没有数学推理形式“p=>q”。
例如，命题“若3q”。
第三种情况⑵：如果前提条件p为真，且结论q为真，且前提与结论有实质的联系。这时，有数学推理形式“p=>q”。
例如，命题“若ABC是一个平面三角形，则么∠A+∠B+∠C=180”’，在逻辑学上，符合思维形式正确、前提与结论内容都是真的，因而它是逻辑学上的真命题；在数学上，它的前提内容与结论内容有实质意义上的联系，所以能作为数学上的真命题。因此，有数学推理形式“p=>q”
由上分析，命题“‘若p则q’为真”成立，不一定有数学推理形式“p=>q”。只有命题“若p则q为真”，既符合逻辑上的要求，又符合前提、结论具看实质意义上的内在联系时，才能有数学推理形式“p=>q”。才是数学的真命题。
综上所述，“p=>q”与“若p则q”的关系是：
1.命题“‘若p则q’为真”，不一定有“p=>q”；
若有“p=>q”则命题“若p则q”为真。
数学中的“若p则q”（即因果关系p=>q），可以表示为逻辑学中的“若p则q”；但并不是一切的逻辑学中“若p则q”都可解释为数学中的“若p则q”。
把“p=>q”与“若p则q”简单地认为一样是不对的。
司法理性在本质上又是一种实践理性,这体现在以下几个方面:首先,司法理性的存在是基于司法实践客观存在的制度性事实,法官面对的是各种活生生的社会现实,他要做的就是运用理性解决这些现实发生的社会矛盾。法官的司法实践解决的都是活生生的社会问题。其次,法官的司法理性只能通过司法实践才能得以表现出来。审判当中法官运用的方法更多的是实践的方法,而非单纯的科学方法。再次,司法理性与实践的作用是反复和循环的。理性的获取、提升和实现都离不开实践活动,理性反过来对实践的方法和方式产生影响,司法实践对于司法理性来说是决定性的。从法官的角度来看,即使最简单的案件也绝不是“1+1=2”的过程。法官的经验在司法理性中占有极其重要的地位,法官在处理具体案件时所练就的一些技艺,包括驾驭庭审、参与调查、展开询问、主持调解、撰写判决等,在法庭之外是无法达致的。这些技艺因人而异,各有千秋,充分体现了司法理性的实践性特点。④
二、法律推理中的司法理性
法官在司法过程中通过法律推理来进行论证说理,在多种相互竞争的论据和理由之间进行权衡和取舍并获得最佳选择的过程,也是彰显司法理性的过程。法律推理首先体现了司法形式理性。在我国,“以事实为根据,以法律为准绳”、“由法官独立审判案件”等正是将待决案件事实置于法律规范构成要件之下,以获得特定判决的一种逻辑思维过程,也就是以法律规范为大前提、案件事实为小前提、最后得出判决结果的推理过程。这一法律推理所反映的基本思维模式就是司法三段论,它是“一种利用演绎推理中的涵摄特点把法律作为大前提,事实作为小前提,法官根据大前提与小前提之间的逻辑涵摄关系进行的推理。”⑤这种演绎推理所体现的司法形式理性是显而易见的,因为法律本身是人们理性思维的产物,理性思维无法脱离逻辑思维而存在,尤其是像我们这样的成文法国家,法律制度以条文的形式体现出来,要把这些抽象的条文和纷繁复杂的具体案件事实加以对应起来,通过逻辑演绎方式进行形式论证是至为有效的。在法律形式主义看来,司法三段论是以逻辑为基础而建构起来的,逻辑是司法三段论的重要工具,它对于实现司法裁判的确定性、一致性和可预测性发挥着极其重要的作用。
法律推理的这种实践理性虽然不排除个人价值判断、个人的利益主张与要求,但它要求法律推理主体应该使个人的主张和意见具有可普遍化的性质,因为只有可普遍化的理由才能为各方所接受,使个人的利益主张具有正当性。作为一种实践理性活动,法律推理“既是一个社会化的过程,又是一个非常个性化的过程。说它是一个社会化的过程,是指任何行为的选择都是存在于一定的社会关系之中,任何行为最终都必须与他人发生关联,都必须接受一定的社会评价;说它是一个个性化的过程,是因为行为的选择最终是由行为者自己做出的,根本上取决于对自身行为目的的认识和把握”。⑨法律推理作为法律职业者实际地处理自身与世界之间关系的活动,它是以人与人之间的社会关系的观念为范导的,是人类有目的地、能动地处理人与世界之问关系的活动。