逻辑中的推理形式精选(九篇)

第1篇：逻辑中的推理形式范文

关键词:法律逻辑；应用逻辑

中图分类号：D920 文献标识码：A 文章编号：1005-5312（2011）14-0259-01

一、关于法律逻辑的研究对象

对于这个问题, 我国的逻辑界与法学界主要有两种不同的看法。第一种观点认为法律逻辑就是普通逻辑在法学领域中的具体运用, 其理论基础就是普通逻辑即形式逻辑所阐述的原理。法律逻辑是形式逻辑或普通逻辑原理在法的理论、法的规范和法的实践中的应用。因此法律逻辑的研究对象就是法律中的逻辑问题。法律逻辑是普通逻辑或形式逻辑在法律规范或法律活动中的应用。第二种观点则认为法律逻辑作为一门学科, 有其独立的研究对象。我们原则上同意第二种观点，作为一门学科, 法律逻辑是应该有其特定的研究对象的, 而作为一门逻辑学的分支学科, 它的研究又应是与一般逻辑学的研究对象相对应、相关联的。法律思维就是在法律的理论与实践中所运用的思维, 法律思维的形式, 则是指法律概念、法律命题与法律推理。

普通逻辑或形式逻辑把概念作为其重要的研究对象, 法律逻辑也要研究概念, 法律逻辑中研究的是法律概念, 即立法、司法与守法思维中的概念。一般地说, 法律概念与普通概念既有一致性也有特殊性, 以大量的法律概念为素材, 以普通逻辑的一般概念理论为工具研究法律概念与一般概念的同一性及差异性, 揭示法律概念的特殊逻辑性质与作用, 从而为法律概念的制定、规范、解释提供一般的逻辑原则, 这是法律逻辑中关于法律概念研究的主要内容。法律命题也是法律逻辑的重要研究对象, 以一般逻辑中的命题理论为墓础研究法律命题的特殊的逻辑性质及其在法律实践中的特殊作用,给予法律命题以科学的分类, 这应该是法律命题研究的主要内容。

一般而言, 法律工作是由立法、司法两大环节组成。一个立法过程就是对构成法律的每一个概念、命题进行严密分析的过程。关于法律概念与命题的研究, 其主要目的是为了用于立法中的思维。至于司法主要指的是法律的实施, 而法律的实施主要是围绕诉讼活动的司法侦查与司法审判工作, 它主要表现为对法律命题的逻辑推导以及寻找因果的各种逻辑方法。因此,与司法思维相对应的法律逻辑还要研究法律推理及各种法律实践中的逻辑方法。法律推理则是从已有的法律命题或法律知识推出新的法律命题的过程。一般地说, 法律推理与一般逻辑的推理是有区别的。一般推理理论以演绎推理为主, 特别强调从前提到结论的必然性推理, 比较轻视“ 可能性的” 、或然的推理而法律逻辑既重视必然性推理, 也重视“可能性的”、或然的推理。比如, 法律推理中的回溯推理是很有用的、法律逻辑很重视的推理, 但这一推理的形成在一般逻辑理论中是予以排斥的。

二、关于法律逻辑的性质

法律逻辑是属于逻辑学还是法律科学，是应用逻辑还是法律中的逻辑的应用？一方面,作为一门介于法律与逻辑之间的边缘学科, 法律逻辑既有法律的内容亦有逻辑学内容, 它是一门法律与逻辑相结合而形成的新学科。另一方面，由于法律逻辑研究的是法律中的逻辑问题―法律思维形式与法律思维的逻辑方法, 因此, 它的重点是逻辑而非法律, 所以, 它实质是一门应用逻辑新学科―将逻辑原理应用于法律领域而形成的学科。那么，作为法律逻辑的应用工具与基础的“纯逻辑”是普通逻辑还是现代数理逻辑或者辩证逻辑呢？普通逻辑、数理逻辑与辩证逻辑均可以运用于法律领域。因此, 在目前关于法律逻辑的研究中我们应该允许将辩证逻辑普通逻辑、数理逻辑等运用于法律的各种尝试。当然, 由于逻辑学的发展趋势是现代逻辑即数理逻辑, 由于科学的发展趋势是定量化与形式化。因此, 我们关于法律逻辑研究的最终目标应该是用现代逻辑为工具来研究法律中的逻辑问题, 形成关于法律逻辑的逻辑演算系统。法律逻辑作为一门应用逻辑，它的研究应该是有层次的, 这个层次是由“应用逻辑”与“逻辑的应用”的区别而决定的“逻辑的应用”强调的是“应用”，而“应用逻辑”的主体是“逻辑”，因此，只要是将逻辑原理不管是系统的还是零散的传统的还是现代的应用于某一学科，便可谓之“ 逻辑的应用”但应用逻辑则不同，除了要求将逻辑应用于某一领域或学科，还要求这种应用是系统的、具有逻辑科学性质。所以，“逻辑的应用”是“应用逻辑”的初级阶段，“应用逻辑”则是“逻辑的应用”的最终目标。从这一区分出发，法律逻辑的研究也包括两个层次逻辑在法律中的应用与系统化的法律逻辑。前者是低层次的只要是将逻辑知识应用于法律，均可谓之逻辑在法律中的应用，后者则是高层次的在低层次应用的基础上，以现代逻辑为工具，形成系统的严格的“关于法律的逻辑”。

第2篇：逻辑中的推理形式范文

论文摘要：逻辑学是研究推理的一门学问，而推理是由概念、命题组成的，不懂得命题就不懂得推理。普通逻辑学在研究命题时，主要是从二值逻辑的角度研究命题逻辑形式的逻辑值与命题形式之间的真假关系。本文着重从认识论的角度阐述逻辑真理的内涵，同时详细论述逻辑真理与事实真理的区别。为了探求真理必须保证思维的逻辑性。

逻辑学离不开“真”这个概念。一般来说人们是从下述意义上使用“真”这个概念的：

（一）前提或者命题真。这种真是指命题的思想内容是真的。任何一个命题的内容不是真的就是假的，在这里真或假不是用以描述事物状态的，而是评价命题或陈述的内容的。它的核心是针对其所表达的知识或信念的，例如：“台湾不是一个国家。”这个命题的内容是符合客观事实的，所以是个真命题。

（二）推理真。这是指推理中前提真和结论真之间的关系。演绎推理前提真结论必然真，归纳推理和类比推理前提真而结论是或然性真。因此推理真就是推理中的结论相对于前提是必然的真或者是或然的真。这里“真”指的是否再现逻辑推断关系而不是对命题内容的评价。

（三）指派真和赋值真。在逻辑学中（特别是在现代逻辑中）把命题形式当作真值形式，而且只从真假的角度研究每一种命题形式的逻辑特征，真和假是命题的唯一属性。逻辑真在这里指这些真值形式和其中的变项与公式的真假，这时的真假和具体命题内容的真假无关，而只是一种假定的真假和根据这种假定而推论出的真假。

（四）形式真。这是指永真式（重言式）或普遍有效式的真。逻辑学中有一类公式，对其中的变项可以代以任何命题、谓词、个体词总能得到真命题。这类公式的真是一种逻辑关系的真，例如：P或者非P中不管变项P赋真值或是假值，这个公式都是真的。

（五）系统真。现代逻辑建立了形式系统，如果它的定理都是形式真，即都是永真公式或是普遍有效式，那么整个系统便是可靠的和一致的，这种可靠性和一致性就是一种系统的真。

在以上这五种“真”的情况下，逻辑学不考虑第一种意义的“真”，而只关注后四种“真”。后四种“真”在逻辑学中有各种表现，在其他科学中也有这些意义上的真的表现，就被称为逻辑真理。

所谓逻辑真理是一种特殊的真理，是一种因逻辑关系或逻辑原因而成为真的一种真理。逻辑真理不能凭经验而得知其为真，它需要我们借助逻辑分析、语义分析、关系分析确定它们是真的。它和我们日常生活中所说的真理是有区别的。

恩格斯认为：全部哲学特别是近代哲学的重大基本问题，是思维与存在的关系问题。它包括两个方面的问题，一方面是思维与存在何者为本原的问题；另一方面是思维和存在有无同一性的问题，也就是我们的思维能否认识现实或者正确地反映现实世界的问题。从逻辑哲学的角度来看，其重大的基本问题就是逻辑与客观现实的关系问题，任何逻辑学家都要回答：逻辑真理是否与客观现实一致？逻辑真理与事实真理之间又有什么关系？

关于这个理论问题，亚里士多德在其所著《形而上学》一书中明确提出并详细论述了逻辑基本规律（矛盾律与排中律）。在谈到矛盾律时认为，事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律，是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性，其根据就是真理符合现实的理论，即所谓真理符合论。它在解释真与假这对概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。按照真理符合论，一切真理必需与现实一致，逻辑真理也不能例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。

基于莱布尼兹的推理真理和事实真理的对立，在康德的哲学中就演变为分析判断和综合判断的分歧。康德认为一切来源于经验的判断都是综合判断；分析判断是绝对独立于一切经验的知识，即先天知识。例如：“白人是人”就是分析判断，在康德看来表示逻辑规律的判断就属于分析判断。

