法律逻辑学课程课三段论推理

…badreasoningwellasgoodreasoningispossible;andthisfactisthefoundationofthepracticalsideoflogic.—CharlesSandersPeirce法律逻辑学

三段论定义：以两个包含共同项的命题为前提而推出一个新的性质命题为结论的推理。共同项是关键所有哲学家是思想家，所有逻辑家是哲学家，所以，所有逻辑家是思想家MPSMSP结构：三项与三命题结论的主项＝小项S结论的谓项＝大项P前提中的共同项＝中项M包含大项的前提＝大前提P,M包含小项的前提＝小前提S,M包含大项和小项的＝结论S,P家哲学思想家逻辑家

PMS1〕中项至少周延一次中项出现两次，至少有一次或是全称命题的主项，或是否认命题的谓项。错误：中项不周延2〕前提中不周延的项，在结论中也不得周延项的周延性不能扩大错误：小项扩大；大项扩大3〕两个否认前提不能必然得出结论至少有一肯定前提错误：双否认前提4〕结论否认，当且仅当前提否认前提有一否认，那么结论否认；结论否认，那么前提否认；前提没有否认〔均肯定〕，那么结论肯定；结论肯定，那么前提均肯定〔没有否认〕。错误：肯定前提得否认结论否认前提得肯定结论

三段论的规那么一般规那么(三段论有效性的充分且必要条件)1〕二特称前提不能必然得出结论导出规那么2〕前提特称，那么结论特称两个特称前提的所有组合均违反一般规那么：IIIOOIOO中项不周延大项扩大大项扩大双否认前提中项不周延根据完全归纳法，二特称前提不能必然得出结论。参加这次会议的都是高级法官。这些人是参加这次会议的。这些人是高级法官。犯罪嫌疑人是有作案时间的。这些人没有作案时间。这些人不是犯罪嫌疑人。三段论的非典型模式：“我从来不给蠢货让路。〞“我恰恰相反。〞－歌德蝙蝠不是鸟，因为蝙蝠是哺乳动物，而鸟不是哺乳动物。二、三段论公理〔曲全公理〕如果对一类事物的全部对象有所断定，那么对这类事物的局部对象也就有所断定。MSMSPP四、三段论的格与式

1、三段论的格第一格：MPSMSP

例如：经济规律是客观规律按劳分配规律是经济规律所以，按劳分配规律是客观规律第二格：PMSMSP例如：但凡合格的司机都不酒后驾车；该司机酒后驾车；所以，该司机不是合格的司机。

第三格：

MPMSSP

例如：玻璃不是金属；玻璃是有光泽的；所以，有些有光泽的不是金属。

第四格：

PMMSSP

例如：有些水生动物是海豚；海豚是哺乳动物；所以，有些哺乳动物是水生动物。第一格的特殊规那么：〔1〕小前提必须是肯定的〔2〕大前提必须是全称判断第二格的特殊规那么：〔1〕两前提中必有一个是否认判断〔2〕大前提必须是全称判断第三格的特殊规那么：〔1〕小前提必须是肯定判断〔2〕结论必须是特称判断第四格的特殊规那么：〔1〕如果两个前提中有一个是否认判断，那么大前提必须是全称判断。〔2〕如果大前提是肯定判断，那么小前提必须是全称判断。〔3〕如果小前提是肯定判断，那么结论必须是特称判断。〔4〕任何一个前提都不能是特称否认判断。〔5〕结论不能是全称肯定判断。2、三段论的式：三段论的式就是A、E、I、O四种判断在前和结论中的各种组合形式。符合三段论规那么的有效式有11个：AAA、AAI、AEE、AEO、AII、AOO、EAE、EAO、EIO、IAI、OAO第一格第二格第三格第四格AAAAEEAAIAAIAIIEAEAIIAEEEAEEIOEAOEAOEIOAOOEIOEIOAAIAEOIAIIAIEAOEAOOAOAEO

三段论的格与式格的定义：由中项在前提中的位置不同所决定的三段论的形式三段论的四个格M——PS——MS——PP——MS——MS——PM——PM——SS——PP——MM——SS——P第一格第二格第三格第四格各格的特殊规那么第一格第二格第三格小前提肯定二前提有一否认小前提肯定大前提全称大前提全称结论特称第四格1)任何一个前提都不能是特称否认；2)结论不能是全称肯定命题；3)假设有一否认前提，那么大前提全称；4)如大前提肯定，那么小前提全称；5)如小前提肯定，那么结论特称。第一、三格规那么的证明均用反证法有效性的必要条件三段论的格三段论的式式的定义：

由不同的A、E、I、O命题形式作为三段论的前提或结论所决定的三段论的具体形式

分配到各格的式三段论的式共有64个，又有4个格，因此，将64式以4个格的形式分别组成三段论，那么三段论的具体形式有64×4＝256。但三段论格的特殊规那么排除了本格绝大多数形式，如，第一格的AEE、AEA、IAA等，第二格的AAA、AAI等，因此每格最多有6个有效式。所有哲学家是思想家，所有逻辑家是哲学家，所以，所有逻辑家是思想家MPSMSPAAA此三段论称为AAA式，完整的形式是MAPSAMSAP式的数量：三段论有3个命题，每一命题有4种可能的形式即A、E、I、O，所以，式的数量为4×4×4＝64。但其中绝大多数式是无效式，如EEE,EEA,EAA,EAI等，只有11个是有效式。第一格小前提肯定；大前提全称AAEAAIEI2×2＝4第二格有一前提否认；大前提全称EAAEAOEI2×2＝4第三格小前提肯定；结论特称AAAIEAEIIAOAOIII2×4＝8第四格无O命题前提；结论不是AAAAEAIEAEEEIIAIEII3×3＝9利用格的规那么写出各格的前提组合利用格的规那么排除无效式，添上结论得出有效式AAAEAEAIIEIO[AAI][EAO]EAEAEEAOOEIO[EAO][AEO]AAIAIIEAOEIOIAIOAOOIIIAAIAEEAIIEAOEEEIOIAIIEII[AEO]

M——PS——MS——PP——MS——MS——PM——PM——SS——PP——MM——SS——P在语言表达上，三段论可以是两句话，即省略一句话。为何能省去三分之一仍是三段论？省略的情况有三种可能：省去大前提。2)省去小前提。3)省去结论。判断一个省略三段论的有效性，只能先将其恢复为完整的形式，再进行判定。

三段论的省略式1)判断省去的是哪一局部。找结论标志词。假设结论标志词存在，说明结论在，而省去一个前提；假设没有结论标志词，那么是省去了结论；省去结论的话，可直接利用推理规那么得出结论，恢复完成。2)假设省去的是前提，那么需进一步判断省去的是大前提，还是小前提。3)补充省略的局部。恢复三段论:判断省去的是哪一局部，再补充省去的局部例如：我们的事业是正义事业，所以我们的事业是一定要胜利的。

但凡金属都导电，所以铁导电。

我们是大学生，而大学生是应当讲文明的。

“我又不是共产党员，干嘛那么积极工作？〞有些无锡人不爱吃辣椒。因此，有些爱吃甜食的人不爱吃辣椒。以下哪项能保证上述论证的成立？A．有些无锡人爱吃辣椒。B．有些爱吃甜食的无锡人爱吃辣椒。C．所有的无锡人都爱吃甜食。D．有些无锡人不爱吃辣椒也不爱吃甜食。某些经济学家是大学数学系的毕业生。因此，某些大学数学系的毕业生是对企业经营