本書是關(guān)于邏輯真理論的歷史考察與理論研究。全書試圖根據(jù)歷史與邏輯相統(tǒng)一的原則，通過考察傳統(tǒng)真理論、緊縮真理論的發(fā)展歷程，較為全面系統(tǒng)地梳理邏輯真理論的歷史源流；通過對語義真理論與公理化真理論等形式真理論的研究，全面深入探討邏輯真理論的重大前沿問題；嘗試通過對真理論悖論的創(chuàng)新性研究探尋邏輯真理論研究的應(yīng)用價值。本書的第1

本成果把中庸方法上升融入到當(dāng)今跨學(xué)科創(chuàng)新研究的時代潮流中，從哲學(xué)方法論高度提出了跨學(xué)科研究的“取長補短”方法，助力于新一代人工智能確立符號主義和連接主義融合互補的嶄新發(fā)展方向，對AI堅守正確的發(fā)展方向價值巨大。該成果全面展示自然語言邏輯從各種角度對自然語言進(jìn)行語義表征，尤其是組合范疇語法CCG對自然語言進(jìn)行語義表征的“

本書系統(tǒng)介紹了因果推斷的方法及其應(yīng)用，共八章。第1章重點闡述了潛在結(jié)果框架與結(jié)構(gòu)因果模型，為全書內(nèi)容奠定基礎(chǔ)。第2章介紹了多種經(jīng)典因果推斷的基本方法，包括傾向得分法、匹配法、回歸法、雙穩(wěn)健估計法、工具變量法以及陰性對照法等。在此基礎(chǔ)上，本書進(jìn)一步深人探討多個因果推斷的前沿主題。第3章討論了基于多模型整合的穩(wěn)健估計方法，

唐代玄奘先后譯講《因明入正理論》《因明正理門論》，其弟子紛紛為此二論注疏，形成唐代因明注疏體系，是漢傳因明研究首次達(dá)至高潮的理論成果。本書在原典古籍的基礎(chǔ)上，從廣義的論證視角，系統(tǒng)分析因明唐疏的論證機制、論式和論證規(guī)則，力圖應(yīng)用因明唐疏論證理論分析辯經(jīng)，使屬于“冷門絕學(xué)”范疇的古典邏輯理論——因明能以較為系統(tǒng)的形態(tài)呈現(xiàn)

國內(nèi)外對公共知識的研究起源于20世紀(jì)六七十年代，是在涉及多主體之間的認(rèn)知、約定、博弈等問題時提出的概念。本書從多主體、知識與行為三個角度探討了公共知識是什么、與協(xié)同行為的關(guān)系，以及主體認(rèn)知能力的有限性導(dǎo)致的公共知識悖論及其弱化的方法

本書在單模態(tài)語言的基礎(chǔ)上，引入和使用多模態(tài)語言、介紹了一些模態(tài)邏輯中目前比較新的、流行的概念和方法，如：加標(biāo)轉(zhuǎn)移結(jié)構(gòu)、互模擬等，有助于學(xué)生了解《模態(tài)邏輯》發(fā)展的前沿，學(xué)習(xí)《模態(tài)邏輯》的最新知識，掌握最新的概念和方法。

本書是一本清晰、簡潔、實用、有趣的論證規(guī)則手冊，自1986年首次出版以來，增補修訂4次，被翻譯成11種文字。在許多大學(xué)、高中的批判性思維、議論文寫作課程及各種考試中，被奉為經(jīng)典。書中運用大量易于理解、趣味性十足、生活化的例證，歸納了50條必須遵循的論證規(guī)則，涵蓋了各學(xué)科、各種類型的論證。全書首先闡述了構(gòu)建論證的通則如何

因明是世界三大邏輯起源之一，因明源于印度，傳于中國、東亞，乃至成為一門世界性的學(xué)術(shù)。印度因明又以陳那為分界，分為新、古二階段。本書研究的印度古因明是從較寬泛的意義上的，不限于印度佛教因明，也包括中古印度的正理論及其他各派的的哲學(xué)、邏輯思想，亦包括知識論、辯學(xué)、過失論的內(nèi)容。印度古因明是新因明的直接來源，本書通過對古因明

本書的主要內(nèi)容是基于更新框架來構(gòu)造祈使句的形式語義，給出有效性概念，刻畫涉及到祈使句的有效推理形式。力結(jié)構(gòu)描述了主體所受祈使力的狀態(tài)。力結(jié)構(gòu)對應(yīng)自由選擇，其是主體完成力結(jié)構(gòu)的方式。祈使句對應(yīng)力結(jié)構(gòu)。說一個祈使句的結(jié)果是之前的力結(jié)構(gòu)與這個祈使句對應(yīng)的力結(jié)構(gòu)的合并，除非這兩個力結(jié)構(gòu)不相容。一個力結(jié)構(gòu)接受一個祈使句當(dāng)且僅當(dāng)用

經(jīng)濟類考研用書，涉及：2010-2025年管理類綜合能力邏輯真題及解析。