2021年6月3日14時，智能社會與文化高端論壇第二期在上海大學東區二号樓208會議室成功舉行。本次論壇邀請了四川大學任曉明教授和中國社會科學院劉新文研究員，論壇由甯莉娜教授主持。

任曉明教授做了主題為“計算與認知：從圖靈計算到自然計算”的報告，任教授從上世紀50年代的人工智能開始談起，指出了人工智能啟航的三大任務：戰勝國際象棋的世界一流選手、推導出《數學原理》的相關公式、認知心理學的計算機實現。這三者在人工智能早期逐一被實現，由此任教授總結了“人機類比再到認知=計算”的一個階段性研究範式。而這種認知計算的關聯最早可以追溯到畢達哥拉斯學派，盡管其涉及的其實是一種萬物皆數的本體觀念。随後任教授指出在當時環境下經典計算主義的興起便應運而生，最為凸顯的就是圖靈機，圖靈機的研究成果使得可計算性等同于圖靈可計算性，任教授總結其為邏輯的實踐轉向。任教授又通過哥德爾的不完全定理，指出可計算主義的一個框架範式的瓦解。

劉新文教授關注“邏輯的規範性問題——金嶽霖先生的回答”，他從五個層面漸次深入主題内核：“金先生為什麼談邏輯的規範性”、“規範性問題”、“規範什麼”、“如何規範”、“邏輯的規範性”。劉教授以生動的圖示方式為我們展現了對于邏輯問題的思考，一方面邏輯作為規範性規範了我們的思想以及其形式，另一方面邏輯規範了對象規則。進一步，劉教授提出确定性與确實性這兩組概念，前者指的是對于客觀世界的描述性把握；後者指的是對于命題對象的指稱把握。由此，劉教授開始了對于基本思維規律的探讨以及研究，從同一律出發，總結了六條規律。最後，劉教授具體通過五個命題描述了基本思想規律的規範性到邏輯的規範性的轉化過程，指出了邏輯的規範性以及邏輯是一門規範科學。

王天恩教授對教授的報告進行了點評，學院共30餘人參加了論壇。