演绎推理的逻辑要义范文

关键词:概率归纳;逻辑;概率论

概率归纳逻辑旨在以数学的概率论和现代演绎逻辑为工具构造归纳逻辑的形式演绎系统,是现代归纳逻辑的主要发展方向。

一、概率归纳逻辑的开创

18世纪40年代,休谟指出归纳推理不具有逻辑必然性,认为它只把真前提同可能的结论相联系,是主观的、心理的,不曾想到当时概率论所揭示的或然性的客观意义及其对归纳的可能应用。穆勒在《逻辑体系》中以很大篇幅讨论了偶然性问题,认为概率论只同经验定律的建立有关,而与作为因果律的科学定律的建立无关。惠威尔也对偶然性作过讨论,但与穆勒一样,并未想到把概率论应用于归纳。直到1859年,德国化学家本生(R.W.Bunsen)和基尔霍夫(G.R.Kirchoff)用统计方法分析太阳光谱的元素组成等科学活动,进一步引起科学方法论家对统计推理问题的注意。许多科学方法论家认为科学结论不是确定的,而是或然的,开始尝试把归纳还原为概率论。

最早将归纳同概率相结合的是德摩根和耶方斯。德摩根将一般除法定理和贝叶斯定理应用于科学假说。但是布尔(Boole)抓住了它的缺点,即运用贝叶斯推理给科学假说的概率带来更大的任意性,至此否定了概率归纳逻辑的方向。在70年代耶方斯作出重大开创性工作之前,这方面的工作基本趋于沉寂。耶方斯发展了布尔代数,他一方面有着关于归纳本质的方法论考虑,另一方面,他将数学应用于发展演绎逻辑的同时,也将数学应用于发展归纳逻辑。他在《科学原理》中说明:“如果不把归纳方法建立于概率论,那么,要恰当地阐释它们便是不可能的。”[1]耶方斯认为一切归纳推理都是概率的。

耶方斯的工作实现了古典归纳逻辑向现代归纳逻辑的过渡。

二、现代概率归纳逻辑

现代概率归纳逻辑始于20世纪20年代,逻辑学家凯恩斯、尼科(Nicod)及卡尔纳普和莱欣巴赫(Reichenbach)等人,采用不同的确定基本概率的原则及对概率的不同解释,形成不同的概率归纳逻辑学派。

凯恩斯将概率与逻辑相结合,认为归纳有效度和合理性的本质是一个逻辑问题,而不是经验的或形而上学的问题。他提出了“概率关系”的概念:假设任一命题集合组成前提h,任一命题集合组成结论a,若由知识h证实a的合理逻辑信度为α,我们称a和h间的“概率关系”的量度为α,记作a/h=α。并着眼于构造两个命题间的逻辑关系的合理体系,但未取得成功。而且他认为,大多数概率关系不可测,许多概率关系不可比较。但他在推进归纳逻辑与概率理论的结合上,作出了历史性的贡献,是现代归纳逻辑的一位“开路先锋”。

逻辑主义的概率归纳逻辑的代表卡尔纳普,在20世纪50年代提出概率逻辑系统,这一体系宣告了归纳逻辑的演绎化、形式化和定量化,将概率归纳逻辑推向了“顶峰”。卡尔纳普认为休谟说的归纳困难并不存在,归纳也是逻辑,并且也有像演绎一样的严格规则。施坦格缪勒(Stegmuller)指出:“2500年前,亚里士多德开始把正确的演绎推理的规则昭示世人,同样,卡尔纳普现在以精确表述归纳推理的规则为己任。”[2]演绎的逻辑基础在于它的分析性,所以,从维特根斯坦和魏斯曼(Waismann)就开始致力于把它改造为逻辑的概率概念,以使概率归纳成为分析性的。卡尔纳普完成了这一发展。他说:“我的思想的信条之一是,逻辑的概率概念是一切归纳推理的基础……因此,我称逻辑概率理论为‘归纳逻辑’。”[3]他并把此概念直接发展为科学的推理工具:“我相信,逻辑概率概念应当为经验科学方法论的基本概念,即一个假说为一给定证据所确证的概念提供一个精确的定量刻画。因此,我选用‘确证度’这个术语作为逻辑概率刻画的专门术语。”[3]与凯恩斯一样,卡尔纳普把概率1解释作句子e和h间的逻辑关系,表达式是c(h,e)=r,读作“证据e对假说h的逻辑确证度是r”。这样,归纳便是分析性的了,演绎推理是完全蕴涵,归纳推理是部分蕴涵,即归纳是演绎的一种特例。此外,卡尔纳普所想要的归纳逻辑还是定量的,他希望最终找到足够多的明确而可行的规则,使C(e,h)的计算成为只是一种机械的操作,以将他与凯恩斯严格区分开来。

