【4月9日】名家講座第30講：“實在、存在、抽象表示”——邏輯與哲學系列講座
點擊次數： 更新時間：2021-04-06
摘要：85天前，第二個世界邏輯日，我們曾在beat365体育官网名家講座第21講以“解析萊布尼茲之夢”為題介紹過現代邏輯學的發展、邏輯這門工具的功用以及充分發揮這門工具的作用對我們當今生活的深遠影響。當時的演講因為時間關系留下了一個自然的問題：有必要這樣嗎？今天我們将試圖談談對這個問題的想法。我們試圖圍繞四類自然現象(引力現象、電磁現象、微觀粒子現象、能量離散現象)，通過展示兩千多年尤其是最近四百年物理學從對實在的觀察到對存在的思考再到抽象表示(理論模型)的發展曆程，看看在理性思維範疇，那些很好掌握了邏輯這門工具的思想者是如何運用邏輯這門工具成功地解決所面臨的實際問題和理論問題的；看看現代邏輯學以及公理化集合論是怎樣應運而生可以為理性思維範疇提供一個什麼樣的統一、自洽、足夠、具體、規範的抽象表述形式；雖然時間不允許專門展開，但我們還是會借機穿插對幾個相關的認識論和本體論問題的商讨。