本網訊（通訊員申國桢）2021年4月9日下午15:00，中國科學院數學與系統科學研究院馮琦研究員在振華樓B107報告廳為我院師生帶來了一場題為“實在、存在與抽象表示——以實例淺析邏輯之功用”的精彩報告。報告由南京大學數學系喻良教授主持。beat365体育官网科技哲學教研室程勇教授、邏輯學教研室杜珊珊副教授、基礎心理學教研室費定舟副教授、邏輯學教研室申國桢副研究員、beat365体育官网邏輯學專業同學、以及全國多所高校來參加第14屆德爾塔邏輯學工作坊的老師共同參加了此次講座。

馮琦研究員首先指出本次報告是85天前第二個世界邏輯日為beat365体育官网所作線上報告“解析萊布尼茲之夢”的後續報告。上次報告介紹了現代邏輯學的發展、邏輯這門工具的功用以及充分發揮這門工具的作用對我們當今生活的深遠影響，但因為時間關系留下了一個自然的問題：有必要這樣嗎？本次報告将試圖談談對這個問題的想法。

接着馮琦研究員分别圍繞引力現象、光電磁現象、愛因斯坦相對論、微觀粒子現象、能量離散現象，通過展示兩千多年尤其是最近四百年物理學從對實在的觀察到對存在的思考再到抽象表示(理論模型)的發展曆程，向我們介紹了在理性思維範疇，那些很好掌握了邏輯這門工具的思想者是如何運用邏輯這門工具成功地解決所面臨的實際問題和理論問題的。

最後，馮琦研究員提出了形式語言選擇的基本标準，并展示了現代邏輯學以及公理化集合論是怎樣應運而生可以為理性思維範疇提供一個什麼樣的統一、自洽、富足、具體、規範、簡潔、優美、牢靠的抽象表述形式語言系統。

本次報告由于内容豐富精彩，持續了三小時。講座結束後，邏輯教研室杜珊珊副教授高度評價了本次報告，并就如何具體開展邏輯和自然科學交互的問題與馮琦研究員展開深入讨論。整個講座學術氛圍濃厚，師生們均表示此次報告内容充實、思路清晰、收獲頗豐。

（編輯：鄧莉萍     審稿：嚴璨）