逻辑推理的定义(6篇)

时间：2024-09-07 来源：

逻辑推理的定义篇1

【关键词】同义反复/事实真理和逻辑真理/命题的逻辑内容

【正文】

逻辑真理是重言式，重言式是永真的，其永真性必然地导源于它的同义反复性。[1]维特根斯坦最先明确表述的这个关于逻辑真理的观点已经成为现代逻辑学中的正统。逻辑真理为什么是同义反复的？正统的观点似乎认为，没有更好的理由来解释重言真理的永真性，因此逻辑真理的必然性只能导源于其同义反复性。[2]在下文中我将举出一些在我看来较充分的理由来论证事实并非如此。实际上大部分重言式都不是同义反复的；如果全部重言真理都必然地具有同义反复性，则经典演绎逻辑系统的大部分定理将不能从该系统中推出来，因为在那种条件下经典演绎系统的推演能力将是非常弱的。

一、论逻辑真理的本性

所谓“同义反复”从直觉上讲有两层意思：其一是指一推理的后件的内容包含于其前件的内容之中，其二指推理的前后件的内容完全相同，无论该前后件的形式是否相同。关于经验命题的事实内容大小的测度是著名地困难的；就我所知，关于逻辑命题的逻辑内容大小测度的问题，前辈逻辑哲学家似并没有专门研究过。然而，若要弄清重言真理到底是否必然地为同义反复的，我们就必须找到一种方法，由此可直接衡量有关逻辑命题的逻辑内容之大小，进而判定有效推理在逻辑内容上是否是可扩大的。

经典逻辑推理以实质蕴涵为基础，数学命题推导的有效性又由逻辑推理的规则所保证。因此可以说实质蕴涵是一切经典形式科学的基础。但现在的问题是，逻辑学家将实质蕴涵命题pq定义为p∨q，也就是说，在p和q的4种可能的真值组合中，只有事态p∧q使pq为假，其它三种事态p∧q、p∧q、p∧q都使其为真；这就与日常生活和科学实践中人们关于事实真理的推理之看法有了很大的差异。逻辑学家为什么要这么定义实质蕴涵？就我所知，前辈逻辑哲学家似乎没有就此提出过合理的说明，而只是进行一些实用的解释。比如罗素曾说过：为了使从p得出q这一推论是正确无误的，只须p为真和命题“非p或q”真；这种蕴涵关系对数学推理来说是足够的。[3]塔尔斯基也表达了与此相同的观点，并指出，将实质蕴涵作为数学推理的基础不仅非常方便，而且还取得了十分令人满意的效果。[4]然而对实质蕴涵的这种实用解释并不能满足我们的理论兴趣，更何况实用根本上乃是偶然的，无法说明重言真理的必然性。我们需要的是对实质蕴涵之所以如此定义的一个逻辑哲学上合理的解释。

在日常生活和经验科学研究中，关于因果性的命题可以表述为条件句的形式。就经验知识而言，因果条件句的真值条件如何？倘若一因果条件句的前后件都是真的，则它就被认为是真的；当一条件句的前件真而后件假时，它便被认为是假的；而当一条件句的前件假时，则无论其后件的真值如何，该因果条件句都被认为并未断言任何内容，它是无真值的。就事实真理观来说，因果条件句具有上述的真值条件似应无可置疑。因为人们不仅在日常生活中对因果条件句的真值持这种看法，而且在对科学命题的证实或确证中也是这么行事的。在科学实践中作为证实或确证原则而普遍适用的尼柯标准规定[5]：任一全称条件句形式的假说比如“所有的乌鸦是黑的”，都可符号化为（x）（F[，x]G[，x]）（1），对命题（1）来说，一个具有F[，a]∧G[，a]形式的个体确证它，一个F[，a]∧G[，a]个体否证它，而F[，a]∧G[，a]和F[，a]∧G[，a]与对（1）的确证不相干。这表明就事实真理观来说，（x）（F[，x]G[，x]）（1）肯定的是所有的F[，a]∧G[，a]，它排斥的是任一个F[，a]∧G[，a]，而对F[，a]∧G[，a]和F[，a]∧G[，a]没作任何断言。另一方面，根据逻辑学的定义，（1）断言的是F[，x]G[，x]的所有替换事例都是真的，即F[，a]G[，a]、F[，b]G[，b]…等等都是真的。[6]由此看来，（1）获得确证和否证的逻辑机制便十分明显了。为什么我们观察到F[，a]∧G[，a]时就对（1）进行了一次确证？因为F[，a]∧G[，a]使（1）的一个替换事例F[，a]G[，a]为真，而（1）断言的是所有它的替换事例都是真的，故而这就达到了对（1）的一次确证。同理，如果我们观察到F[，a]∧G[，a]就使得（1）的一个替换事例F[，a]G[，a]为假，从而使得（1）关于其任何替换事例都为真的断言不成立。与此相应，当我们观察到F[，a]∧G[，a]或F[，a]∧G[，a]时，与对（1）的任何一个替换事例的证实和否证都不相干，故相应地亦与（1）所断言或排斥的内容不相干。

以上讨论使我们清楚了，就经验知识所涉及的范围而言，事态p∧q使因果条件句pq为真，事态p∧q使其为假，而p∧q和p∧q与对它的证实不相干。容易引起争议的是，具有什么样真值条件的条件句才可算作因果条件句，这个问题由于一时难以澄清，况且与本题并无直接关系，让我们暂且搁置不论。在这里我们只需作一个推断：上述真值条件是作为因果条件句的必要条件，但是否是作为因果条件句的充分条件暂且不论。

由此可知，就经验和形式知识而言，对条件句pq可从事实真理观和逻辑真理观两个方面来理解。作为经验知识的因果句和作为形式知识的蕴涵句在使其为假的事态上是完全一样的，即仅p∧q使它们为假；但在使作为知识的条件句pq为真的事态的看法上，事实真理观和逻辑真理观却有了差异。究其原因，乃因为，一般而言事实真理的本质在于命题对相关事态的“符合”，这里只取这种“符合”的直觉含义。事实真理观将其前后件都为真看作是因果句之唯一的为真的真值条件，正满足了这种“符合”直觉。而倘若我们对逻辑学关于逻辑常词的有关定义作一番细致深入的反思，就不难发现，逻辑真理实质上无非是逻辑命题必然地排除使得自身为假的事态的方式而已。逻辑真理既必然地不可能为假，又必然地不可能只在“符合”的意义上为真；由此便得出，与事实真理的实质在于“符合”不同，逻辑真理的实质在于必然的排假。仅当在必然的排假的意义上逻辑真理才可必然地为真，“符合”意义上的真理总是偶然的。

从历史上看，真假的观念最先起源于经验知识方面，逻辑知识中的真假概念只是对它的引申而已。在事实真理观看来，对一命题而言，在诸相关事态中，有的事态使其为真，有的事态使其为假，而其它事态则对该命题真值的确定无关。然而逻辑真理观却将那些与一命题真值无关的事态都定义为可使该命题为真；比如将p∧q和p∧q都定义为是使pq为真的真值条件。逻辑学家们为什么要这样定义？简单地讲，乃为了使逻辑学中所谓（与假相对而言的）真之实质不在于“符合”，而在于排假，从而保持逻辑命题的二值性，以为逻辑真理之重言永真性奠定最广阔的基础；我们在下文的讨论中将要表明，没有这种定义所奠定的广阔基础，逻辑真理将只可能建立于严格的同义反复的狭隘基础之上，这种条件下的逻辑真理从实质上看的确琐屑无聊。因此，逻辑真理之所以是永真的，或必然地不为假的，乃因为逻辑真理必然地排假，除此之外再无其它逻辑可能性。这即是逻辑推理的有效性的根源。

二、论有效演绎推理之逻辑内容的必然保真的可扩大性

倘若关于逻辑真理的这个观点能够成立，我们便可由此出发来论证有效的逻辑推理无论在事实内容方面还是逻辑内容方面都可是必然保真扩大的；换言之，在这两个方面有效推理都可不具同义反复性。以重言式pp∨q（2）为例，在事实真理观看来，（2）之前件p所断言的事实内容为p，而既然合取命题p∧q和析取命题p∨q所断言的内容在事实真理观和逻辑真理观来看基本相同，则我们就可认为（2）之后件p∨q所断言的事实内容即为p∨q。这样从p所断言的事实内容p为真，可推出p∨q所断言的事实内容p∨q为真，但p和p∨q在自然语言中绝不必然同义，因而p∨q之事实内容也不必然地与p的事实内容相同或包含于其中。试设想一个使用自然语言十分严肃的场合比如法庭审判，假设p表示“A犯了谋杀罪”，p∨q表示“A犯了谋杀罪或A违反了交通规则”。在这里当p真时，p∨q亦必真。按正统的观点，pp∨q既是同义反复的，那么在p和p∨q的事实内容的关系上就有两种可能性：或者p∨q的事实内容包含于p的之中，或者p∨q的事实内容与p的是相同的。不过既然p是没有逻辑结构的原子命题，则p的事实内容就是构成命题的独立的最小意义单位。因此，p∨q的事实内容便不可能是p的事实内容之一部分（即包含于p的之中），因为作为命题，p∨q的事实内容不可能比p的事实内容更小。所以唯一的可能是p∨q的事实内容与p的事实内容相同。现在如果法庭认定p为真，则应依法对A处以极刑。可如法庭不知p为真，只认定p∨q为真，则无论怎样分析p∨q的意义也不能依法处A以极刑，因为严格地讲，p∨q仅表示关于两个事实的可能性而非确凿的事实。但若p∨q与p果真同义（即它们的事实内容相同），则法庭只须分析清楚p∨q的涵义就应依法对A处以极刑，就像在认定p真时所该做的那样。可法庭是无权只根据关于事实的可能性就依法给被告定罪的，即使这种可能性有着所谓充分的证据。所以p∨q和p在事实内容上并不同义，就此而论，p∨q的事实内容大于p的事实内容，重言推理pp∨q在事实内容方面必然保真地扩大了。

另一方面，重言推理在逻辑内容上也是可必然保真扩大的。然而确切地讲，什么是逻辑命题的逻辑内容？逻辑真理的本质既在于必然的排假，那么我们就可运用逻辑命题所排除之事态的大小来定义命题的逻辑内容。但内容是一个相对的概念，只有在与其它内容的比较中一内容才可得到自身明确的定义。并不是任意两个逻辑命题的逻辑内容都是可比较的，正如并非任意两个事实命题的事实内容都是可比较的一样。我们必须运用逻辑命题的排假方式（即使得该命题为真的真值条件）和命题使用这些排假方式所排除之事态（即使得该命题为假的真值条件）的结合来为命题的逻辑内容下定义：仅当两个逻辑命题的排假方式以如下形式相联系，使得在这两个命题分别作为一推理的前后件时，该推理的形式是个重言式；在这种条件下，这两个命题的逻辑内容才是可比的，而这些命题所排事态之大小就是衡量它们逻辑内容大小的标准。换言之，只有有效推理之前后件的逻辑内容才是可比较的，因为我们只对有效推理感兴趣，只有有效推理所产生的结果才可作为逻辑知识，根据上述定义，命题pp∨q（2）既是个重言式，其前后件的逻辑内容就是可比的。（2）之前件所排事态为p，其后件所排事态则为p∧q，其后件所排事态明显地大于其前件所排之事态，故命题（2）为逻辑内容必然保真扩大推理。重言命题（3）p（qp）的情况也一样，因为它的后件所排事态q∧p明显地大于其前件所排事态p。同理，（qr）［p∨（qr）］（4）之前件所排事态为q∧r，其后件所排事态为p∧（q∧r），其后件所排事态亦明显地大于其前件所排事态。故（2）、（3）和（4）之前后件都并非是同义反复表达式：它们因此都是必然保真扩大推理。此外，重言式p∨p排除的是矛盾式p∧p，后者表示不可能事态，故凡是排除可能事态的命题之逻辑内容都大于p∨p的逻辑内容。而p∧p既是永假式，则就没有任何逻辑内容。

