亚里斯多德症候群.PDF

20亞里斯多德症候群 我有一位學長，當了一年實習老師之後，就辭掉教職，自己經營數學家教班，並取得合 法立案的執照。因為是個體戶的緣故，一年到頭難得放假休息，常常趁暑假結束，開學 前這個空檔出國旅行。有幾年，他請我在他出國期間，客串幫他的學生上點數學課程。 我大都挑些活潑有趣的應用問題來教，有一次，上完課後，一位白衣﹑黑裙﹑紅書包的 學生問了我這樣的問題：「要如何學好數學證明題？」會問這樣深度的問題肯定是出自 名校的好學生，我就快速的回想一下「從以前到現在，我是如何進行數學證明的學習」， 並慎重的回答說：「課本的證明題很重要，雖然第一次學習可能是用背的或者是記憶（臨 摹）的方法學習它的數學證明，但是第二次以後可能就可以用理解的方式瞭解解其證明 過程及為什麼要這樣證。聯考最多只是考類似的證明題目（仿冒），只要課本的證明題 及證明方法都熟悉了，其實不難可以有結構的寫下證明題的證明過程。一般的證明題可 粗分成計算式證明題與推理式證明題，計算式證明題就是套用數學公式驗算要妳證明的 式子是否成立，說穿了，就是在做一道計算題而已，而推理式證明題比較複雜。推理式 證明題牽涉到比較複雜的邏輯推理，究竟是採取直接證法或間接證法，而間接證法又可 分為反證法或歸謬證法。總之，對不熟悉邏輯演繹體系的學生來說，要同時兼顧數學層 面與選擇正確的邏輯方法是相當不容易的一件事。」這就是我回答那位學生的大致內 容。 題目：若實數 a  1,b  1 ，則證明 ab a b 1 0. 其實，我不是很滿意這樣的回答。原因是，有關何時選擇直接證法，何時採取間接證法， 甚至是使用反證法或利用歸謬證法的時機與區別，我並沒有回答。而這正是最困難回答 的部份，因為它們是一種沒辦法用言語描述，只能靠內心體會的判斷。學習數學證明就 像學習寫書法或畫山水畫一樣，必須從臨摹，進化到仿冒，最後走出自己的風格與創意。 即使是被譽為東方畢卡索的張大千，也是臨摹了無數的敦煌壁畫，仿冒了許多古人的作 品，才成為繪畫大師的。書法與繪畫的學習如此，數學證明的學習也是這樣。 我對這樣的答覆不滿意的另一個原因，是怕那位學生罹患一種叫「亞里斯多德症候群」 的數學疾病。 20.1 不是這個就是那個，要選擇，要區分，要判斷的亞里斯多德邏輯演繹 談到邏輯就讓人想起兩千多年前的亞里斯多德。在西方，古希臘的亞里斯多德被認為是 邏輯之父，也是古代哲學泰斗。歐幾理得的《幾何原本》就是運用了亞里斯多德的邏輯 方法，按照公理化結構，所建立起來的第一個完整的關於幾何學的演繹知識體系。《幾 何原本》的這種邏輯推理與鋪陳方式，深深的影響著後來的數學教學與發展。原因無它， 人的頭腦總是很容易接受「不是這個就是那個，要選擇，要區分，要判斷」的思考模式。 事實上，「不是這個就是那個，要選擇，要區分，要判斷」也是亞里斯多德的口頭禪， 也是他的邏輯體系之精髓。想想看，邏輯的“真假值表”就是在教你做選擇，做區分及 做判斷，而最後的結果只會有兩元，不是對就是錯，不是這個就是那個，幾乎完全符合 頭腦的思考模式。 直接證法 直接證法的邏輯演繹就是從敘述 P ：「a ,1 b1 」直接推得敘述 Q ： ab a b 1 0 「 」成立的意思。其推理方式如下： ab a b 1 (a 1)(b 1) a 1 0,b 1 0 因為 ，又 ，所以 ab a b 1 (a 1)(b 1)  0. 像這樣，直接利用敘述 P證明敘述 Q 成立，即「P Q 」的證明模式就是直接證法。 亞里斯多德的邏輯演繹高峰發生在上世紀，也就是電腦的被發明與被廣泛應用之時。電 腦的發明讓邏輯演繹大放異彩，也深深影響這整個世界。IBM設計的深藍電腦，藉助 其強大的記憶與推演能力，擊敗史上最強的西洋棋王卡斯帕洛夫。棋藝（西洋棋，象棋， 圍棋等）較量原本是一種陶冶心性的活動，當初的設計也顧慮到人類的腦容量。如今， 電腦的不斷進步，每個人都成為沒有心靈活動的電腦之手下敗將，卻讓棋賽失去了昔日 的樂趣與魅力。 間接證法（歸謬證法） 間接證法中的歸謬證法的邏輯演繹就是從