三民網路書店 中國圖書館分類法 / 哲學、宗教 / 邏輯學（論理學） / 形式邏輯（名學、辯學）

這是一本專為文科(特別是語言學專業)工作者和學生編寫的邏輯學入門導讀讀本，旨在介紹現代形式邏輯的基本內容。這將有助於使讀者進一步深刻瞭解和有效掌握現代形式邏輯的基礎理論：命題邏輯、謂詞邏輯、內涵邏輯以及模態邏輯，使其知曉理想語言哲學派、形式語言學和形式語義學的一些知識，以期能彌補學科分類過細之不足，適應當前我國大力倡導的“大文科(打通文史哲、貫通文理)”教研思路。全書從經典形式邏輯講起，重點介紹亞裡士多德在《工具論》中所論述的演繹邏輯，至於現代形式邏輯則是在反思亞氏經典形式邏輯的基礎上建構而成，以圖彌補其缺陷，將其徹底形式化。本書擇其要旨，循序漸進地介紹：謂詞演算、命題演算、內涵邏輯(包括狹義模態邏輯、克氏模態邏輯、可證性邏輯、認識邏輯、道義邏輯、時態邏輯、語義公設、蒙塔古語義學等內容)，且論述其利弊。

本書共分6章，介紹了因果推斷的基本知識、基於機器學習的因果推斷方法和基於因果推斷的機器學習方法及其在一些重要領域的應用。

本書聚焦“杠精”及“杠文化”，解讀了推動杠精形成的種種機制，如大眾心理、網絡語境及算法機制，輔以具體的案例分析，以助大眾穿越喧嚷的網絡對話，建立對“杠”這一複雜文化現象的認知。

兩種抗病毒藥物中哪種能更好地拯救埃博拉病毒感染者？每天喝一杯葡萄酒會延長還是縮短壽命？中彩票會增加還是減少破產的可能性？如何識別致病基因？有些抗生素有致命的副作用嗎？收入所得稅抵免是否有助於人們進入勞動力市場？《因果推斷入門》這本非技術指南簡要地介紹了關於現代因果推斷的基本思想，如隨機實驗、傾向得分、自然實驗、工具變量、敏感性分析和準實驗裝置，並以醫學、流行病學、經濟學和商業、社會科學以及公共政策中的實例來說明各種觀點。

證明論是邏輯基礎理論的分支，結構證明論是證明論的分支，它研究演算中的分析性證明，本書在介紹古典句子邏輯和直覺主義邏輯的基礎上，給出公理系統、自然演繹和矢列演算等不同類型的邏輯演算，根據結構的定義和結構規則，區分不同類型的矢列演算，並且以切割消除為工具，給出了插值性質、可判定性等問題的證明，本書還介紹了一階邏輯、模態邏輯和代數邏輯的矢列演算。 本書適合邏輯學相關專業的高校師生閱讀，也可供對邏輯學感興趣的讀者閱讀。

為了增加兒童受教育機會以及提高教育質量，世界各國的教育管理者和政府部門實施了大量項目或改革來更好地利用相對稀缺的公共教育資源。但遺憾的是，他們中有些沒有基於因果證據來制定項目，難以保障項目的實施效果。同時，他們往往沒有在項目實施過程中基於嚴謹的因果推斷設計和數據收集來評估其影響，難以為未來的教育項目或改革提供有效的依據。在過去幾十年裡，研究方法、教育數據存儲以及統計軟件飛速發展，極大地提高了研究人員就教育項目因果影響效果開展有效評估的可能性，也使得越來越多設計精良的高水平因果推斷研究在教育領域不斷出現。《量化研究的設計與方法：教育和社會科學研究中的因果推斷》一書以清晰、簡潔的文字為那些致力於評價教育項目或政策效果的科研人員和管理者提供了重要的指導。在本書寫作中，作者超越了對因果推斷設計和方法本身的介紹，引入了豐富的、具有影響力的、基於因果設計評估教育項目效果的研究案例，並圍繞每個研究案例的爭議提供了啟發式的解釋。本書對於在教育和社會科學領域中開展基於因果推斷的研究具有裡程碑意義的貢獻，有助於推動因果推理在社會科學研究中發揮更大的作用。對相關領域的學生和研究人員，以及那些對社會科學感興趣的人員具有非常寶貴的價值。

《論證是一門學問》(第5版)是一本全面、實用、精煉、有趣、直擊要害的論證規則手冊。本書運用大量易於理解、有趣、生活化的例證，歸納了50條論證必須遵循的規則，幾乎涵蓋了各種類型的論證和論證過程中方方面面的問題。本書能夠使辯論、談話和文章更有說服力、有理有據，從而被對手、聽眾和讀者所接受；有助於形成批判性的思維方式和懷疑精神。無論是進行調查研究、閱讀論證類文章，還是贏得聽眾的信任，這本小冊子都將成為論

