2013-09-29

思考與問題解決 - 邏輯入門

邏輯是甚麼呢，有請哲學哲學雞蛋糕的站長現身說法：

朱家安：「邏輯」其實可以用來指兩種東西：形式邏輯（formal logic）和批判思考（critical thinking）。
形式邏輯包含語句邏輯（sentential logic）、述詞邏輯（predicate logic）、集合論之類用符號進行運算的邏輯系統。討論形式邏輯的例子，可以參考安萍的blog（http://aaphi.blogspot.tw/）。形式邏輯基本上跟數學很像，研究者大部分時間花在證明定理、區別各種公理系統的邏輯性質。這些技巧基於邏輯語言和自然語言的差異，基本上不太能夠用來分析和評論我們用中文或英文寫的論述（這或許有點類似於一些數學定理被證明出來，但實務上還不知道能拿來做什麼）。
批判思考，則是市面上談到「邏輯」的時候主要指涉的東西。我們平常說人家講話有邏輯、沒邏輯，大多都是指：在批判思考的層次上，對方的言論周不周全、有沒有錯謬等等。

當然，我們要談的是形式邏輯的邏輯。形式邏輯簡單可以分成語句邏輯跟述詞邏輯，我們談的是前者。以例一為例

例一

語句邏輯的例子：

下雨後，地板會濕

下雨了

地板會濕

假設 P：下雨，Q：地板濕，可將例子翻譯為：

P→Q （若 P 則 Q）

（若）P

（則）Q

總之，今天聽到了 事實、邏輯連詞、原子命題、真值表 等概念，因為概念繁雜、難以書盡，所以決定開外掛使用傳送門：

作業是要推導出與 P xor Q 同義的語句，並舉出現實生活中的例子
互斥或

正向心理學導論 - 幸福是蝦米挖溝勒

幸福是甚麼

怎麼測量幸福

經驗抽樣法

即時測量

2013-09-23

最近一直猶豫著如何決定部落格的走向，究竟要像哲學哲學雞蛋糕那樣寓教於樂（？），還是要像 Taiwan2.0 那樣以文載道、化己見為文章的不著痕跡。想想後，還是先打吧。打了之後才會有資料（謎：實驗法中毒喔），才會有所根據得修改方向。畢竟連電腦玩物用 blogger 用的好好的，也買了一個網址；哲學哲學雞蛋糕的舊站（痾，這樣就有兩個舊站了耶，囧）經營的有聲有色、介面獨特，最後還是投向了 wordpress 的懷抱。

所以拉，還是先打吧，俗話說「做中學學中做」，打部落格就是要「~~ctrl-c ctrl-v~~」「先打了再說」。