从古典逻辑到检证逻辑

作为哲学的数理逻辑

作为现代哲学主流形式的分析哲学与作为现代逻辑基础的数理逻辑有着共同的起源。然而，随着各自的发展，两者自上世纪中叶以来逐渐分道扬镳。本书将展示分析哲学与数理逻辑在它们的“蜜月期”中共同取得的重要成...

现代逻辑与逻辑比较研究

数理学派和数理经济学

西方经济伦理的实证研究 基于数理逻辑与演化实验的视角

半符号逻辑 传统逻辑与符号逻辑的桥梁

本书共分7章，探索构件的一种新的逻辑推理体系——半符号化推理演绎体系。该体系集形式逻辑和数理逻辑二者之所长，在保留形式逻辑推理、演绎直观性的前提下，借助数理逻辑的符号演算体系进行逻辑推理。...

数理逻辑

本书是国内介绍数理逻辑基本知识的最新读本。著者针对文科学生学习数理逻辑所遇到的困难，尽可能结合传统逻辑来介绍数理逻辑的基础知识，着重介绍逻辑演算的部分内容；对其中的自然推理系统做了详细介绍，对公理系...

归纳逻辑 北京市逻辑学会首届年会归纳逻辑讨论会论文汇编

从形式逻辑到先验逻辑 胡塞尔逻辑学思想研究

本书比较完整而系统地探讨了胡塞尔逻辑学思想的发展历程。

《形式逻辑》、《普通逻辑》习题解答