本書使用文獻(xiàn)研究法討論了一個數(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ù)作了一次較為充分的梳理,為其它集合論模型的研究提供參考。
邏輯學(xué)是聯(lián)合國教科文組織宣布的包括數(shù)學(xué)、物理學(xué)、化學(xué)等在內(nèi)的七大基礎(chǔ)性學(xué)科之一。人工智能是國家近期和未來重要的科技發(fā)展戰(zhàn)略,而邏輯學(xué)、哲學(xué)均是人工智能重要的基礎(chǔ)學(xué)科,為了推動并展示相關(guān)交叉學(xué)科的創(chuàng)新性研究成果,中國邏輯學(xué)會特創(chuàng)辦該集刊《邏輯、智能與哲學(xué)》。集刊的主要研究論域包括邏輯、智能與哲學(xué)的交叉融合等,其基本研究方法是突出基礎(chǔ)性、前沿性、應(yīng)用性和跨學(xué)科性等,受眾對象主要是邏輯學(xué)、智能科學(xué)和哲學(xué)研究者和愛好者。本輯為第四輯,主題是“邏輯與知識:可能性與可靠性”,主要欄目有:邏輯經(jīng)典問題、邏輯與
"王路教授是我國著名的邏輯學(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)生重大影響。
本書從生動有趣的情景片段入手,深入淺出地詮釋邏輯學(xué)原理,讓讀者輕松了解邏輯學(xué)常識、辨別語言陷阱、破斥邏輯謬誤,提高邏輯思考能力。說不出邏輯學(xué)是什么,并不意味著邏輯學(xué)距離生活很遠(yuǎn),事實(shí)恰恰相反,邏輯學(xué)在生活中幾乎無處不在,只是鮮少被注意、被提及而已。生活不是童話世界,現(xiàn)實(shí)問題極其復(fù)雜,想要把握事物的本質(zhì),僅憑直覺思維是不夠的,還需要進(jìn)行有意識的邏輯思考。對普通大眾來說,系統(tǒng)了解邏輯學(xué)的機(jī)會并不多,故而在提到邏輯學(xué)中時(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é)公理化演
簡單風(fēng)趣的大師邏輯課來了!本書邀請波普爾、休謨、孔德、古爾德、羅素、培根、亞里士多德等16位邏輯學(xué)大師走進(jìn)課堂,在與學(xué)生的暢談中,討論與現(xiàn)代社會生活密切相關(guān)的16個邏輯學(xué)話題——現(xiàn)實(shí)的思考、概念、概括、過度概括、隱含意義、謬誤、錯誤類比、片面性思考錯誤、集體思維、推理關(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)象。
模態(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à)值。
本書主要圍繞圖像的現(xiàn)象性問題,依據(jù)可見者與不可見者的關(guān)系視角,對法國新現(xiàn)象學(xué)的兩位核心人物亨利和馬里翁的圖像理論進(jìn)行深度闡釋和反思,并一般性地考察圖像的可能性模式。著作包含五個部分:第一部分(導(dǎo)論)主要一般性地討論亨利、馬里翁與圖像現(xiàn)象學(xué)的問題;第二部分(第1-2章)主要討論圖像化時(shí)代的可見性邏輯及其對自我、他者和世界的消極效應(yīng)。這種邏輯恰恰是亨利和馬里翁激烈批判并試圖超越的圖像邏輯。第三部分(第3-4章)主要討論和反思亨利的圖像模式,這種模式實(shí)現(xiàn)了圖像從作為可見者的世界轉(zhuǎn)向作為不可見者的生命。
普通大眾真正了解邏輯學(xué)的機(jī)會并不多,故而在提到邏輯學(xué)時(shí),大部分人總是一臉茫然,腦海里沒有任何概念。不過,說不出邏輯學(xué)是什么,并不意味著邏輯學(xué)離我們的生活很遙遠(yuǎn),事實(shí)恰恰相反,它幾乎時(shí)刻圍繞著我們,只是鮮少被注意、被提及而已。媒體上的各種信息,有許多并不是真實(shí)的,我們稍不留神就可能被夸張的、錯誤的言論誤導(dǎo)和迷惑,被別有用心的人操控和利用。學(xué)習(xí)《邏輯學(xué)與生活》,培養(yǎng)邏輯思考能力,可以幫助我們有效地識別信息真?zhèn)、判斷命題真假、批判歪理和謬誤、有效溝通表達(dá)。在處理復(fù)雜問題時(shí),邏輯學(xué)也能夠幫助我們脫離日常