1、马克思主义科学思维 三段论一、三段论的定义和结构1、三段论的定义三段论就是建立在马克思主义辩证唯物哲学的基础上，由两个包含着一个共同项的性质判断推出一个新的性质判断的演绎推理。由于性质判断也称为直言判断，所以由性质判断组成的三段论，称直言三段论，简称三段论。例如：科学是有用的马克思主义哲学是科学马克思主义哲学是有用的2、三段论的结构由上例可知，三段论由三个性质判断组成，这三个性质判断只包含三个不同的概念（项）作主谓项，并且每个概念在两个判断中各出现一次。（1）项： 大项（P结论的谓项）中项（M前提中出现而结论中不出现的“共同项”）小项（S结论的主项）（2）判断： 大前提（含大项P的判断）小前提
2、（含小项S的判断）结论（SP；结论主项是小项S，结论谓项是大项P）三段论结构中要抓住两个中心点：中项：M媒介项结论：（SP）抓住了结论才能区别大小项，区别了大小项才能区别大小前提。 S 小前提（ MS / SM）结论 SP P 大前提（ MP / PM）3、三段论的语言表达（1）表达次序多样在自然语言的表达中三段论的排列秩序是可以颠倒的。如上例，还可以有下面的表达形式： 逻辑科学是科学，而科学是有用的，所以逻辑科学是有用的。 逻辑科学是有用的，因为逻辑科学是科学，而科学是有用的。 逻辑科学是有用的，因为科学是有用的，而逻辑科学是科学。前提与结论的表达顺序可以有如下图式显示： （大前提小前提）结
3、论因为前提所以结论（小前提大前提）“因为”的前面是结论，“所以”的后面是结论；“因为”的后面，“所以”的前面是前提。（2）可以部分省略。例如：马克思主义哲学是有用的，因为马克思主义哲学是科学。（省略大前提） 科学是有用的，所以马克思主义哲学是有用的。（省略小前提） 科学是有用的而马克思主义哲学是科学。（省略结论）（3）选词用句是灵活的。例如：科学是有用的，马克思主义哲学也不例外。二、三段论的形式（格与式）三段论的格与三段论的式是两个不同的概念，是三段论不同的形式体现。1、三段论的格（1）涵义：三段论的格（项），就是根据中项在前提中的不同位置而形成的不同的三段论形式。（2）种类（有四种）第一格第
4、二格第三格第四格M P P M M P P M S M S M M S M S S P S P S P S P第一格第二格第三格第四格羊是动物蛇均无脚蝙蝠会飞马克思是德国人山羊是羊此物有脚蝙蝠是哺乳动物德国人是白种人山羊是动物此物非蛇有哺乳动物会飞马克思是白种人2、三段论的式（1）涵义：三段论的式（前提和结论），就是指由于前提和结论的质（联项肯定或否定）和量（量项全称或特称；单称作全称）的不同组合，而形成的不同的三段论形式。例如：蝙蝠会飞，蝙蝠是哺乳动物，所以有的哺乳动物会飞。格：MP式：A格与式：MAP MS+AMASSP I SIP所有上海人不是北方人，崇明人是上海人，所以崇明人不是北方人
5、。格：MP式：E格与式：MEP SM+ASAMSP E SEP（2）种类三段论的式可以有64个：大前提（A、E、I、O）小前提（A、E、I、O）结论（A、E、I、O）但是，并不是任何判断形式组成的三段论式都是有效推理式。例如：所有蛇都是爬行动物，所有眼镜蛇都是蛇，所以所有眼镜蛇都不是爬行动物。其形式是：所有M都是P，所有S都是M，所以所有S都不是P。（其式为：AAE）其无效性是显而易见的。如何判定一个三段论是否有效呢？或者说，什么是判定一个三段论是否有效的标准呢？这就是三段论的规则。符合三段论所有规则的三段论才是有效三段论。 三、三段论的一般规则马克思认为，人们所运用的三段论有些是正确（有效）
6、的，有些则是不正确（无效）的。关于三段论的公理三段论的公理是传统形式逻辑关于三段论推理的基本原理或根据。其基本内容是：凡对一类事物的全部对象有所断定（肯定或否定），则对该类事物中的任何部分对象也有所断定（肯定或否定）。三段论的公理可用欧拉图说明如下：SMPSMP图1 图2例如，既然肯定“所有花都是植物”，那么也就必须肯定“作为花的一部分的桃花也是植物”。例如，既然“所有花都不是动物”，那么“作为花的一部分的桃花也就不是动物”。图1和图2的思想可以分别用三段论第一格的AAA式和EAE式表示如下：MAP MEPSAM SAMSAP SEP三段论之所以能从两个前提推出结论，是依据了三段论的公理。而三
7、段论的规则则是三段论公理的具体化。运用三段论推理，要遵守三段论的规则，遵守三段论所有规则的三段论就是有效三段论，否则，就是无效三段论。三段论是否有效完全取决于三段论的形式，而与三段论变项的所指对象情况无关。1、三段论项（名词）的规则（1）三段论只能有三个不同的项：S、M、P。三段论是借助中项来连接大项与小项的。在有效三段论中，中项只有一个。或者说，有效三段论只能有三个不同的项。如果出现四个项，那么就不能进行三段论的有效推理。违反这一条规则，就要犯“四概念（或四名词）错误”。它通常的表现是，把相同语词所表达的不同概念当作同一个概念。例如：学生有32名教师是辛勤的园丁李同学是学生陶行知是教师 李同
8、学 为 32名陶行知是辛勤的园丁与的共同形式结构可刻划如下：M1P SM2 S？P （2）中项至少周延一次：MM M M大项与小项的联系是通过中项实现的，而只有当中项全部外延至少被断定一次（即周延一次）时，大小项之间的联系（关系）才能被确定。否则，就要犯“中项不周延”的错误。例如：教师都是知识分子格与式：PAM参加本次会议的都是知识分子SAM参加本次会议的？教师S？P M S1M知识分子 P P教师 S3 S2S参加本次会议的有的科学家是自学成材的格与式：MIP 2015课题组成员是科学家 SAM2015课题组成员是自学成材的SP（？）M=科学家P自学成材的MS=2015课题组成员 S1S3P
9、S2（3）在前提中不周延的项，在结论中不得周延。前提与结论都出现的项是大项和小项，这条规则是关于大小项周延的规则。这条规则我们可以用符号简略而形象地刻划如下：（S S；P P）大小项在前提不周延，也就是说，在前提中没有断定其全部外延，如果在结论中断定了全部外延，那就超出了其前提断定的范围，这样其结论的获得就不是必然的。这就要犯“大项不当周延（大项扩大）”或“小项不当周延（小项扩大）”的错误。例如： 钱学森是科学家格与式：MAP（单称作全称） 钱学森是物理学家MAS（单称作全称）物理学家都是科学家SAP 结论“物理学家都是科学家”是真实的，但是它不能由“钱学森是科学家”与“钱学森是物理学家”必然
10、推出来。也就是说，具有“MAP”与“MAS”形式的判断不能必然推出具有“SAP”形式的判断。例如： 钱学森是科学家 MAP 钱学森是中国人MAS中国人都是科学家SAP 的大小前提也是真实的，具有与完全相同的形式结构，但是结论是假的。S、M、PS1P1 MP2M S2 P3 S3MM P4S4图1 图2 图3 图4 图5由上可知，除图1和图2外，其他情况都得不出SAP的结论。也就是说，其结论的获得不是必然的。律师要懂法学格与式：MAP我不是律师SEM 我不要懂法学SEP S1 S2 M S3 P 由上图可知：除S1与P全异外，其他情况下S与P是相容的。2、三段论 前提结论 的规则三段论是由三个不
11、同的性质判断组成的。怎样形式的性质判断前提可以推出怎样形式的性质判断结论呢？三段论前提结论的规则，回答了这类问题。无论大前提、小前提和结论都是性质判断，表现性质判断形式逻辑特征的是其中的逻辑常项：质（联项）和量（量项）。相应地，三段论前提结论的规则可以分为三段论质的规则和三段论量的规则。（1）三段论质的规则 两个否定前提不能得结论。这条规则可以简化表述如下：否否为什么两个否定前提不能必然推出结论呢？因为，如果两个前提均是否定的，那么大小项就与中项是排斥的，这样大项与小项的关系就是不确定的。例如：牛都不是羊格与式： PEM 我家饲养的都不是羊 SEM 我家饲养的？牛 SP（？）P牛PM羊 S2
12、S1 M S我家饲养的 S3 虽然，以PEM与SEM为前提的欧拉图还可以有其他情况，但是以上欧拉图已足以说明，在两个否定前提的情况下，无法推出确定的结论。即使S、P的外延与M的外延部分排斥，也不能必然推出结论。如图： S5 P5 S1P1S4 M P4 P2S2 S3 P3 由上图可知，以POM与SOM或者以MOP与MOS为前提进行三段论推理，也不能确定S与P的外延关系。 前提中有一个否定，结论只能否定。这条规则可以简化表述如下：否肯否如果前提一个否定、一个肯定，那么说明大小项中一个与中项排斥，另一个与中项相容，这样推出否定结论是必然的，推出肯定结论则不是必然的。设：大项与中项完全排斥，小项与
13、中项相容。S1S2 S7 S3PS4MS6S5由上图可知，从S1S7都有与M相容的部分（大红部分），这些与M相容的S部分必然与P是排斥的，也就是说，得出“S（否）P”是必然的；相反，得出肯定判断则不是必然的，因为S与P相容的情况不是必然的，如S1、S3、S4与P是相容的，而S2、S5、S6、S7与P均不相容。如图：PEM 或MEP MAS MIS SIM SAM S2、S5 S5、S7S1、S2、S3、S4、S5、S6、S7（S否P） 两个肯定前提不能得否定结论。这条规则也可以简化为：肯肯肯两个肯定前提判断组合的情况，可列举如下： IAA I IA肯定（P）肯定情况，可以分情况证明如下。两个A
14、判断作前提，按格可以有如下形式：第一格第二格第三格第四格MAP PAMMAP PAM SAM SAMMAS MAS （P）肯定肯定（P）肯定PAMM、P等边的矩形MASS 、PM正方形S等角的菱形所有等边的矩形都是正方形 （PAM）所有正方形都是等角的菱形 （MAS）等角的菱形（否）等边的矩形？由上例可知，当S、M、P处于全同关系时，得出否定判断是假的。也就是说，我们不能由两个肯定判断必然推得否定结论。（2）三段论量的规则 两个特称前提不能得结论。这条规则可以简化表述为：特特两个特称前提可以有如下三种情况： P M ?IOIIOO 前提中有一个特称，结论只能特称。这条规则可以简化表述为：特全特
15、这条规则也是导出规则，即它也可以由前面已证明的规则推导出来。前提中有一个是特称，另一个就必须是全称（否则，成为两个特称前提了），这样它们的组合就有如下四种情况：M M P M PAEAEIIOOS特称特称特称 两个全称前提，结论可以全称也可以特称。两个全称前提可以推出什么样的结论呢？可以推出全称结论，也可以推出特称结论。即：全全全或特。既然它没有限制，自然也就不是规则。将它排列出来，无非为了提醒人们：如有效三段论的结论否定，则其前提必有一个是否定的；如有效三段论的结论是肯定的，则其前提必定都是肯定的；然而，有效三段论的结论是特称的话，其前提不必是特称的。三段论以上规则可以列表总结如下：项质量
16、S、M、P 否否特 特M（大）或M（小）否肯否特全特S（P） S（P） 肯肯肯全 全 全 或 特由上表可知：一个有效三段论，必须有一个肯定前提，必须有一个全称前提。在这些规则中，有的是初始规则，如（1）（4）；有的是导出规则，如（5）（8）。导出规则不具有独立性，因为它们是由初始规则推导出来的，所以可以略去。但是，为了使用的方便，人们通常还是将它们一一列出。遵守所有这些规则，是一个三段论有效的充分必要条件，即可以由真前提必然得到真结论。相反，如果违反其中的任何一条规则，则三段论必定无效。三段论的规则既是推理规则，又是判定规则。说它是推理规则，就是根据它可以由确定的前提合逻辑地提出相应结论。说它
17、是判定规则，就是根据它可以判定特定前提是否可以推出相关结论，或者根据它可以判定一个既成三段论是否有效。掌握三段论规则才能正确运用和判别三段论。“蛇是没有脚的，你画的东西是有脚的，所以你画的东西不是蛇。”（画蛇添足）有效“你说甲生疮，甲是中国人，你就是说中国人生疮了。”（鲁迅论辩的魂灵）小项不当周延（小项扩大）“和尚是光头，我摸到的那个人是光头，所以我摸到的那个人是和尚。”（古今笑话）中项不周延为判定方便，除规则（1）外，可将上述其它规则简化为如下三条： 中项至少周延一次。 大小项不能扩大周延。三段论前提的否定命题数目与结论的否定命题数目相同。如同时满足上述3条，则是有效三段论式，否则就是无效三
18、段论式。很明显，其中的第条与第条“兼管”了三段论量的规则（7）与（8）。而第条实际上是三段论质规则的“紧缩”。因为三段论只有一个结论，因此，三段论前提与结论中否定命题个数之比只能是1:1或0:0。如果是1:1，则正是规则（5）要求的体现；如果是0:0则正是规则（6）要求的体现。而其它可能之比都是要排除的，它们是2:1、2:0、1:0、0:1。其中，排除2:1与2:0是规则（4）要求的体现，而排除1:0是规则（5）要求的体现，排除0:1则是规则（6）要求的体现。可见，不管三段论规则怎么表述，其实质还是相同的。只要使用方便，人们完全可以作不同的选择。自然，人们还可以根据三段论的规则去证明“有效三段
19、论如结论是否定的，则其前提必定有一个是否定的”、“有效三段论如结论是肯定的，则其前提必定都肯定”等等。四、三段论的定理由三段论的规则可以证明有关三段论的诸多定理。下面列举三段论各格的定理与式的定理。（1）格的定理三段论有四个格，运用这些格进行有效推理具有相应的形式要求，这些要求成为各格有效三段论式相应的定理。第一格有效三段论有如下定理：小前提必定肯定。大前提必定全称。 结论可以是A、E、I、O第二格有效三段论有如下定理： 两前提恰有一个否定。大前提必定全称。 结论必定否定（E、O）。第三格有效三段论有如下定理： 两前提至少有一个全称。小前提必定肯定。 结论必定特称（I、O）。第四格有效三段论有
20、如下定理：大小前提必定都不是特称否定的。 如两前提有一个否定，则大前提必定全称。 如大前提肯定，则小前提必定全称。 如小前提肯定，则结论必定特称。结论必定不是全称肯定的（E、I、O）。以上所列的各格定理，读者可以根据三段论规则自己去证明。自然，还可以归纳出三段论各格的其它定理。各格的这些定理是相应三段论不能违反的，否则相应三段论无效。例如，某个第二格三段论，如其结论不是否定的，则该三段论必定无效。由此可见，上述各格的这些定理也可以作为判定的标准。正因为如此，各格的这些定理也被称为各格的特殊规则。但是，需要明确，这种判定标准只具有“否证”作用，却不具有“确证”作用。因为，如果相应三段论符合相应的
21、格的定理却不一定是有效的。实际上，各格的这些定理只是三段论规则的部分体现，或者说，它们是相应三段论有效的而不是充分条件。例如：语言不是上层建筑， MEP语言是社会现象， MAS所以，有些社会现象是上层建筑。 SIP这是个第三格三段论，它完全符合第三格的所有定理，然而它是无效的，因为它违反了三段论规则（5），两前提有一个否定，而其结论却是肯定的。（2）三段论式的定理在三段论中，大前提、小前提和结论可能是A、E、I、O四种命题中任意三种的组合。据此，按照各种可能的组合，三段论的四个格都具有64个（44464）式，而四个格合计则有256个式。但是，这256个式只是三段论的可能式，并非都是有效式。例如
22、，AOI式、IEO式，不难证明它们都是无效式。根据三段论的一般规则，筛选64个可能式，最后只剩下11个有效式：AAA、AAI、AEE、AEO、AII、AOO、EAE、EAO、EIO、IAI、OAO。再根据各格定理，将它们分配到四个格中，于是各格各有6个有效式，可列表如下：AAAAAIAEEAEOAIIAOOEAEEAOEIOIAIOAO第一格第二格第三格第四格上表中带方括号“ ”的式称为弱式，即本应得到全称命题结论而实际只得了特称命题结论的式。弱式虽然是不完全的，但却是有效的，因为在传统形式逻辑中，由全称可以推出特称。上表也可以改制为如下形式：AAA第一格EAE第二格AOO EIO AII E
23、AO AEE AAIOAO第三格IAI 第四格AEO由上表可知，在这24个有效式中，有两个是共同式，即四个格都有效的式，即EIO式和EAO式；有三个是特殊式，即只适合某一个格的式，它们是第一格的AAA式、第二格AOO式、第三格OAO式。不难理解，第一格AAA式，特殊在它的结论；第二格AOO式，特殊在它的小前提；第三格OAO式，特殊在它的大前提。根据三段论各格的有效式也可以识别一些错误的三段论推理，因为三段论各格的有效式是三段论一般规则与各格定理的体现或具体化。例如，某三段论是OAO式而又不是第三格，则该三段论必定无效。10有些广东人不爱吃辣椒。因此，有些南方人不爱吃辣椒。以下哪项能保证上述论证
24、的成立？A、有些广东人爱吃辣椒。B、爱吃辣椒的有些是南方人。C、所有的广东人都是南方人。D、有些广东人不爱吃辣椒也不爱吃甜食。16如果由“有的书法家留胡子”要推出“有的留胡子的人穿长衫”，则需要再加上下列哪项补充前提？A、所有书法家都是穿长衫的。B、穿长衫的不都是书法家。C、有的书法家不喜欢穿长衫。D、有穿长衫的书法家留胡子。4S大楼内常住的只有大众公司和强生公司的员工。大众公司的员工只穿蓝制服，某日有一穿蓝制服而强生公司的员工只穿黄制服。某日有一穿蓝制服的人从S大楼的电梯里走出来。关于此人的身份，有下列5种说法：I 此人是强生公司的。II 此人是S大楼的常住人员。III此人是大众公司的。V
25、此人不是S大楼的常住人员。VI此人不是大众公司的。这5种说法中，不可能真的数量有多少？A、只有1个。B、只有2个。C、只有3个。D、只有4个。五、三段论的化归三段论的各格在实际使用方面具有不同的意义与作用。第一格被称为“完善格”或“典型格”。因为它典型地体现了演绎推理由一般到个别的思维特征与过程，它的AAA式和EAE式直接体现了三段论的公理。在三段论的四个格中只有第一格才能推出全称肯定命题。第一格在人们认识和思维中的主要作用，在于把一般原理、原则的知识运用于分析和说明特殊或个别事实，以获得关于特殊或个别事实的某种必然性结论，或用于论证关于某种特殊事实的命题的真实性。第二格被称为“区别格”。因为
26、第二格的结论是否定的，因此它常被用来确定事物间的区别。第三格被称之为“例证格”，因为第三格的结论是特称的，因此它常被用来推出一个有关特殊事实的特称命题，反驳与之相矛盾的全称命题。相比而言，第四格在认识中没有什么特别的作用。所谓三段论的化归，也称“三段论的还原”。即是运用性质命题变形（必要时还需要调换大小前提的位置）的方法，而把三段论的其他格改变为第一格。由于三段论第一格是“完善格”，因此，传统形式逻辑常常通过把三段论其他各格化归我第一格的方法来更清楚地显示它们的演绎性质。这实际上也是对第二格、第三格、第四格有效性的一种证明。例如：上层建筑是有阶级性的，科学技术无阶级性，所以科学技术不是上层建筑
27、。这是第二格AEE式。如以S表示“科学技术”，M表示“有阶级性”，P表示“上层建筑”，其化归过程为：PAM PEM MEPSEM SAM SAMSEP SEP SEP又如：有些唯物主义者不是欧洲人，因为马克思主义者都是唯物主义者，有些马克思主义者不欧洲人。这是第三格OAO式，以S表示小项“唯物主义者”、M表示中项“马克思主义者”、P表示大项“欧洲人”，其化归过程是：MOP MAS MSA MASMAS MOP MIP PIMSOP SOP SIP PIS实际上，所有其他三段论形式都可以通过三段论化归方法，从三段论第一格的两个基本形式（即AAA式和EAE式）中推导出来。因此，可以把三段论第一格的
28、AAA式和EAE式看作实质上是整个三段论体系的公理，而整个三段论体系也就因此可以看作为完整的公理体系。六、三段论的省略式与复合式1、三段论省略式所谓省略三段论，不是一种独立的三段论形式，而是在语言表达时省略某一判断（前提或结论）的三段论。也就是说，三段论结构本身的任一部分都是不能残缺的，省略的只是它的表达。自然，可以将它“复原”。甲：“要学点逻辑，逻辑有助于人们思维能力的提高。我当律师深有体会。”乙：“你当律师要懂逻辑，我又不是律师！”复原的方法是：表达中，如有“因为所以”，则省略了一个前提：根据推理词（“因为所以”）的语言标志，找出结论，区别大项（P）和小项（S）；在未省略前提中找出中项（M
29、前提出现而结论不出现的项），将它与现有前提中没有的项（大项或小项）连接起来，补出被省略前提。例如：真理（M）是不怕批评的（P），马克思主义（S）是不怕批评的（P）。前提结论（SM）“马克思主义是真理”（小前提）司法干部（S）要学习逻辑（P），司法干部（S）也是干部（M）。结论前提 （ M P）“干部都要学习逻辑”（大前提）在表达中，如果没有“因为所以”，则省略的是结论：找出中项，连接另外两个项，补出被省略结论。例如：马克思主义是（M），而（M）是不怕批评的。中项“马克思主义（S）是不怕批评的（P）”“有的不怕批评的（S）是马克思主义（P）”由于大小项的区别依据的是三段论的结论，而这种省略三段论
30、恰恰又是省略了结论，因此，另外两个项中哪个作大项，哪个作小项，在作出结论之前是无法确定的。按什么顺序，如何连接它们，需要根据规则试推结论，可能两种连接都成立，也可能只有一种成立，同时还要考虑量（周延）的问题。2、三段论复合式有时，人们将几个三段论连用，从而形成相关的一连三段论推理，这种形式的三段论可以称为复合式三段论。所谓复合式三段论就是在语言表达方面将两个或两个以上的三段论连用的三段论形式。主要要两种形式：（1）前进式复合三段论它是以前一个三段论的举例作为后一个三段论的大前提的复合三段论。例如：某富家子弟，颇爱古玩。于市肆间重金购得有张翼德印章之字画一幅，如获至宝，便大张宴席，恭请名流观赏。
31、郑老乃举国金石名家，亦被邀至。观后微哑。叩请指教。郑老叹曰：“惜乎重金，废纸一张！三国时有朱砂名章否？”众愕然。上例包含了两个三段论：三国时字画是没有朱砂名章的（大）张翼德的字画是三国时字画（小）张翼德的字画是没有朱砂名章的（大 / 结）富家子弟所购字画不是没有朱砂名章的，（小）富家子弟所购字画不是张翼德的字画（结）郑老正是运用三段论推理揭露了文物市场上的假冒食品。一切造福于人类的知识都是有益的科学是造福于人类的知识科学是有益的社会科学是科学社会科学是有益的逻辑学是社会科学逻辑学是有益的在这个推理中，思维进程是由范围较广的概念逐步推演到范围较狭的概念，即由较一般的知识范围推演到较特殊的知识范围
32、。前进式复合三段论的推理图式是：BA（大前提）CB（小前提）CA（结论 / 大前提）DC（小前提）DA（结论 / 大前提）ED（小前提）EA（结论）E D C B A（2）后退式复合三段论。其结构特征是，以前一个三段论的结论作为后一个三段论的小前提的复合三段论。例如：马克思主义哲学是社会科学社会科学是科学马克思主义哲学是科学科学是造福人类的知识马克思主义哲学是造福人类的知识一切造福于人类的知识都是有价值的马克思主义哲学是有价值的在这个推理中，思维进程是由范围较狭的概念逐步推演到范围较广的概念，即由较特殊的知识推演到较一般的知识。后退式的复合三段论推理的图式是AB（小前提）BC（大前提）AC（结
33、论 / 小前提）CDAD（结论 / 小前提）DE（大前提）AE（结论）A B C D E复合三段论是由两个或两个以上的三段论组成的，因此，组成它的每个三段论都必须遵守三段论的规则，只要任何一个三段论违反了三段论的规则，那么整个三段论就是无效的。在一个三段论中不能有四个概念，但在相关的两个或多个三段论中则不然。因此，是否犯有“四词错误”应作具体分析。例如：杭州是浙江的一个市，苏州是江苏的一个市，所以苏州不是杭州。此推理表面看是一个三段论，实际上则是两个三段论：浙江的一个市不是江苏的一个市（省略）杭州是浙江的一个市杭州不是江苏的一个市苏州是江苏的一个市苏州不是杭州七、三段论有效性的文恩图解判定一个
34、三段论是否有效，可以用许多方法，如三段论规则的判定方法、欧拉图解方法等。此外，还可以用文恩图解的方法。文恩图解，也译“维恩图解”，由英国逻辑学家文恩（也译“维恩”）于1880年创造的一种图解方法。1、文恩图表示法文恩图的基本形式是，根据需要在一矩形中，画一个或若干个都相交叉的曲线形，通常是用两个或三个圆圈表示：如图所示，文恩图解不同于欧拉图解之处，在于它用不同的区域表示各变元及其补的所有可能的组合，并可表示某一区域是否空类。空类用斜线或“”表示，非空类用“”表示。矩形表示论域，但也可省去。2、性质命题的文恩图解用文恩图也可以表示性质命题SAP、SEP、SIP、SOP主项和谓项的外延关系：3、三
35、段论有效性的文恩图解文恩图可以用来检验三段论的有效性。由于三段论有三个概念，因此用文恩图检验三段论，需要用三元文恩图。其基本方法是：第一，画一个三元文恩图，其中的三个圆圈分别表示S、M、P；第二，用斜线或“”在图中表示三段论两个前提的断定情况；第三，检验图中S与P关系是否与结论命题相符。比如，下列两个三段论式：（1）MAP （2）MEP SAM MIS SAP SIP用上述方法画出它们的文恩图分别是：由图（1）可知，不存在是S而不是P的部分，即SP0，也就是说，S都在P中，因此三段论式（1）有效。由图（2）可知，是S而不是P的部分存在，即SP0；而在S与P交叉部分无“”号，即是S又是P未被断定，也就是说得出SOP结论是必然的，得出SIP结论不是必然的，因此三段论（2）无效。文恩图方法的优点是直观、形象，但其不足主要在于：只是对既成的三段论式的逐个判定，而缺乏对所有三段论式的系统处理。所以，它一般作为三段论有效式判定的辅助方法。27 / 27