数理逻辑问世之后，逻辑哲学领域中出现了维特根斯坦学派，即以维也纳小组为核心的逻辑实证主义者。他们的一个共同的工作就是利用数理逻辑的成果，发展从莱布尼兹到康德的真理二元论和逻辑真理的先验论，使之获得科学化的外观和现代化的形式。维特根斯坦把逻辑真理称为重言式。他认为重言式的命题是无条件的真，由此他断言，重言式既不能为经验所证实，同样的也不能为经验所否定，也就是说与现实没有任何描述关系。逻辑实证主义者进一步把康德关于分析判断和综合判断的区分推向极端。在他们看来，凡是先天的都是分析的；反之，凡分析的都是先天的。逻辑实证主义者确立了一个基本的哲学信条：分析真理与综合真理有根本的区别。这个学派的主要代表卡尔纳普认为，哲学家们常常区分两类真理，某些陈述的真理是逻辑的、必然的、根据意义而定的，另一些陈述的真理是经验的、偶然的、取决于世界上的事实的。前一类推理就是所谓的分析推理，后一类推理就是所谓的综合推理。逻辑真理被看作是分析真理的一个特殊的真子集。

1933年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。

综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。

马克思主义认识论认为，真理是客观事物及其规律在人们思维中的正确反映。同样逻辑真理也是客观世界规律性的反映。列宁指出，人的实践经过千百万次的重复，它在人的意识中以逻辑的格固定下来，而最普遍的逻辑格，就是事物被描述的很幼稚的……最普遍的关系。列宁认为逻辑的公理、正确的推理形式是事物最普遍的关系，是由人们实践中千百万次的重复而反映和巩固在意识中。列宁说的最普遍的逻辑格是指三段论推理的正确形式。在这一点上我们说逻辑真和事实真是相容的，事实真是基础，逻辑真是建立在事实真基础之上的，二者是一致的，但是逻辑真理与任何具体的经验事实无关。超级秘书网

第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年塔尔斯基以形式化的方法给出了真理的语义学概念，他用非形式化方法对其语义学的成果作出概述。他认为逻辑真理同其他真理一样，必需与客观现实相符合或者相一致，在形式语言中，一个语句是不是逻辑真理，取决于它是不是在每一种解释下都成为真语句；同时一个语句在某一解释下是否为真，取决于它在这一解释下，是否与它所“谈论的对象”相一致。可见逻辑真理的概念直接依赖于形式语言中的语句，与它们所描述的客观现实之间的符合关系，这说明它的逻辑真理或者分析真理并非先验的真或者先天的真，它们为真同样是因为它们与现实相符合。塔尔斯基重新建立了真理符合论，表明一切真理包括事实真理和逻辑真理，它们的共同特征就是必需与客观现实相符合。?

综上所述，我们可以看出亚里士多德提出的真理符合论，肯定了逻辑真理与存在规律的一致性，但是忽视了它们之间的差别。莱布尼兹、康德、维特根斯坦和逻辑实证主义者认为，逻辑真理和现实绝对无关，与事实真理根本不同。塔尔斯基主张真理必需以亚里士多德的真理符合论为基础，而且只能以形式语言来构造，这种观点有一定的局限性。?

第6篇：逻辑中的推理形式范文

由于辩证逻辑学术界的不懈努力，近年我国的辩证逻辑研究取得了巨大的成就。但遗憾的是，迄今为止在我国尚无公认的辩证逻辑科学体系。所以如此，原因有种种，其中一个重要原因就是在我国辩证逻辑学界存在着两个学派，一个是辩证逻辑的逻辑派，该派主张辩证逻辑应是逻辑而不是哲学，其对象是辩证思维形式而不是思维形式的辩证法，它是人们思维、认识的工具而不是认识论(笔者本人属于这一学派)。另一个则是辩证逻辑的哲学派，该派主张辩证逻辑是哲学而不是逻辑(或者说不是“狭义的逻辑”)，其对象是思维形式的辩证法(或辩证法的认识论)而不是辩证思维形式。为了促进我国辩证逻辑科学的进一步发展，特别是促使我国公认的辩证逻辑科学体系早日形成，本文特对2003年中国社会出版社出版的金顺福先生(笔者按：金先生是我国辩证逻辑哲学派的主要代表之一)主编的《辩证逻辑》(以下简称“金著”)一书进行评析①，以引发我国学术界对辩证逻辑的对象、科学性质、科学体系的广泛讨论。

一、应该怎样理解“辩证逻辑乃是研究人类辩证思维的形式、规律和方法的科学”这一定义?

“金著”说：“目前在中国，对辩证逻辑的对象已有共识，普遍认为它是人类的辩证思维……并采纳给出的如下定义：辩证逻辑就是一门研究人类辩证思维的形式、规律和方法的科学。”“关于辩证逻辑的这个定义，首先它是依据人类思维发展的两个阶段(或类型)：知性思维和理性思维，后者又称之为辩证思维。”“其次，这个定义也就规定了辩证逻辑的研究范围，以区别于辩证法、认识论和形式逻辑。”②笔者认为，根据上述“金著”所谓的对辩证逻辑的对象的共识，应该得出如下结论：第一，辩证逻辑与普通逻辑(即“金著”所谓的形式逻辑)不同，辩证逻辑的对象是人类思维发展的高级阶段——辩证思维，是辩证思维(的)形式、规律和方法的科学。什么是辩证思维(的)形式?亦即辩证概念(辩证思维概念)、辩证命题(辩证思维命题)、辩证推理(辩证思维推理)等。因此，辩证逻辑就是关于辩证思维形式(辩证概念、辩证命题、辩证推理等)、辩证思维规律、辩证思维方法的科学。相应地，普通逻辑的对象是人类思维发展的初级阶段——普通思维(即“金著”的“知性思维”)，是普通思维形式(普通概念、普通命题、普通推理等)、普通思维规律、普通思维方法的科学。第二，辩证逻辑与普通逻辑有同也有异。其同在于二者都是逻辑科学——都是研究思维形式的(不研究思维的具体内容)；其异在于普通逻辑的对象是普通思维形式及其规律，辩证逻辑的对象是辩证思维形式及其规律。因此，辩证逻辑与普通逻辑的不同，根本在于研究对象的不同，不能说辩证逻辑与普通逻辑的研究对象相同，只是研究的角度、侧面不同。第三，辩证逻辑与辩证法、认识论不同：辩证逻辑与辩证法、认识论(辩证唯物主义的认识论)有密切联系，辩证逻辑是辩证思维的逻辑总结，辩证思维是完全自觉地按照辩证法进行的思维，因此，辩证逻辑必然与辩证法、认识论相一致，或者说，辩证逻辑必须以辩证法、认识论作指导。但是，辩证法、认识论是哲学，是世界观，它们研究自然、社会、思维(认识)的一般规律，具有阶级性。辩证逻辑是逻辑，它只研究辩证思维形式及其规律，不研究自然、社会、思维(认识)的一般规律，它不是哲学，不是世界观。辩证思维形式具有全人类性，辩证逻辑所揭示的正确运用各种辩证思维形式的规律、规则，是服务于全人类的，它没有阶级性。

但是，“金著”却不是这样看的。“金著”在谈到辩证逻辑与普通逻辑的不同时说：“虽然它们都研究概念、判断、推理等思维形式，但它们却从不同侧面以不同的方式进行着研究。辩证逻辑从形式与内容的密切结合中考察思维形式的相互联系及它们运动和发展的规律性。形式逻辑则撇开内容而仅考察思维或理论的形式结构。”③笔者认为，“金著”的这种说法是不能令人同意的。第一，说辩证逻辑和普通逻辑都研究概念、判断、推理等思维形式固然可以，但是，辩证逻辑所研究的是人类思维发展高级阶段——辩证思维的思维形式，普通逻辑所研究的是人类思维发展初级阶段——普通思维的思维形式，而作为人类思维发展的两个根本不同的阶段④，其差别不仅表现在思维具体内容的不同上，也表现在思维形式的不同上。而作为辩证逻辑，其作用正在于总结出辩证思维形式所以不同于普通思维形式的根本特征，总结出与正确运用普通思维形式的普通逻辑规律、规则不同的正确运用辩证思维形式的逻辑规律、规则，以指导人们正确运用各种辩证思维形式。第二，说辩证逻辑与普通逻辑的不同在于普通逻辑是撇开内容而仅考察思维或理论的形式结构，辩证逻辑则不是撇开内容而是从形式与内容的密切结合中考察思维形式，这显然是不妥的。我们知道，任何思维都包含着思维具体内容和思维形式两方面，而逻辑学之所以是逻辑学正在于它研究思维形式而不研究思维具体内容，并且要真正研究思维形式就必须撇开思维具体内容。因为，一则思维形式正是指的思维撇开思维具体内容后所有的那个东西⑤；二则思维具体内容千差万别，无限复杂，逻辑学在研究思维形式时如果还要兼顾思维具体内容，逻辑学就将成为包罗一切科学的科学了。进一步说，说普通逻辑研究思维形式在于研究思维形式的形式结构，而辩

转贴于

证逻辑研究思维形式不研究思维形式的形式结构，这也不妥。辩证逻辑既然研究辩证思维形式，而辩证思维形式也具有自己特有的形式结构，辩证逻辑自然也同样要研究辩证思维形式的形式结构。在拙著《辩证思维研究》中，正是根据辩证命题、辩证推理在形式结构方面的不同，对辩证命题、辩证推理进行分类的⑥。不仅如此，应该说只有通过对辩证思维形式在形式结构方面的分析，才能真正弄清楚辩证思维形式与普通思维形式的区别，并进一步弄清楚辩证逻辑与普通逻辑的区别。