然而我们现在似乎遇到了一个反例；为了弄清这一点，首先让我们考察一下逻辑等值意味着什么。按照传统的观点，逻辑等值命题的内容是相同的；确切地讲，按照我们的观点，就两个等值命题的关系而言，逻辑等值式实际上乃表示等值命题可用互相通用的方式对同一使它们为假的事态的排除。以pqp∨q（5）为例，该等值式表示，在p和q的4种可能的真值组合中，其左右支均可用p∧q、p∧q、p∧q这三种方式排除唯一使它们为假的事态p∧q。既然pq和p∨q所排除之事态和所用之排假方式都相同，故它们的逻辑内容完全相同，（5）式之重言性就表明了这一点。但是，命题（6）pp∨（q∧q）也是重言等值式，由于p∨（q∧q）可变形为（p∨q）∧（p∨q），根据（6），pp∨q（2）即可表示为（p∨q）∧（p∨q）p∨q（7），在p和q的4种可能真值组合（事态）1.p∧q、2.p∧q、3.p∧q、4.p∧q中，（7）之前件排除3和4事态，而其后件仅排除3事态，因此（7）之前件的逻辑内容大于其后件的逻辑内容。p既与（7）之前件逻辑等值，p的逻辑内容就应大于p∨q的逻辑内容；这对我们在前面关于pp∨q（2）在逻辑内容上是必然保真扩大推理的论证是个反例，它促使我们进一步地去研究逻辑等值到底意味着什么。

为了较精确表述起见，我将“逻辑内容[，1]”定义为可使有效推理的前后件都具有真值的原子事态如p、q、r等，由这类原子事态所组成的复合事态如p∧q等亦属这个范畴；将“逻辑内容[，2]”定义为只使有效推理的前后件之一个具有真值而不能使另一个也具有真值的（原子）事态。再以pp∨q（2）为例，p可使（2）之前后件都具有真值，当p出现时，其前后件都为真，故p对（2）而言是逻辑内容[，1]。另一方面，q只能使（2）之后件p∨q具有真值，却不能使其前件p具有真值，因为p的真值与q是否出现无关，q对于（2）即是逻辑内容[，2]。具体说来，（6）可改写成pp∧（q∨q）（8），而（8）之左支所排对象为p，其右支所排对象为p∨（q∧q），在这里对（8）而言，由于其左右支都排除了p，故p是逻辑内容[，1]；而（q∧q）则涉及到了可能事态q。因为q∧q作为复合命题虽表示不可能事态，但其由以构成的原子命题却涉及了可能事态q，这一点在推论中对有关命题的逻辑内容的确定起到了重要的作用。如果说任何命题的确立都是以否定矛盾式为前提的，那么（8）之左支p所排除的矛盾式应是（p∧p）而不是（q∧q）。简而言之，（8）之左右支所排逻辑内容[，1]相同，但其所排逻辑内容[，2]却不同。联系到前面对等值式的讨论，可知等值命题之左右支所排逻辑内容[，1]是相同的，可如涉及了逻辑内容[，2]［像（8）那样］，则它们所排逻辑内容[，2]自然并不相同。如此说来，（8）之左右支的逻辑内容[，1]相同，但其右支涉及了作为逻辑内容[，2]的q，其左支与q无关，故（8）之右支的逻辑内容[，2]大于其左支的逻辑内容[，2]。由此可知，诸逻辑等值命题的逻辑内容[，1]必相同；但如果其中一命题论及了而另一命题却没有论及逻辑内容[，2]，则当然前一命题的逻辑内容[，2]大于后一命题的逻辑内容[，2]。这样，回过头来再考察前面所述的那个反例，即可看出，p的逻辑内容[，2]小于（p∨q）∧（p∨q）的逻辑内容[，2]；但它们的逻辑内容[，1]则相同，这使得p和（p∨q）∧（p∨q）在有效推理中可互相等值地代换而不影响推理的有效性。这就说明了何以pp∨q（2）是并非同义反复的重言式，而从（2）通过（6）推导出的（p∨q）∧（p∨q）p∨q（7）却是同义反复的重言式的缘故。因为p∨q的逻辑内容[，2]大于p的逻辑内容[，2]，尽管它们的逻辑内容[，1]相同，因此pp∨q（2）是逻辑内容扩大的重言推理。另一方面，（7）之前件（p∨q）∧（p∨q）的逻辑内容[，1]大于其后件p∨q的逻辑内容[，1]，由于（7）的前后件涉及的事态完全相同，使得（7）没有逻辑内容[，2]，故（7）是同义反复的重言式。而由（2）的非同义反复性推出（7）的同义反复性，乃是利用了（6）的逻辑内容[，2]之扩大性的缘故，换言之，在通过（6）从逻辑内容上具有非同义反复性的（2）推出（7）的过程中，就将（6）的所扩大了的逻辑内容代入了（2）之前件从而得出了（7）的同义反复性。至此即可得出，（2）和（3）p（qp）的并非同义反复性都导源于它们的逻辑内容[，2]的扩大。（3）之后件所排对象为q∧p，其前件所排对象为p，所以其后件在逻辑内容[，2]上大于其前件。p（pq）（9）的情况也一样，（9）之前件所排对象为p，其后件所排对象为p∧q，故（9）之后件的逻辑内容[，2]大于其前件的逻辑内容[，2]。另一方面，以p∧qp（10）为例，其前件所排对象p∨q，其后件所排对象是p，因此（10）之前后件的逻辑内容[，1]相同，可其前件的逻辑内容[，2]大于其后件的逻辑内容[，2]，故（10）是同义反复的。

综上所述，我们似已有较充分的理由作出如下推断：有效逻辑推理在逻辑内容上有不扩大（同义反复）的和扩大（非同义反复）的两类。有效推理的逻辑内容[，1]必不是扩大的；而凡是并非同义反复的有效推理，其逻辑内容的扩大必是其逻辑内容[，2]的扩大之所致。从理论上讲，这是因为根据有效推理的逻辑本性，其前件为假的真值条件的数目不可能少于其后件为假的真值条件的数目，否则即为无效推理。这事实使得有效推理的逻辑内容[，1]必不是扩大的；换言之，有效推理的必然保真性使得其逻辑内容[，1]必具不扩大性。此外，这事实并不排斥有效推理在逻辑内容[，2]上的可扩大性；换言之，其逻辑内容[，2]的可扩大性，使得有效推理可具有必然保真的并非同义反复性。事实上，我们现在已有理由断言，大部分重要的重言式都因此而具有非同义反复性。

到此为止，我们自然会面临这样的问题：既然有效推理将其前件的真必然地传递到了其后件的真之上，那么有效推理的内容何以能扩大？事实上根据前面的分析经验我们便可知道，有效推理的前件可在事实真理意义上为真，而其后件则可在逻辑真理意义上为真，在这种条件下，有效推理并非将其前件事实的真必然地传递到了其后件之上，因为其前后件是在不同意义上为真的。再以命题（3）p（qp）为例，（3）之前件p没有逻辑结构，故只能在“符合”的意义上为真，但（3）既是重言式，其后件qp中的q就可取任意真值，因此其后件qp只能在排假的意义上为真。当（3）之前件为真时，其后件是在不同意义上必然为真的；而在此条件下如（3）的后件之为真确实只能来自于其前件之为真的传递，则（3）之前后件就必然地只能在相同的意义上为真。所以（3）之为永真式不可能是因为（3）将其前件p对某事态的符合必然地传递到了只是作为排假方式的其后件qp之上，而是因为（3）之前后件各自排假方式的逻辑结合使得（3）必然地排除了使它为假的真值条件p∧（qp）。我还可以举出一个论据来支持这个论点，那就是当p为假时，（3）仍是有效的，即仍具有必然保真性。这事实理应会使那种只用“真理的传递”来解释重言推理之必然保真性的观点不能成立，因为如（3）的有效性果真必然地只来自于对真的传递，则在这种完全没有任何意义上的真理的传递的情况下，（3）必不再具有必然保真性（有效性），但事实上（3）仍是永真（有效）的，因为（3）永在排假。另以qp∨p（11）为例，当其前件q为真时，只能是事实的真，其后件p∨p本身乃是重言式即逻辑真理，我想这便足以证明了，（11）之为重言式不可能由于其后件的真必然地来自于其前件的真的传递，一个偶然的真是不可能产生必然的真的；（11）之重言永真性只可能得自于（11）自身的逻辑形式。总之，当其前件为真时，有效推理之后件的真的必然性，并非必然地来自于有效推理之前后件为真的相同性，而是必然地来自于有效推理之前后件的排假方式之结合使得有效推理的逻辑形式必然地排假，后者之所以会产生，则根本上导源于逻辑学对逻辑常词的定义，主要是逻辑学家将假命题之外的一切命题都定义为真。所以严格地讲，逻辑真理之永真性必然地来自于逻辑学根据逻辑基本规律将假命题以外的一切命题都定义为真；换言之，来自于将逻辑真理定义为逻辑命题的必然的排假方式；有效推理的事实或逻辑内容之必然保真地扩大根本上即导源于此。既然逻辑真理观将逻辑命题真值的二值性绝对化了，只要一逻辑命题必然地不假，它就必然地为真。逻辑真理的这种永真性表明了，逻辑真理不是对某具体事态的“符合”而是对可能经验（事态）由以呈现的基本框架的显示，这种显示依重言式的本性是不可能出错的。此外，倘若其前件为真时，有效推理的后件之为真的必然性只来自于有效推理将其前件的真传递到其后件之上，则作为经典演绎系统基础的命题逻辑的推演能力将是非常弱的，因为这样的话，只能有一小部分重言式（即那些同义反复的重言式）才可以从该系统中推出来，而其它许多因其具有并非同义反复性故而更重要的重言式，将不能从该系统中推出来，因为这些重言式之为永真明显地于这种所谓“真理的传递”即在为真意义上的同义反复无关。前述p（qp）和qp∨p等等重言式即属此例。换言之，如果只有具有同义反复性的重言式才是命题逻辑的定理，则命题逻辑系统将是不完全的；所以已获证明的命题逻辑系统的完全性就足以证明了重言推理的有效性不必然来自于这种“真理的传递”。

按照传统的观点，在经验科学中科学家使用逻辑推导一般服务于两种基本目的：其一是从一为真的事实命题出发，经过特定而有效的逻辑推导，以将被前提所包含的内容用清晰或便于操作的形式表达出来。其二是从一假说推导出可观察的结论，以检验该假说的真实性。如果有效逻辑推理的内容果真是可必然保真地扩大的，那么在这两个方面会产生什么影响？先看第一个方面。一般而言，科学中的传统认为，从一为真的事实命题出发，无论经过怎么复杂曲折的有效推导，最终结论的内容总归仍是处于其前提的断言范围之内。然而，从另一方面来看，实际上科学实践本身早已为我们作出了有关启示：在对一为真的前提所作的科学推导的过程中，逻辑推导的步骤无论经过多么严格的检验，所推出的结论必须经过观察的确证方可最终得以确立或生效，这乃是经验科学研究中的通例。科学家们为什么要如此行事？按照我们在上文中所表述的观点，可靠的推理的结论与其前提可在不同的意义上为真。这就意味着，可靠推理的前提可以断言的是一回事，而其结论可以断言的是另一回事，尽管该结论是不可能为假的，但该推理的前后件所断言的内容在事实真理观看来却可并不相同乃至并不相干。事实上，经验科学中凡意义重大的推理大部分都是这种性质的推理。这表明，即使在科学研究中所做的推理是可靠的，最后所得出的结论的内容也很可能在原则上而非仅仅在形式上是新的，因此最终只有观察才能告诉我们该推理所产生的结论到底断言的是什么以及其断言的内容是否为事实真理；因为所推出之结论有可能是在排假意义的逻辑的真。

