時間：2019年7月2日 上午9:00-12:00。

地點：新校區B1六樓 政法學院學術報告廳。

主題：從邏輯技術到邏輯哲學（上）、（下）講。

主講人：余俊偉

主講人簡介：

余俊偉，教授，于華東師范大學獲教育學學士，哲學碩士，于中國社會科學院獲哲學博士。人民大學哲學學院邏輯教研室主任，現任教于邏輯學教研室，主要研究方向為哲學邏輯與邏輯哲學。在《哲學研究》等多種刊物上發表論文多篇，代表性論文有《論道義邏輯系統的歸約及其相關問題》，《一個弗協調真值道義邏輯系統》。參與編寫的教材有《邏輯學》。主講課程有：公理集合論，數理邏輯，模態邏輯，形式邏輯，邏輯史。

報告摘要：

現代邏輯的重要特征是形式化與精確性，大量使用特制符號，使用數學工具。今天邏輯專業學習通常從學習技術開始。主要基礎知識點包括經典命題邏輯與謂詞邏輯，模態邏輯，以及相關的基礎數學領域的一些內容，如集合論、模型論、遞歸論等。然而，邏輯的主要研究對象與數學的主要研究對象很不一樣。邏輯圍繞推理的特性而展開，闡明好推理的一般機制。邏輯通過抽象掉內容保留形式來獲得最大的普遍性，揭示有效性或合理性。在此過程中，對于抽象掉哪些部分，抽象到什么程度，抽象本身是否恰當，特制符號的特征，語言與其表達的內容之間的關系，等等，邏輯學家的觀點并不總是一致。于是，我們進入到邏輯哲學。講座以邏輯核心技術為例，闡明技術與哲學之間的互動。