20世纪30年代,莱欣巴赫建立了他的概率逻辑体系,被称为经验主义的概率归纳逻辑。他用频率说把概率定义为,重复事件在长趋势中发生的相对频率的极限。这种方法简单实用,但却带来两方面的困难。首先,上述极限定义是对于无数次重复事件的概率而言的。那如何找出一种测定假说真假的相对频率的方法呢?其次,对单一事件或单一假说怎么处理呢?所以频率说只适用于经验事件的概率,其合理性的辩护非常困难。它所面临的最大困难就是找不到由频率极限过渡到单个事件概率的适当途径。为此,莱欣巴赫建议把“概率”概念推广到虚拟的、平均化的“单个”事件,引进了单个事件的“权重(Weight)”概念,试图把理想化的单个事件的概率或“权重”事先约定与对应的同质事件的无限序列的极限频率视作同一。但这与他的初衷相背,频率论者不得不由原先主张的客观概率转向主观概率了。

对概率的前两种解释都着眼于概率的客观量度,然而对随机事件的概率预测离不开主观的信念与期望。主观主义概率归纳逻辑发端于20世纪30年代,创始人是拉姆齐(F.P.Ramsey)和菲尼蒂(DeFinetti)。它将概率解释为“合理相信程度”或“主体x对事件A的发生,或假说被证实的相信程度。”表明,如果按贝叶斯公理不断修正验前概率,那么无论验前概率怎样,验后概率将趋于一致;这样,验前概率的主观性和任意性就无关紧要了,因为它们终将淹没在验后概率的客观性和确定性之中。一个人对被检验假设的验前概率是由他当时的背景知识决定的。

主观概率充分注意到推理的个人意见及心理对于概率评价的相关性,意义重大。但是,人们在做出置信函项时,除了“一贯性”的较弱限制外,很难在多种合理置信函项间作出比较和选择。

三、概率归纳逻辑兴起的原因

概率归纳逻辑是伴随现代科学、现代演绎逻辑、归纳逻辑本身的发展而兴起的。

概率归纳逻辑兴起的原因大致有:(1)现代科学的发展。对微观粒子的运动只能采用概率的方法,因此,西方科学界出现了否定因果决定论而接受概率论的观念。(2)较完备的概率理论。特别是20世纪以来,它具备了严格的数学基础,而且被广泛应用于各种领域。(3)归纳逻辑本身要求进一步完善和精确化。人们要求对单称事件陈述对全称理论陈述的归纳支持作出量的精确刻画。逻辑的数学化,数学的逻辑化,穆勒已经注意到归纳与概率的关系,耶方斯等将归纳与概率结合。(4)以数理逻辑为主干的现代演绎逻辑逐渐成熟,从而使得一些逻辑学家热衷于将现代演绎的形式化、公理系统方法与概率论方法协调起来,以运用于归纳逻辑的研究。(5)对归纳法的合理性问题的探索。休谟的归纳问题一直是个哲学难题。现代归纳逻辑的种种体系,几乎都可以看成是对这个问题不断作出回答。上述三种概率归纳逻辑体系也无例外,都是为求得归纳推理的合理性,或对归纳论证进行改进,或把结论改成概率的陈述,使归纳逻辑被构造成演绎逻辑的一个分支,或用实用主义策略使归纳即使不是有效的,至少也有存在的理由。所以说概率逻辑是以现代演绎逻辑和概率论为工具,形式化、定量化的归纳逻辑。

20世纪50年代以后,科学技术步入一个新的阶段,概率论与数理统计、数理逻辑等相关学科取得新的发展,特别是计算机科学技术以及多学科交叉发展的趋势,使现代归纳逻辑的研究进入到一个新阶段,出现了一些新的趋势和特点。

第一,面临归纳演绎化的困难,出现了非概率化、非数量化的趋势,有的用有序化、等级化来代替,有的将定性的研究重新放到重要的位置上,有的又再度重视如模态、因果概念的结合使用等等。

