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

地點(diǎn)：新校區(qū)B1六樓 政法學(xué)院學(xué)術(shù)報(bào)告廳。

主題：從邏輯技術(shù)到邏輯哲學(xué)（上）、（下）講。

主講人：余俊偉

主講人簡(jiǎn)介：

余俊偉，教授，于華東師范大學(xué)獲教育學(xué)學(xué)士，哲學(xué)碩士，于中國社會(huì)科學(xué)院獲哲學(xué)博士。人民大學(xué)哲學(xué)學(xué)院邏輯教研室主任，現(xiàn)任教于邏輯學(xué)教研室，主要研究方向?yàn)檎軐W(xué)邏輯與邏輯哲學(xué)。在《哲學(xué)研究》等多種刊物上發(fā)表論文多篇，代表性論文有《論道義邏輯系統(tǒng)的歸約及其相關(guān)問題》，《一個(gè)弗協(xié)調(diào)真值道義邏輯系統(tǒng)》。參與編寫的教材有《邏輯學(xué)》。主講課程有：公理集合論，數(shù)理邏輯，模態(tài)邏輯，形式邏輯，邏輯史。

報(bào)告摘要：

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