#形式（论证第三集） ##导言

区别形式和内容非常重要，论证演绎有效是因其形式而非内容，这并不适用于所有演绎，但对于大部分演绎来说是成立的。 ##形式为重 ###三段论

来看我这句话是什么意思，人终有一死，苏格拉底是人，因而苏格拉底会死。

所有带来最多人最大幸福的行为都是正确的，那个行为带来了最多人最大幸福，因而那个行为是正确的。

你们能看出两个论证的形式完全一样吗？但两个论证的内容相当不同，这些个论证的结构是，所有的A都是B，S是一个A，因而S是一个B。

在第一个论证中,A是所有的人，B表示终有一死，S表示苏格拉底，所有A都是B，S是一个A，因而S是一个B。

再来看一下另一个论证，A代表所有带来最多人最大幸福的行为，B代表正确，S是一个行为，所有A都是B，S是一个A，因而S是一个B。

这样做的目的，是让你们区别开形式和内容，重要的是，逻辑与主题无关，一旦你学会了逻辑，不管将其用于什么问题都是一样的，无论是讨论椅子的颜色，或是生物化学，又或者是时间哲学，逻辑都是一样的。不管你们在谈论什么内容，如果一个论证是有效的，它是因形式而有效，无论主题是什么。所以逻辑是终极的万能技巧，如果学会了逻辑，你可以将其用于谈论任何问题。

###取式推理

来看一些论证形式，肯定前件式:如果P(成立)那么Q(成立），P(成立)因而Q(成立)，P代表语句，如果P(成立)那么Q(成立），P(成立)代表前提，Q是结论。

如果我高兴那么我就能睡着，我高兴，因而我能睡着。

如果他乘公交那么他重视环保，他乘公交，因而他重视环保

如果下雨了那么我会撑起雨伞，我撑起了雨伞，因而下雨了，这是一个肯定后件谬误的例子。

如果天气好那么我会出来遛狗，天气好，因而我出来遛狗。

如果邮递员罢工那么我们收不到信，邮递员在罢工，因而我们收不到信

如果象棋不含机会因素那么象棋就是纯技巧游戏，象棋不含机会因素，因而象棋是纯技巧游戏

###拒式推理

再来看一个形式，拒式推理：如果P那么Q，非Q，因而非P，它实际上是说，P是Q的充分条件，Q是P的必要条件

如果狗和来访者不熟那么它会叫，狗没有叫，因而狗熟悉来访者

如果我有钱那么我在酒吧，我没有在酒吧，因而我没有钱，有钱是去酒吧的充分条件，但你不在酒吧，因而你没有钱

如果太阳出来了那么我去遛狗，我没有去遛狗，因而太阳没有出来。

如果我饿了那么我不能集中注意力，(这里的Q是否定形式，会增加难度)，我能集中注意力，因而我不饿。

如果我错过那班火车我会迟到，我没有迟到，因而我没有错过那班车。

###析取三段论

P或者Q，非P因而Q

或者下雨或者天晴，没有下雨因而天晴

或者吃饭或者洗碗，没有吃饭因而洗碗。

注意，这之所以成立，在于有一个排他的“或者”，在英语中或者这个词比较模棱两可，它可以表示二者选一，或不是二者兼有，这里一定要是二者选一，如果是“不是两者兼有”，就不能得到那个结论

我们要么希望通过提高道德水平来取得进步，要么希望通过提高智力水平来取得进步，我们不能希望通过提高道德水平来取得进步，因而我们必须通过提高智力水平来取得进步。

###莱布尼兹律

a是F，a=b，因而b是F

简是高个子，简是银行经理，因而银行经理个子高。

这里有个非常有趣的模糊含义，“is”是一个非常含糊的词，你可以将“is"当作一个论断，也可以表示等同。

简是高个子，简是银行经理，第一个”是“是论断，表明简有高个子这个属性，第二个‘是’表等同，简就是这个银行经理 ###存在否定命题

我来给你们讲一个逻辑难题吧，否定存在(negative existential)命题在逻辑上有些微妙。

如果复活不存在，怎么能判断复活是一种奇迹呢？

如果我们说飞马不存在，是不是在用飞马这个词所代表的含义来描述它，说它不存在？

在这种情况下，否定存在陈述怎么能为真呢？

哈姆雷特并不存在，你用不存在的哈姆雷特来描述哈姆雷特，说它并不存在，这怎么能行呢？

这是个逻辑难题，留给你们自己思考，我们学习的不是这个，我们学习的是符号逻辑。