论证的效性只跟逻辑关系有关

论证没有真假，只有论证形式是否有效

作者又在形式逻辑和非形式逻辑里无缝穿插！

第五章首先讲了什么是演绎论证的有效性。

这里就不得不提到形式逻辑里的形式是什么意思了。形式逻辑也叫做符号逻辑，有点像我们的数学公式，全部用符号来指代各个条件之间的关系。形式逻辑所说的形式，就是类似公式这样的东西。

比如：

所有奇点的员工都是天才。

所有天才都长得好看。

所有奇点的员工都长得好看。

两个前提必然能导致结论，这种必然不是内容上的，而是形式上的，通俗点说就是等量代换，变成通用的论证形式既是：

所有A都是B,

所有B都是C,

所有A都是C。

仿佛回到了学数学的噩梦里呢~

因为； a＝b

            b=1

所以：a＝1

这种等量代换在逻辑上是保真的，所以，这种形式的论证都是有效的。

——————————————————————————————————

不学高数若干年后，我居然打了这样一张卡……

出来混果然都是要还的！