第二,将主观因素与客观因素相结合,将纯逻辑研究与其他学科相结合。这就不能只限于语构层次,而要考虑语义、语用层次,就要涉及心理学、社会学等方面的研究。而且不能脱离所涉及的具体过程(实验)与学科。超级秘书网

第三,对归纳逻辑的研究与整个思维科学、信息科学的研究联系起来。归纳是一类复杂性问题,决不是单靠纯逻辑所能解决的。归纳远比演绎复杂,须与多学科结合起来进行系统研究。

第四,归纳逻辑的研究与当前的科技相互影响、相互作用。申农提出的信息论仅是相当于语形的统计信息模型。而信息的语义层次的研究都出自卡尔纳普之手,再经辛迪卡(Hintikka)等人的论作又已形成信息逻辑这一分支。这揭示了逻辑与信息科学的联系。再如,随着计算机科学、人工智能的研究进展,对归纳的研究日益受到重视。若能将人工智能与归纳结合起来,必将带来新的进展与突破[4]。

概率归纳逻辑是归纳逻辑的一个发展阶段,它大大发展了归纳逻辑,也昭示了归纳逻辑的发展机制,为我们出示了现代归纳逻辑发展的方向。

参考文献:

[1]W.S.Jevous.ThePrinciplesofScience[M].London:DoverPress,1877.197.

[2]Hintikka,J.(ed.).RudolfCarnap,LogicalEmpiricist[M].D.ReidelPub.Co.,1995.LIX.

演绎推理的逻辑要义范文篇2

18世纪40年代,休谟指出归纳推理不具有逻辑必然性,认为它只把真前提同可能的结论相联系,是主观的、心理的,不曾想到当时概率论所揭示的或然性的客观意义及其对归纳的可能应用。穆勒在《逻辑体系》中以很大篇幅讨论了偶然性问题,认为概率论只同经验定律的建立有关,而与作为因果律的科学定律的建立无关。惠威尔也对偶然性作过讨论,但与穆勒一样,并未想到把概率论应用于归纳。直到1859年,德国化学家本生(R.W.Bunsen)和基尔霍夫(G.R.Kirchoff)用统计方法分析太阳光谱的元素组成等科学活动,进一步引起科学方法论家对统计推理问题的注意。许多科学方法论家认为科学结论不是确定的,而是或然的,开始尝试把归纳还原为概率论。

最早将归纳同概率相结合的是德摩根和耶方斯。德摩根将一般除法定理和贝叶斯定理应用于科学假说。但是布尔(Boole)抓住了它的缺点,即运用贝叶斯推理给科学假说的概率带来更大的任意性,至此否定了概率归纳逻辑的方向。在70年代耶方斯作出重大开创性工作之前,这方面的工作基本趋于沉寂。耶方斯发展了布尔代数,他一方面有着关于归纳本质的方法论考虑,另一方面,他将数学应用于发展演绎逻辑的同时,也将数学应用于发展归纳逻辑。他在《科学原理》中说明:“如果不把归纳方法建立于概率论,那么,要恰当地阐释它们便是不可能的。”[1]耶方斯认为一切归纳推理都是概率的。

耶方斯的工作实现了古典归纳逻辑向现代归纳逻辑的过渡。

二、现代概率归纳逻辑

现代概率归纳逻辑始于20世纪20年代,逻辑学家凯恩斯、尼科(Nicod)及卡尔纳普和莱欣巴赫(Reichenbach)等人,采用不同的确定基本概率的原则及对概率的不同解释,形成不同的概率归纳逻辑学派。

凯恩斯将概率与逻辑相结合,认为归纳有效度和合理性的本质是一个逻辑问题,而不是经验的或形而上学的问题。他提出了“概率关系”的概念:假设任一命题集合组成前提h,任一命题集合组成结论a,若由知识h证实a的合理逻辑信度为α,我们称a和h间的“概率关系”的量度为α,记作a/h=α。并着眼于构造两个命题间的逻辑关系的合理体系,但未取得成功。而且他认为,大多数概率关系不可测,许多概率关系不可比较。但他在推进归纳逻辑与概率理论的结合上,作出了历史性的贡献,是现代归纳逻辑的一位“开路先锋”。

