浅谈计算机科学中的逻辑应用研究

目前计算机科学的发展日新月异。在成就的背后，逻辑学是推动计算机科学前进的主要动力。我们总结了计算机智能化革命中存在的逻辑问题，对计算机未来的发展做了一个展望。计算机科学是以逻辑学为根基的，所以计算机的发展和智能化革命中瓶颈问题的突破有赖于逻辑学的发展和突破，因此研究逻辑学在计算机科学中的应用有重要的意义，应该引起重视。

应用:中国逻辑研究的软肋

多年来中国逻辑应用研究一直停滞在探索范围、对象、方法的层次上,进取不大,成为中国逻辑研究的软肋。究其原因,逻辑应用研究的认识有误是妨碍逻辑应用研究发展的主要问题。