演绎推理归纳推理和三段论以及附加说明

1、逻辑学基本知识总结1.演绎推理1演绎推理常见的论证形式演算的基本论证形式名字相继式描述肯定前件论式(p-q);p卜q如果p则q;p;所以，q否定后件论式(p一q);?q卜?p如果p则q;非q;所以，非p假言二段论式(p-q);(q-r)(p-r)如果p则q;如果q则r;所以，如果p则r选言二段论式(pVq);?p卜q要么p要么q;非p;所以，q创造性二难论式(p-q)A(r-s);(pVr)(qVs)如果p则q;并且如果r则s;但是要么p要么r;所以，要么q要么s破坏性二难论式(p一q)A(r一s);(?qV?s)(?pV?r)如果p则q;并且如果r则s;但是要么非q要么非s;所以，要么非p要

2、么非r简化论式(pAq)1pp与q为真；所以，p为真合取式p,q(pAq)p与q分别为真；所以，它们结合起来是真增加论式p(pVq)p是真；所以析取式（p或q）为真合成论式(p-q)A(p-r)卜p一(qAr)如果p则q;并且如果p则r;所以，如果p是真则q与r为真德摩根定律（1）?(pAq)(?pV?q)（p与q）的否定等价于（非p或非q）德摩根定律（2）?(pVq)(?pA?q)（p或q）的否定等价于（非p与非q）交换律（1）(pVq)(qVp)（p或q）等价于（q或p）交换律（2）(pAq)(qAp)（p与q）等价于（q与p）结合律（1）pV(qVr)(pVq)Vrp或（q或r）等价于（

3、p或q）或r结合律（2）pA(qAr)(pAq)Arp与（q与r）等价于（p与q）与r分配律（1）pA(qVr)(pAq)V(pAr)p与（q或r）等价于（p与q）或（p与r）分配律（2）pV(qAr)(pVq)A(pVr)p或（q与r）等价于（p或q）与（p或r）双重否定律p1?pp等价于非p的否定换位律(p一q)(？q?p)如果p则q等价于如果非q则非p实质蕴涵律(p一q)(?pVq)如果p则q等价十要么非p要么q实质等价律（1）(p?q)(p-q)V(q-p)（p等价于q）意味着，要么（如果p是真则q是真）要么（如果q是真则p是真）实质等价律（2）(p?q)(pAq)V(?qA?p)（p

4、等价于q）思味着，要么（p与q都是真）要么（p和q都是假）输出律（pAq）一r1p一（q-r）从（如p与q为是真则r是真）我们可以证明（如果q是真则r为真的条件是p为真）输入律p一（qr）（pAq）一r重百式p（pVp）p是真等价于p是具或p是真排中律卜（pV?p）p或非p是真2.归纳推理归纳法或归纳推理（Inductivereasoning）,有时叫做归纳逻辑，是论证的前提支持结论但不确保结论的推理过程。它基于对特殊的代表（token）的有限观察，把性质或关系归结到类型；或基于对反复再现的现象的模式（pattern）的有限观察，公式表达规律。例如，使用D3纳法在如下特殊的命题中：归纳推理的类

5、型a.普遍化普遍化或归纳普遍化，是从关于样本的前提到关于总体的结论的过程。1 .比例为Q的样本有性质Ao2 .结论：比例为Q的全体有性质Ao前提提供给结论的支持依赖于样本群体中的个体数目可比较于全体中的成员的数目，和样本的随机性。草率普遍化和偏倚样本是与普遍化有关的谬误。b.统计三段论统计三段论是从一个普遍化到关于一个个体的结论的过程。1 .比例为Q的总体P有性质Ao2 .个体I是P的成员。3 .结论：个体I有性质A的概率相当于Q。在前提1中比例可以是像3/5、 所有的或一些这样的词。 两个dictosimpliciter谬论可以出现在统计三段论中。 它们是意外和反意外。c.简单归纳简单归纳是

6、从关于一个样本群体到关于另一个个体的结论的过程。4 .全体P的比例为Q的已知实例有性质Ao5 .个体I是P的另一个成员。6 .结论：个体I有性质A的概率相当于Q。这实际上是普遍化和统计三段论的组合，这里的普遍化的结论也是统计三段论的第一个前提。d.类推论证（归纳的）类推是从已知的在两个事物之间的类似性到关于在这两个事物之间公共的一个额外性质的结论的过程：1 .事物P类似于事物Q。2 .事物P有性质Ao3 .结论：事物Q有性质A。类推依赖于已知共享的性质（类似性）蕴涵A也是共享的性质的推论。前提提供给结论的支持依赖于相干性和在P和Q的类似性。e.因果推论因果推论基于效果发生的条件得出关于因果关联

