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

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

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

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

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

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

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

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

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

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