逻辑主义的概率归纳逻辑的代表卡尔纳普,在20世纪50年代提出概率逻辑系统,这一体系宣告了归纳逻辑的演绎化、形式化和定量化,将概率归纳逻辑推向了“顶峰”。卡尔纳普认为休谟说的归纳困难并不存在,归纳也是逻辑,并且也有像演绎一样的严格规则。施坦格缪勒(Stegmuller)指出:“2500年前,亚里士多德开始把正确的演绎推理的规则昭示世人,同样,卡尔纳普现在以精确表述归纳推理的规则为己任。”[2]演绎的逻辑基础在于它的分析性,所以,从维特根斯坦和魏斯曼(Waismann)就开始致力于把它改造为逻辑的概率概念,以使概率归纳成为分析性的。卡尔纳普完成了这一发展。他说:“我的思想的信条之一是,逻辑的概率概念是一切归纳推理的基础……因此,我称逻辑概率理论为‘归纳逻辑’。”[3]他并把此概念直接发展为科学的推理工具:“我相信,逻辑概率概念应当为经验科学方法论的基本概念,即一个假说为一给定证据所确证的概念提供一个精确的定量刻画。因此,我选用‘确证度’这个术语作为逻辑概率刻画的专门术语。”[3]与凯恩斯一样,卡尔纳普把概率1解释作句子e和h间的逻辑关系,表达式是c(h,e)=r,读作“证据e对假说h的逻辑确证度是r”。这样,归纳便是分析性的了,演绎推理是完全蕴涵,归纳推理是部分蕴涵,即归纳是演绎的一种特例。此外,卡尔纳普所想要的归纳逻辑还是定量的,他希望最终找到足够多的明确而可行的规则,使C(e,h)的计算成为只是一种机械的操作,以将他与凯恩斯严格区分开来。

20世纪30年代,莱欣巴赫建立了他的概率逻辑体系,被称为经验主义的概率归纳逻辑。他用频率说把概率定义为,重复事件在长趋势中发生的相对频率的极限。这种方法简单实用,但却带来两方面的困难。首先,上述极限定义是对于无数次重复事件的概率而言的。那如何找出一种测定假说真假的相对频率的方法呢?其次,对单一事件或单一假说怎么处理呢?所以频率说只适用于经验事件的概率,其合理性的辩护非常困难。它所面临的最大困难就是找不到由频率极限过渡到单个事件概率的适当途径。为此,莱欣巴赫建议把“概率”概念推广到虚拟的、平均化的“单个”事件,引进了单个事件的“权重(Weight)”概念,试图把理想化的单个事件的概率或“权重”事先约定与对应的同质事件的无限序列的极限频率视作同一。但这与他的初衷相背,频率论者不得不由原先主张的客观概率转向主观概率了。

对概率的前两种解释都着眼于概率的客观量度,然而对随机事件的概率预测离不开主观的信念与期望。主观主义概率归纳逻辑发端于20世纪30年代,创始人是拉姆齐(F.P.Ramsey)和菲尼蒂(DeFinetti)。它将概率解释为“合理相信程度”或“主体x对事件A的发生,或假说被证实的相信程度。”表明,如果按贝叶斯公理不断修正验前概率,那么无论验前概率怎样,验后概率将趋于一致;这样,验前概率的主观性和任意性就无关紧要了,因为它们终将淹没在验后概率的客观性和确定性之中。一个人对被检验假设的验前概率是由他当时的背景知识决定的。

主观概率充分注意到推理的个人意见及心理对于概率评价的相关性,意义重大。但是,人们在做出置信函项时,除了“一贯性”的较弱限制外,很难在多种合理置信函项间作出比较和选择。

三、概率归纳逻辑兴起的原因

概率归纳逻辑是伴随现代科学、现代演绎逻辑、归纳逻辑本身的发展而兴起的。

概率归纳逻辑兴起的原因大致有:(1)现代科学的发展。对微观粒子的运动只能采用概率的方法,因此,西方科学界出现了否定因果决定论而接受概率论的观念。(2)较完备的概率理论。特别是20世纪以来,它具备了严格的数学基础,而且被广泛应用于各种领域。(3)归纳逻辑本身要求进一步完善和精确化。人们要求对单称事件陈述对全称理论陈述的归纳支持作出量的精确刻画。逻辑的数学化,数学的逻辑化,穆勒已经注意到归纳与概率的关系,耶方斯等将归纳与概率结合。(4)以数理逻辑为主干的现代演绎逻辑逐渐成熟,从而使得一些逻辑学家热衷于将现代演绎的形式化、公理系统方法与概率论方法协调起来,以运用于归纳逻辑的研究。(5)对归纳法的合理性问题的探索。休谟的归纳问题一直是个哲学难题。现代归纳逻辑的种种体系,几乎都可以看成是对这个问题不断作出回答。上述三种概率归纳逻辑体系也无例外,都是为求得归纳推理的合理性,或对归纳论证进行改进,或把结论改成概率的陈述,使归纳逻辑被构造成演绎逻辑的一个分支,或用实用主义策略使归纳即使不是有效的,至少也有存在的理由。所以说概率逻辑是以现代演绎逻辑和概率论为工具,形式化、定量化的归纳逻辑。