至于观察对从一假说推导出的结论的检验作用到底说明了什么这问题，除了从假说直接推导出可观察结论这一简单的方面以外，更复杂的一方面由于确证悖论的存在，一直争议很大。就假说“所有的乌鸦是黑的”（x）（F[，x]G[，x]）（1）而言，由于它逻辑等值于另一命题“所有的非黑色的东西都是非乌鸦”（x）（G[，x]F[，x]）（12），并且传统认为逻辑等值命题的内容是完全相同的，因此一个非黑色且非乌鸦的东西（G[，a]∧F[，a]）比如我的手表既然是命题（12）的确证事例，则亦应是（1）的确证事例，但这是非常违反直觉的，不过按我们在本文中所阐明的方法，这个疑难则不难澄清。我们已经论证了，在不涉及逻辑内容[，2]的情况下，所谓逻辑等值只表明等值命题的逻辑内容是相同的，但它们的事实内容则可并不相同，就（1）的替换事例F[，a]G[，a]（1′）和（12）的替换事例G[，a]F[，a]（12′）而言，（1′）的事实内容为F[，a]∧G[，a]，（12′）的事实内容则为G[，a]∧F[，a]，这说明（1′）和（12′）尽管逻辑等值，但事实内容却并不相同。而科学确证或证实只能是对科学命题的事实内容而非逻辑内容的确证或证实，故（1′）和（12′）的证实事例不可互换使用。将这道理推及到（1）和（12）上，则表明（1）和（12）的确证事例不可互相通用。由此可得出，就科学实践而言，当我们要检验一个假说时，企图通过使用该假说的等值命题的更好操作的确证事例来确证该假说，在理论是无效的，如果这些等值命题的事实内容不同的话。比如我们找到（12）的确证事例G[，a]∧F[，a]并不能在严格意义上确证（1），因为G[，a]∧F[，a]的出现只能起排假的作用，即排除了使得（1）和（12）为假之事态F[，a]∧G[，a]出现的一次机会；但这同时也减少了（1）的确证事例F[，a]∧G[，a]出现的一次机会；故G[，a]∧F[，a]的出现不能提高（1）的真实（确证）度。因此，就从一假说经过等值变换所推导出的便于观察的结论而言，如该推导的前后件在事实内容上是不相同的，则观察对该结论的成功检验并不能在严格意义上确证该初始假说，而只能起到排除该假说的否证事例实际出现的机会的作用。倘若固守等值条件的普遍有效性，不考虑等值命题的事实内容是否相同，只根据它们的逻辑内容相同就断定等值命题的确证或证实事例是可互相通用的，那么我们就很容易据此确证或证实不存在的东西的存在。举例来说，如设“所有的独角兽都是有尾的”可符号化为（x）（B[，x]R[，x]）（13），独角兽既不存在，（13）当然不可能有确证事例和事实内容。但（13）与（x）（R[，x]B[，x]）（14）逻辑等值。若认为凡等值命题的确证事例都可互换使用，则（13）就可因R[，a]∧B[，a]这类事例而得到确证，因为R[，a]∧B[，a]乃是（x）（R[，x]B[，x]）（14）的确证事例，而（14）的确证事例R[，a]∧B[，a]（意即无尾且不是独角兽的东西如我的手表等）是随处可找到的。事实上，按照该思路，我们可以从经验的东西，通过逻辑手段符合科学程序地确证或证实一切虚构的东西的存在。（13）没有事实内容，而（14）则有很容易得到确证的事实内容，尽管（13）和（14）是逻辑等值的，这事实难道不是有力地表明了科学确证或证实只能是对命题的事实内容而非逻辑内容的确证或证实吗？如果我们将命题的事实内容与它的逻辑内容区分开来的工作是有效的，那么等值条件所持的等值命题的全部内容都是相同的观点就只适用于等值命题的逻辑内容，而不适合于它们的事实内容了。

参考文献

[1]Wittgenstein:TractatusLogico-Philosophicus，Routledge&KeganPaul，1974，4.46，4.464，5.43，6.1，6.11，6.1251.

[2]S.F.巴克尔：《逻辑原理》，四龙九等译，湖北教育出版社，1988年版，第253—257页。

[3]罗素：《数理哲学导论》，晏成书译，商务印书馆，1982年版，第144—145页。

[4]塔尔斯基：《逻辑与演绎科学方法论导论》，周礼全等译，商务印书馆，1989年版，第25页。

逻辑推理的定义篇2

关键词:哲学逻辑;逻辑哲学;词义;辨析

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

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

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

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

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

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

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

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

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

二哲学逻辑对象的界定

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

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

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

三哲学逻辑的研究范围

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

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

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

相干[Www.]和衍推的逻辑、直觉主义逻辑都是由否弃实质蕴涵而建立的逻辑理论。在相干逻辑中，用相干蕴涵代替实质蕴涵。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:PhilosophicalLogic，OxfordUniversityPress，1967年版，第1页。

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

④S，Wolfram:PhilosophicalLogic:AnIntroduction，RoutledgeLondonandNewYork，1989年版，第8页。

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

⑥N.Rescher:TopicsinPhilosophicalLogic，D.ReidelPublishingCompany，1981年版，第21页。

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

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

逻辑推理的定义篇3

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

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

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

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

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

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

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

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

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

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

关于这个理论问题，亚里士多德在其所著《形而上学》一书中明确提出并详细论述了逻辑基本规律（矛盾律与排中律）。在谈到矛盾律时认为，事物不能同时存在又不存在。矛盾律首先是存在的规律。它之所以能够成为逻辑思维的基本规律，是因为它符合“事理”。亚里士多德肯定了逻辑规律与存在规律的一致性，其根据就是真理符合现实的理论，即所谓真理符合论。它在解释真与假这对概念时说，凡以不是为是、是为不是者，这就是假的；凡以实为实、以假为假者这就是真的。按照真理符合论，一切真理必需与现实一致，逻辑真理也不能例外。可见亚里士多德的真理观，是唯物主义的一元论，这个真理论肯定了思维与存在的同一性。但是亚里士多德只强调逻辑真理与存在规律的一致性，却忽视了逻辑真理的特殊性。

莱布尼兹是现代逻辑的创始人。他第一个提出了用数学方法研究逻辑学中的推理问题，对亚里士多德的真理一元论提出了挑战。他认为有两种真理：即推理的真理和事实的真理。推理的真理是必然的，事实的真理是偶然的。推理的真理不像事实真理那样依赖于经验，它们的证明只能来自所谓的天赋的内在原则。因此莱布尼兹的这种观点，就成为真理二元论和逻辑真理先验论的一个起源。

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

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

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

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

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

第一，逻辑系统的公理和定理的真是逻辑系统设定，其为真的根据是某种初始的逻辑关系。第二，逻辑公理和定理经过解释的真命题，其为真不取决于解释中的内容，而取决于这些公理、定理所显示的逻辑关系。第三，逻辑推断关系这种推论的结论真是一种逻辑关系真。第四，根据逻辑联系词的性质，由逻辑真得到逻辑真。如：A、B是逻辑真命题，那么A并且B、如果A那么B都是逻辑真命题。第五，数学中的逻辑真命题，是建立在公理演绎基础之上。以上这些逻辑真由于逻辑的原因或者逻辑关系而真，在这一点上我们可以说，在局部意义上，相对于特定的逻辑系统而言，逻辑真理可以说是分析的，是以逻辑意义为根据的，而与任何具体的经验事实无关。

逻辑推理的定义篇4

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

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

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

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

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

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

逻辑真理和事实真理的关系是：事物之间的关系显示一定的逻辑关系，也是逻辑真的基础。逻辑真理在某些方面与事实真理是一致的，但是在另一方面，逻辑真理又与事实真理不是一致的，逻辑真理和事实真理之间是一种交叉关系。逻辑真理既具有绝对性又具有相对性，有些逻辑关系是绝对的真，但是另一些逻辑真理是相对的真。逻辑真理之所以为逻辑真理，不是由于它们揭示了事物的本质事物或事物的普遍性，而只是涉及到逻辑自身，只根据逻辑自身而成立。逻辑真理的必然性需要在逻辑自身中去寻找，而不能在现实中寻找。

综上所述可见，逻辑真理来源于经验，但又不同于事实真理。由于逻辑思维的作用，它越远离事实，其真理性越强；当它与具体事实相符合时，即成为事实真理的必要条件。当逻辑真理和事实真理一致时，逻辑思维就正确地反映了事物的规律，因此逻辑真理在认识中有着重要的作用。当我们认识世界时，会在原有的知识基础上作出许多推测和猜想，也会试图把这些思想与已经获得的关于被研究对象的材料联系起来。为了搞好各项工作，我们要正确的调整各种思想关系，从中抛弃不适当的思想，选取可以促进我们前进的思想，这就需要我们在思维过程中严格遵守逻辑规律和规则。只有认识逻辑真理才能更好地认识事实真理，随着人类的经验积累，逻辑真理和事实真理的交叉容量必然会不断增大，为了探求真理我们必须保证思维的逻辑性。

逻辑推理的定义篇5

学论及其争论从来都是经济学领域不可避免的主题。该主题也引起国内学者的极大兴趣并进行了深刻的。本文在其基础上以四个层层递进的来统领方法论的逻辑，从而为解释西方经济学的发展及其方法论提供了清晰而完整的框架。

关键词

观察-归纳逻辑；假说-演绎逻辑；证实与证伪；解释性理论；逻辑批判

一、国内文献及其缺陷

国内学者对西方经济学方法论进行了深刻的探讨。

黄少安(1994)认为经济学方法论的三个层次为：经济学的基础或哲学意义上的经济学方法；经济学的思维原理或方法；经济学的技术方法。在逻辑主义和证伪主义上，张斌(1998)指出西方经济学方法论的经验主义哲学基础和方法论特征。蔡仲(1998)对证伪主义在经济学方法论中的起因及其发展的线索进行了探讨。韩永进(1999)对波普的证伪主义及其对二十世纪经济学方法论的进行了阐述和评价。桂起权(1999)认为研究纲领方法论是评价经济学理论的一种可以通用的概念框架，并对马克思经济学和西方主流经济学的研究纲领进行了比较，并(2002)扼要的阐述了西方经济学方法论的基本脉络和当代西方经济学方法论中若干代表性成果。在个人主义与整体主义方法论上，林岗、刘元春(2001)对马克思制度整体主义与新制度经济学制度个体主义进行了比较分析，认为制度个人主义将陷入“人与相互决定、无限倒推”的二律背反的困境之中，汪浩瀚(2002)则认为个人主义与整体主义方法论将出现整合的趋势。在方法论发展问题上，郭箭(2001)指出新古典经济学和进化经济学在经济理性、多样性以及时间和过程等问题上的差异。杨燕青、吴佳(1998)认为新制度经济学仍在新古典的分析框架内。汪浩瀚(2001)认为主流经济学的演进正出现方法论、范式转换；为宏观经济学寻求微观基础；为微观经济学构建宏观基础；非主流经济理论不断融入主流；基本假设宽泛化等特征。付耀(2002)将科学方法伦的发展划分为四阶段：前实证主义；实证主义；证伪主义；历史主义，并认为历史主义方法论将取代逻辑主义方法论成为经济学方法论的未来发展方向。

然而上述文献集中于西方方法论中的若干科学哲学问题而没有给出一个清晰的分析逻辑或完整的解释框架，从而给人以一种只见树木不见森林的感觉。

本文认为，关于理论的方法论必须回答下述四个构成递进关系的问题：1.理论是如何形成的；2.什么样的理论是正确的理论；3.什么样的理论是有效的理论；4.理论是如何发展的。上述四个问题的递进逻辑如下：理论是如何形成的？形成的理论是否正确？如果理论正确，那么理论是否有效？理论又是如何发展的？前三个问题关乎理论本身的科学性，第四个问题则关乎理论的发展问题。本文将遵循上述逻辑展开对理论方法论的论述。我们发现，上述逻辑为我们评价西方主流经济学的发展状况及其方法论问题提供了清晰而完整的分析框架。

二、理论本身的科学性及其发展

（一）理论是如何形成的

显然，我们需要理论来对事件之间的因果关系进行解释。然而紧随而来的问题是理论是如何形成的？或者说，我们是如何获得理论的？

