本書收集了張家龍研究員從1978年開始發(fā)表的部分論文和演講報告，分上、下兩篇。上篇主要涉及我國邏輯教學和研究的現(xiàn)代化問題，下篇是張家龍研究員在數(shù)理邏輯、模態(tài)邏輯、邏輯哲學領域中的重要研究成果。

本書在吸收先秦邏輯研究成果的基礎上，提出了先秦邏輯是一種“正名-用名”論證類型。“正名”是確立名之所指，體現(xiàn)“名”的哲學功能；“用名”表現(xiàn)在具體論證中，反映論證者對于“名”的正確使用問題。“正名-用名”邏輯不似亞里士多德三段論在直言命題邏輯常項結構中確立邏輯變項外延關系，它是基于價值觀的一種邏輯，而不同于印度信仰的邏輯

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

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

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

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

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

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

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

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