邏輯不只是思考的技術,更是一門思考的藝術。
唯有掌握邏輯,才能讓我們更理性地思考!
抽象思考的能力與嚴密推理的習慣,是處理複雜的事物所不可缺少的。有許多方法可以培養這種能力與習慣,而最簡便的方法就是學習邏輯;因為邏輯是直接以推理的規則為其研究的對象。我們如果學會依據這些規則來推理,則不但會顯著的增加推理的速度與正確性,同時也能夠逐漸的培養抽象思考的能力。因為推理的步驟既然有抽象的規則可以依據,則我們在推理的過程之中就不必考慮前提與結論的內容;而這正是抽象思考的初步訓練。
本書是初等符號邏輯的教科書。所謂「初等」有兩層含意。第一,在內容方面,包括語句邏輯以及含有等同符號、運算符號和個體變元的量限邏輯;而不包括集合論、多值邏輯,以及含有述詞變元的量限邏輯等在內。第二,在方法上,採用自然演繹法,設計一套由前提導出結論的推論規則;而不採用公理法,把邏輯定理構成公理系統。本書適合初學者入門使用。
作者簡介:
林正弘
學歷/
臺灣大學法律系學士
美國柏克萊加州大學哲學博士
經歷/
臺灣大學哲學系教授
臺灣哲學學會會長
國科會人文學研究中心主任
美國普林斯頓大學哲學系傅爾布萊特訪問學人
英國劍橋大學達爾文學院訪問學人
東吳大學哲學系榮譽退休教授
專長/
知識論、邏輯、科學哲學
著作/
《伽利略‧波柏‧科學說明》
《白馬非馬》
《知識‧邏輯‧科學哲學》
《想一想哲學問題》(主編)
目錄
增訂二版序
序
第一章緒論
1-1論證、前提與結論
1-2論證的有效與無效
1-3真假與有效無效
第二章語句連詞
2-1論證形式與語句連詞
2-2否定句
2-3連言
2-4選言
2-5條件句
2-6雙條件句
2-7單句與複句
2-8恆真句、矛盾句與適真句
2-9真值表
2-10單句的取代
第三章語句邏輯的有效論證
3-1語句涵蘊與語句等值
3-2有關語句涵蘊的一些常用規則
3-3有關語句等值的一些常用規則
第四章語句推論
4-1推論的功用
4-2直接證法
4-3條件證法
4-4無效論證的處理
4-5前提之間的一致與不一致
4-6間接證法
4-7沒有前提的論證
第五章述詞與量詞
5-1常元與述詞
5-2變元與量詞
5-3自由變元與拘限變元
5-4日常語言譯成邏輯式的一些實例
第六章量限邏輯的有效論證
6-1語句邏輯的有效論證與量限邏輯的有效論證
6-2解釋的方法
第七章量限推論
7-1全稱特殊化
7-2全稱一般化
7-3語句涵蘊規則
7-4量詞的互換
7-5存在一般化
7-6存在特殊化
7-7一致與不一致
7-8邏輯定理與量詞否定規則
第八章等同關係、確定描述詞與運算符號
8-1等同的性質與規則
8-2等同關係的邏輯定理
8-3確定描述詞與個體常元
8-4確定描述詞的意義及其規則(I)—羅素的方法
8-5確定描述詞的意義及其規則(II)—佛烈格的方法
8-6確定描述詞的邏輯定理
8-7開放確定描述式
8-8運算符號
進修書目
增訂二版序
序
第一章緒論
1-1論證、前提與結論
1-2論證的有效與無效
1-3真假與有效無效
第二章語句連詞
2-1論證形式與語句連詞
2-2否定句
2-3連言
2-4選言
2-5條件句
2-6雙條件句
2-7單句與複句
2-8恆真句、矛盾句與適真句
2-9真值表
2-10單句的取代
第三章語句邏輯的有效論證
3-1語句涵蘊與語句等值
3-2有關語句涵蘊的一些常用規則
3-3有關語句等值的一些常用規則
第四章語句推論
4-1推論的功用
4-2直接證法
4-3條件證法
4-4無效論證的處理
4-5前提之間的一致與不一致
4-6間接證法
4-7沒有前提的論證
第五章述詞與量詞
5-1常元與述詞
5-...