本書使用文獻研究法討論了一個數理邏輯問題：弗協(xié)調集合論是否優(yōu)于經典集合論。書稿從張清宇先生的弗協(xié)調命題邏輯出發(fā)構造一階謂詞系統(tǒng)和集合論系統(tǒng)，并構造模型證明其非平凡性，結果證明現有的弗協(xié)調集合論不優(yōu)于經典集合論。本書同時還用模型證明了弗協(xié)調集合論的非平凡性，在一定意義上拓展了其應用領域，實現了洛韋和塔拉法德的猜想，將廣義代數值模型推廣到弗協(xié)調集合論，書稿也對集合論模型的構造技術作了一次較為充分的梳理，為其它集合論模型的研究提供參考。

邏輯學是聯合國教科文組織宣布的包括數學、物理學、化學等在內的七大基礎性學科之一。人工智能是國家近期和未來重要的科技發(fā)展戰(zhàn)略，而邏輯學、哲學均是人工智能重要的基礎學科，為了推動并展示相關交叉學科的創(chuàng)新性研究成果，中國邏輯學會特創(chuàng)辦該集刊《邏輯、智能與哲學》。集刊的主要研究論域包括邏輯、智能與哲學的交叉融合等，其基本研究方法是突出基礎性、前沿性、應用性和跨學科性等，受眾對象主要是邏輯學、智能科學和哲學研究者和愛好者。本輯為第四輯，主題是“邏輯與知識：可能性與可靠性”，主要欄目有：邏輯經典問題、邏輯與

本書通過對范疇直觀與代現的被給予性疑難和同時性困境的探討，以時間流形（一維流形構造二維連續(xù)統(tǒng)）為基礎，提出了以意向流形理解超越論現象學的原創(chuàng)性方案�；�于此框架，本書不僅對胡塞爾從描述心理學突人超越論現象學的緣由和過程、超越論現象學的諸基本問題以及現象學的邊界問題進行了深入的探討，而且對超越論現象學如何從根本上塑形法國現象學進行了探源性的研究。

邏輯為正思之學，即給所有思想立種種法式，相互推校、參照，“以期所得信為最正確者而歸依”。他認為，“邏輯之名，起于歐洲，而邏輯之理，存乎天壤”，先秦名學與歐洲邏輯“信如車之兩輪，相輔而行”。該書以歐洲邏輯體系為“經”，以中國古代名辯理論和實例為“緯”編寫而成。書后附有作者早年所寫的6篇論文，其中《名墨訾應論》和《名學他辯》等篇對先秦名辯之學(見先秦邏輯思想)提出了一些重要看法。作者否定了西晉魯勝以來所謂“墨子著書，作辯經以立名本�；菔�、公孫龍祖述其學，以正形名顯于世”的傳統(tǒng)說法，認為惠施、公孫龍既

"王路教授是我國著名的邏輯學家、哲學家，也是亞里士多德和弗雷格研究專家。他提出邏輯就是“必然地得出”，相關認識推進了國內現代邏輯觀念的傳播，影響了幾代人；他提出應該在系詞的意義上理解being，并且把這樣的理解貫徹始終，他的觀點顛覆了傳統(tǒng)認識，被稱為一“是”到底論，引起國內西方哲學界持久的熱烈討論；他提出句子圖式，為哲學討論提供了一種理論工具，展示了一種解釋和討論哲學問題的方式；他提出“哲學是關于認識本身的認識”以及“加字哲學”等一系列新的認識，引起學界的熱烈反響和討論，在國內學界產生重大影響。

本書從生動有趣的情景片段入手，深入淺出地詮釋邏輯學原理，讓讀者輕松了解邏輯學常識、辨別語言陷阱、破斥邏輯謬誤，提高邏輯思考能力。說不出邏輯學是什么，并不意味著邏輯學距離生活很遠，事實恰恰相反，邏輯學在生活中幾乎無處不在，只是鮮少被注意、被提及而已。生活不是童話世界，現實問題極其復雜，想要把握事物的本質，僅憑直覺思維是不夠的，還需要進行有意識的邏輯思考。對普通大眾來說，系統(tǒng)了解邏輯學的機會并不多，故而在提到邏輯學中時一臉茫然，腦海里沒有任何概念。

本書首先探討了邏輯的觀念，并通過回顧中西方推理研究的重要問題和內容，提出了研究所秉持的邏輯觀念和方法，即以邏輯與文化關系為紐帶，深刻認識并高度認同關于邏輯具有共通性和特殊性的思想，堅持文化邏輯觀，精準運用“歷史分析與文化詮釋”的方法。其次，提出并初步構建了比較邏輯學的理論框架，創(chuàng)新性地提出比較邏輯學描述、評價、匯通“三層次”理論設想，并按照這一設想展開中西方必然推理比較研究。最后，提出開展中國古代科學邏輯思想研究的新命題，拓寬了中國邏輯史研究領域；提出中國邏輯必然推理是一種有別于西方數學公理化演

簡單風趣的大師邏輯課來了！本書邀請波普爾、休謨、孔德、古爾德、羅素、培根、亞里士多德等16位邏輯學大師走進課堂，在與學生的暢談中，討論與現代社會生活密切相關的16個邏輯學話題——現實的思考、概念、概括、過度概括、隱含意義、謬誤、錯誤類比、片面性思考錯誤、集體思維、推理關系與模態(tài)邏輯、回避問題、同一律和矛盾律、排中律和充足理由律、統(tǒng)一場理論、人際溝通中的邏輯語原則、詐騙等。全書精心繪制輕松幽默的漫畫與圖示，在趣味閱讀中讀懂社會運行的邏輯學原理，在邏輯學的世界中暢游，在理性思考中讓人生更智慧。

本書首次全面介紹了主動推理架構，涵蓋理論基礎和實踐應用。作為理解行為與大腦的“第一原則”方法，主動推理架構以最小化自由能為綱。本書強調了自由能原理對理解大腦運行方式的重大意義，介紹了主動推理架構的相關概念和形式體系，并將其置于當前認知科學理論的語境之中，而后以具體實例展示了如何使用基于主動推理的計算模型來解釋知覺、注意、記憶和計劃等認知現象。

模態(tài)邏輯是現代邏輯研究的重要領域，多模態(tài)邏輯則是模態(tài)邏輯研究的前沿領域。多模態(tài)邏輯是包含兩種或兩種以上模態(tài)算子的模態(tài)邏輯系統(tǒng)，且算子之間不可規(guī)約，它是模態(tài)邏輯的重要組成部分。本書以模態(tài)交互作用公理為視角，構建了多模態(tài)邏輯一般系統(tǒng)，為形式化研究各種類型的模態(tài)提供了一般的邏輯框架；證明了多模態(tài)邏輯一般系統(tǒng)的完全性、對應性、可判定性等元邏輯問題的一般性結論；揭示了多模態(tài)邏輯的哲學背景及其解題功能，論述了多模態(tài)邏輯在哲學中的應用價值。