讓風神的豎琴鳴響

從傳統邏輯到經典數理邏輯，形式邏輯的發展始終與科學和哲學的發展相伴。當今，從科學發展的角度來看，一方面，經典數理邏輯的概念、理論和方法，不僅在程序設計語言的研究中獲得了完全的認同，而且在計算機軟硬件設計和實現技術方面起到了原則性的指導作用。另一方面，計算機科學技術經過了六十多年發展所積淀的知識，蘊涵著經典數理邏輯所不能涵蓋的內容，這些內容需要我們在繼承經典數理邏輯現有成果的基礎上，通過引入新的概念、原理、演算和方法，來發展數理邏輯。

從哲學發展的角度來看，唯物辯證法一經出現，就始終指向一條通向未來的道路，代表著既不忘記過去，又向一切新的和具有挑戰意義的事物開放的進取精神。辯證唯物主義者認為，邏輯不是關于思維的外在形式的學說，而是一切物質的、自然的和精神的事物的發展規律的學說，即關于世界全部具體內容及對它的認識的發展規律的學說；不僅哲學，而且一切科學，現在都必須在自己的特殊領域內揭示這個發展規律。它取消了形而上學者所附加給形式邏輯的規律的絕對意義[1]，同時又呼喚著形式邏輯出現相應的成就。讀了李未院士的專著《數理邏輯》，我感覺仿佛在驚濤駭浪中長期漂泊之后的船夫看到陸地，又感覺仿佛有一只巨手在運筆揮毫，使在信息時代的急劇變化中變得模糊的世界圖景忽然色彩分明、輪廓清晰起來。

一