20世纪50年代以后,科学技术步入一个新的阶段,概率论与数理统计、数理逻辑等相关学科取得新的发展,特别是计算机科学技术以及多学科交叉发展的趋势,使现代归纳逻辑的研究进入到一个新阶段,出现了一些新的趋势和特点。

第一,面临归纳演绎化的困难,出现了非概率化、非数量化的趋势,有的用有序化、等级化来代替,有的将定性的研究重新放到重要的位置上,有的又再度重视如模态、因果概念的结合使用等等。

第二,将主观因素与客观因素相结合,将纯逻辑研究与其他学科相结合。这就不能只限于语构层次,而要考虑语义、语用层次,就要涉及心理学、社会学等方面的研究。而且不能脱离所涉及的具体过程(实验)与学科。

第三,对归纳逻辑的研究与整个思维科学、信息科学的研究联系起来。归纳是一类复杂性问题,决不是单靠纯逻辑所能解决的。归纳远比演绎复杂,须与多学科结合起来进行系统研究。

第四,归纳逻辑的研究与当前的科技相互影响、相互作用。申农提出的信息论仅是相当于语形的统计信息模型。而信息的语义层次的研究都出自卡尔纳普之手,再经辛迪卡(Hintikka)等人的论作又已形成信息逻辑这一分支。这揭示了逻辑与信息科学的联系。再如,随着计算机科学、人工智能的研究进展,对归纳的研究日益受到重视。若能将人工智能与归纳结合起来,必将带来新的进展与突破[4]。

概率归纳逻辑是归纳逻辑的一个发展阶段,它大大发展了归纳逻辑,也昭示了归纳逻辑的发展机制,为我们出示了现代归纳逻辑发展的方向。

参考文献:

[1]W.S.Jevous.ThePrinciplesofScience[M].London:DoverPress,1877.197.

[2]Hintikka,J.(ed.).RudolfCarnap,LogicalEmpiricist[M].D.ReidelPub.Co.,1995.LIX.

[3]Schilpp,P.A.(ed.).ThePhilosophyofRudolfCarnap[M].OpenCourt,1978:72.

[4]王雨田.归纳逻辑导引[M].上海:上海人民出版社,1992:12-13.

演绎推理的逻辑要义范文

论文关键词法律逻辑学形式逻辑非形式逻辑

在我国,法律逻辑的研究开始于80年代初期,起步较晚,而且国内学者对国外法律逻辑的研究状况也了解较少。在我国法律逻辑研究的初期阶段,法律逻辑学的主要研究方向是如何把形式逻辑的知识应用到法律当中,法律逻辑的任务在于把形式逻辑的一般原理运用于法学和法律工作中。但随着研究的深入以及学科理论的发展,不少学者认识到把法律逻辑限制在形式逻辑的框架下,不仅阻碍了这一学科的发展,也没能使这一学科发挥出其应有的作用。因此,国内的法律逻辑学教材多呈现出两种趋势,一种是以形式逻辑为框架穿插法律案例,以形式逻辑的推论来解决法律案例中的逻辑问题;另一种是不局限于形式逻辑,而是采用了更多的非形式逻辑的方法来解决法律实践中遇到的难题。在这样的背景下,便产生了法律逻辑学的研究方向的转向。有的学者更多的是从法律的角度出发,把法律思维分为立法和司法两个领域,司法领域中所涉及的推论分为事实推理、法律推理和判决推理。也有的学者更多的是从逻辑学角度出发,认为法律逻辑学研究的主要趋向应该是非形式逻辑的方向。本人认为法律逻辑学是法学和逻辑学的交叉学科,它既是法学的一个分支,又是逻辑学的一个分支,它运用的是逻辑工具,它需要解决的则是法律领域的问题,因此法律逻辑学有着它固有的逻辑基础——形式逻辑,但仅有形式逻辑明显不足以支撑起法律逻辑学的大厦,法律实践中遇到的问题很多还要留给非形式逻辑去解决。