1.观察-归纳逻辑及其缺陷

按照经验主义认识论，理论的发现和形成来自于对经验的观察与实验并进行归纳。穆勒(J.S.Mill)在《逻辑、推理和归纳体系》一书中对归纳逻辑作了系统的阐述。然而，休莫(Hume)指出观察-归纳逻辑所隐含的一个难题：即单纯由过去的经验推断未来在逻辑上是否可行。没有什么正确的逻辑论证容许我们确认“那些我们不曾经验过的事例类似我们经验过的事例。”因此，“即使观察到对象时常或经常连结之后，我们也没有理由对我们不曾经验对的对象作出任何推论”。波普(KarlPopper)继休谟之后重新提出归纳逻辑的缺陷。“理论，至少是一些基本的理论或期望，总是首先出现的，它们总是先于观察。”如果我们一直往前追溯，可以追溯到越来越原始的理论和神话，“这里并没有无穷倒退的危险。”最后我们将找到无意识的、天生的期望。波普认为人生来就有期望，就有“知识”，其中最重要的就是找到规则性。波普由此反对休莫将人类因为类似现象在经验中多次重复而产生的认为类似事件今后还会发生的习惯、联想和信念作为归纳法则的心解释，波普声称，科学发现的方法不是归纳法，而是试探错误的方法，即“猜想和反驳的方法”或“演绎检验的方法”。

2.演绎逻辑的心理学基础

然而波普对理论发展的回答是有缺陷的，人们生来可以有期望或需要，但期望和需要与知识却是完全不同的概念，心理学或遗传学先天所给予人们的并不是知识，而是人类头脑的记忆和思维功能，人类根据大脑记忆的信息进行逻辑推理，即演绎推理，演绎推理是人们思考因果关系问题的唯一方式。归纳推理正是来自于人类头脑的演绎推理能力，由此，归纳逻辑只是演绎逻辑的反面，或者更进一步说，归纳是一种演绎。

一旦我们将人类的演绎逻辑思维能力作为观察和归纳推理的前提，观察与归纳便不再仅仅是对事物属性的“客观”描述。观察总是以逻辑演绎推理能力为基础，这种演绎推理能力包括，对观察的事物要问一个为什么，即寻求因果关系的答案，这一点是与目的性相联系的，另一方面是，演绎推理使人们能够从观察中推论出因果关系的结论，并根据演绎推理使用已有的知识或理论。这样，演绎逻辑成为归纳逻辑的前提，演绎推理成为问题的来源从而成为理论的源泉，而归纳推理仅仅是演绎推理的一个环节。当我们将逻辑演绎推理作为人类思考因果关系的唯一思维方式时，我们也将不得不放弃理论形成的观察-归纳逻辑，转而寻求基于人类生理和心理的、与人类演绎推理思维方式相一致的假说-演绎模型(Hypothetica-deductiveModel)。

3.假说-演绎模型

观察-归纳逻辑由于上述无法解释的难题而被逻辑实证主义所倡导的“假说-演绎模型”所代替。逻辑实证主义包括6项主要原理：1.科学论题的一致性；2.理论结构的有前提演绎模式，所有的学科都使用理论，这些理论可能被正式表达为公理、有前提的理论结构；3.间接验证原理：并非所有的判断都具有经验主义的解释，特别是包括概念的判断。但这些判断并非便是被认为“缺乏认识意义”的，在其所嵌入的理论被证实时，这些判断也便被证实从而间接的获得了认识意义；4.内涵实证原理（确认主义）：作为理论判断的原则，理论是可证实的，则是科学的，从而是可接受的，可接受的程度取决于可验证性的程度。若经验主义的标准不适用，则采用非经验主义的评价标准如简洁、优美；5.演绎列线逻辑和归纳或然性涵盖科学科学解释定律：所有的学科解释必须采用演绎形式来表达；6.对称命题：科学解释和科学预言在逻辑推理结构上是相同的，唯一的差别是临时性：科学解释所描述的是已经发生的事情，是事后概念；而科学预言则是事后概念，事情尚未发生。在亨普尔和奥本海姆(1965)看来，这种对理论的逻辑结构的公理化的表述被称作“假说-演绎模型”，用以表明事件之间的因果关系从而做出预言。

逻辑实证主义者将公认的作为理论结构的三段论演绎推理的前提假设解释为一种假说从而避免休莫难题，并通过上述间接验证原理得以证实。这样，假说-演绎模型重新获得了经验论的基础，理论演绎前提来自于由经验观察和对这些经验观察的不完全归纳所获得的假说。

（二）什么样的理论是正确的理论

然而我们如何判断我们所得到的理论是正确的理性呢？在穆勒看来，理论本身只要是从真实的假设前提出发进行逻辑推理得出，那么理论本身在任何场合都是正确的。凯尔恩斯(JohnElliotCairnes)认为，要否定经济原则，必须要么否定其演绎的前提假设，要么否定理论本身的逻辑推理过程，但无论何时都不应将被否定的预言作为抛弃某项经济理论的理由。

按照上文的逻辑，要判断理论是否正确，我们只需要通过逻辑实证来判断该理论在从假设前提到逻辑推论过程中是否保持逻辑一致性。关键在于，我们必须对理论的逻辑正确性与经验有效性作出区分，在讨论理论的逻辑正确性时，我们既肯定凯尔恩斯将否定理论本身的逻辑推理过程作为否定理论的理由，又不同意他将否定前提假设作为否定理论的原因，事实上，我们在某种程度上默认弗里德曼(MiltonFriedman)的“假设无关论(Irrelevance-of-assumptionssis)”。只有在涉及理论的经验有效性时，我们才对理论演绎前提假设的合理性或科学性进行判断。

如果理论不能保持逻辑一致性，那么我们称该理论存在逻辑悖论。然而理论是否都存在逻辑悖论呢？罗素所说的逻辑悖论的普遍性只是一种可能性，虽然我们不可能找到一个最终的公理，但只要在理论演绎推理过程中将研究对象严格限定在假设范围之内，对概念的也严格限定在所定义的内涵和外延范围之中，那么我们将可以避免逻辑上的矛盾。一旦我们超出了定义所允许的假设和概念范围，逻辑悖论就会出现。而一旦我们发现理论本身存在逻辑不一致或逻辑错误，那么就可以断言，理论本身肯定是错了。我们将这种通过寻找理论本身的逻辑错误来否定理论的方法称为逻辑批判。在这里，我们仍然没有涉及理论的有效性或经验的证实和证伪。

（三）什么样的理论是有效的理论

如果形成的理论在逻辑上是正确的，那么我们再考证理论是否有效。在这里，理论的正确性是指通过逻辑实证判断理论在形式逻辑上的一致性，而理论的有效性则指通过经验检验即证实和证伪来判断理论与其现实解释和未来预测是否一致，从而二者事实上是两个不同的命题。

1.原理论对证实与证伪的拒绝

然而，如果经验能够支持理论，我们是否便认为理论是有效的，或理论被证实呢？而如果经验不支持理论，我们是否便认为理论是无效的，或理论被证伪？证实的逻辑由于休莫难题而难以成立。波普证伪主义采用了休莫的非对称性论断进一步对归纳逻辑进行批判：如果A为真，则B为真；B假，则A假；因此，不存在证实的逻辑，而仅仅存在证伪的逻辑。波普由此对逻辑实证主义的证实原则进行否定：“应作为分界标准的不是可证实性，而是可证伪性，···一个经验的科学体系必须可能被经验反驳。”弗里德曼在《实证经济学方法论》也以充满波普主义色彩的文字写到：“事实证据从来不能‘证明’一个假说的正确性；它只能证明假说的不正确性。”

然而波普证伪主义(Falsificationism)本身由于理论的假说-演绎逻辑结构而存在逻辑缺陷。“杜海姆认为没有哪一个个别科学假说可以对之进行结论性的证伪，因为我们总是检验全部前提，特定的假说是和辅助的论证连结在一起的，因此我们永远不能肯定我们所证实的或拒绝的是假说本身。这样，任何假说都能够不顾反对的证据存在下来。”。这即是著名的杜海姆不可驳斥性论题(DuhemCsirrefutabilityThesis)。波普意识到了证伪主义方法的这种困难，他写道：“从事实方面看，永远也不能得出对一个理论的结论性的反驳；因为人们总是有可能说实验的结果是不可靠的，或者断言在实验结果和理论之间存在的差异仅仅是表面的，这些差异随着我们理解的进展而消失”。波普朴素证伪主义陷入尴尬局面：既不能构成证伪的逻辑，也不能构成证实的逻辑。

2.解释性理论的证伪

按照假说-演绎逻辑构建的理论拒绝证实与证伪，然而这是否意味着我们无法通过证实与证伪触动到该理论呢？事实上，当我们进行经验解释和预言时，我们并非直接根据原理论进行，而是自觉不自觉的在原理论狭窄的假设前提和概念基础上加入新的假设和概念以符合检验现实的要求，我们称其为解释性理论，用以对经验事实进行解释和预言，从而所有的经验证实和证伪问题，事实上都是与解释性理论有关而与原理论无关。

然而对于解释性理论，证实的逻辑同样是不存在的，而证伪的逻辑是否同样不存在呢？由于解释性理论在原理论基础上新加入的假设或变量是经验的或现实的因素而非定义式因素，因此证伪的逻辑是存在的，杜海姆所谓的不可驳斥性并不成立。这样，当实际中出现了反例或根据解释性理论进行的预言失败了，我们就可以否定这种解释性理论。然而否定解释性理论并不等于否定原理论，因为并不是原有的理论错了，而是我们在应用原理论时即加入新的假设和变量构建解释性理论时可能构建得并不恰当。只要没有出现一种新的更好的理论，人们总是会在原理论的基础上再加入新的因素来解释那些反例。

（四）理论是如何发展的

当我们不能用经验或归纳法去证实和证伪原理论，也不能用归纳方法去形成一种新理论时，原理论是怎样被否定和被发展或新理论是怎样产生的呢?

1.波普的理性批判

波普对科学理论或知识的来源的回答是：通过批判其他人的以及我们自己的理论或猜测。波普声称，该回答概括了他所谓的“批判理性主义”的立场。波普关于理论增长的“四段图示”如下：

P1TTEEP2

其中P1表示问题：指的是一种理论内部，或两种不同的理论之间，或理论与观察之间的冲突和矛盾；TT为试探性理论；EE为排除错误：通过观察和实验的严格检验，对尝试性的猜想，假说或理论进行批判、反驳或证伪；P2为新问题。由于科学理论都是可以被证伪的，因此，科学知识的增长就是四个阶段的永无止境的循环往复的过程。然而假说-演绎逻辑的结构导致波普朴素证伪主义既不构成证实的逻辑，也不构成证伪的逻辑。这样，上述理论增长的“四段图示”便面临一个严重的问题：如果理论不能被经验所证伪，那么人们是怎样提出问题的呢?波普的回答是，我们所凭借的是猜想和反驳。这样，在波普看来，科学发现依然是一种猜想、直觉和非逻辑过程的跳跃。

2.理论发展的逻辑：从理性批判到逻辑批判

波普的理性批判主义并未告诉我们如何批判。事实上，在前面采用假设和变量表示的演绎逻辑理论结构中，一个逻辑要求就是，作为模型的各个变量和参数必须相互独立，从而使模型保持稳定并通过比较静态方法来讨论参数值的变动对变量的影响从而作出预言。这一点是通过定义式的假设来保证的。而对于解释性理论，其理论结构是根据具体情况增加原理论模型中的假设和变量而得到的，正是这种根据经验现实加入假设和变量对理论进行应用的方法，蕴含着解释性理论逻辑矛盾的可能性，这时，我们需要重新审视解释性理论的正确性而不是有效性。

