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

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

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

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

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

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

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

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

本書(shū)首次全面介紹了主動(dòng)推理架構(gòu)，涵蓋理論基礎(chǔ)和實(shí)踐應(yīng)用。作為理解行為與大腦的“第一原則”方法，主動(dòng)推理架構(gòu)以最小化自由能為綱。本書(shū)強(qiáng)調(diào)了自由能原理對(duì)理解大腦運(yùn)行方式的重大意義，介紹了主動(dòng)推理架構(gòu)的相關(guān)概念和形式體系，并將其置于當(dāng)前認(rèn)知科學(xué)理論的語(yǔ)境之中，而后以具體實(shí)例展示了如何使用基于主動(dòng)推理的計(jì)算模型來(lái)解釋知覺(jué)、注意、記憶和計(jì)劃等認(rèn)知現(xiàn)象。

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