本書內(nèi)容包括：點(diǎn)式歸約初探；傳遞邏輯格中有窮深度瀕表格邏輯的語義判據(jù)；傳遞邏輯格中無窮深度瀕表格邏輯的語義判據(jù)；淑表格邏輯語義判據(jù)的應(yīng)用等。

本書分為上下兩篇。上篇從認(rèn)知邏輯出發(fā)，主要考察以知識為載體的信息變化規(guī)律。具體涉及的內(nèi)容有多主體認(rèn)知邏輯、動態(tài)邏輯、動態(tài)認(rèn)知邏輯以及一類程序性知識的哲學(xué)邏輯描述（知道行動的一種表述）。下篇主要從以信念為載體的信息變化出發(fā)，具體涉及的內(nèi)容有經(jīng)典信念修正理論、有窮依賴網(wǎng)絡(luò)理論、邏輯博弈、博弈邏輯、聯(lián)盟邏輯以及社會軟件中的邏

2006年至2011年，清華大學(xué)劉奮榮教授主持并組織了范本特姆教授的著名論文和著作的翻譯工作，以"邏輯之門"為題，分四卷由科學(xué)出版社出版。參加這一項(xiàng)目的國內(nèi)老中青邏輯學(xué)者共有30多人。每一卷譯著出版之后，著譯者們都舉辦一次學(xué)術(shù)交流活動，然后以書面形式安排一次學(xué)術(shù)訪談。這些訪談廣泛涉及了范本特姆教授在數(shù)理邏輯、哲學(xué)邏輯、

《山西大學(xué)分析與人文哲學(xué)叢書邏輯與哲學(xué)：真與意義融合與分離之爭的探究》以真與意義基于邏輯與哲學(xué)對語句真的兩種不同解讀為主線，從邏輯的視角探究自然語言意義理論中真與意義融合、分離之爭的焦點(diǎn)、實(shí)質(zhì)及根源，指出邏輯與真是化解這場爭論的關(guān)鍵所在，邏輯上對真的語義論達(dá)成共識之時(shí)，也就是自然語言意義理論中真與意義之爭得以解決之時(shí)。

《邏輯學(xué)十五講》（第二版）是作者在北京大學(xué)開設(shè)全校通選課“邏輯導(dǎo)論”的講稿。全書系統(tǒng)地論述了邏輯學(xué)的基本理論范疇和思維方法、技能，并介紹了歷史上幾位重要的邏輯學(xué)家。通過閱讀本書，讀者不難對邏輯學(xué)有一個(gè)基本的輪廓性了解，對其最基本的內(nèi)容、方法和技能有較好的掌握，更重要的是激發(fā)進(jìn)一步學(xué)習(xí)的興趣。

本書分為地緣政治與國家安全、軍事技術(shù)交流與合作、新戰(zhàn)略空間與國際安全、跨文化交際與文化安全四個(gè)專題，集中對國家安全、特別是軍事安全和軍事科技領(lǐng)域的相關(guān)議題進(jìn)行了探討，其中既有理論分析又有在地緣政治方面和安全領(lǐng)域的實(shí)際探討，具有一定學(xué)術(shù)價(jià)值和現(xiàn)實(shí)意義。

《互模擬理論的邏輯研究》從邏輯的角度研究互模擬，主要以模型論、集合論和模態(tài)邏輯的知識為背景，意在從歷史層面揭示互模擬在模態(tài)邏輯和非良基集合論中的發(fā)展過程，從理論層面探討互模擬的基本理論和作用。 《互模擬理論的邏輯研究》的內(nèi)容主要包括互模擬的發(fā)展歷程、互模擬的基本理論和性質(zhì)、互模擬與模態(tài)等價(jià)之間的關(guān)系、基于互模擬的模態(tài)

就本質(zhì)而言，它是一種“說明性推理”或者說是“非證明性推理”，在人的認(rèn)知活動中發(fā)揮著重要作用。關(guān)于這種推理模式的理論研究和現(xiàn)實(shí)關(guān)注，有助于提升非證明性推理的合理性，尤其有助于給歸納難題以特定的理論解答與合理辯護(hù)。本書作為說明性推理問題的一項(xiàng)專門研究，其內(nèi)容適合于哲學(xué)、醫(yī)學(xué)、法學(xué)、考古、人工智能等專業(yè)的師生及研究者閱讀，也

溯因推理：從邏輯探究發(fā)現(xiàn)與解釋

《邏輯與心靈》主要針對命題態(tài)度問題、意向性問題、心理內(nèi)容問題、非存在問題、科學(xué)哲學(xué)中的反常問題等，采用邏輯學(xué)的分析視角，綜合當(dāng)代西方心靈哲學(xué)的前沿發(fā)展，力圖彰顯邏輯的心理主義和心靈的邏輯主義立場。 《邏輯與心靈》適合具有高中及其以上學(xué)歷的廣大讀者，特別是大專院校本科生、研究生以及哲學(xué)、心理學(xué)、人工智能、認(rèn)知科學(xué)等相關(guān)