《邏輯學(xué)入門》通過大量現(xiàn)實例證對一眾邏輯概念做出了通俗易懂的解釋，循序漸進地指導(dǎo)讀者運用邏輯工具和邏輯規(guī)則獨立完成一則棘手的邏輯證明，并帶領(lǐng)讀者沿著哲學(xué)數(shù)學(xué)的脈絡(luò)一覽邏輯學(xué)從三段論、語句邏輯、謂詞邏輯到多值邏輯、量子邏輯的兩千余年發(fā)展歷程。任何有志于用邏輯學(xué)武裝頭腦的讀者，都會在讀完本書后輕松掌握邏輯證明的技能，學(xué)會嚴(yán)謹(jǐn)、清晰、周全地推理和思考，并在日常生活中愈發(fā)自信地應(yīng)用自己的邏輯能力。
◎從亞里士多德到哥德爾定理，一本書帶你通覽兩千多年邏輯學(xué)發(fā)展史！
◎真值表、真值樹、蘊涵、等價……一本書教會你語句邏輯和量詞邏輯證明的核心概念和方法！
◎以邏輯視角重新審視日常生活，避免落入常見的邏輯陷阱。
◎內(nèi)含著名漫畫家里奇·坦南特所繪插畫《第五波》。
◎可作為邏輯學(xué)課程的輔助讀物。
馬克·澤拉雷利（Mark Zegarelli），擁有羅格斯大學(xué)數(shù)學(xué)和英語學(xué)士學(xué)位，是一位富于教育熱情、充滿創(chuàng)造力的教育工作者和作者。多年來，馬克作為一名數(shù)學(xué)導(dǎo)師，幫助了許多學(xué)生取得學(xué)業(yè)進步、收獲良好的考試成績，并在主職之外積極參與各類志愿教學(xué)活動。教學(xué)工作之余，馬克出版了十部數(shù)學(xué)、邏輯學(xué)主題的圖書，以及七部兒童邏輯趣題繪本。此外，馬克還創(chuàng)建了一個在線學(xué)習(xí)網(wǎng)站，制作了大量數(shù)學(xué)、英語領(lǐng)域的在線課程資料。
第一部分邏輯概論
第1章何為邏輯？
第2章邏輯學(xué)的發(fā)展：從亞里士多德到電腦
第3章為了論證
第二部分形式語句邏輯（SL）
第4章形式問題
第5章命題求值
第6章運用表格：利用真值表對命題求值
第7章走捷徑：創(chuàng)建快速表
第8章真理長在樹上
第三部分語句邏輯中的證明、句法和語義
第9章你究竟要證明什么？
第10章機會平等：運用等價規(guī)則
第11章運用條件證明和間接證明大膽假設(shè)
第12章綜合運用：巧妙解決各類證明
第13章我為人人，人人為我
第14章句法方面的技巧和語義方面的考量
第四部分量詞邏輯（QL）
第15章用質(zhì)量體現(xiàn)數(shù)量：量詞邏輯入門
第16章量詞邏輯翻譯
第17章運用量詞邏輯進行證明
第18章良好的關(guān)系和積極的同一性
第19章培育大量樹
第五部分邏輯學(xué)的現(xiàn)代發(fā)展
第20章計算機邏輯
第21章大膽的命題：非古典邏輯
第22章悖論和公理系統(tǒng)
第六部分 來自作者的十大榜單
第23章十大邏輯學(xué)名言
第24章十大邏輯學(xué)家
第25章邏輯學(xué)考試通關(guān)的十個提示
書單推薦
