簡(jiǎn)明實(shí)驗(yàn)邏輯學(xué)

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

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