論證的效性只跟邏輯關(guān)系有關(guān)
論證沒有真假担锤，只有論證形式是否有效
作者又在形式邏輯和非形式邏輯里無縫穿插！
第五章首先講了什么是演繹論證的有效性。
這里就不得不提到形式邏輯里的形式是什么意思了衡便。形式邏輯也叫做符號(hào)邏輯，有點(diǎn)像我們的數(shù)學(xué)公式洋访，全部用符號(hào)來指代各個(gè)條件之間的關(guān)系镣陕。形式邏輯所說的形式，就是類似公式這樣的東西姻政。
比如：
所有奇點(diǎn)的員工都是天才呆抑。
所有天才都長得好看。
所有奇點(diǎn)的員工都長得好看汁展。
兩個(gè)前提必然能導(dǎo)致結(jié)論鹊碍，這種必然不是內(nèi)容上的，而是形式上的食绿，通俗點(diǎn)說就是等量代換侈咕，變成通用的論證形式既是：
所有A都是B,
所有B都是C,
所有A都是C。
仿佛回到了學(xué)數(shù)學(xué)的噩夢(mèng)里呢~
因?yàn)椋?a＝b
??????????? b=1
所以：a＝1
這種等量代換在邏輯上是保真的器紧，所以耀销，這種形式的論證都是有效的。
——————————————————————————————————
不學(xué)高數(shù)若干年后铲汪，我居然打了這樣一張卡……
出來混果然都是要還的熊尉！
