【台灣大學】《邏輯學》（全100講）傅皓政 P10 - 10. Ⅱ：2.5.論證形式

好 接下來我們來看論證的形式 那 什麼是論證的形式呢 論證的形式是這樣 我們其實邏輯要研究的對象呢 是論證的形式 而不是個別的 不是個別的 因為個別的論證就會像我們剛剛講的 香蕉跟蘋果 那論證的形式有點像我們的 2 加 2 等於 4 請問那個 2 有沒有特別代表什麼 它有代表香蕉嗎 有代表蘋果嗎 有代表錢幣嗎 有代表瓶子嗎 沒有嘛 對不對 是吧 然後我們的數學家很可愛 數學家 突然就有那個數學家 很認真地問我們說 那 2 在哪裡 你怎麼抓到它的 我們可以抓到具體的東西對不對 那請問 2 你怎麼抓到的 怎麼抓的 它在哪裡 2 在哪裡 大家就開始很好奇 2 在哪裡對不對 對吧 所以就有人相信 即使這個世界毀滅了 2 加 2 還是等於 4 各位相信這件事嗎 還是你會相信 如果人類毀滅了 2 加 2 等於 4 這些符號都沒有意義了 那就是說 就是缺少解讀的人 就是它一樣是那個數一個符號 但是缺少解讀的人 就是要沉浸下去定義它 就是如果還要需要 對 如果都沒有人的話 它還 make sense 都沒有意義了 符號這種事情本來就是要有解讀的人它才會有 要有人它才會有意義 就是它要有一個解讀的 不管是人還是個體 就是要有解讀的 它才會存在它的意義 纔有存在它的意義 要不然就是個 是嗎 可是 2 加 2 等於 4 不是真理嗎 我管你這個世界有沒有這個世界 說不定宇宙毀滅了 2 加 2 還是等於 4 不是嗎 不是應該這樣嗎 是 沒關係 因為我們也沒有辦法回答數學家這個問題 因為數學家在問太難了 對不對 我們怎麼有辦法知道說到底 人類都全部毀滅了是不是 2 加 2 等於 4 還真的有意義 對吧 因為你好像 你講的是說以後還是要有解讀的人 跟這位同學一樣 無論如何還是要有人 有個體或者人來試讀 對不對 它才會 make sense 對吧 但是萬一沒有怎麼辦 還有嗎 沒關係 大家試試看 所以很簡單我剛才已經講過這個例子了 這兩個的差別在哪裡 就是這個其實是用具體的方式 來表達這個式子對不對 那這個式子是抽象的 我們要的其實就是這個抽象的論證形式 那我們現在開始要做練習 什麼叫論證形式的練習 我們來看一下 我們在第一堂課的時候曾經講過這個論證 各位看蘇格拉底是人 所有的人都會死 所以蘇格拉底會死對不對 對吧 好我現在把蘇格拉底換成負號證 ok 然後把人換成老師 然後把會死的換成人 ok 所以負號證是老師 所有老師都是人 所以負號證是人對不對 這兩個論證形式是完全一樣的 看得出來嗎 可以 ok 好 所以意思是什麼呢 意思是說在推論上 在推論上 這兩個的樣子是完全一樣的 我們要那個樣子 至於那個要放負號證還是放蘇格拉底 還是放誰不重要 對不對 到底是放老師還是放人也不重要 ok 我們只要放一個詞就好 好 所以我們來做練習 好 所謂的有效論證是這個意思 來各位看一下 有效論證我們現在第一個很 roughly 很 roughly 的定義 就是非常粗略的定義而已 就是你覺得 從前提可以推導得到結論 或者說在接受前提下一定要接受結論 就是剛剛那個 蘇格拉底是人 所有人都會死 所以蘇格拉底會死 你會覺得這個是一個 有效論證或者叫正確的推論 可以嗎 注意這是我們專有名詞的 就是我們從現在開始都會說 它是一個有效論證 ok 是一個 valid argument 是一個有效論證 好 那意思就是說 你如果覺得它是有效論證 你就知道 我在接受前提的情況下 一定會接受結論 ok 這個叫有效論證 或者叫正確推論 好那反過來說無效論證意思是什麼 就是不正確的推論指的是 你即使接受了前提 也不一定會接受結論 換言之就是前提沒有辦法推導出結論 ok 可以嗎 就是你前提沒有辦法推導出結論