命题逻辑-个人网页空间.doc

命題邏輯(PROPOSITIONAL LOGIC) 參考書籍 ? 吳定遠，「符號邏輯入門」，水牛出版社。本書介紹符號邏輯的基本觀念。 ? 曾佳琦譯，「維根斯坦的撥火棒」，原作者：David Edmonds John Eidinow，時報出版。本書介紹了現代符號邏輯的起源，以及其思想之辯論。 ? 郭寶蓮譯(2014)，?思考的盲點：為何真相就在眼前，我們卻視而不見？?，原文作者：Gordon Rugg,Joseph D’Agnese(戈登．魯格, 約瑟夫．德艾格納斯) Blind Spot: Why We Fail to See the Solution Right in Front of Us，商周出版 ? 殷海光(1973)，「邏輯究竟是什麼?」，大林出版社。本書可看出台灣初期引進符號邏輯的原貌，是台灣符號邏輯史的一份重要文本。 簡說 ? 以亞里斯多德為始祖，為「哲學」的探討範圍。如同物理、化學、生物…等學問，早期均被籠統的涵蓋於哲學的範疇內。後來，這些學問紛紛「科學化」，自立門戶。邏輯到了十九世紀末，引入數學符號系統，才成為一門科學。今日則成為人工智慧的理論基礎。 ? 與康德和黑格爾所謂的「邏輯」，同名異義。(符號科學與傳統哲學之混淆糾纏不清)。康、黑等人，借用亞氏邏輯名詞，以建構其形上學、認識論。實與亞氏之邏輯學無關。(他們自可借用此等名詞以創學說，但吾人必須清楚分辨二者不同)。 ? 吾人所謂之邏輯，承自亞氏邏輯，非形而上學、非玄學，而是如同數學一般，任何人均可以循序建構，而共同一致承認的。 ? 四百年前明朝期間傳入中國。近百年前，清庚子年間，嚴復譯介。1970年間，殷海光在台大哲學系力倡邏輯學。 ? 何謂「科學」?科學與藝術、宗教有何差別? ? 科學、藝術、宗教：均是信念系統。 ? 科學：可以檢證(否證)、追溯思考歷程、具內在一致性的信念系統。 ? 「實證(positivism)」是傳統機械論、絕對論下的產物。已在20世紀初期被揚棄。牛頓力學(萬有引力)和光學(直線進行)被實證了無數次，但終非真理，還是被相對論(重力場)取代了。 ? 哲學：本體論、方法論、認識論(知識論)、價值論。 ? 本體論：研究的對象(如：人生、物質、都市、社會…)是什麼?如：人生如夢、人死如燈滅、靈魂不滅、原子是物質不可再分割的最小單元、都市是文明的搖籃、都市是社會結構的外在展現、建築由牆、樓板、門窗所構成、建築由各種使用空間所構成… ? 方法論：探討研究對象的方法有那些?質性(定性)分析方法、定量分析方法(數學模型、統計分析) ? 認識論(亦譯為「知識論」)：研究者認識外在世界的過程、可能性。知識是如何形成、被建構起來的?研究者如何接受信念?外在的世界是客觀絕對存在?或是不可知的外在世界?自我幻象的建構?詮釋學。 ? 價值論：應有的道德價值。如：永續發展、綠色建築、生態都市、非核家園、經濟第一。 ? 科學哲學：研究科學(方法)是什麼的學問。 ? 今日之邏輯乃是「有效演繹推論(validly deductive inference)之科學」。「推論」為其重點，而非「結論」。(錯誤的前提，經正確的推論，可能得到正確或錯誤的結論) ? 歷來對「邏輯研究」之重點不同，甚至對何謂邏輯之理解亦不同。[孔恩，科學哲學的歷史學派，典範(paradigm)的不可共量性。] ? 「推論」(inference)與「推理」(reasoning)不同。物理、化學、土木、建築、都市研究…各有其推理系統。推論乃是各種學科推理之共同依循準則。 ? 可轉換成「語法推導」，但與「語意」無關。 ? 傳統邏輯僅談演繹推論(本節亦是如此)。尚有歸納法、設證法、非單增邏輯等非傳統邏輯逐漸興起，另節討論之。 名詞定義 ? declarative sentence(宣告式語句)：任何可判定為「真」(true, T)或「假」(false, F)之敘述語句。 Declarative sentence: a sentence that is either TRUE or FALSE. ? 例句 examples： ? 太陽從西方升起。 The sun rises from the west. ? 每一個人都有生身父母。 Everyone has bio-parents. ? 非宣告式語句examples of non-declarative sentences: ? 你明天有空嗎? (非敘述句) Are you available tomorrow? ? 救命啊! (非敘述句) Help! ? 我說的話都是假話。 (無法判定真假) Every sentence is false. ? 「真」、「假」是二個相對立的概念(符號)，出自於實證論者的說法，萬事非真即假。但從科學哲學之「否證論」觀點來