7、的结论。关于两个事物的相关性的前提可以指示在它们之间的因果联系，但是必须巩固上额外的因素来建立因果联系的精确形式。预测预测从过去的样本得出关于将来的个体的结论。1.群体G的比例为Q的观测过的成员有性质Ao2 .群体G的下一个观测的成员有性质A的概率相当于Q。f.典据论证引经据典论证基于来源说真命题的比例得出关于一个陈述的真实性的结论。它与推测有相同的形式。1 .权威A的比例为Q的主张是对的。2 .权威A的这个主张是对的概率相当于Q。例子：来自关于逻辑的网站的所有的评述都是对的。这个信息来自关于逻辑的网站。所以，这个信息（可能）是对的。3 .二段论3.1.选言三段论选言三段论，也叫做拒取式（mo

8、dustollendoponens,字面意思：通过否定来肯定）是有效的简单的论证形式P或Q非P所以，Q粗略的，我们可以说一个或另一个是真；接着我们可以说一个不是真；那么我们可以推导出另一个必须是真。这种推理叫做选言三段论;就是说，首先它是三段论-三个步骤的论证-其次它包含一个析取式，它简单的意味着一个陈述。要么P要么Q是一个析取式；P和Q叫做这个陈述的离析项（disjunct）。一个例子：我要么选择汤要么选择色拉。我不选择汤。所以，我选择色拉。3.1.1.包容的与排斥的析取式应当注意到有两种逻辑析取是重要的：I包容的意味着与/或，这里至少有一个项是真，它们可以都是真。排斥的（“异或”）意味着必

9、须有一个是真而另一个是假。两项不能都为真也不能都为假。通俗英语的或的概念经常在这两种意思之间不明确，但是这种区别在评估析取论证的时候是关键的。这个仑证：P或Q.非P.所以，Q.排斥的意义上才是有效的是有效的并且没有在两种意义之间是没有区别的。但是，下列论证只有在P或Q(排斥的)P.所以，非Q。对于包容的意义你从论证的前两个前提不能得出任何结论。参见肯定离析项。3.2.假言三段论在逻辑中，假言三段论是服从下列形式的有效的论证：P一Q.Q一R.所以，P-R.换句话说，这种论证陈述如果第一个蕴涵第二个，并且第二个蕴涵第三个，则第一个蕴涵第三个。假言三段论的一个例子：如果我不能起床，则我不能上班。如果

10、我不能上班，则我不能得到报酬。所以，如果我不能起床，则我不能得到报酬。假言三段论有一个好处，它们可以是反事实的(counterfactual):它们可以是真的，即使前提假设的命题已知是假的。4.附加说明(1)规则：改变命题的质，谓项变成前提中的矛盾概念。(2)有效式：SAASEnPSEP一nSAPSIP一nSOPSOPfSIP换位法(1)规则：调换主谓项的位置，前提中不周延的项，在结论中也不得周延。(2)有效式：SADPISSEPPESSIP一PIS换置换位法规则：换位时遵守换位的规则，换质时遵守换质的规则。有效式：6条。3、三段论(1)定义：由两个包含着共同项的性质命题推出一个新的性质命题的

11、推理。(2)三段论的公理：一类事物的全部都具有(或不具有)某性质，那么这类事物中的部分也具有(或不具有)某性质。(3)三段论的规则三段论有且只有三个项。按思维进程：可分为演绎推理、归纳推理、1、对当关系推理：有效式16条SAASIPSASEPSEPfSOPSEPfnSAPnSIPfnSAPnSIPfSEPnSOPnSEPnSO2SAPnSAASOPnSEASIP2、命题变形推理换质法SIP类比推理、附性法推理等）SAPfnSOPSEPfnSIPnSIPSOPnSOPSIPfSEPSOPfSAP中项至少周延一次前提中不周延的项，在结论也不得周延两个否定前提不能得结论。前提之一否定结论必否定两特前

12、提不能得结论两特前提不能得结论。前提之一特称，结论必特称（4）三段论的格及各格的规则5、模态命题推理6、联言推理:有效式：组合式P,q-pA分解式PAqfp(q)7、选言推理相容选言推理有效式：否定肯定式：（pVq）q-p不相容选言推理有效式：否定肯定式：（pVq）nq-p肯定否定式(pVq)Aqnp8、假言推理9、归纳推理:（1）定义：是由关于个别（或特殊）性知识前提推出一般性知识的结论的推理。（2）种类：完全归纳推理（结论必然）按思维进程，可分为演绎推理、归纳推理、类比推理、附性法推理等不完全归纳推理（结论或然）第一格：小肯大全第二格：一否大全第三格；小肯结特一全第四格：一否大全，小全大肯，小肯结特，O命题不能彳前提，A命题不能作结论。（5）三段论的式每格都有6个有效式。4、关系命题推理非对称和非传递关系都不能用来推理。有效式：aRb,bRaaRb,.bRaaRb,bRc,.,.aRcaRb,