让风神的竖琴鸣响——读李未院士的《数理逻辑》一书有感

从传统逻辑到经典数理逻辑，形式逻辑的发展始终与科学和哲学的发展相伴。当今，从科学发展的角度来看，一方面，经典数理逻辑的概念、理论和方法，不仅在程序设计语言的研究中获得了完全的认同，而且在计算机软硬件设计和实现技术方面起到了原则性的指导作用。另一方面，计算机科学技术经过了六十多年发展所积淀的知识，蕴涵着经典数理逻辑所不能涵盖的内容，这些内容需要我们在继承经典数理逻辑现有成果的基础上，通过引入新的概念、原理、演算和方法，来发展数理逻辑。