二、究竟存在不存在不同于普通思维形式的辩证思维形式?

“金著”在介绍国内的辩证逻辑观点时说：“还存在一种观点，就是认为辩证逻辑在思维形式上之所以有别于形式逻辑，就是它研究的是辩证概念、辩证判断和辩证推理等，以区别于普通概念、普通判断和普通推理等。这种用意是好的，也下了不少功夫，但多少有些牵强，因为无论概念也好，还是判断也好，它们的本性本来就是辩证的，形式逻辑只因为撇开了这些部分而只研究它们的纯形式结构罢了。所以没有必要把同一个概念分别写作普通概念和辩证概念，等等。”⑦这里必须弄清楚如下两个问题：(一)究竟存在不存在不同于普通思维形式的辩证思维形式?(二)即使概念、推理的本性是辩证的，是否辩证逻辑的任务就只能是研究它们的这种辩证本性，而不应该去研究辩证思维形式?下面我们先论述第一个问题。

笔者认为，确实存在着与普通概念、普通命题、普通推理等不同的辩证概念、辩证命题、辩证推理等。先讲概念问题。试看下面普通概念与辩证概念的对比：

1．物体的运动是物体在一个地方，然后移动到另一个地方。(“运动”的普通概念)

运动就是“物体在同一瞬间既在一个地方又在另一个地方，既在同一个地方又不在同一个地方”⑧(“运动”的辩证概念)

2．真理就是对客观事物及其规律的正确反映。(“真理”的普通概念)

“今天被认为是合乎真理的认识都有它隐蔽着的、以后会显露出来的错误的方面，同样，今天已经被认为是错误的认识也有它合乎真理的方面，因而它从前才能被认为是合乎真理的。”⑨(“真理”的辨证概念)

真理跨过一步，就会变成谬误。(“真理”的辩证概念)

3．祸是祸，福是福，祸不是福，福不是祸。(“祸”、“福”的普通概念)

“祸兮福之所倚，福兮祸之所伏”。(“祸”、“福”的辩证概念)

根据上述普通概念、辩证概念的对比可知，普通概念是对事物在相对稳定状态之下的某些规定的反映，它强调的是概念内涵、外延的确定性，强调事物之间的差别。普通概念不能具体反映事物内部矛盾、事物之间的矛盾以及它们的发展、转化。辩证概念是能够具体反映事物内部矛盾、事物之间的矛盾，以及它们的发展、转化的概念。这也是人们之所以称普通概念为具有确定性的概念，而称辩证概念为具有灵活性的概念的原因之所在。

4．人是能够制造生产工具的动物。(“人”的普通概念)

人是从猿进化而来的；自古及今人也是有发展变化的；人有种族、民族、性别、宗教信仰之分，特别在阶级社会，人分属于不同的阶级，不同阶级的人的立场、观点、思想、感情是不同的。马克思说：“人的本质并不是单个人所固有的抽象物，在其现实性上，它是一切社会关系的总和。”⑩(“人”的辩证概念)

由上述“人”的概念可知，普通思维“人”的概念只反映自古及今人和动物的共性(都是“动物”)以及人与其它动物的根本差异(“能够制造生产工具”)，而辩证思维“人”的概念则要反映人在不同历史、不同社会条件下的特殊性。前者反映的是“人”的某种特征，后者反映的是“人”的多种规定性的统一。普通概念只反映事物的某种抽象的同一性，而辩证概念所反映的则是体现着差别的同一性。列宁说：“不只是抽象的普遍，而且是自身体现着特殊、个体、个别东西的丰富性的这种普遍。”(11)这句话完全适合辩证概念的根本性质。由于普通概念对事物的反映是抽象的、空洞的，辩证概念对事物的反映是具体的、丰富的，人们称普通概念为抽象概念，称辩证概念为具体概念。

概念是思维的细胞，是思维的最基本的形式，两种不同的概念也决定了普通思维和辩证思维的不同的性质——普通思维为抽象思维，辩证思维为具体思维。

普通概念和辩证概念的根本差异也决定了两种思维在逻辑上的一系列差异。

1．表现在思维基本规律上的差异

普通思维基本规律同一律：在同一时间和同一关系下，每一思想都具有同一性(确定性)。公式：a(思想)是a(思想)。

2．表现在概念种类方面的差异

人们根据外延的差别将普通概念区分为单独概念(如：中国)和普遍概念(如：人)。

人们根据辩证概念所反映的事物的矛盾问题将辩证概念区分为隐性辩证概念(概念所反映的事物矛盾在该概念的语词形式中未能明显表现出来，如：真理)和显性辩证概念(概念所反映的事物的矛盾在该概念的语词形式中明显表现出来，如：民主集中制)，对偶辩证概念(这种概念是成对的，它们反映两个具有对立统一关系的事物之间的矛盾，如：真理、谬误)和非对偶辩证概念(这种概念不是成对的，它反映某个对象内部固有的矛盾，如：可持续发展、生态系统)。

3．表现在概念的关系上的差异

人们根据概念外延之间的相容与否将普通概念之间的关系区分为全同、真包含、真包含于、交叉和全转贴于

异五种关系。这种关系所反映的是事物的同、异关系。

人们根据辩证概念所反映的事物的辩证关系将辩证概念之间的关系区分为：普遍联系关系、对立差异关系、相互依赖关系、相互转化关系、扬弃关系。

4．表现在给概念下定义上的差异

普通概念主要是通过揭示邻近属和种差下定义。辩证概念主要是通过揭示概念所反映的事物的矛盾下定义。如：运动就是物体在同一瞬间既在一个地方，又在另一个地方。人民民主专政就是对人民实行民主，对敌人实行专政。

5．表现在给概念进行划分上的差异

普通概念划分时各个子项之间是毫无关联的和互相平列的。辩证概念划分时各个子项之间是由此及彼的、从低级形式发展成高级形式的。如：真理分为相对真理和绝对真理；认识分为感性认识和理性认识。普通概念划分有一条重要规则：子项不得相容，而辩证概念划分各个子项之间却恰恰是可以相容的：相对真理和绝对真理之间就是相容的——无数相对真理之和就是绝对真理(13)。

再谈辩证命题问题。什么是辩证命题?辩证命题就是对事物的矛盾及其发展、转化进行具体断定的命题。例如：

(1)光既是粒子又是波。

(2)没有生，就没有死；没有死，就没有生。

(3)坏事可以变成好事。

例(1)对“光”的内部矛盾进行了具体断定。例(2)对“生”和“死”之间的矛盾关系进行了具体断定。例(3)对“坏事”和“好事”之间的矛盾转化关系进行了具体断定。

辩证命题所以能够对事物的矛盾及其发展、转化进行具体的断定，关键在于它是由辩证概念构成的。譬如，在上述三个辩证命题中，“光”、“粒子”、“波”、“生”、“死”、“坏事”、“好事”都是辩证概念。作为普通概念，“粒子”、“波”、“生”、“死”、“坏事”、“好事”都是不相容的。因此，上述三个命题如果是由普通概念构成的，它们就都是自相矛盾的。只有有了“光”、“粒子”等的辩证概念之后，才能形成这样的辩证命题。

由于人类已经进入了辩证思维时代，随着各种科学的发展(现代科学从根本上都是辩证思维的科学)，辩证命题大量涌现，为了对它们进行逻辑研究，在辩证逻辑中我们也完全可以对之进行科学的分类，并且对它们的逻辑结构进行分析(14)。为了节省篇幅，下面笔者只以“光既是粒子又是波”为例，说明确实存在着不同于普通命题的辩证命题。

一些否定辩证命题形式的人认为，“光既是粒子又是波”根本不是什么辩证命题。他们说，这一命题形式无非是普通逻辑中的联言命题，具有“p∧q”的命题形式。难道真的是这样的吗?

试看下面的公式：

(p∧q)→p

p→r

r

∴p

∴(p∧q)

学过普通逻辑的人都知道，上述公式是一有效式，亦即只要前提都是真的，按照这一形式进行推理，结论必然是真的。现在我们假定“光既是粒子又是波”就是普通思维联言命题，具有“p∧q”的命题形式。试把这一命题代入上述公式如下：

如果光既是粒子又是波，那么，光是粒子；

如果光是粒子，那么光透过微孔射在帷幕上应当显现为一个光点：转贴于

光透过微孔射在帷幕上并不显现为一个光点(事实是显现为一个亮环和一个暗环)；

所以，光并非是粒子；

所以，光并非既是粒子又是波。

从上述“光既是粒子又是波”的例子完全可以证明，确实存在着不同于普通命题形式的辩证命题形式。

