<form id="j7h7r"></form>

<address id="j7h7r"></address>

<address id="j7h7r"><address id="j7h7r"><listing id="j7h7r"></listing></address></address>

        <strike id="j7h7r"></strike>

        邏輯學講座預告

        2019-06-26 15:22:40   瀏覽次數:

        時間:201972 上午9:00-12:00

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

        主題從邏輯技術到邏輯哲學(上)、(下)講。

        主講人余俊偉

        主講人簡介:

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

        報告摘要:

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

         

        111cc彩票111cc彩票官网111cc彩票平台111cc彩票app111cc彩票邀请码111cc彩票娱乐111cc彩票快3111cc彩票时时彩111cc彩票走势图111cc彩票ios