《形式邏輯袖珍指南》是一本精心設(shè)計(jì)的邏輯學(xué)入門書籍，專為那些沒(méi)有邏輯學(xué)背景的讀者而編寫。它以簡(jiǎn)潔的篇幅和清晰的結(jié)構(gòu)引導(dǎo)初學(xué)者進(jìn)入形式邏輯的世界，是入門課程中理想的選擇。全書采用友好的語(yǔ)氣和易于理解的示例，使邏輯學(xué)這個(gè)常被視為艱深的領(lǐng)域變得平易近人，從而幫助讀者戰(zhàn)勝邏輯學(xué)所帶來(lái)的挑戰(zhàn)和恐懼，吸引并鼓勵(lì)讀者逐步掌握重要的邏輯技能。 《形式邏輯袖珍指南》對(duì)陳述邏輯的核心方法進(jìn)行了集中講解，包括對(duì)論證的翻譯、真值表的使用以及基本的邏輯證明等。作者致力于通過(guò)簡(jiǎn)明扼要的解釋和循序漸進(jìn)的例子，讓讀者迅速掌握邏輯學(xué)的基本工具。為幫助讀者更深入理解，本書還提供了練習(xí)題，不僅支持教學(xué)使用，也為自學(xué)者提供了寶貴的學(xué)習(xí)支持，使邏輯學(xué)的學(xué)習(xí)更加系統(tǒng)和全面。
用清晰的階梯式結(jié)構(gòu)，將形式邏輯分解為可操作的認(rèn)知模塊。
卡爾·拉德魯特?fù)碛屑幽么蟀泊舐允h密爾頓麥克馬斯特大學(xué)的哲學(xué)博士學(xué)位，目前在萊斯布里奇大學(xué)教授哲學(xué)課程。他學(xué)術(shù)興趣廣泛，聚焦19世紀(jì)哲學(xué)和西方哲學(xué)史，尤其對(duì)弗雷德里希·威廉·尼采的哲學(xué)思想有著深入的思考與分析。同時(shí)，他還對(duì)元倫理學(xué)和歐陸哲學(xué)進(jìn)行了研究。其作品包括《柏拉圖談情感、靈魂和人類動(dòng)機(jī)》《反對(duì)真實(shí)的幻象：尼采的主觀現(xiàn)實(shí)元倫理學(xué)》等。
第1部分
轉(zhuǎn)化為陳述邏輯
第1章 符號(hào)化 003
1.1 陳述、論證和演繹 004
1.2 簡(jiǎn)單陳述、復(fù)合陳述和真值 006
1.3 符號(hào)化論證 009
1.4 練習(xí) 013
第2章 真值表 015
2.1 如何看懂真值表 016
2.2 構(gòu)建真值表的基本規(guī)則 019
2.3 真值表示例 021
2.4 練習(xí) 032
第3章 邏輯運(yùn)算符 033
3.1 否定 034
3.2 合取 036
3.3 析取 038
3.4 蘊(yùn)含 040
3.5 雙條件 042
3.6 回顧真值表示例 044
3.7 練習(xí) 048
第4章 括號(hào)與合式公式 050
4.1 括號(hào)與合式公式 050
4.2 排他性析取 059
4.3 練習(xí) 062
第2部分
用真值表檢驗(yàn)有效性
第5章 長(zhǎng)真值表法 067
5.1 有效性與可靠性 068
5.2 檢驗(yàn)有效性的長(zhǎng)真值表法 071
5.3 練習(xí) 077
第6章 短真值表法 079
6.1 使用短真值表法的步驟 079
6.2 短真值表法示例 083
6.3 練習(xí) 091
第3部分
用證明論證有效性
第7章 有效和無(wú)效的論證形式 095
7.1 肯定前件式 095
7.2 否定后件式 097
7.3 假言三段論（鏈?zhǔn)秸撟C） 098
7.4 析取三段論 100
7.5 無(wú)效論證形式：肯定后件謬誤 102
7.6 無(wú)效論證形式：否定前件謬誤 103
7.7 練習(xí) 104
第8章 證 明 106
8.1 證明的方法 106
8.2 如何閱讀和書寫證明 107
8.3 推理規(guī)則 108
8.4 應(yīng)用推理規(guī)則 114
8.5 推進(jìn)證明的策略 117
8.6 練習(xí) 125
第9章 進(jìn)階證明技巧：條件證明與間接證明 133
9.1 條件證明 134
9.2 間接證明（歸謬法） 138
9.3 多重子證明 142
9.4 練習(xí) 146
第10章 邏輯等價(jià)式與復(fù)雜證明 148
10.1 邏輯等價(jià)式 148
10.2 應(yīng)用邏輯等價(jià)式 150
10.3 練習(xí) 153
書單推薦