本書是關於社會科學中因果關係確定方法的最新著作，其敘述風格尤其適合於經濟學學生的學習。因果推斷是當前國際學術界最熱門的研究領域之一，是一種通過事物的原因推導至某個肯定結果的邏輯方式。本書介紹了社會科學家得以確定因果關係的主要數學工具和方法，是作者十多年研究和教學成果的結晶。內容包括：概率理論和統計回顧、回歸的性質、有向無環圖、因果模型的潛在結果、匹配和子分類、不連續回歸、工具變量和麵板數據、差分、綜合控制。對於基本內容，作者在回顧基本的因果推理概念、概率與回歸概念的基礎上，介紹了有向無環圖(Directed Acyclic Graphs，DAG)、潛在結果因果模型(Potential Outcomes Causal Model)、匹配(Matching) 以及斷點回歸(Regression Discontinuity) 等因果推理工具和因果識別策略。其中，DAG 幾乎出現在書籍中的每一章節。這本書不僅涵蓋了很多案例，關注了工具變量法、斷點回歸法等準實驗方法，還包括了經濟學者目前關注的合成控制法。此外，書中提供了案例分析所需的數據、代碼內容。因而，本科生、碩士生和剛入學的博士生如果想了解因果推理和學習諸如合成控制法這類的最新方法，可以參考這本書。

本書對因果推斷相關知識進行了系統、全面的介紹，為便於學習，對大多數知識點都進行了詳細的推導說明。

我們生活在一個瞬息萬變、充滿不確定性的現實環境中，需要根據信息做出判斷、分類與決策，但人們往往無法做到完全意義上的理性，相反，各種認知缺陷、啟發式以及慣性思維決定了我們大多數的判斷和決策。這提出了一個問題，即現實情境中的分類實際上是否能夠在基於科學，本書的回答是肯定的。本書介紹了一些精確、正式的分類模型，並使用啟發式方法，將心理學研究中極為重要的“分類”規則擴展到充滿不確定性的現實世界中。本書探討了快速節儉分類的方法與快速節儉樹的構建，並探討了機器學習在人臉識別、圍棋、DNA檢測、預測糖尿病、預測破產等方面的應用，並從認知心理學的角度對分類行為進行了科學的探討。

本書致力於非形式邏輯研究的論證型式類型化，致力於探索論證的型式、類型及其構成(從微觀上區分、分析、形構、取捨、依賴和平衡不同的具體論辯情境要素；從宏觀上引導、歸類、容納和統攝各異的系統論辯型式序列)；探究單個論證型式以及論證型式之間的劃分標準、評價標準以及實現論證類型的層次化和系統化。主要闡釋了論證型式的基本概念、特點與功能等。主要應用到類型化思維研究法。將類型作為重要的思維形式，遵循類型的邏輯特徵，在類型的基礎上進行判斷、推理、建構理論體系，這樣的思維活動我們稱之為類型化思維。包括關於可廢止論證型式的創新研究；關於證據的論證型式的新定位；對解釋性論證型式的研究，並提出了協商論證型式，課題還進一步提出了工具性實踐推理的論證型式、基於價值的實踐推理之論證型式、基於事態的分類論證型式等八種論證型式。

本書主要關注歸納邏輯在十九世紀中西文化碰撞語境中的本土化過程。全書在梳理中西相關智識資源的基礎上，以歸納邏輯的早期中譯概念“格物致知”“格致新理”“格致新法”“格致新機”“即物察理之辨論”“充類”“引進辨實”“希蔔梯西”“類推之法”等為切入點，結合譯者和讀者所在的新教傳教士、口岸知識分子等群體的特點，分析了這一時期對歸納邏輯及歸納科學方法的多元理解，並對中西認知方式的跨文化交流進行了討論。

本書原是上海市高等教育自學考試形式邏輯學科的專用教材，後也用於普通高校形式邏輯課程的教學。全書按形式邏輯的對象和意義、概念、命題及其推理、歸納推理、類比推理與假說、形式邏輯的基本規律、論證等內容分章，講述簡明精要，易於理解，每章還配有練習題和解題思路，既便于教師授課，更便於學生學習，是形式邏輯的經典教材。本次修訂使個別概念的表述更加精當，修正了個別文字錯誤，並對版式進行了重新設計，使重點更加突出，更便於讀者學習使用。

人的判斷並不總是正確的。本書的具體內容如下：首先，人有兩套思維系統，直覺判斷和理性判斷，但是人的判斷會受到很多因素的影響。其次，人並非天生就可以進行判斷，判斷與人自我意識的出現有很大的關係。此外，判斷與人格和記憶的發展也有很大的關係。*後，本書強調了道德判斷的特殊之處，並講解了影響道德判斷的因素。