一、形式逻辑与法律逻辑学

法律推理是指运用“情境思维”的方法或“个别化的方法”来解读或解释法律,从已知或假定的法律语境出发判断出法律意思或含义的推论,是一个在法律语境中对法律进行判断或推断的过程。法律推理旨在为案件确定一个可以适用的法律规则即上位法律规范,为判决确立一个法律理由或法律依据即裁判大前提。形式逻辑可以为法律逻辑学提供一定的理论基础,这是毋庸置疑的,运用形式逻辑的方法来解决法律逻辑问题的案例在法律逻辑学教科书中也屡见不鲜:

侦查机关通过一番调查,初步判断:

被害者的上级(B)、妻子(M)、秘书(G)中至少有一人是凶手,但他们不全是凶手。

仅当谋杀发生在办公室里(A),上级才是凶手;如果谋杀不发生在办公室里,秘书不是凶手。

假如使用毒药(C)那么除非妻子是凶手,上级才是凶手;但妻子不是凶手。

毒药被使用了,而且谋杀未发生在办公室里。

问:侦查员的这些判断都是真实的吗?

解决这一问题首先需要把四个命题用形式化的方法表示出来,然后运用自然推理系统PN进行推理,推理过程中如果得出了相互矛盾的结果则说明这些判断不都是真实的,如果得出的结果没有相互矛盾,则证明这些判断都是真实的。这是运用形式逻辑来解决刑事案件的典型例子。从这个例子可以看出,形式逻辑是研究推理的,是一种证明的逻辑,传统法律逻辑运用的是传统逻辑即形式逻辑,可见它解决的是法律推理问题。所谓推理是指由一个推论的序列组成的推论链,其中一个推论的结论是下一个推论的前提;所谓推论是指一组命题,其中一个命题是结论,其他命题是前提;而一个推理序列则组成了论证,其中一个推理的结论充当了下一个推理的前提。可以说,一个论证包含了多个推理,一个推理包含了多个推论。形式逻辑虽然解决了法律推理问题,但是未能解决法律论证问题。

另外,法律推理理论的研究大致有两个方向,一是法律的形式推导,二是法律的实质推导。法律的形式推导是指基于法律的形式理性或逻辑理性进行的法律推理,是基于法律规范的逻辑性质或逻辑关系进行的法律推理。法律的形式推导的结果是法律规范的逻辑后承,是对法律规范进行逻辑判断的结果,是对法律规范进行“形式计算”或“概念计算”的结果。如果要进行法律形式推导,则必定是建立在法律规范含义明确清晰,案件事实确凿清楚,案件所适用的法律规范是确定无疑义的情况下的,这样一来就可以根据法律规范本身的逻辑特性,按照相应的逻辑规则进行推理,这种推理可以运用形式逻辑的的方法,但是这种法律形式推理只适用于较为简易的案件判决。从这里可以看出,形式逻辑确实可以为法律逻辑学提供一定的理论基础。

虽然形式逻辑可以为法律逻辑学的研究提供一定的方法,但是仅仅有形式逻辑时无法满足法律逻辑学发展的需要的。众所周知,能够进入诉讼程序的案件往往不是那么容易就被确认的,控辩双方经常会在法律规范的模糊意义下摆出自己的道理,控辩双方对于案件事实的描述也往往大相径庭,在这种情况下,法官则需要运用法律的实质推导来处理案件。法律的实质推导是指基于实践理性或目的理性以及价值理性进行的法律推理。它是基于法律意图或目的、法律的价值取向、社会效用或社会效益、社会公平正义观念等实质内容对法律展开的推论。在法律出现空隙,法律规范含混不清,相互抵触,“合法”与“合理”相悖的困境等问题上,法律实质推理作出了法律形式推理无法给出的回答。

形式逻辑也有传统和现代之分,传统形式逻辑主要是指亚里士多德三段论理论和斯多葛命题逻辑为主体的形式逻辑,现代形式逻辑主要是指皮尔士、弗雷格、罗素、希尔伯特等人发展起来的数理逻辑或符号逻辑。从形式逻辑本身性质来看,它自身的一些特点决定了它无法完全满足法律逻辑学发展的需要。

