作者ru4 (桂花金萱真好喝)
看板AGEC92
標題[轉錄][心得] 邏輯定義整理
時間Wed Jun 15 23:56:40 2005
※ [本文轉錄自 NTU-Exam 看板]
作者: monotones (trivial one) 看板: NTU-Exam
標題: [心得] 邏輯定義整理
時間: Mon Jun 13 22:42:46 2005
邏輯定義整理
語句邏輯
1. 邏輯：研究有效[的]論證的科學。
2. 語句：有真假可言的直述句。
3. 論證：由 n (≧0 的整數) 個語句作前提，一個語句作結論所構成的推理方式。
4. 有效的論證：必然[地]如果所有的前提都真，則結論也真。
5. 妥當的論證：i. 它是有效的。
ii. 它的每一前提都真。
量化邏輯
1. 個體：存在或曾經存在於我們這個宇宙裡可以一個一個數一數的人、事、地、物等
等東西。
2. 個體變項：u,v,x,y,z(及其下標) ，用以代表非特定之個體。
3. 個體常項：a,b,c,...,l,m,n(及其下標) ，用以代表某一特定個體。
4. 封閉變項∕約束變項：如果 H是
i. ΑvK 的一部份 或 ii. ΕvK 的一部份，則公式 H中的個體變項 v是約束的。
5. 語句：全由封閉變項構成的公式。 (「公式」定義請見課本)
6. 有效語句：沒有前提的有效論證的結論。
7. A 型句：全稱肯定句，即「凡 F皆 G」，符示：Αx(Fx→Gx)。
8. E 型句：全稱否定句，即「凡 F皆非 G」，符示：Αx(Fx→~Gx)。
9. I 型句：存在肯定句，即「有些 F皆 G」，符示：Εx(Fx‧Gx)。
10. O 型句：存在否定句，即「有些 F並非 G」，符示：Εx(Fx‧~Gx)。
謬誤
1. 謬誤：不妥當的論証。
2. ambiguity(詞的歧義) ：論證中的詞有兩種不同的意義解讀。
3. amphibody(語句歧義) ：合成的語句有兩種不同的解讀方式。
4. vagueness(含混籠統) ：論證中的述詞有兩種 (以上) 不同用法，適用於不同層次
對象，卻未區分。
註：不當合成─是將述詞由個體不當推廣至整體。
不當分割─是將述詞由整體不當推廣至個體。
5. 肯定後件：錯將 1.P→Q 2.Q∕∴P 視為有效的論證。 (MP的誤用)
6. 否定前件：錯將 1.P→Q 2.~P∕∴~Q 視為有效的論證。 (MT的誤用)
7. 亂賦因果：錯將 1.Pa 2.Qa∕∴Αx(Px→Qx) 及其推廣類型視為有效的論證。
8. 急於推廣：錯將 1.Sa 2.Sb∕∴ΑxSx 及其推廣類型視為有效的論證。 (不當歸納)
9. 不當類比：錯將 1.Sa 2.Sb∕∴Sc 及其推廣類型視為有效的論證。
(急於推廣的UI)
10. 訴諸權威：將社會上特別有份量的人說的話都視為真的。
11. 人身攻擊：因某人的某些因素為人不齒，而將他說的話視為假的。
12. 稻草人謬誤：故意扭曲對手論點、攻擊對手論點較弱處、與論證不相干處，而期望
說服聽眾對方結論是錯誤的。
13. 錯錯變對：對手跟自己有同樣表現，因而否認自己錯誤。
14. 訴諸暴力：因暴力威脅介入而生的不妥當論證。
15. 訴諸群眾：誤認群眾行為及情緒能反映真理而生的不妥當論證。
16. 訴諸同情：因人的同情心而生的不妥當論證。
17. 訴諸無知：已知前提不足支持結論，而誤以為這些前提足以否定結論。
18. 偽兩難：強加未經審驗的選言句於前提，否定其一，要求對方接受另一項。
19. 假骨牌效應：假設一連串事件會導致一不幸結果，而否定起始事件，但其中至少一
環節是假的。
20. 複合問句：強迫對一預設某子句為真的複合問句作一對或錯的回答。
21. 循環論證：各論證前提有賴前一論證的結論，但最後一論證的結論又成第一論證的
前提。
22. 乞求論證：論證結論本身就出現在前提。
--
原本以為不怎麼多的，沒想到還頗多|||
嗯..這是最後的貢獻，真的沒有了XD
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.112.250.148
→ monotones:注意：同前，Α、Ε非標準量化號140.112.250.148 06/13
※ 編輯: monotones 來自: 140.112.250.148 (06/13 22:46)
→ NYY:可以借轉嗎...謝謝 218.166.105.8 06/13
→ monotones:當然囉:)140.112.250.148 06/14
推 aether982:除了推 還能說什麼 ~ 61.228.72.132 06/14
推 avocet:太強大了! 140.112.25.196 06/14
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 220.136.79.224