逻辑

书籍简介:

本书以公理化思想作为主导，阐述传统逻辑与现代逻辑的基本理论，从亚里士多德的三段论直到哥德尔的不完全性定理。全书以有效推理的形式化作为轴线，分别展开三段论的自然演绎系统、命题逻辑和一阶逻辑的解析树和自然演绎系统等公理化的系统，并介绍了哥德尔完全性定理与不完全性定理及相关的重要结果。本书在不失严谨的条件下尽可能直观地呈现理论的内容，在阐述抽象深奥的结果时，更强调思想性，力求做到通俗易懂，深入浅出。本书适合具有高中数学知识的普通读者学习逻辑学，特别地，可作为大中专学校素质教育层面的逻辑学入门教材。

书籍规格:

书籍信息归属:

逻辑是科学出版社于2016.3出版的中图分类号为 B815 的主题关于 哲理逻辑 的书籍。