首先,我们知道形式逻辑主要研究的是演绎推理的有效性问题,如果想要得到真实可靠的结论,则需两个条件:前提真实并且形式有效,而形式逻辑关心的则是人工语言论证和逻辑系统的有效性,它对前提是否真实则关注不够。一个论证的形式是有效的并不能保证前提是真的。“形式逻辑对论证的评价是从真前提开始,但如何判定前提的真假,这已经超出形式逻辑所讨论的范围。”

其次,在法律事务中遇到的问题往往不像上述例子中那么简单,某些不确定的因素总是包含在法律论证的大、小前提(即法律规范和案件事实)当中,在由前提到结论的推论中,不是单纯的形式逻辑的推演活动,因而这样的推论不可能是像书本例题中的那种简单形式逻辑的操作。作为法律论证大前提的法律规范是基于自然语言的产物,因此难免会受到自然语言多义性、模糊性的影响,导致法官、律师在运用法律规范的过程中产生困扰。

在实际操作中,作为法律推论小前提的案件事实并不总是清晰地摆在人们面前,法官、律师也总是面对不完整的案件事实而进行推理、推论,而形式逻辑所进行的演绎推理必然是在前提充分的条件下进行的,它关注的更多是程序化的论证及人工语言的论证。从这点来看,用形式逻辑来进行法律推论显然是力不从心的。

再次,形式逻辑所研究的命题都是事实命题,是有真值的对象,形式逻辑对事实命题做出的非此即彼的评价是形式逻辑二值性的充分体现。但是在法律文本中有较多的命题并非事实命题,而是如“外国人入境,应当向出入境边防检查机关交验本人的护照或者其他国际旅行证件、签证或者其他入境许可证明,履行规定的手续,经查验准许,方可入境。(中华人民共和国出境入境管理法第二十四条)”这一类的规范命题或价值命题,这类命题的性质无所谓真假,它们也不充当演绎推理的前提和结论,这类命题显然已经超出了形式逻辑的研究范围。形式逻辑并不专门以法律领域中的推理与论证为对象,没有涵盖法律思维领域里的全部推理与论证。

第四,《牛津法律大辞典》指出:“法律推理是对法律命题的一般逻辑推理”,包括演绎推理、归纳推理和类比推理。法律思维中涉及了大量的归纳推理、类比推理、语境推理等,这些都属于非演绎推理的范畴,而形式逻辑对非演绎推理的研究十分粗糙,无法满足法律思维的实践,因此形式逻辑无法有效地评价、规范全部法律思维。

二、法律逻辑学的研究方向——非形式逻辑

非形式逻辑兴起于上个世纪60年代,到目前为止,它还没有一个完全统一公认的概念,现任《非形式逻辑》杂志主编拉尔夫·约翰逊(RalphH.Johnson)和安东尼·布莱尔(J.AnthonyBlair)提出:“非形式逻辑是逻辑的一个分支,其任务是讲述日常生活中分析、解释、评价、批评和论证建构的非形式标准、尺度和程序”。这个定义被认为是当今流行的定义。从这个定义中可以看出,非形式逻辑的研究对象是日常生活的语言,也就是自然语言,这一点恰恰迎合了法律逻辑学以自然语言为文本的的特性。

非形式逻辑之所以是“非形式的”,这主要是因为它不依赖于形式演绎逻辑的主要分析工具——逻辑形式的概念,也不依赖于形式演绎逻辑的主要评价功能——有效性。非形式逻辑在这方面与形式逻辑形成了良好的互补,形式逻辑研究论证主要是基于语义的研究,即真假命题之间的关系研究;而非形式逻辑研究论证主要是基于语用的研究,即从语境和论证目的角度进行研究,正是这一点成为了法律逻辑学与非形式逻辑的完美联姻。在法律逻辑学中,与法律形式推导对应的是法律实质推导,法律实质推导是指基于实践理性或目的理性以及价值理性进行的法律推理,是基于法律意图或目的、法律的价值取向、社会效用或社会利益、社会公平正义观念等实质内容之间的关系对法律展开的推论,可分为法律的目的推导和价值推导。法律实质推导是基于目的蕴涵和价值蕴涵,而不是基于形式蕴涵,因此它应当有不同于法律形式推导的框架,而非形式逻辑从语境和论证目的角度进行研究就为法律实质推导提供了工具。