李娜

康托爾的集合論是一種研究無窮的數學理論，它是現代數學和邏輯學的基礎。遺憾的是，其中存在著矛盾，著名的矛盾是羅素悖論。為了消除悖論並保留康托爾集合論中的精華，數學家們做了大量的研究，其中有效的方法是公理化方法。因此，公理化集合論是用現代公理化的方法重建康托爾的樸素集合論的研究以及集合論的元數學和集合論的新公理的研究。這種方法把集合論變成了一種完全抽象的公理化理論。在這樣的理論中，“集合”是一種不加定

本書共六章，其中第一章主要介紹集合、集合運算的基本思想和方法，第二至四章介紹命題邏輯的基本思想和方法，第五章和第六章介紹狹謂詞邏輯的基本思想和方法。本書各章聯繫緊密，選材適當，體系完整，論述準確，並建立在作者新的研究成果基礎之上，對數理邏輯的基本思想和方法做了準確而嚴謹的論述。

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

《南開哲學教材系列：數理邏輯的思想與方法》包括六章，第一章，主要介紹集合、集合運算的基本思想和方法，這一章的目的在於為以後各章的使用奠定基礎，第二章至第四章，介紹命題邏輯的基本思想和方法，第五章和第六章介紹狹謂詞邏輯的基本思想和方法。本書在選材上，只涉及數理邏輯的基本內容（包括命題邏輯和狹謂詞邏輯），不涉及傳統邏輯，也不涉及現代邏輯的其他分支，因此，本書的體系是作者的獨創，另外，為了使讀者更好地理

《南開哲學教材系列：邏輯學實驗教程》包括兩部分內容。第一部分是一些在線的亞裡士多德三段論邏輯、數理邏輯和模態邏輯等的邏輯學習軟件簡介。第二部分是LPL軟件的操作與應用。作者在《數理邏輯實驗教程》中，已經較詳細地介紹了LPL軟件的（操作）命令。本教材主要講解LPL中三個軟件Fitch、Boole和Tarski’sWorld的操作和應用。本教材在編寫過程中，主要參考了Jon Barwise和John

本書共16章。主要包括命題邏輯、基本模態語言、多模態語言、加標轉移結構、賦值和可滿足、一些對應結果、一般的匯合結果、三種語義後承、形式系統、過濾，等等，以及參考答案。

模態邏輯是非經典邏輯中發展最成熟、成果最豐富的一個分支。《模態邏輯（第二版）》是在2015年由南開大學出版社出版的《模態邏輯》的基礎上修訂完成的。本教材在單模態語言的基礎上，引入和使用了多模態語言，介紹了一些模態邏輯中目前比較新的、流行的概念和方法，如：加標轉移結構、互模擬等，有助於學生瞭解模態邏輯發展的前沿、學習模態邏輯的最新知識、掌握模態邏輯最新的概念和方法。

《師說心語：“三全育人”再出發》是由輔導員、專業教師和校友導師等多方面育人主體共同參與，從學生思想結點、校園文化熱點、社會輿論焦點和日常工作重點中提煉主題，聚焦學生成長各個階段的理想信念、學習科研、人際情感和實踐應用等方面，為引導學生成長成才提供了可以借鑒的指導。

值此南開大學百年校慶即將到來之際，作者及編譯團隊在校黨委學生工作部、黨委研究生工作部、校團委等部門的領導下，在南開大學檔案館、校史研究室、教育發展基金會、校友總會等部門的支持下，在資深翻譯家劉士聰教授、呂世生教授、張健教授等專家的親切指導下，精選史料進行校史翻譯，將“校史學習”與“專業學習”結合，在翻譯實踐的字斟句酌中回溯南開滄桑百年，體味校史中的南開精神，形成《譯說南 開不忘初心：致百年的你》中