B001456　现代逻辑启蒙

---

杨百顺主编。中国青年出版社1989年2月版。24万字。分25章。介绍命题演算、谓词逻辑、断定逻辑、元逻辑、模态逻辑、量子逻辑、模糊逻辑、优先逻辑、时间逻辑等20余个现代逻辑分支，说明每个分支的源流、概况、基本内容、发展现状、同传统逻辑的关系及应用意义，勾勒自30年代以来随著语言和科学的发展以及计算机、人工智能、自动化系统等现代科技的应用而不断发展、日趋形式化、分支多样化的现代逻辑体系的概貌。书后附有主要参考文献、外国人名译名对照和常用逻辑符号表。