令人不解的是：“金著”一方面怀疑辩证思维形式的存在，一方面又多次对它们有所论述。例如：“金著”第四章“概念和概念体系”中“概念的种类”部分，就有“抽象概念与具体概念”这种分类，其中说“由知性思维形成的概念就称作为抽象概念，由理性思维形成的概念就称作为具体概念”，“抽象概念就是在抛开对象的差别、矛盾和联系的情况下，而对对象本质的孤立、片面的反映”，“具体概念就是包含普遍性、特殊性与个别性(个体性)于一身的概念，就是理性思维反映对象多样性统一的概念。须知，这种统一乃是在反映对象本质基础上的多样性的统一，也即是包含差别、矛盾于一身的统一”(16)。这里所谈的抽象概念不就是普通概念，具体概念不就是辩证概念吗?在“金著”第五章“判断”中，又多次谈到矛盾式判断形式，它以马克思《资本论》中的“资本既在流通中产生又不在流通中产生”为例，指出：“马克思的这个表述包括这样两个部分：资本‘既在流通中’和‘又不在流通中’产生。它的内涵决不是形式逻辑矛盾律所表示的两个命题(或判断)不能同真，其中必有一假的意思。”“在(流通中)”和又“不在(流通中)”乃是一辩证矛盾，“作为矛盾双方是相互依存的，它们是缺一不可的”，“形式逻辑的矛盾律管不了辩证矛盾”。这种判断形式为“矛盾式判断形式”，这一判断形式尽管从形式逻

“金著”第六章“推理”第三节“推理的基本形态及类型”，用相当大的篇幅对“由一面导出其反面的推理”、“同异互见的推理”、“矛盾传递推理”、“矛盾对比推理”四个辩证推理类型(马按：虽然该书讳言“辩证推理”而只言“辩证逻辑推理”，而实际上讲的就是辩证推理)进行了论述，并且还对这些推理形式用一定的公式加以刻画。究竟这些辩证推理类型的分类和刻画科学性如何，姑且不论，但无论如何，“金著”肯定了辩证推理形式的存在却是无法否定的。

三、是否因为概念、判断的本性是辩证的，辩证逻辑就不应该研究辩证思维形式了呢?

“金著”说：“无论概念也好，还是判断也好，它们的本性本来就是辩证的。”这句话对不对呢?是对的。辩证法规律普遍存在于自然、社会、思维之中，自然也存在于概念、判断之中。列宁在《谈谈辩证法问题》一文中就精辟地论述过这一问题，对此笔者是没有异议的。但问题在于能否因为概念、判断的本性本来就是辩证的，辩证逻辑就只能研究概念、判断的这种辩证本性，而不应该研究辩证思维形式呢?笔者的答复是否定的。应该看到概念、判断的辩证本性问题，是思维形式的辩证法问题，是辩证法研究的对象。列宁在《谈谈辩证法问题》一文中谈到任何一个命题中都存在着辩证法——个别就是一般等等时，就是把它作为辩证法来谈论的，是在于说明辩证法的普遍性的(他的《谈谈辩证法问题》的标题就是明证)。思维形式的辩证法不是辩证逻辑的对象。辩证逻辑的对象是辩证思维，更具体来说是辩证思维形式(有人说是“辩证思维的形式”，其实，“辩证思维的形式”也就是“辩证思维形式”)。辩证思维是人类思维发展的高级阶段，只有到了西方的希腊时期和中国的春秋战国时期辩证思维才开始产生(当时也还只是辩证思维的萌芽时期)，而思维形式的辩证法却是自有了人类思维就一直存在了(19)。固然，研究思维形式的辩证法需要运用辩证思维，但是，这只能叫做“用辩证思维去研究”，而不能叫做“研究辩证思维”。“金著”反复强调辩证逻辑的对象是辩证思维，却又把辩证逻辑的对象归结为思维形式的辩证法，这难道不是在偷换概念吗?同样，“金著”把辩证逻辑对“辩证思维(的)形式”的研究，解释成对“形式的辩证思维的研究”，也是偷换了概念。

