数理逻辑基础：一阶逻辑与一阶理论

数理逻辑基础 一阶逻辑与一阶理论

本书介绍数理逻辑的基础部分。

司法逻辑能力基础

逻辑学基础

本书阐述了逻辑学的一般理论，是对《逻辑学基础》94版的修订。

新编普通逻辑学基础

本书对普通逻辑的知识作了全面讲解，引用各种趣味性较强的材料来阐述抽象的逻辑问题。

逻辑学基础教程

本书主要讲述了普通逻辑的概念、判断与演绎推理、逻辑的基本规律、归纳推理、类比推理、类比推理与假说演绎法、论证、一阶谓词逻辑、模态逻辑、会话、辩论等内容。...

编程逻辑基础教程

本教材讲解内容比较多、涉及面比较广。涉及到了结构程序设计，面向对象程序设计和软件工程等领域的内容。同时，包括了一些操作性很强的东西，比如用Basic和Visual Basic进行程序设计。...

阿多诺“否定的辩证法”研究

本书研究阿多诺的“否定的辩证法”，即批判否定和实事求是的精神。

搜索学 “找”的辩证法

搜索学是作者创立的一门学问，立足于地学实践，展开于哲学思维，是地学实践与方法论的系统总结，是唯物辩证法在找矿中的生动体现。

论现代和后现代的辩证法 遵循阿多诺的理性批判

本书由作者的四篇讲演稿构成：《真理、表象、和解》、《论现代和后现代的辩证法》、《艺术和工业生产》、《阿多诺》。