本書使用文獻(xiàn)研究法討論了一個(gè)數(shù)理邏輯問題：弗協(xié)調(diào)集合論是否優(yōu)于經(jīng)典集合論。書稿從張清宇先生的弗協(xié)調(diào)命題邏輯出發(fā)構(gòu)造一階謂詞系統(tǒng)和集合論系統(tǒng)，并構(gòu)造模型證明其非平凡性，結(jié)果證明現(xiàn)有的弗協(xié)調(diào)集合論不優(yōu)于經(jīng)典集合論。本書同時(shí)還用模型證明了弗協(xié)調(diào)集合論的非平凡性，在一定意義上拓展了其應(yīng)用領(lǐng)域，實(shí)現(xiàn)了洛韋和塔拉法德的猜想，將廣義代數(shù)值模型推廣到弗協(xié)調(diào)集合論，書稿也對集合論模型的構(gòu)造技術(shù)作了一次較為充分的梳理，為其它集合論模型的研究提供參考。
本書首先探討了邏輯的觀念，并通過回顧中西方推理研究的重要問題和內(nèi)容，提出了研究所秉持的邏輯觀念和方法，即以邏輯與文化關(guān)系為紐帶，深刻認(rèn)識并高度認(rèn)同關(guān)于邏輯具有共通性和特殊性的思想，堅(jiān)持文化邏輯觀，精準(zhǔn)運(yùn)用“歷史分析與文化詮釋”的方法。其次，提出并初步構(gòu)建了比較邏輯學(xué)的理論框架，創(chuàng)新性地提出比較邏輯學(xué)描述、評價(jià)、匯通“三層次”理論設(shè)想，并按照這一設(shè)想展開中西方必然推理比較研究。最后，提出開展中國古代科學(xué)邏輯思想研究的新命題，拓寬了中國邏輯史研究領(lǐng)域；提出中國邏輯必然推理是一種有別于西方數(shù)
"王路教授是我國著名的邏輯學(xué)家、哲學(xué)家，也是亞里士多德和弗雷格研究專家。他提出邏輯就是“必然地得出”，相關(guān)認(rèn)識推進(jìn)了國內(nèi)現(xiàn)代邏輯觀念的傳播，影響了幾代人；他提出應(yīng)該在系詞的意義上理解being，并且把這樣的理解貫徹始終，他的觀點(diǎn)顛覆了傳統(tǒng)認(rèn)識，被稱為一“是”到底論，引起國內(nèi)西方哲學(xué)界持久的熱烈討論；他提出句子圖式，為哲學(xué)討論提供了一種理論工具，展示了一種解釋和討論哲學(xué)問題的方式；他提出“哲學(xué)是關(guān)于認(rèn)識本身的認(rèn)識”以及“加字哲學(xué)”等一系列新的認(rèn)識，引起學(xué)界的熱烈反響和討論，在國內(nèi)學(xué)界產(chǎn)生重
簡單風(fēng)趣的大師邏輯課來了！本書邀請波普爾、休謨、孔德、古爾德、羅素、培根、亞里士多德等16位邏輯學(xué)大師走進(jìn)課堂，在與學(xué)生的暢談中，討論與現(xiàn)代社會生活密切相關(guān)的16個(gè)邏輯學(xué)話題——現(xiàn)實(shí)的思考、概念、概括、過度概括、隱含意義、謬誤、錯(cuò)誤類比、片面性思考錯(cuò)誤、集體思維、推理關(guān)系與模態(tài)邏輯、回避問題、同一律和矛盾律、排中律和充足理由律、統(tǒng)一場理論、人際溝通中的邏輯語原則、詐騙等。全書精心繪制輕松幽默的漫畫與圖示，在趣味閱讀中讀懂社會運(yùn)行的邏輯學(xué)原理，在邏輯學(xué)的世界中暢游，在理性思考中讓人生更智慧。
本書首次全面介紹了主動推理架構(gòu)，涵蓋理論基礎(chǔ)和實(shí)踐應(yīng)用。作為理解行為與大腦的“第一原則”方法，主動推理架構(gòu)以最小化自由能為綱。本書強(qiáng)調(diào)了自由能原理對理解大腦運(yùn)行方式的重大意義，介紹了主動推理架構(gòu)的相關(guān)概念和形式體系，并將其置于當(dāng)前認(rèn)知科學(xué)理論的語境之中，而后以具體實(shí)例展示了如何使用基于主動推理的計(jì)算模型來解釋知覺、注意、記憶和計(jì)劃等認(rèn)知現(xiàn)象。
本書主要圍繞圖像的現(xiàn)象性問題，依據(jù)可見者與不可見者的關(guān)系視角，對法國新現(xiàn)象學(xué)的兩位核心人物亨利和馬里翁的圖像理論進(jìn)行深度闡釋和反思，并一般性地考察圖像的可能性模式。著作包含五個(gè)部分：第一部分（導(dǎo)論）主要一般性地討論亨利、馬里翁與圖像現(xiàn)象學(xué)的問題；第二部分（第1-2章）主要討論圖像化時(shí)代的可見性邏輯及其對自我、他者和世界的消極效應(yīng)。這種邏輯恰恰是亨利和馬里翁激烈批判并試圖超越的圖像邏輯。第三部分（第3-4章）主要討論和反思亨利的圖像模式，這種模式實(shí)現(xiàn)了圖像從作為可見者的世界轉(zhuǎn)向作為不可見者的生命。
模態(tài)邏輯是現(xiàn)代邏輯研究的重要領(lǐng)域，多模態(tài)邏輯則是模態(tài)邏輯研究的前沿領(lǐng)域。多模態(tài)邏輯是包含兩種或兩種以上模態(tài)算子的模態(tài)邏輯系統(tǒng)，且算子之間不可規(guī)約，它是模態(tài)邏輯的重要組成部分。本書以模態(tài)交互作用公理為視角，構(gòu)建了多模態(tài)邏輯一般系統(tǒng)，為形式化研究各種類型的模態(tài)提供了一般的邏輯框架；證明了多模態(tài)邏輯一般系統(tǒng)的完全性、對應(yīng)性、可判定性等元邏輯問題的一般性結(jié)論；揭示了多模態(tài)邏輯的哲學(xué)背景及其解題功能，論述了多模態(tài)邏輯在哲學(xué)中的應(yīng)用價(jià)值。
認(rèn)知現(xiàn)象學(xué)以認(rèn)知經(jīng)驗(yàn)為研究對象，是當(dāng)代西方心靈哲學(xué)的熱點(diǎn)問題。本書為認(rèn)知哲學(xué)文庫叢書中的一本，圍繞著認(rèn)知現(xiàn)象學(xué)的背景、內(nèi)涵、核心問題、不可還原論證、可能路徑，以及認(rèn)知現(xiàn)象學(xué)帶來的啟示及其拓展等論題展開。從宏觀和微觀兩個(gè)方面追溯了認(rèn)知現(xiàn)象學(xué)的生成脈絡(luò)，并以此為理論基礎(chǔ)，對認(rèn)知現(xiàn)象學(xué)的基本內(nèi)涵和核心問題進(jìn)行闡釋和分析，強(qiáng)調(diào)了其對于擴(kuò)展現(xiàn)象意識研究邊界的重要性。同時(shí)批判地分析了認(rèn)知現(xiàn)象學(xué)的不可還原論證，并試圖從三個(gè)層面來嘗試建構(gòu)不可還原論的認(rèn)知現(xiàn)象學(xué)的可能路徑；對認(rèn)知現(xiàn)象學(xué)展開了延展性探索，
提升科學(xué)推理能力的主要途徑在于改進(jìn)思維方法，作為“科學(xué)邏輯”叢書之一，本書從科學(xué)推理的實(shí)用角度來編寫，不僅詳細(xì)介紹了科學(xué)思維的邏輯原理，而且結(jié)合豐富的科學(xué)案例來闡明如何發(fā)現(xiàn)問題、分析問題和解決問題，以此論述科學(xué)的推理方法，從而啟發(fā)科學(xué)思維并提升讀者的科學(xué)推理技能。科學(xué)推理的邏輯重點(diǎn)是歸納邏輯。本書共分為九章，內(nèi)容包括科學(xué)概論、歸納推理、類比推理、統(tǒng)計(jì)推理、因果分析、因果推理、因果探究、實(shí)踐推理、科學(xué)假說，附錄附有科學(xué)推理測試，具有科學(xué)性、系統(tǒng)性、實(shí)用性的特點(diǎn)。本書適合作為高等院校
本書圍繞“邏輯全能”與“邏輯無能”之間必要的張力的把握，對當(dāng)前認(rèn)知邏輯研究中的根本問題、問題的癥結(jié)與合理研究指向做出了系統(tǒng)性與深刻性的分析。作者基于上述“問題癥結(jié)”的認(rèn)識，認(rèn)為邏輯全能問題是認(rèn)知封閉原則在形式系統(tǒng)中的體現(xiàn)，對邏輯全能問題的回答可以視為對認(rèn)知封閉原則的解答。本書的基調(diào)是拒斥邏輯全能問題，實(shí)則是不接受認(rèn)知封閉原則。在這個(gè)基調(diào)之下，本書從兩個(gè)層面來分析邏輯全能問題：(1)、技術(shù)層面。在避免邏輯全能問題的諸多方案中，絕大多數(shù)的學(xué)者都是在考慮如何不邏輯全能的問題，但有一個(gè)問題常常被忽視，即
新書資訊 新書推薦