現代邏輯學講義:《現代邏輯學講義》是中山大學出版的圖書。基本信息 -百科知識中文網

內容簡介

《模態邏輯》：模態邏輯是研究可以用模態語言表述的推理形式的有效性的學問。它是哲學邏輯的基礎，作為一門課程，它是邏輯學專業的基礎課之一。本講義介紹了句子層次上（命題型的）模態邏輯最基本的內容。

本講義內容多，知識面廣，定理定義表達嚴謹，例題習題豐富，可作為高等學校邏輯學專業本科生、研究生教材使用。

《數理邏輯》：數理邏輯是研究可以用數學語言表述的推理形式的有效性的學問。它是全部邏輯的基礎，作為一門課程，它是邏輯學專業最重要的基礎課。

數理邏輯分兩大部分：句子邏輯和量化邏輯。本講義介紹句子邏輯的基本內容和量化邏輯的基礎——一階邏輯的基本內容。

本講義內容豐富，知識面廣，表達嚴謹，習題例題豐富，可作為高等學校邏輯學專業本科生、研究生教材使用。

李小五，男，1955年1月生於浙江湖州。

1980-1984年在北京大學哲學繫念哲學本科，1986-1989年在北京大學哲學系攻讀邏輯學碩士學位，1989年獲碩士學位。

1992年從國防大學調入中國社會科學院所邏輯研究室，2000年10月在中國社會科學院聘為研究員。2002年8月作為引進人才調入中山大學哲學系邏輯與認知研究所。

主要著作有《現代歸納邏輯與機率邏輯》、《無窮邏輯》（上、下卷）、《條件句邏輯》。還發表多篇論文、多部合著和一部譯著。

現任中山大學教授和博士生導師、北京中心客座研究員。