本书用公理化方法研究哲学的核心概念“真”，即将真视为一个不通过其他概念来定义的初始概念，通过一组公理与规则研究真的演绎系统，及其相关的结果。全书分为四个部分，第一部分是基础，简述了一些数学上预备性的记号约定，并概述了研究公理化真理论的某些动机。第二、三部分分别是类型化的真理和类型自由的真理，给出了公理化真理论及与之相关

本书按照预备知识、基础、进阶、一阶模态逻辑共分为四个部分。第一部分为读者准备了集合论、命题逻辑和一阶逻辑的基础知识。第二、三部分分别介绍了命题模态逻辑的形式语义、公理系统、表列系统和模态语义，以及模态逻辑的不变性理论、可定义性理论及有穷模型理论。第四部分介绍了简单一阶模态逻辑和复杂一阶模态逻辑。书中有大量的例子和练习，

西方逻辑在贵州的传播、发展既有辉煌的历程，也有坎坷的经历，既凸显了西方逻辑在中国传播、发展的共同性，又呈现出差异性。从学术史研究的维度看，西方逻辑在贵州传播、发展的历史，无疑是中华学术史宝库中的重要个案，同时也是贵州学术史研究的重要内容之一。通过考察贵州这一个案，揭示其发展规律及特点，总结得失，既可丰富中国逻辑史的研究

黑格尔的《逻辑学》是西方哲学史上最晦涩难读的著作之一。本书对《逻辑学》的基本思想进行了简要的、比较系统的概括和阐述。本书对于研究西方哲学的学生和教师曾经产生过巨大的影响。

本书旨在为所有愿意认真理性思考的青年学者系统性地解释确保思维和表达正确性的逻辑学。可以说逻辑学是每一位愿意认真理性思考者的必备工具。它的雏形是古希腊哲学家亚里士多德所锻造的形式逻辑。它是经过自十七世纪以来数百年演化以及融合了莱布尼茨、布尔、弗雷格、康托尔、哥德尔、塔尔斯基等杰出贡献的智慧产物。本书将向读者解释该系统工具

本书主要内容为管理类联考逻辑应试辅导用书，涉及参加MPA、MBA、会计硕士、工程硕士等几个专业学位综合能力考试科目的内容，具体包含逻辑推理和常识判断等逻辑应试历年真题解析。

本书是逻辑考试辅导专家、名师杨武金教授，编写的一本供管理类联考综合能力逻辑考试考生复习的教材，目的是为考生了解历年真题，获取高分。管理类联考逻辑试题内容从根本上可以分为三部分：形式推理、非形式推理和论证分析。本书包含这三方面的内容，通过附带真题的讲解，并配套编写模拟练习，为考生指明方向。

本书主要内容为管理类联考逻辑应试辅导用书，涉及参加MPA、MBA、会计硕士、工程硕士等几个专业学位综合能力考试科目的内容，具体包含逻辑推理和常识判断等，试卷有50道逻辑推理试题结构，本书主要是进行考前逻辑知识讲解掌握，对考点进行分类精讲，同时配以适当的练习题进行讲解训练。

我国逻辑学家、哲学家金岳霖曾说：逻辑是生活中找寻并满足其愿望的实际工具，没有逻辑，我们的生活将十分沉重，以致几乎是不可能的。很多人都认为逻辑学宽广且枯燥深奥，不容易学习更不容易运用。本书作者认为，逻辑在生活中无处不在，逻辑时刻服务于我们的生活，即便很多人对其没有清楚的概念。作者在本书以碎片化的文本形式、贴近生活的案例和

逻辑力是人类大脑理性分析和判断的基础，对于成人有助于更好地解决日常生活中的复杂实际问题，对于学生有助于准确快速解决数理化等学科问题。不管你天生聪明与否，逻辑力都可以通过后天的学习和训练得以提升。这本书列举了45道题目，它们非常有趣却又能让人脑洞大开，需要用严密的逻辑推理以及灵光一现的反常识灵感才能解开。作者也提供了独辟