在讨论理论正确性时我们曾经指出，一种逻辑一致的理论在其假设和概念范围内肯定不存在逻辑矛盾，但只要超出其假设和概念的范围就必然会产生逻辑矛盾，经验证伪就会出现。当解释性理论被经验证伪时，我们可以肯定的是：理论本身的正确性或逻辑一致性出现了悖论。解释性理论的这种逻辑悖论为我们提供了一种否定(或肯定)原理论的方法，即逻辑批判。由于加入了新的假设和变量，我们转而需要重新检验解释性理论的逻辑一致性或正确性，借助逻辑批判由解释性理论指向原理论，而经验证实和证伪却无助于我们将问题指向原理论，因为经验不可能检验最初的理论，而检验的解释性理论却可能是一种带有逻辑错误的理论。逻辑批判要求我们指出解释性理论中新加入的假设前提的合理性，或新加入的变量与原变量之间的相关性，即变量向量之间的相关性，并通过重新建立假设或对变量进行重新定义来解释包含新变量的问题以保持解释性理论的逻辑一致性。正是在这个意义上，我们并不同意弗里德曼的“假说无关论”：假设条件的科学性对于理论能否经受经验检验而不产生逻辑错误同样是重要的。

通过逻辑批判，我们可以在新理论的假设和变量向量中包含新的因素而不导致逻辑悖论，从而可以比原理论更能够逻辑一致地或更有效地解释更大范围的问题。只要排除掉新加入的因素，这种新理论就可以还原为原理论，或者说原理论只是新理论的一个特例。这样，我们可以明确地断言，这种新理论是我们所获得的知识增长或理论增长。然后我们再检验新理论的有效性，如此循环。

借助于上述分析，我们可以把解释性理论作为通过逻辑批判从一种旧理论到一种新理论的过渡阶段。正是逻辑批判使科学家的研究建立在前人理论研究的基础上或牛顿所说的“巨人肩膀上”并使观察建立在演绎推理的基础上，它使理论研究不再是靠波普意义上的直觉、猜想或非逻辑过程而变成非常的确定：只要我们知道原有的理论和所要研究的问题，依靠我们的演绎逻辑思维能力——即逻辑批判方法必然会使理论获得发展。

3.理论发展的形式

可以肯定，每一种解释性理论都可能带有逻辑悖论，那么是否每一次证伪和逻辑批判都将导致一种新理论的产生？这一点显然与科学史不相符。库恩(Kuhn，1962)由此向波普的证伪主义发起了反击，一种理论一旦产生后将会是相对稳定的，在相当长的一段时间中成为理论科学家解释问题的基础和应用科学家的有效工具，这就是库恩所谓的规范科学和范式(Paradigm)。拉卡托斯(Lakatos)试图将波谱的进攻性方法论(AggressiveMethodology)和库恩的防御性方法论(DefensiveMethodology)相融合并提出“科学研究框架(ScientificResearchPrograms)”概念及其退化和进步性质。与朴素证伪主义不同，人们并不是根据经验证伪来否定原有的理论，一种旧的理论要被否定和取代，需要一种新的理论体系或科学研究框架与之相竞争，该理论必须不仅能够解释另一个研究规划所不能预测的事实，而且还要能够解释更多的能够被经验证实的事实。也就是说，需要一种更一般的理论来取代旧理论，以免出现科学的真空而使人们无所适从。

三、结论

上文分别回答了我们所提出的关于理论的四个层层递进的问题。我们发现，上述逻辑为我们评价西方主流经济学的发展状况及其方法论问题提供了清晰而完整的分析框架：西方主流经济学正是遵循本文所提出的理论发展的逻辑而得到发展的，而其对方法论的讨论则无非是对上述四个问题的回答。限于篇幅，我们不再进行探讨。

[1]波普著：《猜想与反驳》，上海译文出版社，1986年，第67页

[2]波普著：《客观知识》，上海译文出版社，1987年，第270页。

[3]蔡仲：“西方学论中的证伪主义”，《辨证法》，1998年，Vol.14，No.11。

[4]付耀：“试析经济学方法论演进的四阶段及其内在逻辑”，《当代财经》，2002年第5期。

[5]桂起权：“当代西方经济学方法论之走向”，《经济评论》，2002年第2期。

[6]桂起权：“研究纲领方法论的经济学”，《经济学家》，1999年第6期。

[7]郭箭：“新古典经济学与进化经济学方法论的比较”，《财经研究》，2001年，第27卷第1期。

[8]韩永进：“波普尔与二十世纪西方经济方法论”，《自然辩证法研究》，1999年，Vol.15，No.4。

[9]黄少安：“经济学方法论的三个层次”，《南京科学》，1994年第3期。

[10]纪树立编译：《科学知识进化论》，三联书店，1987年，第28页。

[11]考德威尔(BruceJ.Caldwell)：“实证主义(Positivism)”，载约翰·伊特韦尔等编，陈岱孙主持翻译，《新帕尔格雷夫经济学大辞典》，经济科学出版社，1992年

[12]廖士祥主编：《经济学方法论》，社会科学院出版社，1991年。

[13]林岗、刘元春：“制度整体主义与制度个体主义——马克思与新制度经济学的制度方法比较”，《人民大学学报》，2001年第2期。

[14]马克·布劳格著，石士均译：《经济学方法论》，商务印书馆，1992年，第116页。

[15]汪浩瀚：“经济学方法论的个人主义与整体主义之争”，《经济科学》，2002年第2期。

[16]汪浩瀚：“论主流经济演进的若干新特征”，《经济评论》，2001年第1期。

[17]杨善解：“波普论科学知识的增长”，《安徽学院学报》，1994年第4期。

逻辑推理的定义篇6

“文革”结束以后，特别是1978年改革开放以来，我国逻辑学研究步入大发展时期。逻辑学研究的队伍被重新组织并逐步壮大起来。1978年、1979年由中国社会科学院哲学研究所等单位先后发起并召开了第一、第二次全国逻辑讨论会，之后成立了中国逻辑学会。在这两次大会上，针对我国逻辑教学和研究水平远远落后于国际水平的实际状况，有些学者提出了逻辑教学与研究现代化的主张。此后进一步发展为中国逻辑学会提出的“全面实现我国逻辑教学和研究的现代化，与国际逻辑教学和研究的水平全面接轨”的发展目标。围绕这个发展目标，我国广大逻辑工作者进行了不懈的努力。作为我国逻辑事业发展的主要组织者，中国逻辑学会及其下属专业委员会坚持“理论与应用相结合”、“提高与普及相结合”的方针，开展了丰富多彩的学术活动，有力地推动了多层次逻辑教学与研究的发展。根据搜集到的材料对改革开放以来中国逻辑学研究的发展作一个概述，限于篇幅和能力，材料的搜集和概述不尽全面，特别是未能探讨逻辑教学，敬请谅解和指正。

一、数理逻辑、哲学逻辑和逻辑哲学

20世纪是西方逻辑发展史上的第三大高峰期，逻辑学发展成为与数学、物理学、化学、天文学以及地球科学、空间科学、生命科学等相并列的基础学科，这是20世纪科学系统演化的重大进展。联合国教科文组织早在20世纪70年代巳对此予以确认。后来在该组织的“科技领域国际标准命名法”中，更把逻辑学列为一级学科之首。但这种学科进化并未体现在我国的学科建制上。在我国通行的学科划分上，“逻辑学”被列为哲学一级学科之下的二级学科，而“数理逻辑”被列为数学一级学科之下的三级学科。这在一定程度上限制了我国逻辑事业的发展。但是通过在改革开放的大潮中对国际逻辑发展状况的了解与研究，我国逻辑学界在如下问题上逐步达成了共识：20世纪逻辑学的重大发展首推演绎逻辑的长足进步，传统演绎逻辑与现代演绎逻辑是同一门学科的不同发展阶段，而不是以往许多学者理解的不同学科；由弗雷格奠定基础并由罗素、希尔伯特和哥德尔等人所完善的一阶逻辑，是整个当代逻辑大厦的基石；形式系统方法是现代逻辑研究的基本方法，四论（集合论、证明论、模型论、递归论）为现代逻辑的发展提供了基本工具；尽管四论的尖端研究属于狭义数理逻辑的范畴，但其基本思想与方法是任何从事当代逻辑研究的学者所应当掌握的。我国哲学学科的逻辑学博士点与硕士点已普遍把“打好数理逻辑基础”作为人才培养的基本要求。

我国数学界与计算机学界活跃着一支数理逻辑基础研究队伍，他们在老一代数理逻辑学家的带领下，在逻辑演算与四论研究中取得了丰硕成果，有些成果获得了国家自然科学奖和何梁何利科学与技术进步奖。另有一批数学出身的学者加人到哲学社会科学界逻辑学研究队伍中来，也在逻辑基础研究上作出了许多独特贡献。

这里我们介绍在哲学社会科学界的数理逻辑研究成果，主要有如下一些：创制了不用联结词和量词的一阶逻辑系统，对括号作了独到处理，使得括号能兼具联结词的作用也有替代量词的作用，这是继卢卡西维茨以后又一新的逻辑符号和记法系统；构造了几个无穷逻辑的系统，证明了它们的完全性；建立了无穷逻辑的二阶语言的公理系统和模型理论，证明了这个二阶语言中的省略型定理及素模型理论；对可数无穷长语言的可构成模型C进行了较为系统深入的研究；关于递归论的计算机复杂性和实数可计算性方面的研究取得了重要进展。由于公理集合论中布尔值模型的应用、模糊数学中非布尔值逻辑的出现以及计算机科学中多值线路的探讨等，使得多值逻辑的研究有了更多的具体背景和客观需要。对于多值逻辑的一个方面——多值模型论，有的学者做了初步考察，把二值模型中一些基本结构推广到格值模型论中。在模型论方面，一些学者通过合作，为其中某些方法及其结论在其他数学分支中寻找新的应用事例做了一些尝试，并开创了格值模型论并将其发展为比较完整的理论体系。“可计算与t难于计算的实数”、“具有强蕴涵词的弗晰集合结构”、“弗晰集合论与布尔值集合论之间的联系”等成果，在国际会议上作了宣读。有的学者提出了计算模型间的相似性和计算时间与存储空间之间的对称性两个重要概念。还有学者证明了在一个固定计算类型下的所有合理的计算模型都是相似的。

就国际逻辑学和哲学的研究而言，20世纪上半期逻辑学的发展使之最终从哲学中独立出来，同时又反作用于哲学研究，推动哲学研究实现了“语言学转向”；在此基础上，20世纪后半期逻辑与哲学之间建立起了深刻的互动关系，逐步形成了“哲学逻辑”与“逻辑哲学”这两个崭新的学科群，构成了当代逻辑学科发展的主流方向。哲学逻辑研究分为两大学科群落，一是在经典逻辑基础上，通过引进具有哲学含义的逻辑算子而建构的扩充型逻辑系统，如基本（真势）模态逻辑、时态逻辑、认知逻辑、道义逻辑等，这些系统一般又统称为“广义模态逻辑”；一是在某种哲学思考背景下通过对经典逻辑算子的变异解释而建构的异常（或称异释）型逻辑系统，如多值逻辑、模糊逻辑、相干逻辑、直觉主义逻辑、弗协调（又译次协调、亚相容）逻辑等。后者又各自有自己的扩充系统，如多值模态逻辑等。逻辑哲学研究也分为两大学科群落，一是关于逻辑的哲学研究，一是运用现代逻辑工具去分析解决重大哲学问题，后者与“语言哲学”有广泛的交叉领域，经过多年发展，逐步形成了“意义观”、“真理观”、“悖论观”等研究重心。这两大学科群构成了逻辑与哲学互动发展的基本桥梁，其研究价值已经并正在充分展示出来。自上世纪80年代初以来，现代逻辑发展的这一态势逐步为我国学者所把握。这体现在陆续出版多部系统介绍狭义与广义模态逻辑的著作之中。90年代之后，哲学逻辑与逻辑哲学逐步成为我国逻辑学界的主攻方向，发表了大量系统介绍国外研究进展的著作与文章，也出现了不少独立研究的成果。例如，将亨金的嵌入定理从经典逻辑推广到模态逻辑，并用超积方法证明了这个定理；首创一种“嫁接”方法，建立了一种新型模态逻辑语义框架即“嫁接框架”。嫁接框架由通常的克里普克关系语义框架作接本和相干逻辑的语义框架作接穗组合而成。在嫁接框架的基础上构造了嫁接模型。进而又给出典范的嫁接框架和模型及其一些性质的证明，从而得到刘易斯的S1系统的完全性。这是一种全新的对S1完全性的证明。

