簡明實驗邏輯學 李娜 9787310064328 【台灣高等教育出版社】

內容簡介
為了推廣《實驗邏輯學》課程，2021年我們聯合國內的一些高校，牽頭申報了虛擬「邏輯推理教研室」，項目獲南開大學批准，2022年獲教育部批准為「邏輯推理課程虛擬教研室」。為了使國內學習邏輯學的學生獲得收益，特編寫了這本《簡明實驗邏輯學》教材。
《簡明實驗邏輯學》是在之前的《數理邏輯實驗教程》（武漢大學出版社，2010年）、《邏輯學實驗教程》（南開大學出版社，2012年）、《實驗邏輯學》（南開大學出版社，2017年）、《實驗邏輯學》（第二版，南開大學出版社，2021年）的基礎上，利用新版的LPL軟體（LPL軟體包含三個子程序：Tarski's World 7 2、Fitch 3 7和Boole 4 2）完成的，特別標明了選修部分並增加了附錄。為了便於《實驗邏輯學》慕課（智慧樹網平台）的學習，除第8章和第9章的順序做了調動，《簡明實驗邏輯學》基本上保留了原來的章節順序。

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

目錄

前言/序言
2007年，南開大學實驗室設備處和哲學院為邏輯學專業建立了國內第一個「邏輯推理實驗室」，並將世界著名邏輯學家巴維斯（Jon Barwise）等人合著的（Language Proof and Logic）《語言證明與邏輯》一書配套的數理邏輯學習軟體（LPL軟體）引入邏輯學的教學中，開設了「數理邏輯推理實驗」課。隨後，將課程名稱改為《實驗邏輯學》。通過十幾年的教學實踐，2020年，《實驗邏輯學》課程被教育部認定為國家級「一流本科課程」；2021年秋冬學期，《實驗邏輯學》慕課獲智慧樹網「一流高校精品課程」稱號；2022年，慕課《實驗邏輯學》上線國家智慧教育平台。
為了推廣《實驗邏輯學》課程，2021年我們聯合國內的一些高校，牽頭申報了虛擬「邏輯推理教研室」，項目獲南開大學批准，2022年獲教育部批准為「邏輯推理課程虛擬教研室」。為了使國內學習邏輯學的學生獲得收益，我特編寫了這本《簡明實驗邏輯學》教材。
當然，這本教材是在我之前的《數理邏輯實驗教程》（武漢大學出版社，2010年）、《邏輯學實驗教程》（南開大學出版社，2012年）、《實驗邏輯學》（南開大學出版社，2017年）、《實驗邏輯學》（第二版，南開大學出版社，2021年）的基礎上，利用最新版的LPL軟體（LPL軟體包含三個子程序：Tarski's World 7 2、Fitch 3 7和Boole 4 2）完成的，特別標明了選修部分並增加了附錄。為了便於《實驗邏輯學》慕課（智慧樹網平台）的學習，除第8章和第9章的順序做了調動，本書基本上保留了原來的章節順序。
由於本人水平所限，本書難免存在一些錯誤和不足，敬請讀者批評指正。