不错，在“金著”中也谈到了“思维辩证法”和“辩证思维”的区别，谈到“思维辩证法……无论在知性思维，也无论在理性思维中都客观地存在着”，“辩证思维就是人们在思维过程中通过一系列对立统一概念、范畴来把握处于普遍联系中的运动着的对象整体性的思维”(20)。但又同时强调：“在马克思主义经典著作中，并没有明确区分过思维辩证法与辩证思维。”并且说：“你越想精确区分，你就会觉得越不好区分，因此，要明确这样一点，即思维辩证法与辩证思维的区分是相对的，不能看做绝对。因为它们在人的思维中本来就是紧密相连的。”(21)正是在这样的思想指导下，“金著”竟然把本来是“研究人类辩证思维的形式、规律和方法”的辩证逻辑科学，变成了辩证法(不是主要讲辩证概念、辩证判断而是主要讲概念的辩证法、判断的辩证法，不是主要讲辩证思维方法而是主要讲思维方法的辩证法)、认识论(不是主要讲辩证概念、辩证判断的认识作用，而是主要讲概念的形成、判断的形成)、逻辑史(不讲辩证判断的分类，而是讲亚里士多德、康德、黑格尔判断的转贴于

第7篇：逻辑中的推理形式范文

法律推理是法学理论尤其是法哲学中的一个重大课题,法学界和逻辑学界一直十分关注对法律推理相关问题的研究。在我国的研究传统中,一直把法律推理作为一种形式逻辑的推理进行讨论,演绎三段论对法律推理有效性的保证是法律推理的重要表征之一。但是,随着我们对法律推理各个环节的展开研究,以及逻辑学自身的发展,越来越多的学者开始提出或赞成法律推理是一种非形式逻辑的推理活动。 问题的讨论从法律推理的基本特征开始。1832年,奥斯丁著名的《法理学问题》中明确主张了法律命令说,把确定性视为法律的生命,认为法律规则和决定是直接从立法、先例中演绎而来的,法院的司法作用仅仅在于运用逻辑推理中的三段论方法将明确规定的法律适用于案件真实。[1]38在这样的观点下,法律推理呈现出严格的形式推理①特征,以成文法的法律规范或司法先例为大前提,以案件事实为小前提,推导出司法审判的结果。三段论中的各项规则被严格保证,前提真,推理正确,结果也必然为真。 问题在于法律和法律推理所面对的研究对象不仅仅是确定的法律规范,事实和价值层面的问题同样必须解决。在多个不同的维度下,如何保证大小前提为真不是形式逻辑能够解决的问题。法律推理应该是一个系统的概念,它既包括选择法律规范,又包括确认案件事实以及把法律规范与案件事实结合起来并从中得出法律裁判结论的整个推理过程。在大量的法律案例中,我们面对的是不可重演,甚至不能模拟的过去完成时的行为链,任何新的证据都可能颠覆原有的结论,即三段论小前提的确证性不能被充分保证;另一方面,不同的环境、时间和地点,不同的文化习俗和价值取向,会让法官们在不曾有明确法律规定的新问题前作出这样或那样的不同判断;或者在面对多个可以适用于同一情形的法律规范面前,作出这样或那样的不同选择,甚至是相互抵触的选择,即三段论大前提的确证性也不能被充分保证。当一个三段论的大小前提都被我们质疑的时候,这个三段论结论的有效性也变得没有任何说服力。博登海默也指出,“形式逻辑在解决法律问题时只起到了相对有限的作用。当一条制定法规则或法官制定的规则———其含义明确或为一个早先的权威性解释所阐明———对审判该案件的法院具有拘束力时,它就具有了演绎推理工具的作用。但是另一方面,当法院在解释法规的语词、承认其命令具有某些例外、扩大或限制法官制定的规则的适用范围或废弃这种规则等方面具有某种程度的自由裁量权时,三段论逻辑方法在解决这些问题时就不具有多大作用了。”[2]517 经典的演绎逻辑具有单调性(monotonic),它假定了一个所有有效推理的完备集。即对一个有效的演绎推理来说,不管你增加多少个新前提,结论仍然保持有效,即使是增加了一对矛盾的前提到前提集中,其结论有效性也不会改变。但是作为实践推理的法律推理则是非单调的(non-monotonic),即如果加入新的信息会让推理所处的情形发生变化,原有的结论也将随之改变,正如我们上面对三段论大小前提所分析的情况。法律推理的这种非单调性特征表达了法律推理既要求推理过程的逻辑有效性,又要求推理内容合理真实,而这是形式逻辑不能解决的,必须引入非形式逻辑的研究。 非形式逻辑(informallogic)是相对于形式逻辑而言的,前提可接受性和联结充足性是非形式逻辑的两个核心概念,而这两个概念也正是法律推理所必须关注的焦点,在这个意义上非形式逻辑具有认识论的性质①。非形式逻辑关心推理和论证的建构问题,强调对推理和论证的评价。非形式逻辑与形式逻辑研究的区别还表现在语义、语形和语用层面上。形式逻辑的研究是基于语义或语形的考虑,而非形式逻辑则是基于语用的考虑,强调解决实际、具体的问题,其对象是实践性的。非形式逻辑不仅关心从形式方面对概念、命题、推理和论证的研究,更关心问题的实质内容,具有具体、灵活性。 本文认为法律逻辑在本质上是非形式逻辑的,当然它可以用形式化的工具去刻画,也可以针对某些算子建立完全形式化的系统。非形式逻辑与形式化方法并不是对立的,非形式逻辑中也可以出现形式化的讨论,因为形式化只是一种逻辑方法,对于一个非形式化逻辑对象理论加以形式化意味着:(1)要用逻辑语义学方法对其重建;(2)要构建一种语法足够丰富的单义的人工符号语言,使之能够精确地表达其全部可能的不同的逻辑形式;(3)要选择有限的合式公式组成其形式公理集,并选择其合式公式的有限多变形规则组成其非空推理规则集;(4)对于所构建的形式系统做出其是否具有可靠性、协调性和完全性等元逻辑性质的讨论[3]310。这种方法既可以出现在形式逻辑的研究中,也可以应用在非形式逻辑的研究中。非形式逻辑之所以是“非形式的”,主要有两个方面的原因:其一,它不依赖于形式逻辑的主要分析工具———逻辑形式的概念;其二,它不依赖于形式逻辑的主要评价标准———有效性。非形式逻辑所关注的是自然语言的推理和论证,而不是形式逻辑关注的人工语言的推理和论证[4]。 法律逻辑研究试图探讨法律职业者如何分析问题、建立推理、论证其裁决结论等,这中间面对的法律问题、社会问题甚至心理问题千差万别。法律推理中存有确定前提下直接运用推理得出结论的情况,但那只是法律推理集中很小的一个部分。更多的情况是推理者不能找到确定性要素,没有明确适用的法律规范;或者多个规范都可以适用,但其中存在明显差异或矛盾;没有直接证据提供;不断出现新的证据质疑甚至原有的推断;不同地区或人群对同样事件有完全不同的心理感受和理解等等都是推理者经常要面对的情况。一个非单调性推理过程的构建,对已有推理的检验和评价也都是法律推理的应有内容,而这些更呈现出非形式逻辑的特征。我们举两个案例看看: 案例1:在某居民小区中,物业管理公司和居民之间签订的物业管理合同中有这样一个条款:“除非住户家中发现了白蚁,否则不能免费领取高效灭蚁灵”。物业管理公司的目的很明确,即如果住户家中没有发现白蚁,就不能免费获得高效灭蚁灵,以免灭蚁灵的过度领取。但是,当某住户家中真的发现白蚁时,物业管理公司就一定会提供免费的高效灭蚁灵吗?如果严格执行合同的条款,物业管理公司完全可以不提供高效灭蚁灵,因为条款本身是一个必要条件命题,表达的是一种无之则无的推理过程,其推理有效式为否定前件式和肯定后件式,即当没有发现白蚁时,推出一定不能免费领取高效灭蚁灵;当已经免费领取了高效灭蚁灵时,推出一定是发现白蚁了。而由住户家中发现了白蚁,不能演绎的推出任何有效性结论。即使住户把物业管理公司告上法庭,如果法官严格按照形式逻辑的推理规则,也只能判物业管理公司胜诉。#p#分页标题#e# 这样一个演绎推理的结果小区住户一定不会接受,他们会觉得在发现白蚁的情况下,物业管理公司提供相关的药物是其基本的责任或义务,如果说条款中有什么表达歧义和问题,也是住户们被物业管理公司欺骗的结果。在实际法律案件中,法官们也决不会只考虑条款本身的逻辑推理问题。一般人对涉案条款的理解和预期、对消费者的保护、物业管理公司的责任和义务、合同中的诚实信用原则等等问题都将是法官在裁决此案时必须考虑的因素。此案的结论绝不仅仅是进行一次形式推理那么简单。 案例2:2007年,全国各地先后有数百名消费者向当地法院脑白金违法宣传,欺诈消费者。问题的起因来源于这些消费者在购买“脑白金”产品前看到产品外包装上明确注明“脑白金里有金砖,上海老凤祥打造99•99%金砖,价值5000元”的字样,但购买产品后发现包装内却没有金砖。于是认为脑白金的销售方和生产方有虚假宣传,欺诈消费者的行为,所以将其诉至法院。 各地法院做出的判决结果不尽相同。判决原告胜诉的法院认为:原告作为普通消费者,凭借该项文字的表述内容,足以产生凭借其购买脑白金这一商品的行为而获得价值5000元金砖的这一内心确认,但没有证据显示本案存在原告从被告所销售的脑白金商品中可以获取金砖的可能性①,被告在没有金砖获取的可能性的情形下,任其销售的商品标有“脑白金里有金砖,价值5000元”的字样,被告故意告知上述虚假信息,致使原告做出了购买脑白金的错误意思表示,认定被告的行为为欺诈。判决原告败诉的法院认为:虽然在原告购买的“脑白金”产品外包装上没有明确注明“脑白金里有金砖”是指有奖销售活动,但包装盒上显示了金砖的纯度和价值,原告认为“脑白金里有金砖”即是指在任何情况下购买“脑白金”产品的消费者均可得到黄金,按此理解则被告生产和销售“脑白金”不但不能获利,反而会造成巨额损失,这种解释既与交易习惯不符,违背了商品经济活动的准则,又明显不符合情理,也有违《中华人民共和国民法通则》第四条所规定“自愿、公平、等价有偿和诚实信用”的法律原则,所以认定被告的行为不构成欺诈。 分析上述案例我们发现,无论法院最终判决的结论是谁胜谁败,但判决过程决不仅仅是形式逻辑所能解决的问题,被告行为对原告所引起的内心感受、不同证据的采信、一般交易习惯、商品经济活动准则、诚实守信法律原则等都是决定案件走向的重要因素。法律推理过程实际上是一个包括认知、心理、情感、偏好等多种因素的复杂的操作过程,而这些因素在推理过程中的参与正是法律逻辑的非形式逻辑特征体现。 法律活动中的推理和论证并不像形式逻辑所希望的那样具有明确性、一致性和完备性,法律逻辑作为以法律推理、法律论证为特定研究对象的学科,具有其特殊性。首先,法律逻辑是体现法律职业者独特的思维特征,法律推理的目的是寻求利益冲突的最佳解决办法,最佳解决办法有时并不等于完全正确的办法。所以,法律逻辑并不是将形式逻辑简单地应用于法律。法律具有实践理性,法律职业者的思维不能完全形式化,正如同波斯纳所言,法官不可能像一架自动售货机,“上口投入法律条文和事实的原料,下口自动地输出判决的馅儿,保持原汁原味”[5]29。其次,人们关注法律活动中的法律推理,主要关注的不是形式结构,而是推理的构建活动,亦即它的前提如何建立的问题。正如库德里亚夫采夫所言:“定罪时,主要的困难不在于从两个现成的前提中推出结论,而在于解决为了建立推理恰恰是应该掌握什么样的前提。建立三段论的规则没有回答这一问题。”[6]165第三,法官在司法实践中会遇到许多复杂情况,例如,对于具体案件而言,法律没有规定或无明文规定,法律规定存在缺漏;已有的法律规定含混歧义或笼统抽象;法律规定之间相互抵触,自相矛盾;直接适用法律规定会造成与立法意图或法律精神相违背的结果;直接适用法律规定会造成与社会公平正义相违背的结果等。面对这些情况时,法官需要设法消除法律中的模糊和矛盾,综合各方面的情况,在已有法律规范和法律精神、公序良俗等众多因素中寻找解决问题的途径。这些途径涉及到的更多是法律内容、行为事实和价值选择,形式逻辑不能关注和解决这些困难。 上述分析彰显了法律推理的非形式逻辑特征,也论证了法律逻辑应该定性为一种非形式逻辑的学术观点。就像波斯纳所说:“法律总是吸引并奖励那些善于运用非形式逻辑的人们而不是形式逻辑———数理逻辑和谓词演算之类的;那些是吸引另一类人的逻辑。”[5]572

第8篇：逻辑中的推理形式范文

【关键词】逻辑；逻辑系统；必然

一、逻辑的研究对象

逻辑是什么？从人们公认的逻辑创始人亚里士多德以来，千百年间，逻辑学家们众说纷纭，至今都没有一个统一明确的定义。每个逻辑学家在进行逻辑研究时，都会面临这个问题，基于不同的逻辑观，对此问题的回答只能是莫衷一是。在我国，金岳霖先生是最早对此问题有所回答的逻辑学家之一。

金岳霖先生对逻辑的认识与亚里士多德对逻辑的认识大致上是一致的，在亚里士多德的著作《工具论》中有两处关于逻辑是什么的表述。在《论辩篇》中，他这样描述过，“推理是一种论证，其中有些被设定为前提，另外的判断则必然地由它们发生。”在《前分析篇》中，他对三段论的解释中也有过描述，“三段论是一种论证，其中只要确定某些论断，某些异于它们的事物便可以必然地从如此确定的论断中推出。所谓，‘如此确定的论断’，我的意思是指结论通过它们而得出的东西，就是说，不需要其他任何词项就可以得出必然的结论。如果一个三段论除了所说的东西以外不需要其他什么就可以明确地得出必然的结论，那么我们称这个三段论是完满的；如果一个三段论需要一个或多个尽管可以必然，从已设定的词项中推出但却不包含在前提中的因素，那么，我们就称这个三段论是不完满的。”

金岳霖先生与亚里士多德一样，对逻辑的定义并没有明确地给出，但是在他的一些著作中，我们也可以找到一些相关的表述。他认为，“如果论理（逻辑）学的定义――狭义的定义――是研究命题与命题间的必然关系的学问，则论理（逻辑）学的对象――的性质也就包含必然的性质。”他还说过，“逻辑是一个命题或判断序列，或可以任意命名的从一个得出另一个的序列。但是它不是任意一个序列或具有许多可选序列的序列，它是一个序列并且只是这个序列，它是一个必然序列。”此外，他还认为“逻辑学的对象――逻辑――就是必然的理。必然的理当然没有传统与数理的区别。逻辑性，虽然有传统与数理的分别，而逻辑没有，它只是必然的理而已。”

在上述亚里士多德和金岳霖先生关于逻辑的论述中，有一个词汇出现的频率很高，它就是“必然”。从中我们不难看出，“必然”是金岳霖先生探讨逻辑的重心，它是我们全面把握金岳霖先生逻辑思想的主线，也是我们探究逻辑的本质的关键。

二、必然的逻辑解释

金岳霖先生在《释必然》中，将必然分为三类，即心理方面的必然、事实方面的必然和论理（逻辑）方面的必然。第一，心理方面的必然，所指的就是个人的感觉，此种必然因为以人为判断主体，故而有不同的意义。这种事情在日常生活中非常常见，特别是涉及到人的感情方面，如一个失恋的人有了“必”死之心，仇恨可以使人有“必”报之志，此处的“必”是人自己心理的感觉。第二，事实方面的必然，不是人的心理问题，金岳霖先生将此种必然分为两部分来进行阐述，即经验中事实的必然和自然科学中事实的必然。经验中事实的必然是人们根据日常生活经验而得来的。这一类都是大约，很有可能有例外，很容易被，并不是真正意义上我们所讲的必然。自然科学中事实的必然主要通过它的自然律来进行把握。如人必然是会死的，物体的加速运动必然是因为力的作用。至今为止，事实的必然是否存在仍然不得而知，但可知等的是此种必然与我们所讨论的逻辑的必然是不同的。

第三，论理（逻辑）方面的必然在金岳霖先生看来，是两个命题或多个命题之间的穷尽可能的必然关系。对于这种必然，为了方便，我们先从两种包涵关系着手。这两种包涵关系指的是对称的包涵和非对称的包涵此处的包涵都是从大类上讨论的，小类不算在内。针对包涵关系，我们假定在两个命题之间发生。如果一个命题包涵另一个命题，我们把前者称为前件，后者称为后件。前件包涵后件而后件不包涵前件，则此种包涵是非对称的包涵；前件包涵后件而后件也包涵前件，这种包涵是对称的包涵。在非对称的包涵当中，前件与后件的意义是不相等的，而在对称的包涵中，前件与后件的意义却是相等的。两命题有其中任何一种意义方面的包涵关系，那么这两个命题有着必然的关系。不对称包涵中的必然也不对称，即承认前件必然会承认后件，而承认后件则不必然承认前件。对称的包涵关系中的必然也是对称的，即承认前件则必然承认后件，承认后件也必然承认前件。那么如何穷尽可能呢？我们从二分法的角度来考虑。

对于任意一命题p，引用真假二分法，得到的是：p和-p。

对于任意的命题p和q，引用真假二分法后，得到的是：

p q

真 真

真 假

假 真

假 假

对于任意的命题p、p与r，引用二分法后，得到的是：

p q r

真 真 真

真 假 真

假 真 真

假 假 真

真 真 假

真 假 假

假 真 假

假 假 假

由此，我们可以得出，n个命题，引用二分法后，可以得到2种可能。

对于一个命题的真假两种可能，可以有四种不同的函数来表示：

1 2

a 真 真

b 真 假

c 假 真

d 假 假

1代表“p是真的”，2代表“p是假的”。其中a代表的两者的“或”的关系，其余都是“而”的关系。这四个命题中d是不可能的，a是无往而无真的，是必然的。对于两个命题之间也存在者一个不可能的命题和一个必然命题。由此可见，金岳霖先生的“必然”就是现代逻辑中的有效式。

三、逻辑与逻辑系统

每一句话划分一种领域，领域有范围大小的不同，内部的秩序有程度高低的不同，每一领域至少有一系统，说以每一句话都可以说有系统为它的背景，在一系统之内，可以有好几个相连的命题，而这些相连的命题联合起来，就确定了他在该系统背景下的意义。系统因有范围大小的不同，紧凑与松懈程度的不同，所以它的意义也就是空冷而它的种类也就非常之多。伦敦的地道车是一系统，国际联盟也是一系统，所有的科学均为系统，而哲学系统是很常用的名词。

那么为何逻辑系统呢？金岳霖在其著作《逻辑》一书中，指出―逻辑系统首先应该是演绎系统，并不是只要演绎系统就一定是逻辑系统。演绎系统大部分可以分走两部分，一位演绎干部，一位演绎支部。干部为系统的根本，支部为系统的枝叶。前一步所包含的为系统的基础概念，与基本命题，后一步为前一步所推论出的命题。这并不是说所有演绎系统都有一种成文的干部与支部，事实上的情形或者不是这样，但如果我们把任何演绎系统加以分析，我们可以把它分为一个演绎干部一个演绎支部。演绎干部可以分作两部，一为基本概念，一为基本命题；支部可以份做许多部分。干部下面分两段讨论，支部不须特别讨论，也就是干部既定，干部随之。

一个逻辑系统即为演绎系统，那么它具有上述演绎系统的特点，那么逻辑系统与演绎系统的区别呢？逻辑系统与其他演绎系统的区别不是原子的分别，运算的分别，或关系的分别。以上所举的一种系统可以解释为几何学、类学、命题学，或几何系统、类的系统、命题的系统。演绎系统不引其原子为点、线等等就不是逻辑系统，也不因起原子为类为名题就变成逻辑系统。逻辑系统可以说是没有特殊的原子，他的独有情形不在原子而在它的系统多要保留的“东西”。

在金岳霖看来，逻辑与逻辑系统的关系是实质与形式的关系，具体来说，是必然之实质与必然之形式的关系。逻辑是必然之实质，而逻辑系统是必然之形式。每一个逻辑系统都是逻辑之所能有的一种形式，所以每一个逻辑系统都是代表逻辑，而但是逻辑不用为任何一系统所代表。

必然之形式，这里的“形式”二字的含义与我们普遍意义上理解的并不相同。这里指的是我们用来表示必然的工具的形式。金岳霖先生用必然之形式而不用必然的形式是有原因的。因为我们所指的是“form of tautology”而不是所指的“tautological form”，在金岳霖先生看来这种必然之形式并非绝对的，而是相对的。这种相对是针对必然实质而言的。

必然之实质，与必然之形式相对，所指的是形式所表现的实质。必然之形式与必然之实质很容易让人产生误会，混为一谈。对此，金岳霖先生利用C.Peirce的字眼，说必然之形式是“token”，必然之实质是“type”。假设一美元是一个“type”，那么，一般来说这个“type”至少就有两个“token”，一个是“一美元”的纸币，一个是“一美元”的硬币。

那么必然之形式与必然之实质有什么关系呢？

第一，必然之形式虽然不必然，但是必然之实质是必然。此话其实相当于我们所熟知的同一律。同一律既不否认，即必然之实质不能不是必然。在此外，我们应该注意的问题是从字面上，“必然之形式”与“必然之实质”虽然形式上相同，但是，它们不等同于“必然形式”和“必然实质”。即不管必然之形式是怎样的，有多少种，必然之实质都是唯一的。

第二，无论必然之形式如何，此必然命题都是普遍的。即必然的命题必不

能为假，这种真与其他命题的真有所不同。它并不去形容事实，但是却范畴事实，即无论事实怎样变化，都是围绕着必然命题这一核心的。

第三，必然命题，逼近能够普遍的引用与所有事实，而且也是推论的普遍公式。这是针对数理逻辑而言的，这种推论并不指归纳方面的推论，它是指由前提而得到结论的推论。这种推论都有自己的普遍公式，而不同的公式在一个逻辑系统范围之内，都是可以勇必然命题来表示的。

第四，凡是由必然命题所推论出来的命题也都是必然命题。这从数理逻辑的角度很容易理解。数理逻辑注重推理演算过程，它存在着永真式的公理，由这些永真式的公理所推出的也是永真的。永真式我们也可以把它看成是必然命题，那么由它推出的这些永真的命题也是必然命题。

以上这些，都是从必然之实质方面考虑的，而不是从必然之形式，而是从逻辑系统方面的实质而非逻辑系统的形式而考虑的。此外，逻辑系统是一种形式，尽管是必然之系统，但是它本身不是必然的。逻辑的实质是必然，它既不能不是必然，也不能没有它的实质。因为，第一，逻辑系统不仅有二值逻辑系统，还有三值逻辑系统以及n值逻辑系统。每个系统中的命题都是必然命题，却是不同值的必然命题。第二，每一个系统都以它的基本概念与基本命题作为系统的出发点，而这些基本概念与必然是无关的。第三，尽管基本命题都是系统的必然命题，但是这些基本命题的表述工具是依靠基本概念的。因此，逻辑系统不是必然的，数理逻辑的发展也进一步证明了这个观点。

纵观金岳霖先生的学术生涯，“必然”作为他逻辑观的主线，他的逻辑思想和研究都是围绕它形成的。对“必然”的研究，不仅可以让我们更加全面和深入地学习认识金岳霖的逻辑思想，还为我们对逻辑本质的把握提供了新的视角。

参考文献

[1] 金岳霖.金岳霖文集（第二卷）[M].兰州：甘肃人民出版社，1995.

[2] 中国社会科学院哲学研究所.金岳霖学术思想研究[M].成都：四川人民出版社，1987.

[3] 金岳霖.逻辑[M].北京：中国人民大学出版社，2010.

第9篇：逻辑中的推理形式范文

   　从20世纪50年代开始,哲学逻辑和逻辑哲学的研究在国际哲学界、逻辑学界蓬勃兴起,国内逻辑学界也于上世纪80年代开始,介绍、引进国外哲学逻辑和逻辑哲学的研究成果,目前对哲学逻辑与逻辑哲学的研究,从总体上讲,国内仍处于消化、吸收并尝试进行创造性研究阶段。哲学逻辑和逻辑哲学这是两门密切相关的学科,二者都是现代哲学与现代逻辑相互渗透的产物,但它们是两门不同的学科,有着不同的研究对象与范围。然而,由于“哲学逻辑”至今是一个充满歧义的词,不同的学者对它有不同的理解,并在很不相同的意义上使用它,冠以“哲学逻辑”之名的书籍五花八门,因而,和逻辑哲学在词义上发生了混乱。为了进一步推动哲学逻辑与逻辑哲学的研究,促进这两门新兴学科的确立与完善,因此,有必要对哲学逻辑的精确涵义及与逻辑哲学的关系作一番梳理与辨析。

一　哲学逻辑词义的历史演变

最早[论\文\网 lunwennet\com]明确使用“哲学逻辑”一词的是英国著名数学家、哲学家、逻辑学家罗素。他在《我们关于外在世界的知识》一书(1929)中,指出:“数理逻辑,除了它的初创形式之外,就连最现代的形式也不直接具有哲学上的重要意义。在初创以后,它就属于数学而不属于哲学了。我将要扼要论述的,是数理逻辑的初创形式,只有这个部分才真正称得上哲学逻辑。往后的发展,尽管没有直接的哲学意义,但是对哲学研究有很大的间接用处。”①他还认为,哲学逻辑的真正对象乃是为各种命题和推理所共有的逻辑形式,哲学逻辑乃是对逻辑形式的研究。以往的哲学由于被语言表面的语法形式所蒙骗,未能认清其隐藏着的真正的逻辑形式,而犯了许多重大的哲学错误。

可见,罗素对“哲学逻辑”一词的词义只给予了初步界定,而未加阐释。后来的英国著名学者斯特劳森赋予了“哲学逻辑”以明确的含义。1967年,斯特劳森编辑出版了一本题为《哲学逻辑》的文集,该文集收入了弗雷格、格拉斯等学者的相关论文,他为此书撰写了一长篇序言,在序言中,斯特劳森阐述了他对哲学逻辑的观点。他把整个逻辑领域区分为两部分:“逻辑是关于命题的一般理论。它有形式的部分和哲学的部分。”分别叫形式逻辑和哲学逻辑。在他看来,形式逻辑研究命题之间的可演绎关系或蕴涵关系,它要以系统的方式排列有关这种蕴涵关系的各种规律;而哲学逻辑则要研究形式逻辑产生的哲学背景和哲学预设,以及由此引出的一系列哲学问题,例如: 究竟什么是命题? 说一个命题为真是什么意思? 命题联结词的准确性质,特别是出现在条件命题中的蕴涵的准确性质是什么? 意义概念应当怎样加以分析? 真理概念和分析性概念应当怎样加以分析? 指称和述谓( ( predica2tion)的区别与联系是什么? 哲学逻辑学家要回答这些问题,就必须回答有关语言和各种语言表达式的性质与功能等问题。因此,需要进一步研究这样一些问题:实际的言语活动模式;意义理论;语言交际的特性与条件,等等。②

很明显,在斯特劳森那里,“哲学逻辑”其实质不是逻辑,而是某种形式的哲学,是对与逻辑有关的哲学概念和哲学问题的仔细探究,它的成果和方法有直接或,间接的哲学意义。在斯特劳森观点的影响下,英国哲学家大都在哲学意义上使用了“哲学逻辑”一词。例如,格雷林在《哲学逻辑引论》一书中指出:“哲学逻辑是哲学,尽管它是提供逻辑学知识,对逻辑问题很敏感的哲学,但它是哲学。”他甚至认为,在“哲学逻辑”这一名词中,“逻辑”这一字眼的作用会引人误解,因为,哲学逻辑并不是关于逻辑的,也不是逻辑学。正是基于这些看法,格雷林的《哲学逻辑引论》所研究的主要是:命题;必然性、分析性与先验性、存在、预设与摹状词、实在论与反实在论, ③等等。与格雷林同为英国牛津大学讲师的沃尔夫拉姆在1989年出版的《哲学逻辑导论》一书中,沃尔夫拉姆也阐述了他对哲学逻辑的看法。在他看来,哲学逻辑是关于论证、意义与真理的研究,它的主题与形式逻辑相关,但其研究对象不同,它不像形式逻辑那样处理有效论证,它只检验已经建构好的逻辑系统中的基本概念。根据这种观点,沃尔夫拉姆在书中主要研究了指称与真值、必然真、分析与综合、存在与同一、意义问题,等等。④在由联合国教科文组织筹划,法国哲学家保罗·利科主编的《哲学主要趋向》( 1979)一书中,所沿用的都是这种意义上的哲学逻辑概念。

然而,数理逻辑诞生以来,数理逻辑成果被广泛运用,大批应用逻辑分支如同雨后春笋般地涌现出来,很多哲学家与逻辑学家关注了这一情况,赋予了哲学逻辑以逻辑的含义。众所周知,在逻辑发展史上,莱布尼茨最早提出了创立数理逻辑的理想,他为此付出了艰苦的努力,却未能获得成功。

1930年哥德尔证明了谓词演算的完全性,数理逻辑才算真正创立。但是,有一部分逻辑学家不满意已有的数理逻辑系统,认为它们存在严重的“缺陷”和“不足”,于是着手“修改”或“扩充”已有的一阶逻辑。他们或者创立了一些修正以至替代它们的新逻辑分支,例如直觉主义逻辑,相干和衍推的逻辑,多值逻辑,自由逻辑等等,或者应用已有的一阶逻辑工具于哲学、语言学等专门领域,创立了带有浓厚应用色彩的多种逻辑分支,例如,模态逻辑、时态逻辑、道义逻辑、认知逻辑等等。

这些新的逻辑系统或分支在20世纪20—30年代开始出现,在50—70年代繁荣兴旺起来,以至最后形成了一个新兴的逻辑学科群体。⑤因此,相当的学者越来越倾向于用“哲学逻辑”一词专指这个新兴的学科群体。例如,美国逻辑学家莱斯彻在1968年出版的《哲学逻辑论集》中阐述了他对哲学逻辑的看法。他指出,现代逻辑的发展有两个方向:一是数学方向,即数理逻辑,它是现代逻辑发展的主流;另一个方向则是哲学逻辑,它是对一些相关的哲学领域,比如本体论、认识论领域、伦理道德与规范概念等的逻辑研究,这些研究的共同特点是它们与数学并无直接联系,而往往具有较为明显的哲学背景与哲学意义,故称为哲学逻辑。⑥在他看来,模态逻辑、时态逻辑、道义逻辑、认知逻辑等等,就是哲学逻辑研究的主要内容。他所构造的哲学逻辑就是由这些研究内容所组成的学科群体。

关于哲学逻辑的词义,也有许多学者是在哲学与逻辑的双重意义上来使用。例如,柯比和古尔德合编的《当代哲学逻辑》以及冯. 赖特的论文集《哲学逻辑》都属于这一类型。在他们看来,哲学逻辑既指对逻辑所产生或引起的哲学概念和问题的哲学研究,也指这种研究所建立起来的新的逻辑。前者是非形式的,后者则是用形式化方法构造的形式系统。恩格尔则把前者叫做“非形式的哲学逻辑”,后者叫做“形式的哲学逻辑”。

二　哲学逻辑对象的界定

根据上述对哲学逻辑词义的历史考察,关于哲学逻辑的词义,国外学者是在三种不同的意义上使用的:一是哲学逻辑是哲学,是一门与逻辑有关的哲学学科,它研究由逻辑所引起或,提出的哲学问题;一是哲学逻辑是逻辑,它是与哲学有关的逻辑学科,研究具有较为明显的哲学背景与哲学意义的概念的逻辑问题;一是哲学逻辑既是哲学,又是逻辑。

仔细考究这些关于哲学逻辑词义的不同看法,可知其原因是未能把哲学逻辑与逻辑哲学这两个不同的概念区分开来所致。我们知道, 20世纪现代逻辑与现代哲学发展的一个重要特征是两者的相互渗透,由此出现了“哲学的逻辑化”与“逻辑的哲学化”两大趋势,并进而形成了“哲学逻辑”与“逻辑哲学”等新兴的交叉学科。⑦哲学的逻辑化趋势主要表现在现代西方分析哲学和语言哲学的兴起,芬兰最著名的哲学家、逻辑学家冯·赖特在其名著《20 世纪的逻辑和哲学》中指出:“20世纪哲学最突出的特征是逻辑的复兴,它是哲学发展的发酵剂。这一复兴是从本世纪开始的。最初以剑桥和维也纳为中心,后来扩大到整个分析哲学运动,这一复兴与之交汇,这是逻辑学登上哲学舞台的标志。”20 世纪以来,哲学的主要问题和研究对象既不是本体论,也不是认识论,而是语言问题,哲学研究的一般方法就是语言分析,而语言分析的基本工具就是现代逻辑,因此,在国际哲学界形成了哲学的逻辑化趋势,在这种趋势下,对一些哲学概念进行精细的逻辑分析成为一些学者关注的热点,哲学逻辑也就应运而生。逻辑的哲学化趋势是在现代逻辑的基础上,在对逻辑的哲学反思中形成的,主要表现为对逻辑本身的整体性的哲学思考或研究以及对逻辑特别是现代逻辑发展中的一些具体问题的哲学分析。由于现代逻辑本身是一个不断发展的学科群体,也由于现代逻辑发展中的哲学问题并不是一成不变的,还由于不同的研究者可以有不同的研究视野,因此,逻辑的哲学化趋势是多元的。当哲学逻辑与逻辑哲学刚登上学术舞台的时候,我国年轻学者陈波就密切关注其研究动态,在国内介绍并引进国外学者在哲学逻辑与逻辑哲学研究上的成果,并在一系列相关论著中,明确主张严格区分哲学逻辑和逻辑哲学。

在我看来,哲学逻辑是逻辑,是20 世纪20 - 30 年代开始兴起, 50～70年代蓬勃发展的一个新兴逻辑学科群体,它们以数理逻辑(主要指一阶逻辑)为直接基础,以传统的哲学概念、范畴以及逻辑在各门具体科学中的应用为研究对象,构造出各种具有直接哲学意义的逻辑系统。逻辑哲学则是哲学,它在逻辑和哲学中都具有自己的起源,因而包括两部分内容:首先,逻辑哲学要研究逻辑学本身所提出的一系列哲学问题,例如逻辑究竟是什么,蕴涵与推理有效性的关系,逻辑真理和逻辑悖论等等;其次,逻辑哲学还要研究如何在哲学研究中引入现代逻辑的工具,利用它去解决传统的哲学争论和哲学难题,例如意义问题、真理问题、存在问题等等。

三　哲学逻辑的研究范围

辨析哲学逻辑与逻辑哲学的词义,可知两者有着不同的研究对象,这种不同的研究对象,决定它们有着不同的研究范围。以数理逻辑为直接基础,以传统的哲学概念、范畴以及逻辑在各门具体科学中的应用为研究对象的哲学逻辑,其研究范围包括两大子群,一是异常逻辑( deviant logic) ,形式上表现为经典逻辑的择代系统( alternative systems) ; 一是应用逻辑( app lied logic) ,形式上表现为经典逻辑的扩充系统( extendedsystems ) 。

异常逻辑亦称非经典逻辑(non-classic logics) ,它们是相对于经典逻辑而言的。经典逻辑包括命题演算、谓词演算和关系演算,是建立在下述基本原则或假定之上的: ( 1)外延原则,即它在处理语词、语句时,只考虑它们的外延,并认为语词的外延是它所指称的对象,语句的外延是它所具有的真值;如果在一复合语句中,用具有同样指称的但有不同涵义的语词或语句去替换另一语句或子语句时,该复合语句的真值保持不变。这就是著名的“外延论题”⑧。与此相联系,一阶逻辑是建立在实质蕴涵之上的真值函项的逻辑。( 2)二值原则,即在一阶逻辑中,任一命题或真或假,非真即假,没有任何命题不具有真假值。(3)个体域非空,即量词毫无例外地具有存在涵义,并且单称词项总是指称个体域中的某个个体,不允许出现不指称任何实存个体的空词项。4. 采用实无穷抽象法,因而在其中可以研究本质上是非构造的对象。凡是因否弃其中某一个原则或假定而建立起来的逻辑理论,都属于异常逻辑。具体来说,这包括多值逻辑、相干和衍推的逻辑、直觉主义逻辑、偏逻辑、自由逻辑、量子逻辑等等。

多值逻辑就是由否弃真假二值原则而建立的逻辑理论,它可以形式定义如下:一个系统是n值的,仅当n是系统的特征模型值的最小数,当然这里的n必定大于2。随着n取大于2的不同值,多值逻辑就有不同的形态。例如,当n = 3 时,就得到最简单的多值逻辑:三值逻辑。在卢卡西维茨所构造的三值逻辑中,被经典逻辑奉为金科玉律的不矛盾律和排中律不再是普遍有效的规律。三值逻辑还可扩展成有穷多值甚至无穷多值逻辑。将多值逻辑应用于物理学领域,导致了量子逻辑的创立,后者被用来刻画微观粒子的波粒二象性和测不准特性。⑨

相干[ ]和衍推的逻辑、直觉主义逻辑都是由否弃实质蕴涵而建立的逻辑理论。在相干逻辑中,用相干蕴涵代替实质蕴涵。a相干蕴涵b,即是说, a与b之间有某种共同的意义内容,使得由a逻辑地推出b,并且这种推出与a, b的真值毫无关系。a与b之间内容上的相干还有其形式表现,即a 和b至少有一个共同的命题变元,这就是著名的相干原理。a衍推出b,既要求a与b相干,又要求a与b有逻辑的必然联系,所以衍推逻辑是相干逻辑,又是模态逻辑。在直觉主义蕴涵中,则用直觉蕴涵代替实质蕴涵,a直觉蕴涵b,是指存在某些构造(例如p) , 把它与a 相连接之后能产生b。这就是说,“如果a则b”要求a与b有一定的关系,亦即要求有一个过程,当把这个过程与证明a的过程配合起来之后,可以证明b真。在相干逻辑和直觉主义逻辑中,许多经典逻辑的定理不再成立。

应用逻辑则是利用经典逻辑的工具,去分析某些具体学科特别是哲学中的概念或范畴而建立的逻辑分支。所以冯·赖特说:“哲学逻辑有时定义为运用逻辑分析传统上哲学家所关心的概念的结构。”“我把哲学逻辑描述为构造形式系统以精确阐释我们在某些话语领域内的概念直觉。我认为,本世纪20多年来的发展表明:构造此类系统实际上可以在哲学家传统上感兴趣的任何领域内进行。这些系统可以称为相关领域内的‘逻辑’,例如,时间的逻辑,因果的逻辑,行动的逻辑,规范的逻辑,或者偏好(优先)的逻辑。”

应用逻辑又可以分为三组:本体论的逻辑,认识论的逻辑和伦理规范的逻辑。

本体论的逻辑是以传统哲学本体论的概念、范畴以及相关问题为研究对象的逻辑理论。具体来说,它包括模态逻辑、时态逻辑、存在逻辑、部分和整体的逻辑、莱斯涅夫斯基的本体论、构造主义的逻辑、唯名论唯实论意义上的本体论等等。模态逻辑是关于必然性和可能性的逻辑,或者说,是研究含有“必然性”、“可能性”的命题的逻辑特性及其推理关系的逻辑分支。它分为正规的和非正规的两种类型。一个正规模态命题逻辑系统是经典命题逻辑的重言式集的一个扩集,扩集满足两个条件:

(1)口(pq) (口p口q)在s中有效;

(2)在s中,从有效公式出发, 经使用分离规则, 代入规则,必然化规则,所得到的仍为有效公式。这里提到的必然化规则是:

若┝a,则┝口a。时态命题是研究时态命题的逻辑特性及其推理关系的逻辑分支,它试图把涉及时间因素的命题之间的推理关系系统化,为涉及时间因素的精确讨论和严格推理提供工具。从形式上看,时态命题逻辑系统t是不同于正规模态命题逻辑的,是经典命题逻辑重言式集的另一种扩集,它满足下述两个条件:

(1) g(pq) ( gpgq)和pgpp在t中有效;

(2)在t中,从有效公式出发,经使用分离规则,代入规则和时间性概括规则,所得到的仍为有效公式。

存在逻辑是关于存在及其同类概念的逻辑理论,它研究这些概念的性质,探讨诸如“存在是不是谓词”等问题,这种逻辑归根结底不仅依赖于纯逻辑的思考,而且依赖于本体论的思考。

认识论的逻辑是以传统认识论所研究的概念、范畴为对象的逻辑理论,它们与知识的获得、接受、传递以及对于某一知识的态度例如怀疑、断定、相信等等有关。具体来说,它包括问题逻辑、知道逻辑、相信逻辑、条件句逻辑、内涵逻辑、归纳逻辑(证据、确证、接受的逻辑)等。⑩

伦理规范逻辑:伦理学属于广义哲学的一部分,传统哲学特别是伦理学要研究诸如权力和义务、应该、允许、禁止、需要和要求、决定和选择、动机、效果与行动等概念和范畴。伦理规范的逻辑就是与这一类哲学概念和范畴相关的逻辑理论。

具体来说,它包括道义逻辑、命令句逻辑、行动逻辑、优先逻辑等等。

注:

①罗素:《我们关于外在世界的知识》,东方出版社1992 年版,第36页。

②p. f. strawson: philosophical logic, oxford university press,1967年版,第1页。

③格雷林:《哲学逻辑引论》,中国社会科学出版社1990 年版,第17页。

④ s, wolfram: philosophical logic: an introduction, routledgelondon and new york, 1989年版,第8页。

⑤陈波:《逻辑哲学》,北京大学出版社2005年版,第10页。

⑥n. rescher: top ics in philosophical logic,d. reidel publishingcompany, 1981年版,第21页。

⑦胡泽洪:《逻辑的哲学反思》,中央编译出版社2004 年版,第34页。

⑧王路:《逻辑与哲学》,人民出版社2007年版,第46页。