目錄
Week2思考與問題解決 - 邏輯入門
邏輯是甚麼呢，有請哲學哲學雞蛋糕的站長現身說法：朱家安：「邏輯」其實可以用來指兩種東西：形式邏輯（formal logic）和批判思考（critical thinking）。當然，我們要談的是形式邏輯的邏輯。形式邏輯簡單可以分成語句邏輯跟述詞邏輯，我們談的是前者。以例一為例
形式邏輯包含語句邏輯（sentential logic）、述詞邏輯（predicate logic）、集合論之類用符號進行運算的邏輯系統。討論形式邏輯的例子，可以參考安萍的blog（http://aaphi.blogspot.tw/）。形式邏輯基本上跟數學很像，研究者大部分時間花在證明定理、區別各種公理系統的邏輯性質。這些技巧基於邏輯語言和自然語言的差異，基本上不太能夠用來分析和評論我們用中文或英文寫的論述（這或許有點類似於一些數學定理被證明出來，但實務上還不知道能拿來做什麼）。
批判思考，則是市面上談到「邏輯」的時候主要指涉的東西。我們平常說人家講話有邏輯、沒邏輯，大多都是指：在批判思考的層次上，對方的言論周不周全、有沒有錯謬等等。
例一
語句邏輯的例子：
假設
- 下雨後，地板會濕
- 下雨了
- 地板會濕
P：下雨，Q：地板濕，可將例子翻譯為：
- P→Q （若 P 則 Q）
- （若）P
- （則）Q
總之，今天聽到了
事實、邏輯連詞、原子命題、真值表 等概念，因為概念繁雜、難以書盡，所以決定開外掛使用傳送門：作業是要推導出與
P xor Q 同義的語句，並舉出現實生活中的例子互斥或
沒有留言:
張貼留言