TOP
0
0
三民出版.新書搶先報|最速、最優惠的新鮮貨報給你知!

三民網路書店 中國圖書館分類法 / 哲學、宗教 / 邏輯學(論理學) / 模態邏輯

14筆商品,1/1頁
正規多模態邏輯研究(簡體書)
滿額折
作者:趙賢  出版社:科學出版社  出版日:2024/05/01 裝訂:平裝
正規多模態邏輯因其強大的刻畫能力及解題功能,一直處於多模態邏輯研究的主體地位。《正規多模態邏輯研究》從“模態算子交互作用公理模式”這一嶄新視角出發,系統研究了正規多模態邏輯的一般系統及其在哲學中的應用。主要包括:多模態邏輯的研究動因和研究現狀、正規多模態邏輯的形式系統和語義、正規多模態邏輯系統的元理論以及多模態邏輯在哲學研究中的工具性作用。
海外經銷商無庫存,到貨日平均30天至45天
定價:588 元, 優惠價:87 512
模態知識論:可設想性理論及其應用(簡體書)
滿額折
作者:馮書怡  出版社:社會科學文獻出版社  出版日:2022/07/01 裝訂:平裝
模態知識論領域關注我們如何獲得關於可能性和必然性的知識或辯護。在這個領域裡,可設想性理論是最成熟和應用最廣泛的理論。它的核心觀點是:可設想性是通向可能性的認知嚮導。不少學者將它應用於哲學各個領域,如形而上學、心靈哲學、人工智能的討論中。本書討論了這些應用視域並揭示可設想性理論的應用局限:在探討上述問題時,我們並不具有使用可設想性理論的認知條件,也無法借由該理論回答這些問題。最後,本書論證可設想性理論的應用局限會導致一個溫和版本的模態懷疑論。
海外經銷商無庫存,到貨日平均30天至45天
定價:888 元, 優惠價:87 773
互模擬理論的邏輯研究(簡體書)
滿額折
作者:姚從軍  出版社:科學出版社  出版日:2022/01/20 裝訂:平裝
本書基於邏輯視角,圍繞互類比展開系統而深入的研究。首先,梳理了互類比在模態邏輯和非良基集合論中的發展歷程,討論了互模擬的性質;其次,闡述了互類比在模態邏輯中的基本理論,比較互模擬與模態等價之間的關係,運用互類比拓展模態模型構造技術,並給出"雙模擬"概念,分析了"雙模擬"的性質作用;再次,闡述了互模擬在集合論中的基本理論,對非良基集合進行分類,並抽象出方程組的解引理;最後,基於互類比,揭示了模態邏輯
海外經銷商無庫存,到貨日平均30天至45天
定價:390 元, 優惠價:87 339
作者:文學鋒  出版社:科學出版社  出版日:2021/03/30 裝訂:平裝
本書按照預備知識、基礎、進階、一階模態邏輯共分為四個部分。第一部分為讀者準備了集合論、命題邏輯和一階邏輯的基礎知識。第二、三部分分別介紹了命題模態邏輯的形式語義、公理系統、表列系統和模態語義,以及模態邏輯的不變性理論、可定義性理論及有窮模型理論。第四部分介紹了簡單一階模態邏輯和複雜一階模態邏輯。
絕版無法訂購
從模態的觀點看(簡體書)
滿額折
作者:張力鋒  出版社:中國社會科學出版社  出版日:2019/11/06 裝訂:平裝
本書是作者關於模態問題及其應用研究的論文自選集,分別從邏輯哲學、語言哲學和宗教哲學等三個視角探索“模態”這個當代哲學的重要議題。全書既注重挖掘模態邏輯語義學的不同處理模式,探討在這個維度上“必然”“可能”諸模態及其衍生物嚴格指示詞、可能世界等面臨的各色問題及解答,也在直接指稱理論和描述理論激烈爭論的語言哲學大背景下,將研究推進至更為根本的形而上學層面,建立模態與本質、形式、質料等基本形而上學概念之
海外經銷商無庫存,到貨日平均30天至45天
定價:534 元, 優惠價:87 465
非良基集、餘代數與模態邏輯研究(簡體書)
滿額折
作者:史璟  出版社:經濟科學出版社  出版日:2019/06/01 裝訂:平裝
本書是我國學術界第一部關於集合論、餘代數與模態邏輯交叉研究的著作。首先,以非良基集合為語義結構對模態邏輯進行解釋,研究模態邏輯在集合論語義下的對應理論、可定義性及表達力等問題,取得了一些新的研究成果,豐富了集合論理論和邏輯理論。其次,把餘代數看做非良基集合的抽象數學模型,它作為對關係語義學的推廣,著重研究餘代數模態邏輯。
海外經銷商無庫存,到貨日平均30天至45天
定價:468 元, 優惠價:87 407
臨界的傳遞邏輯:模態邏輯的瀕表格性問題探究(簡體書)
滿額折
作者:杜珊珊; 康宏逵  出版社:科學出版社  出版日:2018/04/03 裝訂:平裝
圖書回顧了傳遞的瀕表格邏輯的研究發展歷史,敘述了傳遞的瀕表格邏輯判據的證明、應用過程,試圖解決傳遞邏輯的瀕表格性的判據問題和大格的子格NExtQ4中瀕表格邏輯族的基數、分類及公理化問題。本書可供從事模態邏輯研究的工作者和對模態邏輯感興趣的讀者閱讀。
海外經銷商無庫存,到貨日平均30天至45天
定價:468 元, 優惠價:87 407
必然、蘊涵、世界與關係:模態邏輯的歷史與基本理論探究 (簡體書)
滿額折
作者:周禎祥  出版社:北京師範大學出版社  出版日:2017/11/30 裝訂:平裝
邏輯學不割斷歷史,邏輯學是在對語言不斷完善的過程中發展起來的,這是撰寫本書的兩個基本出發點。依據這兩個出發點,本書選擇了四個基本範疇,必然、蘊涵、可能世界和可通達關係,並且討論了這四個基本範疇的歷史沿革,討論了邏輯學家對這些範疇的基本觀點。本書的第三個出發點是對模態邏輯內容的限定,模態基本理論,原則上限定在模態命題邏輯的範圍之內。
海外經銷商無庫存,到貨日平均30天至45天
定價:372 元, 優惠價:87 324
作者:李娜  出版社:南開大學出版社  出版日:2015/02/01 裝訂:平裝
本書共16章。主要包括命題邏輯、基本模態語言、多模態語言、加標轉移結構、賦值和可滿足、一些對應結果、一般的匯合結果、三種語義後承、形式系統、過濾,等等,以及參考答案。
絕版無法訂購
作者:張力鋒  出版社:中國社會科學出版社  出版日:2014/11/01 裝訂:平裝
缺貨無法訂購
作者:裘江傑  出版社:中國社會科學出版社  出版日:2014/06/01 裝訂:平裝
自上個世紀七十年代以來,模態 邏輯學與計算科學、語言學等學科相 交互,得到了越來越多的關注,對其 自身的
絕版無法訂購
分次模態語言的模型論(簡體書)
滿額折
作者:馬明輝  出版社:科學出版社  出版日:2012/07/03 裝訂:平裝
《分次模態語言的模型論》是國家社科基地西南大學邏輯與智能研究中心教育部重大課題攻關項目“現代歸納邏輯的創新功能與應用以及認知基礎”(05JZD0008)的研究成果之一。本書把經典邏輯的這些結果推廣到分次模態邏輯,所展現的主要技術性結論都是新成果。該書可能需要的對象:高等院校哲學系或數學系邏輯教學和研究單位,全國社會科學和自然科學研究機構中邏輯分支機搆,全國高等院校和研究機構的圖書館。讀者面向研究和
海外經銷商無庫存,到貨日平均30天至45天
定價:270 元, 優惠價:87 235
作者:(荷)約翰·範本特姆  出版社:科學出版社  出版日:2010/07/01 裝訂:精裝
《模態對應理論》內容簡介:“邏輯之門”是當代世界著名的邏輯學家約翰·范本特姆經典著作的中文翻譯。叢書收集了他的經典論文和主要專著,其涵蓋的主題有:關於信息、進程和智能互動的模態邏輯;自然語言中范疇語法和量詞語義的邏輯;邏輯與認識論、科學方法論和博弈論之間的相互影響,等等。叢書展現了現代邏輯作為數學、哲學、語言學、計算機科學、認知科學等學科之間媒介和催化劑的新視角。20世紀70年代,范本特姆研究了模
缺貨無法訂購
作者:(荷)約翰·範本特姆  出版社:科學出版社  出版日:2008/06/01 裝訂:平裝
“邏輯之門”是當代世界著名的邏輯學家約翰,范本特姆經典著作的中文翻譯。叢書收集了他的經典論文和主要專著,其涵蓋的主題有:關于信息、進程和智能互動的模態邏輯,自然語言中范疇語法和量詞語義的邏輯:邏輯與認識論、科學方法論和博弈論之間的相互影響,等等。叢書展現了現代邏輯作為數學、哲學、語言學、計算機科學、認知科學等學科之間媒介和催化劑的新視角。 《邏輯、信息和互動》是關于當今模態邏輯所研究的主要問題的一
缺貨無法訂購

暢銷榜

客服中心

收藏

會員專區