在扩充型哲学逻辑方面，学界最初主要集中在对狭义模态逻辑的把握与研究上，后来逐步把研究重点转移到认知逻辑研究上来，这不仅表现在致力于认知研究的学者的数量不断增加，也表现在研究成果的不断丰富。研究方向涉及认知逻辑的分类、信念修正、对动作的认知以及逻辑全能问题等等。

近些年，有学者将“阿姆斯特丹观点”——模态逻辑的新观点引入我国，扭转了以往认为模态逻辑只是“关于必然与可能的逻辑”的观点，使我们逐渐认识到，模态语言便成为研究关系结构的一种简单但富于表达力的语言，模态逻辑并非孤立的形式系统，为研究关系结构提供了一种内部的、局部的视角。基于新的技术工具，特别是“标准翻译”和“双仿”的使用，丰富了我们对模态逻辑理论的理解。另外导致了“扩充模态逻辑”的产生。因此，为逻辑学界提供了可供研究的更广阔的领域，同时也需要更多的学者关注并致力于研究它。这种新观点在国内仍然比较生疏，但是前景不容置疑。

认知逻辑一直是国内逻辑学界的一个研究热点，不仅表现在致力于这一研究的学者的数量不断增力口，也表现在研究成果的不断丰富上。1982年建立了在自然推理的谓词逻辑基础上的知道逻辑系统W,并给出它的语义解释JS，这是一种建基于可能世界理论上的语义学，并证明了w的可靠性。认知逻辑发展的一个方向是从单主体向多主体的认知逻辑过渡。20世纪90年代以来，多主体的认知逻辑取得了丰富的成果。有学者从语法角度构造了一种多主体的认知逻辑系统，据此讨论了少数服从多数的原则，给出该系统能推出的一系列重要定理及其与直觉主义逻辑的联系。为刻画规范命题所体现的主观认识和客观事实二重性，构造了所谓的二重逻辑演算系统，这个系统不同于一般的认知逻辑系统，具有描述“认定”、“相信”、“知道”等语词共性的模态算子B及其相应的一组公理，颇有新意。

有学者系统地探讨了理性的认知主体在自省能力、观察能力、记忆力、修正策略诸方面存在的多样性，说明如何在认知逻辑中表达主体的这种多样性，以建立能够表达主体的个体变化的动态认知逻辑。通过分析交流、学习的一些具体场景，进一步考察了不同类型主体的在交往中交流、获取信息的特点及其逻辑处理方法。这一工作突破了以往认知逻辑“理想主体”的预设，对于推动认知逻辑的深人研究有重要意义。学者指出，研究自省主体的信念变化，需要找到某类能够很好地表达自省主体的信念状态的合适理论，提出了一种尝试性方案。还有学者从主体认知世界的三分（信念世界、怀疑世界和无知世界）出发，引进怀疑算子，致力于创建一种新的怀疑逻辑系统。

我国的道义逻辑研究起步较晚，研究成果与国外的差距很大。国内学者的工作主要集中在介绍和初步研究阶段，在介绍道义逻辑发展的同时，都指出了道义悖论在道义逻辑研究中的重要作用，出版了几部专著。近年来，道义悖论逐渐受到越来越多的非经典逻辑学者的关注。有专著对道义逻辑的发展历程作了介绍，并指出道义悖论从不同侧面、不同程度上揭示了绝对道义命题逻辑存在的问题。基于弗协调模态逻辑的研究，建构了弗协调真值模态逻辑系统，由以容忍道义二难。

