【名词&注释】
人工智能(artificial intelligence)、诸葛亮(juge liang)、《长恨歌》(song of everlasting regret)、逻辑学(logic)、《陈情表》(state emotion to the emperor)、非形式逻辑(informal logic)、应用逻辑(applied logic)、纯理论(pure theory)、无中生有、不断扩大(constant enlargement)
[单选题]各国学者正在从不同角度和不同方面修正和发展着现代形式逻辑:有作为经典逻辑替代系统的异常逻辑,有作为经典逻辑扩充系统的各种应用逻辑(applied logic),有分析日常言语交际中的推理和论证的言语逻辑、非形式逻辑、新修辞学等,有用于人工智能领域的动态逻辑,有容纳真矛盾而又不至于自毁的协调逻辑,以及模糊逻辑等等。 对这段话理解正确的一项是( )。
A. 国内有些学者对逻辑持有过于偏狭的见解
B. 逻辑学不仅是纯理论(pure theory)的,而且是非常实用的
C. 经典逻辑正在被异常逻辑所取代
D. 形式逻辑的研究领域正在不断扩大(constant enlargement)