论现代逻辑的应用

现代逻辑的价值和意义，在于其在理论上的应用。对于纯数学的基础和结构来说，现代逻辑是一种非常有用的工具，包括哥德尔不完全性定理等，都利用了现代逻辑的技术和成果。某些现代逻辑技术已经广泛应用到了工程学之中，例如，计算机工程就基于现代逻辑的高级成果。反过来，这些应用又刺激了逻辑理论本身取得更多的进步。