現(xiàn)代邏輯學(xué)講義

　　《模態(tài)邏輯》：模態(tài)邏輯是研究可以用模態(tài)語言表述的推理形式的有效性的學(xué)問。它是哲學(xué)邏輯的基礎(chǔ)，作為一門課程，它是邏輯學(xué)專業(yè)的基礎(chǔ)課之一。本講義介紹了句子層次上（命題型的）模態(tài)邏輯最基本的內(nèi)容。本講義內(nèi)容多，知識面廣，定理定義表達嚴(yán)謹，例題習(xí)題豐富，可作為高等學(xué)校邏輯學(xué)專業(yè)本科生、研究生教材使用?！稊?shù)理邏輯》：數(shù)理邏輯是研究可以用數(shù)學(xué)語言表述的推理形式的有效性的學(xué)問。它是全部邏輯的基礎(chǔ)，作為一門課程，它是邏輯學(xué)專業(yè)最重要的基礎(chǔ)課。數(shù)理邏輯分兩大部分：句子邏輯和量化邏輯。本講義介紹句子邏輯的基本內(nèi)容和量化邏輯的基礎(chǔ)——一階邏輯的基本內(nèi)容。本講義內(nèi)容豐富，知識面廣，表達嚴(yán)謹，習(xí)題例題豐富，可作為高等學(xué)校邏輯學(xué)專業(yè)本科生、研究生教材使用。

　　李小五，男，1955年1月生于浙江湖州。1980-1984年在北京大學(xué)哲學(xué)系念哲學(xué)本科，1986-1989年在北京大學(xué)哲學(xué)系攻讀邏輯學(xué)碩士學(xué)位，1989年獲碩士學(xué)位。1992年從國防大學(xué)調(diào)入中國社會科學(xué)院所邏輯研究室，2000年10月在中國社會科學(xué)院聘為研究員。2002年8月作為引進人才調(diào)入中山大學(xué)哲學(xué)系邏輯與認知研究所。主要著作有《現(xiàn)代歸納邏輯與概率邏輯》、《無窮邏輯》（上、下卷）、《條件句邏輯》。還發(fā)表多篇論文、多部合著和一部譯著?，F(xiàn)任中山大學(xué)教授和博士生導(dǎo)師、北京中心客座研究員。