本書是一本理論扎實，同時聯繫實際應用的圖書。全書系統地介紹了因果推斷的基本知識、基於機器學習的因果推斷方法和基於因果推斷的機器學習方法及其在一些重要領域的應用。 全書共分6章。第1章從潛結果框架和結構因果模型出發，介紹因果推斷的基本概念和方法。第2章介紹近年統計和機器學習文獻中出現的一些重要的基於機器學習的因果推斷方法。第3章介紹能夠提高機器學習模型的泛化能力的因果表徵學習。第4章介紹因果機器學習如何提高機器學習模型的可解釋性與公平性。第5章介紹因果機器學習在推薦系統和學習排序中的應用。第6章是對全書的一個總結和對未來的展望。本書對結合因果推斷和機器學習的理論與實踐進行了介紹。通過閱讀本書，讀者不僅可以掌握因果機器學習的基礎理論，還可對本書中提到的論文代碼進行鑽研，從而在實踐中加深對因果機器學習的理解。

「普通邏輯」課程目標是向學生傳授較為系統的普通邏輯基礎知識，並指導學生進行邏輯基本訓練，提高他們的邏輯思維能力和語言表達能力，以利於今後的學習和教學工作。本書內容主要講授傳統形式邏輯關於概念、判斷、推理、假說、論證以及邏輯思維基本規律的知識，對概念、判斷、推理、假說、論證在實際運用與表達中的一些邏輯問題，也做了必要的論述。本書力求簡明扼要，講究實用，注意理論聯繫實際。每章後面均有練習題，配合各章內容進行邏輯思維訓練。

《定義的邏輯》主要討論的是詞彙定義的問題以及正確定義的方法。 第一章的內容主要是關於詞及其詞義。在這一章中，主要圍繞關於詞義三個問題進行闡述。 第二章主要講了定義的本質和種類。 第三章的內容分為兩個方面，首先會談一談究竟哪些詞是無法進行定義的，然後會簡要介紹怎樣去檢驗一個定義的有效性，檢驗有效性需要遵循何種規則。 第四章講了詞典中的定義存在的問題，包括詞義的混淆、詞源的濫用、概念不完整、試圖定義不可定義的概念、缺少對同義詞的辨析等等。 第五章所討論的問題關於教科書中的定義。教科書有一些特點是詞典沒有的，在進行定義的時候我們必須把這些特點考慮在內。所以在這一章中主要是對這些特點進行介紹。 六、七兩章講的是關於哲學詞彙定義的一些方法。對於哲學詞彙的定義，使用的也是之前已經陳述過的方法。在這兩章中，會舉例說明一些定義方法的組合是如何進行定義的。 第八章說了哲學問題分離。在哲學中，把看似不相關但又相互關聯的問題區別開來是極其重要的一點。在本章中，會以一些例子來對其進行說明，並且對一些需要分開處理的問題進行詳細的討論。 第九章的主要內容是關於哲學問題的提問方式的。在本章中會對一些錯誤的提問方式進行描述，以提醒人們避免進入這些陷阱。 第十章說的是之前討論的定義方式、原則等在生物學領域的應用。

《溯因推理：從邏輯探究發現與解釋》採取邏輯進路，首先探討了科學哲學、人工智慧和認知科學領域中發現的邏輯以及科學方法論中邏輯的作用。其次將溯因作為一種邏輯推論，運用語義樹結構框架分析產生這種推理的計算過程。再次將科學哲學中的解釋模型怍為一種溯因論證形式，提供了表徵結構的邏輯分析。最後將溯困與信念修正相聯繫，表明了溯因與哲學、人工智慧及實用主義之間的密切聯繫，也表明了溯因作為一種邏輯探究的認識過程，自

普通邏輯學、形式邏輯學、法律邏輯學、經濟邏輯學等課程，讀者對象為高等學校全日制學生、高等教育自學考試學生、成人高等教育學生、國家公務員錄用考試《行政能力測試》的參考人員、高等學校及中小學教師等。本書循亞裡士多德《工具論》之脈絡，采康德《純粹理性批判》和黑格爾《小邏輯》之話語，以概念、判斷、推理為思維的基本形式，研究這些基本形式的內涵、方法、規則、規律以及違反思維規則而導致的邏輯錯誤。本書力求體現基礎性和應用性，基礎性立足於它的學科性，應用性立足於它的價值性，其中對邏輯的應用多結合法學理論和法學實踐的案例。本書恪守學科屬性，追求課程功效：為規範思維作訓練，為學習專業作鋪墊，為應試公考作點撥。 本書贈送任課老師備課材料：①《普通邏輯學》各章練習題參考答案；②三段論中的歐拉圖；③綜合練習及綜合練習參考答案；④《普通邏輯學》6套考試試題原題及參考答案，共計近6萬字。