邏輯學(xué)是西方文明重要的支柱，它將哲學(xué)、科學(xué)和法律體系結(jié)合在一起。然而，盡管邏輯學(xué)的重要性得到了廣泛的認(rèn)可，但由于大量使用專業(yè)術(shù)語和數(shù)學(xué)符號，它仍然是許多人難以進(jìn)入的領(lǐng)域。《邏輯學(xué)/圖畫通識叢書》以邏輯學(xué)的發(fā)展歷史為線索，以一種易于理解和友好的方式解釋其中所涉及的符號和方法，并探討圍繞相關(guān)主題的哲學(xué)問題。它將帶您了解邏輯學(xué)對科學(xué)方法，以及對從物理學(xué)到心理學(xué)的各種科學(xué)的影響，并將向您展示為什么計算機和數(shù)字技術(shù)只是邏輯學(xué)的一個實踐案例。
丹·克萊恩，倫敦大學(xué)學(xué)院哲學(xué)學(xué)位，作為市場分析師在倫敦工作。“圖畫通識”叢書《資本主義》的作者。
沙龍·沙提勒，在以色列開放大學(xué)任哲學(xué)講師�！皥D畫通識”叢書《資本主義》的作者。
比爾·梅布林，在倫敦皇家藝術(shù)學(xué)院接受平面設(shè)計培訓(xùn)，他也是“圖畫通識”叢書《邏輯學(xué)》《德里達(dá)》與《經(jīng)驗主義》的插圖作者。
什么是邏輯？
研究句子
對當(dāng)方陣
三段論
聯(lián)結(jié)詞邏輯
萊布尼茨律
歸謬法
一種“新工具”
弗雷格的量詞
語境原則
命題演算
康托爾的集合論
聯(lián)結(jié)詞的效用
羅素悖論
致命的錯誤
表面語法的問題
羅素的系統(tǒng)
維特根斯坦的邏輯圖像
卡爾納普和維也納小組
寬容原則
希爾伯特的證明論
哥德爾的到來
哥德爾的不完備性定理
與證明論的聯(lián)系
維特根斯坦的邏輯聯(lián)結(jié)詞表
維特根斯坦的真值表
發(fā)現(xiàn)重言式
數(shù)字電子的邏輯門
售貨機
圖靈和“恩尼格瑪密碼”
歐幾里得的公理方法
萊布尼茨的證明方法
矛盾的濫用
聯(lián)結(jié)詞的規(guī)則
對語法的敏感
謂詞演算
模型理論語義學(xué)
希爾伯特的遞歸模型
無限產(chǎn)出的有限規(guī)則
簡單的操作指南
證明論和形式語言
塔斯基的真值條件
實踐中的形式語義
拍一部肥皂劇
人工智能肥皂劇的邏輯
編程語言
圖靈的AI菜譜
悖論難題
悖論能夠被回避嗎？
類型理論
塔斯基的撒謊者悖論解決方案
糾纏不休的悖論
哥德爾的不完備性定理
哥德爾定理的影響
停機問題
哥德爾證明的局限
芝諾運動悖論
無窮總和
極限的收斂
一“堆”有多少？
對集合的挑戰(zhàn)
消解邏輯
模糊詞語的虛構(gòu)性
詞語“意味”著什么？
模糊邏輯
模糊的堆
邏輯能夠避免悖論嗎？
非經(jīng)典邏輯：直覺主義
惡魔論證
直覺主義邏輯
直覺主義vs歸謬法
直覺主義的流行
思考一些古老的問題
可能的值
作為數(shù)字的真值
可能與矛盾律
從經(jīng)典邏輯到模糊邏輯
電子“可能”狀態(tài)
模糊邏輯搜索引擎
模糊邏輯機器
書單推薦
