|
二、论有效演绎推理之逻辑内容的必然保真的可扩大性 倘若关于逻辑真理的这个观点能够成立，我们便可由此出发来论证有效的逻辑推理无论在事实内容方面还是逻辑内容方面都可是必然保真扩大的；换言之，在这两个方面有效推理都可不具同义反复性。以重言式p→p∨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亦必真。按正统的观点，p→p∨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的事实内容，重言推理p→p∨q在事实内容方面必然保真地扩大了。 另一方面，重言推理在逻辑内容上也是可必然保真扩大的。然而确切地讲，什么是逻辑命题的逻辑内容？逻辑真理的本质既在于必然的排假，那么我们就可运用逻辑命题所排除之事态的大小来定义命题的逻辑内容。但内容是一个相对的概念，只有在与其它内容的比较中一内容才可得到自身明确的定义。并不是任意两个逻辑命题的逻辑内容都是可比较的，正如并非任意两个事实命题的事实内容都是可比较的一样。我们必须运用逻辑命题的排假方式（即使得该命题为真的真值条件）和命题使用这些排假方式所排除之事态（即使得该命题为假的真值条件）的结合来为命题的逻辑内容下定义：仅当两个逻辑命题的排假方式以如下形式相联系，使得在这两个命题分别作为一推理的前后件时，该推理的形式是个重言式；在这种条件下，这两个命题的逻辑内容才是可比的，而这些命题所排事态之大小就是衡量它们逻辑内容大小的标准。换言之，只有有效推理之前后件的逻辑内容才是可比较的，因为我们只对有效推理感兴趣，只有有效推理所产生的结果才可作为逻辑知识，根据上述定义，命题p→p∨q（2）既是个重言式，其前后件的逻辑内容就是可比的。（2）之前件所排事态为p，其后件所排事态则为p∧q，其后件所排事态明显地大于其前件所排之事态，故命题（2 ）为逻辑内容必然保真扩大推理。重言命题（3）p→（q→p）的情况也一样，因为它的后件所排事态q∧p明显地大于其前件所排事态p。同理，（q→r ）→［p∨（q→r）］（4）之前件所排事态为q∧r，其后件所排事态为p∧（q∧r），其后件所排事态亦明显地大于其前件所排事态。故（2）、（3）和（4）之前后件都并非是同义反复表达式：它们因此都是必然保真扩大推理。此外，重言式p∨p排除的是矛盾式p∧p，后者表示不可能事态，故凡是排除可能事态的命题之逻辑内容都大于p∨p的逻辑内容。而p∧p既是永假式，则就没有任何逻辑内容。 然而我们现在似乎遇到了一个反例；为了弄清这一点，首先让我们考察一下逻辑等值意味着什么。按照传统的观点，逻辑等值命题的内容是相同的；确切地讲，按照我们的观点，就两个等值命题的关系而言，逻辑等值式实际上乃表示等值命题可用互相通用的方式对同一使它们为假的事态的排除。以p→q←→p∨q（5）为例，该等值式表示，在p和q的4种可能的真值组合中，其左右支均可用p∧q、p∧q、p∧q这三种方式排除唯一使它们为假的事态p∧q。既然p→q和p∨q所排除之事态和所用之排假方式都相同，故它们的逻辑内容完全相同，（5 ）式之重言性就表明了这一点。但是，命题（6）p←→p∨（q∧q ）也是重言等值式，由于p∨（q∧q）可变形为（p∨q）∧（p∨q），根据（6），p→p∨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的逻辑内容； 这对我们在前面关于p→p∨q（2）在逻辑内容上是必然保真扩大推理的论证是个反例，它促使我们进一步地去研究逻辑等值到底意味着什么。 (责任编辑：admin) |