邏輯筆記.docVIP

頁碼----------------------------------------------------0.1 一.邏輯的歷史--------------------------------------------2 二.邏輯名稱----------------------------------------------3 三.邏輯與學科之比較--------------------------------------3 四.思想定律﹙邏輯定律﹚----------------------------------4 五.邏輯的範圍--------------------------------------------5 六.學邏輯的目的------------------------------------------5 七.邏輯要點----------------------------------------------5 八.邏輯語言之語法與語意----------------------------------6 九.歸納論證與演繹論證比較--------------------------------7 十.命題.語句---------------------------------------------7 十一.符號------------------------------------------------7 十二.充分條件.必要條件.充要條件--------------------------8 十三.有效.無效邏輯形式-----------------------------------9 十四.真值表----------------------------------------------9 十五.套套言.適真言.矛盾言-------------------------------10 十六.一致-----------------------------------------------10 十七.邏輯涵蘊-------------------------------------------10 十八.語句邏輯推演規則-----------------------------------10 十九.直接推論法-----------------------------------------14 二十.符號表達方式---------------------------------------18 二十一. 邏輯運算子與語句連接詞--------------------------19 二十二.邏輯等值-----------------------------------------20 二十三.邏輯涵蘊-----------------------------------------20 二十四.謬誤---------------------------------------------21 二十五.范恩圖解-----------------------------------------22 二十六.四角對檔-----------------------------------------24 邏輯主要講求推論、推理，尤其是研究什麼構成一個正確的推理，包括演繹推理和歸納推理的不同，且各地的人都使用邏輯—邏輯概念、邏輯方法、邏輯原理，所以邏輯是很有實用價值的學問。 邏輯的歷史: 邏輯有很長的歷史，兩千三百多年前的古希臘大哲學家亞里士多德被尊稱為「邏輯之父」是第一個給論證分析和評定，設計有系統的判準，亞里士多德邏輯叫做「三段論邏輯」。亞里士多德之後的一百多年，斯多哥學派的哲學家克里西帕把命題處理做真或假，發展從複合命題成分的真假，決定複合命題的真假的規則，他給邏輯連詞的真函解釋奠定基礎，並引進「自然演繹」的觀念。 歐洲中世紀第一個主要邏輯家是法國哲學家阿培拉德，他區分由於形式而為有效和由於內容而為有效的論證，且堅持只有形式的有效性，是完美的或決定性的。之後的牛津哲學家奧康花了很多時間注意然態邏輯，也對有效和無效三段論形式的研究，對後視語言概念的發展做了貢獻。兩百年後的德國哲學家和數學家萊布尼茲試圖發展符號語言或演算，但未盡其功，但他有時被尊稱為符號邏輯之父。十八世紀末最偉大的德國哲學家康德聲稱邏輯是一門以完備的學科，其要義已充分被瞭解，其中沒有什麼新的原理留待發現，但後來證明康德是錯的。接下來符號邏輯是由許多哲學家、數學家去做，包括狄摩根、布爾、傑芳斯、范恩。英國哲學家穆勒倡導歸納邏輯。十九世紀末，德國數學家、邏輯家、語言哲學家弗列格創建量號邏輯理論，常被稱為現代邏輯之父。