基本介紹
內容簡介,作者簡介,章節目錄,
內容簡介
條件句邏輯是哲學邏輯的一個重要分支，是對（狹義）模態邏輯的重要發展。它的主要目的在於刻畫關於虛擬條件句、直陳條件句和正常條件句的推理。本書系統闡述了條件句邏輯的基本概念、基本方法、重要成果及其恰當性理論。為了便於讀者理解，本書對條件句邏輯的基本概念、方法以及表述重要成果所需的引理和定理給予詳細的證明、必要的分析和比較。本書可以作為邏輯學、哲學、人工智慧以及相關領域的科研人員的參考書，也可作為上述領域研究生的教材或參考書。
作者簡介
李小五，男，1955年1月生於浙江湖州，1986年在北京大學哲學系攻讀邏輯學研究生，1989年獲碩士學位，1992年調入中國社會科學院哲學所邏輯研究室，2002年8月進入中山大學邏輯與認知研究所。主要著作有《現代歸納邏輯與機率邏輯》、《無窮邏輯》（上下卷），還發表論文20餘篇，合著5部、譯著1部。現任中山大學邏輯與認知研究所教授，中國社會科學院哲學所研究中心客座研究員。
章節目錄
前言
第一章緒論
第二章證明論
第三章擇類邏輯
第四章關係邏輯
第五章鄰域邏輯
……