在时态逻辑方面的成果有：建立了极小的S,v-时态逻辑公理系统和其他一些非线性的S,v-时态逻辑公理系统，同时还证明了几个有关S，v-时态逻辑的不完全性定理；建立了极小的G,H-时态逻辑，取得了独创性更强的新成果，为深入研究时态算子G，H-奠定了扎实而稳固的基础；之后又有学者将上述成果从协调情形推广到弗协调情形，把极小系统L。和科斯塔的弗协调逻辑系统Cn(lmo)结合起来，建立了极小弗协调G,H-时态逻辑系统CnG，H(lmo);此外还建立了极小的U(直到），S(自从）时态逻辑公理系统和其他一些非线性的U，S时态逻辑公理系统，同时还证明了几个有关U，S时态逻辑的不完全性定理;建立了极小的G(将来某时之前总是），H(过去某时以来总是）时态逻辑,取得了独创性更强的新成果，为深人研究时态算子G,H奠定了扎实而稳固的基础。

在异常型哲学逻辑方面，弗协调逻辑的研究始于20世纪80年代，至2000年期间，除了发表相关文章外，弗协调逻辑只是作为相关书籍的一部分给予介绍和讨论。后来出版了弗协调逻辑的专著。与国际大趋势相一致，我国关于弗协调逻辑的研究处于上升趋势，已取得一系列成果，构建了弗协调的模态逻辑、时态逻辑和条件句逻辑的系统，开辟了弗协调逻辑研究的新方向。有学者在直觉主义命题逻辑的正部分的基础上仅加上排中律，从而给出了一个更弱的系统，同时给出了这一系统的克里普克语义解释，定义了框架有效的概念并证明了所给的逻辑系统相对于这种有效性既是可靠又是完全的。基于对“否定词”的不同理解，有学者尝试创建哲思逻辑系统。在哲思逻辑系统内，有同时遵守矛盾律和排中律的经典否定联结词，有遵守矛盾律而不遵守排中律的构造性否定联结词，有不遵守矛盾律而遵守排中律的弗协调否定联结词，还有既不遵守矛盾律又不遵守排中律的辩证否定联结词。

相干逻辑方面，为更自然地刻画日常推理而建立的相干衍推系统，长期以来，只有代数语义学的解释，这与当初建立该系统的目的不相适应。因此，有学者提出了一个推理模型试图解决此问题，还有人尝试构造一种具有更精细结构的谓词逻辑。

在条件句逻辑研究方面，主要成果有：建立了弱条件句逻辑系统W以及相应的自然推理系统NW,并论述了两者的等价性，还将NW扩充为其他一些条件句逻辑的自然推理系统；对巳有的条件句系统从恰当性角度作了考察，构造了一个较弱的条件句系统，这一系统排除了绝大多数逻辑家认为恰当的一些公理和规则，比较自然直观；区分了两类条件句系统：把条件句算子当作归纳推出子关系的系统和经典意义上的系统，通过扩张和限制邻域语义、关系语义和择类语义，使之能更好地理解这些语义之间的关系以及由它们所确定的系统之间的关系；为“有穷层积”逻辑、“优先”逻辑以及所谓的“半单调”逻辑等经典条件句逻辑证明了一些嵌入定理，证明所使用的技术工具是邻域语义学中的“部分框架”和“框架态射”。

有的学者在总结逻辑系统的各种语义学的一般特征的基础上，建立了适合绝大多数命题逻辑的邻域语义学，开辟了一个新的研究领域，将各种逻辑中许多类型的问题、结果和方法，在邻域语义学中作统一处理，得出更多的一般性结果。又将这些结果应用到具体逻辑系统（直觉主义逻辑、相干逻辑、模态谓词逻辑等）中，建立它们的框架和讨论它们的完全性问题等。

我国不少学者对逻辑哲学问题感兴趣，介绍和引进了许多国外研究成果。自20世纪80年代起，我国的逻辑哲学研究日益展开，出版了几部关于逻辑哲学的专著，发表了一大批关于逻辑的范围、逻辑真理、逻辑悖论、形式化方法、直觉主义的数学哲学和逻辑哲学、本质主义、意义理论、蕴涵理论等方面的论文。有的专著基于现代逻辑的一些最基本的概念和内容，反映了国外的新状况、新理论、新的热点问题；对与逻辑研究推理相关的问题提出了一系列解释，包括“逻辑哲学的定义问题”、“什么是逻辑”、“否定”、“蕴涵”、“悖论”等问题。有的专著探讨了逻辑哲学的十个问题，包括意义理论和逻辑类型，“是”的逻辑哲学分析，推理后承关系和蕴涵，形式化方法的哲学考察，模态的形而上学，逻辑真理的性质，逻辑悖论的反思，逻辑中的本体论承诺，归纳问题及其解决方案以及逻辑究竟是什么。

模态逻辑系统有不同的语义解释，比较成熟而普遍的解释是可能世界语义学。可能世界语义学为模态命题提供了一种语义解释。模态逻辑的语义解释依赖于可能世界域。由于模态词自身的特殊含义，因此与一阶逻辑有很大的区别，因而也产生了一些重大问题。比如等值替换原则的失效问题、抽象实体的存在性问题等等。有专著比较系统地讨论了模态逻辑中的哲学问题，如可能世界、从言模态和从物模态、名称和指示词、本质主义以及模态集合论等。

逻辑悖论研究的多层面意义与价值正在逐步呈现出来。20世纪80年代以来，悖论研究逐渐成为逻辑学界探讨的热点之一，相继出现了一大批论文和专著。有的专著以三类狭义逻辑悖论——集合论语形惊论、语义悖论和语用悖论的研究为中心，系统论述了各种解悖方案的历史发展，并运用作为语用学概念的“逻辑悖论”的独特界说以及RZH解悖标准，进行了全面、深人的比较研究，澄清了悖论研究的不同层面及其相互关联，探讨了其哲学方向和方法论方向的一系列重要问题。有学者发现了“所有非——Z类的类的悖论”，这一悖论具有很强的概括力，概括了沈有鼎的“所有有根类的类的悖论”、罗素悖论和科里悖论等。

“逻辑的社会文化功能”是近年来学者们关注的新领域，包括文化建设功能、社会实践功能和社会理论疑难的解题功能。逻辑学是兼具基础性、工具性与人文性的重要学科，在当代学科体系中有着举足轻重的地位，同时也具有多方面的社会文化功能。在一些学术会议的探讨中，许多学者就此方面的提出了看法，他们普遍认为，我国文化进程中由于逻辑传统的缺失而导致的诸多弊端在如今的社会发展各个层面均有明显体现。充分挖掘逻辑的社会文化功能，既关系到逻辑本身的生存和发展，从长远看有又关系到国家和民族的兴盛。

二、归纳逻辑

20世纪80年代之前，归纳逻辑的研究在我国几乎是空白。从1981年开始，情况有所变化，有的学者，探讨归纳推理的类型、正确进行归纳推理的条件问题，有的学者评介了国外归纳逻辑。在非演绎的回溯推理、穆勒五法的推广、现代科学技术中的新归纳方法、各种类型的类比等方面，都有不少学者在摸索探究。

1983年，北京市逻辑学会专门讨论了归纳问题，着重就归纳在逻辑中的地位、.归纳推理与归纳方法与认知过程的关系等问题展开了讨论。1984年，在大连召开了全国归纳与概率逻辑讨论会，主要研讨内容有：归纳推理分为从分子到类，从部分到整体，从对象到自身的三种类型；我国逻辑史研究中关于归纳问题的研究；国外归纳逻辑及其在我国的研究概况；卡尔纳普的归纳逻辑。80年代末，除了继续介绍国外归纳逻辑研究进展之外，还对归纳法的具体模式进行了考察。归纳与概率逻辑的研究在过去的基础上也有了进一步的提高。

80年代后期，出版了一批有关归纳逻辑的专著和论文。1988年至1989年间，归纳逻辑的研究有一个重要特点是在应用方面有所开拓。由于专家系统、知识工程与智能计算机研究的需要，经专家建议,在国家社会科学基金项目中建立了归纳逻辑与人工智能课题。90年代之后，又有一批较有分量的归纳逻辑学术论文陆续发表，出版了归纳逻辑与概率逻辑的两部专著，使我国归纳逻辑的研究无论从广度还是从深度上都大大地超过了以往的研究。2006年出版了归纳逻辑百年历程的专著，集中介绍了各种归纳逻辑理论对归纳推理的研究情况，同时考察了这些归纳逻辑理论对于归纳问题的解决方式。

科学理论的确证中，确实发现了一些感到困惑和疑难的问题，有的学者指出这是归纳悖论。国内对于归纳悖论的研究仍处于比较薄弱的阶段。有专著对三个归纳悖论分别给予了较详细的介绍和说明。之后国外归纳悖论的研究有较大发展，特别是古德曼悖论的研究比较发达，因此又出现了大量新的资料。总的说来，国内归纳悖论的研究还处于介绍阶段，并且主要是介绍亨佩尔悖论。对归纳悖论的元层次研究无论国内外基本还处于空白状态。对于归纳悖论的定义、分类、解悖标准、解悖的方法论研究等基本问题还未进人研究者的视阈，这大大地制约了归纳悖论研究的发展。有学者探讨了三个归纳悖论的来龙去脉和各自的比较有影响的解决方案，并对这些方案进行评论，尝试对归纳悖论提供一个统一的说明。但也有学者并不同意这种观点，认为这些问题并非逻辑悖论。

现代归纳逻辑从20世纪80年代初传人我国，我国学者在改进著名的归纳逻辑体系、归纳与人工智能结合、归纳逻辑哲学问题研究等方面有不少成果。

有学者对卡尔纳普的X系统进行修正，建立了一个0系统。这个系统保证在无穷个体域中，在无反例的情况下，全称假说可以得到非零的确证度。凯恩斯、卡尔纳普等人的概率逻辑系统是形式语义系统，没有相应的语法系统。我国学者建立了一个概率演算的语法系统I。系统I是模态逻辑系统K的一种推广，也是认知逻辑相应系统的一种概括，用带测度函数的可能世界语义学作为系统I的语义学，并且证明了系统I对概率演算的可靠性。有的逻辑学者指出科恩的归纳逻辑系统有两个缺点，一是在科恩的理论中相关变量只是一种直观理解的背景，没有用相关变量作为语义，二是科恩系统所讨论的句子只限于有相同相关变量、以相同次序检验的句子，这样无法对非实质相似的假说的归纳可靠性进行比较，为了克服这两个缺点，要建立一个归纳支持的逻辑系统VIL，用相关变量和检验给出严格的语义，并且着重讨论归纳支持的可比较关系。有的学者把变量的相关看做人的一种信念，吸收了人工智能中信念修改逻辑的思想，在条件句逻辑的框架上建立起归纳支持的系统。这个系统克服了科恩相关变量法严格排序的缺陷，实现了对假说归纳支持推理非单调性的形式刻画，并且克服了科恩否定原理的缺陷。有的学者证明科恩的基于非巴斯卡概率经验解释的归纳逻辑系统是不一致的，不恰当的，因而不能成立，进而构造了非帕斯卡概率的逻辑解释，提出了度量和计算不相信度的方法，及基于非帕斯卡概率逻辑解释的决策论，在相关变量法的基础上构造了假说似规律度的句法理论，考察了在知识不完全和实验结果不确定的条件下运用排除归纳法进行实验推理的特点，构造了假说归纳可靠度理论。有的学者建立了一个贝叶斯认证逻辑系统，用贝叶斯定理为工具重新考察了古典的假说演绎法，指出其确证形式和否证形式的不当之处，提出了贝叶斯假设一演绎认证推理的形式和贝叶斯假设一演泽否证推理的形式，这两种形式在这个系统中得到了辩护。

归纳逻辑的学者与计算机学者合作将科恩的相关变量法、伯克斯的归纳概率理论、凯恩斯的统计推理等进行改造，写成算法，在计算机上实现。这些工作大部分有。“归纳问题”，亦称休谟问题，是英国哲学家休谟在200多年前提出的。可以简要表述为：是否能从过去太阳从东方升起推出它以后也必然如此吗？是否能在理性上证明从有限事例归纳出全称判断是合理的吗？休谟由对因果观念的分析人手，从逻辑的角度对归纳推理的合理性提出了严重挑战。有学者提出了一种关于动态假设的贝叶斯主义的辩护以改进豪森和厄巴赫的辩护，还用贝叶斯认证逻辑理论对古德曼悖论、亨普尔悖论和凯伯格悖论一一给出了解决方案。也讨论和分析动态大弃赌定理与休谟问题之间的逻辑关系。有人认为休谟问题有两种表述形式，一种是关于归纳推理的，一种是关于因果关系的。在此基础上，再对因果关系进行语义分析，考察了几种因果性定义，并给出了新的定义。

三、应用逻辑与逻辑应用

20世纪90年代以来，我国逻辑学界出现了一股应用逻辑著作热，随之出现了对应用逻辑的本质和特征的探讨。进人新世纪，又有许多学者引人和评介了国外应用逻辑方面的前沿成果。

作为理论研究的应用逻辑，并非一般意义上的逻辑应用。对任何一个思维领域，我们都可以作逻辑的应用研究，但能否建构出相应的应用逻辑需要更多的努力和研究。逻辑应用在形式化程度上有着悬殊的差异。有学者指出，一般而言，只要是运用了逻辑原理的，都可以称视为逻辑应用，但只有将逻辑原理系统而非零散地应用于某一学科或领域，并且在应用中构建起逻辑系统，特别是形式系统或系统的应用方法论的才能称之为应用逻辑。如果从方法层面来看逻辑，那么，应用逻辑则处于方法论层面。有学者提出，应用逻辑应当是面向特定领域系统研究逻辑因素在该领域的作用机理，以及逻辑因素与非逻辑因素的相互作用机理，即关于该领域的逻辑应用方法论。

科学逻辑，可以看做应用逻辑的范例，即研究逻辑在科学发现、科学检验、科学发展过程中的作用机理以及逻辑和非逻辑因素的相互作用机理。科学逻辑是一种成熟的、可以作为典范的应用逻辑。我国的科学逻辑研究肇始于20世纪60年代，80年代初形成了系统的研究纲领，除了翻译了、发表了一些比较重要的译文，有不少学者给出了概述性的论文。把科学逻辑定位为“经验自然科学的逻辑方法论”，分为“发现的逻辑”、“检验的逻辑”和“发展的逻辑”三个基本方面，对演绎逻辑、归纳逻辑与辩证逻辑的基本理论与方法在科学研究中的作用机理展开了全面研讨。我国科学逻辑研究的突出特点，是在80年代全面启动之初就确立了在逻辑主义与历史主义之间维持必要的张力、探索其对立互补机理的研究纲领，并取得了一系列与国际学界发展趋势相合拍的重要成果，这在很大程度上得益于我们既立足于逻辑学的现展，又能掌握辩证思维方法论的基本理论。在世纪交替之际,我国科学逻辑研究又逐步完成了由经验自然科学方法论向经验社会科学乃至人文科学方法论的扩张，在科学主义与人文主义之间维持必要张力的精神继续新的探索，在应对后现代思潮的冲击方面发挥着独特的作用。

20世纪的60年代末70年代初，西方学界掀起了一场“非形式逻辑和批判思维运动”，90年代,这场“运动”影响到我国，近些年来愈加兴盛。

如何正确理解演绎逻辑与所谓非形式逻辑的关系也是讨论的热点问题。有学者认为，批判性思维与非形式逻辑密不可分，甚至可以交互使用。有学者通过分析批判性思维与形式逻辑、非形式逻辑的相互关联指出，批判性思维的逻辑既离不开非形式逻辑，也离不开形式逻辑，两者共同构成了批判性思维的逻辑基础。有学者明确指出，非形式逻辑是研究论证的科学，论证概念是包括非形式逻辑在内的论辩理论的核心。将论证理解为语义学概念还是语用学（辩证的）概念是非形式逻辑和经典逻辑的分水岭。

近年来，非形式逻辑学家和人工智能专家开展了颇有成效的合作。非形式逻辑的一些概念和方法渗透到人工智能特别是“人工智能和法律”的研究领域。一系列范畴和分析工具，如论证概念、论证形式、可废止论证、对话类型、相干性、对话中的承诺等，既从非形式逻辑领域传输到人工智能研究中，又在人工智能研究中得到深化。非形式逻辑启发了人工智能研究的新思路和新方向，而人工智能研究开发了非形式逻辑的巨大潜能。有学者提出了一个关于论证的新理论框架，由论证类型新理论、论证分析新理论、论证评价新理论构成。理性是人类交往追求的理想境界，批判性思维是人们通往理性的桥梁，论证则是实现批判性思维的重要途径。形式逻辑与非形式逻辑都需要研究论证，形式逻辑研究是基于语义或语形的研究，而非形式逻辑则是基于语用的研究。实际上非形式逻辑是语用逻辑的最新发展。

1979年成立逻辑与语言研究会以来，我国语言逻辑学者陆续发表了一些论文和专著。研究初期，话题主要集中在对语言逻辑的对象的探讨上。80年代后期有学者阐述了指号学与语言逻辑的关系，认为语言逻辑是自然语言的逻辑指号学。语言逻辑首先以语言中的自然语言为对象，但不排斥以人工语言为分析工具，其次，它研究语形、语义和语用，以此与经典逻辑相区别，此外必须以现代逻辑的成果为基础，绝不与现代逻辑相排斥。这些研究旨在把语言逻辑的对象与其他逻辑系统区别开来，虽然认识的观点、认识的程度均有不同，但是越来越多的逻辑学者意识到，不能把语言逻辑看做对自然语言的词义分析，也不能把语言逻辑看做用传统逻辑方法对自然语言的语法修辞作皮毛分析。语言逻辑的研究必须以现代逻辑的既有成果为基础。1994年，出版了关于“正确思维和有效交际的理论”的专著，这部专著把逻辑理解为正确思维和有效交际的理论，以现代逻辑、现代语言学和指号学为基础理论，重新体现了亚里士多德的逻辑构想，把逻辑、语法和修辞三者统一起来，形成了一个广义的逻辑理论；并明确指出，传统逻辑和数理逻辑只研究命题与命题之间的真假，而自然语言逻辑不仅要研究命题间的真假，还要研究各种包含了言语行为和命题的语句，如陈述句、命令句和疑问句等之间的真假关系。自然语言逻辑不是单纯研究自然语言，而且还要研究其中丰富的逻辑形式；一个重要的研究途径是根据语境，解决自然语言的多义性问题。在问句逻辑方面，有学者建立了关于“抑或问题”和“哪个（哪些个）问题”的形式系统，深化了对问题的逻辑探讨。

有学者构造了一个汉语部分语句系统，以包含广义量词与能够处理“合举意义”的内涵逻辑为工具，来解释该系统生成的汉语量化语句的种种语义特征，这在国内首开先河，标志着我国语言逻辑研究由一般性的原则讨论过渡到实质性具体操作，由单纯介绍西方有关成果发展到结合汉语实际来进行探讨。这一研究不同于国内以往描述型的语言逻辑研究方式，而代表了建立形式化系统的一种发展方向。

范畴类型逻辑把自然语言的毗连组合归结成运算和推演，而运算和推演所依赖的毗连组合则遵循“邻近原则”逐层逐级进行。话语表现理论（也译“语篇表示理论”，DRT)擅长刻画的自然语言语句中代词和名词的照应关系，在范畴类型逻辑那里很难通过邻近毗连组合的运算推演体现出来。近年来，Jager尝试增添范畴类型逻辑的推演工具去描述自然语言的照应关系。为恰当说明句子序列中的照应关系，有学者介绍了这一理论，并从局部角度对Jager方案做了一点增补。另外也有人介绍了处理自然语言语义的“分段式语篇表示理论”，即通常所说的SDRT，这一理论是在语篇表示理论的基础上产生的一种语义理论，核心思想是语篇可以根据语义关联分割成语段，语篇中存在着由语段和修辞关系形成的语篇结构；以语篇结构为中心，分段式语篇表示理论可以解释和处理自然语言中的多种难以解决的语义现象和问题，如代词指涉、动词短语省略、语篇融贯、预设、语词歧义、隐喻等。

有学者给出了语言逻辑系统GO-G4，目的是为了研究通过演绎方式获得概称句的推理，具体地说，通过对正常个体选择函数N进行细化研究，给出了概称句主项含义和谓项含义之间的一些关系或限制条件，由此得到通过演绎的概称句推理的不同语义模型（概称模型、主项单调模型、全含义模型、包含选择模型、半退化模型），同时给出与语义模型相应的逻辑系统GO-G4。其完全性也得到了证明。

在逻辑应用中，法律逻辑、经济逻辑、决策逻辑得到了相对集中的关注。我国对法律逻辑的研究起步于20世纪80年代，其研究重心是传统逻辑在法律中的应用问题。进人21世纪，随着研究的扩展和深人，我国法律研究步人实质法律推理或论证的研究阶段，而西方学者已经在密切关注法律论证与法律论辩的人工智能模型了。如今随着法律逻辑研究的非形式转向，学界开始从非形式逻辑或论证理论角度探讨法律逻辑的基本框架，并取得了一些进展。

四、辩证逻辑

1980年，第一届全国辩证逻辑讨论会召开，会上成立了辩证逻辑专业委员会。1981年出版了我国第一部辩证逻辑的专著。至今公开出版的各类辩证逻辑著作达50多部，论文逾百篇。在新的历史B寸期，辩证逻辑也出现了多角度、多层面的研究。由于研究方法不同，对辩证逻辑的一些基本问题产生了许多不同的观点，形成了三大不同的研究方向：范畴理论方向、科学方法论方向和形式化方向。

诸多学者对辩证逻辑的某些专题进行了研究，主要包括对辩证思维的特征、机制和一般模型的研究和论述，对科学思维的辩证模式的基本原理、功能及历史演变的论述，对辩证思维的基本原则及其与现代思维的关系的研究，对辩证矛盾、逻辑矛盾与悖论的关系的讨论，对非经典逻辑的辩证性质的探讨等等。有学者主张，鉴于我国具有丰厚的辩证思维传统，应当结合中国哲学史具体研究辩证逻辑并系统论述中国古代辩证逻辑的产生和发展。

作为一个特殊的逻辑哲学问题，“辩证逻辑与形式逻辑的关系问题”在现代逻辑与逻辑哲学研究长足发展的背景下得到了新的讨论，两者并非互斥而是互补的观点占据了主导地位。有学者明确指出，科学现代化的发展，需要重新建构理论思维，辩证理性与分析性理性在分析性之精确性前提下的科学统一是历史发展的必然。辩证逻辑或辩证思维方法论研究也是开掘逻辑的方法论价值的一个特殊维度。

时至今日，对于“辩证逻辑是否逻辑”仍存争论。有的逻辑学者不认同辩证逻辑是逻辑，有的则肯定辩证逻辑是逻辑。有的指出，以思维形式与内容的区分来看，逻辑学的产生建基在对思维形式与思维内容的严格区分之上。也有人认为，与演绎逻辑、归纳逻辑研究不同，辩证逻辑是以先验内容或者说纯内容为对象的理论，即思想的经验内容与形式之间的中介环节。因此，是否认可其在逻辑研究中的地位，要以如何认识其研究对象为依据。现代形式的辩证逻辑不应纠缠于“辩证逻辑是不是逻辑”之争，而应当研究辩证思维的实际作用机理。

对“辩证逻辑形式化”的探讨是新时期辩证逻辑研究的一个新特点。诸多学者进行了多次论争，主要形成两个方向:一是建构与经典逻辑相协调的扩充型辩证逻辑系统,一是建构基于辩证哲学背景的异常逻辑系统。一些学者把弗协调逻辑视为辩证逻辑形式化的一条重要途径，另一些学者否认这种认识。有些辩证逻辑学者认为目前辩证逻辑形式化的努力都存在很多问题,尚未形成成熟的研究方向。

五、中西逻辑思想史与因明

20世纪80年代后期，中国逻辑史研究课题被列为国家项目，得到政府资助和支持。1989年出版了五卷本的中国逻辑史资料选与五卷本的中国逻辑史专著，这是我国“六五”计划重点项目之一,对20世纪中国逻辑史研究做了全面系统的总结，比较全面地阐述了中国古代逻辑思想的发端和发展的历史，及西方逻辑传入中国以后的发展史，这在中国逻辑史的研究史上是空前的。80年代以来，中国逻辑史的对象有所纯化，基本上是挖掘、整理和阐述中国历史上有关传统逻辑的理论和学说；对秦以后逻辑思想的研究明显加强，否定了长达一千多年的所谓秦后名辩学“遂亡绝”的传统观点。之后，又有一批专著与教材争相付梓。

墨家逻辑的现代研究，对批判继承中国传统文化遗产，建立包容古今中外一切人类优秀成果的新文化，具有重要意义。20世纪70年代末至80年代初，修订出版了关于墨经的逻辑学的专著，该书从现代逻辑的视角，从深层次揭示了“故”、“理”、“类”的逻辑内涵，这不同于以往对《墨经》的研究，标志着中国《墨经》研究达到了新的高度。

20世纪90年代以来，围绕如何提高中国逻辑史研究水平的问题，开始出现不同意见。表现为许多研究者更为自觉地对以往的中国逻辑史研究，特别是对80年代的中国逻辑史研究进行反思。一方面，他们对80年代把中国古代名辩学等同于逻辑、以传统逻辑体系为范本去建构中国古代逻辑体系的观点和作法提出质疑，主张先弄清中国古代名辩学的真实面貌，再回过头来探讨名辩学中的逻辑问题，进而揭示名辩逻辑的特点以及中华民族在世界逻辑史上的贡献。相应的，出现了一批相关著作。另一方面，伴随国外一些新的思想成果，如符号学、自然语言逻辑、内涵逻辑等的传人，研究者们开阔了视野，从不同角度，用不同的方法去研究中国古代的逻辑思想，如对《周易》和侔式推理从现代逻辑的角度作了新的探讨，用逻辑推类的思想研究中国古代数学的发展。90年代以来，中国逻辑史研究开始走向深入。许多学者更多关注对中国古代固有的名辩学的研究，而不是一般意义上的中国古代逻辑或外来逻辑在中国的传播和发展。

90年代末开始，中国逻辑史研究的另一个热点是对中国近、现、当代的逻辑进行研究。对梁启超、胡适、金岳霖、冯友兰、沈有鼎、殷海光等人在逻辑学研究上的贡献，都有文章加以论述。

中国古代有没有逻辑学，是近百年激烈争论的一个问题。一种观点认为中国有逻辑，并致力于对中国逻辑学的探讨，另一种观点认为中国没有逻辑。更有人指出，中国有无逻辑的两种观点都是经过与西方逻辑的比较形成的。无论如何，中国逻辑史研究同样应该强调现代逻辑的观念，而这种逻辑观一定是建立在逻辑这门科学基础之上的。

我国的数理逻辑史研究工作始于20世纪80年代，首先有学者概述了数理逻辑的主要分支，包括逻辑演算、递归论、模型论、公理集合论和证明论初步建成的发展史，简明地勾画出数理逻辑理论、观念、方法发展的线索，对一些重要观念、理论等做了深人阐述和评论。80年代也有学者考察了现代模态逻辑自建立至20世纪60年代的历史，指出了模态逻辑在以往发展中呈现的几个发展方向，包括用公理方法或自然推理方法构造出若干新模态系统；为避免严格蕴涵悖论修改严格蕴涵而建立的新模态命题演算；建立模态谓词逻辑；关于模态语义学的研究，建立代数语义学、关系语义学；非标准模态逻辑的研究等。此外，出版了几部关于西方逻辑史的论著。90年代，出版了第一部全面系统论述数理逻辑发展的专著，对数理逻辑初创、奠基和发展的不同时期的逻辑思想及成就做了详细论述。2004年出版了关于世界三大逻辑思想史的专著，该书采用“以逻辑为主、逻辑与历史相统一”的论述方法，从世界三大逻辑学的历史发展中概括出各自的几个基本理论和基本概念，构成一个体系，然后按历史的发展来论述这些基本理论和基本概念的演进。这标志着我国关于中外逻辑思想史研究达到了新的水平，有多方面的重要意义和启发价值。

西方逻辑史研究不断在深度和广度上扩展，其深度表现为专题研究的开展，例如研究了亚里士多德的三段论、斯多阿的推理规则、多值逻辑的历史、专名理论、塔尔斯基的语义理论等。并在其中注重应用现代逻辑方法。广度表现在不仅研究西方逻辑史而且进行逻辑比较研究，不仅个人从事研究，而且建立学术联系，增进学术交流。西方逻辑史研究的一个重要方面是对其中重要人物逻辑思想的研究和评析。在这方面出版了多部著作和论文，包括对亚里士多德、弗雷格、哥德尔、莱布尼茨、蒯因、克里普克等逻辑学家逻辑思想的介绍和研究。

中国在因明发展史上具有重要地位。在我国保存着大量印度因明的珍贵典籍，闪烁着世界三大逻辑传统相互激荡的灿烂之光。这在世界文化史上是十分罕见的学术奇观。1981年第一部因明专著问世，1982年出版了一部全面反映我国因明研究成果的汇集，是建国后的第一部因明论文集。也是在1982年，逻辑学者指出，因明是世界优秀的文化遗产，也是中国的优秀文化遗产，因此，抢救和弘扬因明是汉藏各族学者的共同责任和光荣。

从因明的体系来说，印度因明先后传人中国内地和藏区，逐渐形成汉传因明和藏传因明，二者不应该割裂开，否则就不能成为一个完整的因明。最初学者们主要关注汉传因明，就《因明正理门论》、《因明人正理论》中的推理性质和逻辑进行研究。近年来对藏传因明以及汉藏因明比较研究发展很快，出版了几部专著。除了汉文文献，另有藏文专著出版。汉藏学者正携起手来，共同推动汉藏因明的学术交流，当前特别要挖掘藏传因明在哲学和逻辑学领域的理论价值，推动我国因明研究的发展，保持我国在国际因明研究领域的领先地位。

有关因明的研究近年来呈现上升趋势。2006年，中国逻辑学会下属因明专业委员会成立，并召开了多次关于因明的专题讨论会。

综上所述，在过去的30年中，随着国家的日益重视、国际交流的日益频繁，通过几代逻辑工作者的不懈努力，我国逻辑学研究取得了历史性进步，初步改变了与国际逻辑学发展前沿长期脱节的状况，初步实现了逻辑研究的现代化，与国际逻辑研究水平初步接轨。中国逻辑界已经拥有一批具有现代逻辑素养的逻辑学博士和硕士，有一批具有丰硕成果的中青年学术带头人和骨干，有一批出国深造留学归国的逻辑学者，有一批已经达到国际逻辑研究水平的成果，有一批能进行国际逻辑学术交流的学者。同样不可否认的是，我国逻辑学研究的整体水平仍然不高，在很多方面仍存在问题。例如，与国际逻辑学研究前沿相比，我们总体上仍处于学习跟进阶段。现代逻辑的基础地位是逻辑学界的共识，但在实际学习和研究中，对现代逻辑的掌握、应用以及深人探讨仍需进一步提高。

【逻辑推理的定义(6篇) 】相关文章：

教学质量教学工作总结范文(整理7篇 2024-09-04

工作总结范文(整理10篇) 2024-08-26

幼儿园教师年度考核个人工作总结范 2024-08-14

售后客服试用期工作总结范文(整理4 2024-08-02

小学学校工作总结范文(整理5篇) 2024-06-19

季度工作总结范文(整理4篇) 2024-06-11

转正工作总结范文(整理10篇) 2024-05-21

道路安全应急预案(6篇) 2024-09-07

逻辑推理的定义(6篇) 2024-09-07

专项工作汇报(6篇) 2024-09-07