簡明實驗邏輯學

　　為了推廣《實驗邏輯學》課程，2021年我們聯(lián)合國內(nèi)的一些高校，牽頭申報了虛擬“邏輯推理教研室”，項目獲南開大學批準，2022年獲教育部批準為“邏輯推理課程虛擬教研室”。為了使國內(nèi)學習邏輯學的學生獲得收益，特編寫了這本《簡明實驗邏輯學》教材?！逗喢鲗嶒炦壿媽W》是在之前的《數(shù)理邏輯實驗教程》（武漢大學出版社，2010年）、《邏輯學實驗教程》（南開大學出版社，2012年）、《實驗邏輯學》（南開大學出版社，2017年）、《實驗邏輯學》（第二版，南開大學出版社，2021年）的基礎上，利用新版的LPL軟件（LPL軟件包含三個子程序：Tarski's World 7.2、Fitch 3.7和Boole 4.2）完成的，特別標明了選修部分并增加了附錄。為了便于《實驗邏輯學》慕課（智慧樹網(wǎng)平臺）的學習，除第8章和第9章的順序做了調(diào)動，《簡明實驗邏輯學》基本上保留了原來的章節(jié)順序。

　　李娜，女，南開大學哲學院教授，主要研究方向為數(shù)理邏輯、模態(tài)邏輯、集合論、抽象代數(shù)。主持多項數(shù)理邏輯國家項目，主編多部教材如《數(shù)理邏輯實驗教程》（武漢大學出版社，2010年）、《邏輯學實驗教程》（南開大學出版社，2012年），《實驗邏輯學》（南開大學出版社，2017年），《實驗邏輯學》（第二版，南開大學出版社，2021年）并發(fā)表多篇數(shù)理邏輯高水平研究論文。