條件句邏輯

《條件句邏輯》，作者李小五，人民出版社出版，出版時間：2003。

基本信息

內容簡介

條件句邏輯

條件句邏輯是哲學邏輯的一個重要分支，是對（狹義）模態邏輯的重要發展。它的主要目的在於刻畫關於虛擬條件句、直陳條件句和正常條件句的推理。本書系統闡述了條件句邏輯的基本概念、基本方法、重要成果及其恰當性理論。為了便於讀者理解，本書對條件句邏輯的基本概念、方法以及表述重要成果所需的引理和定理給予詳細的證明、必要的分析和比較。本書可以作為邏輯學、哲學、人工智慧以及相關領域的科研人員的參考書，也可作為上述領域研究生的教材或參考書。

作者簡介

李小王，男，1955年1月生於浙江湖州，1986年在北京大學哲學系攻讀邏輯學研究生，1989年獲碩士學位，1992年調入中國社會科學院哲學所邏輯研究室，2002年8月進入中山大學邏輯與認知研究所。主要著作有《現代歸納邏輯與機率邏輯》、《無窮邏輯》（上下卷），還發表論文20餘篇，合著5部、譯著1部。現任中山大學邏輯與認知研究所教授，中國社會科學院哲學所研究中心客座研究員。

目錄

前言

第一章緒論

第二章證明論

第三章擇類邏輯

第四章關係邏輯

第五章鄰域邏輯

……

相關詞條

相關搜尋

熱門詞條

聯絡我們