模态逻辑中的典范问题研究

当代逻辑哲学前沿问题研究

本书是一本深入系统研究20世纪70年代以来西方逻辑哲学研究最新成就的专著，史论结合，提出了一系列学术新见，具有很强的创新性和前沿性。 全书围绕当代广义逻辑哲学三大相互关联的核心主题“意义理论”、“真理...

模态逻辑中的典范问题研究

自1970年代以来，模态逻辑学与计算科学、语言学等相交互，得到了越来越多的关注，对其自身的理论研究也得到了充分的发展，形成了以完全理论、对偶理论及对应理论为主要模块的研究领域。典范问题源于完全性理论，与对...

逻辑学基础教程

本书是为高等学校逻辑学课程的教学而编写的通用教材，曾被列为普通高等教育“十一五”国家级规划教材。全书分上、下两编，上编为普通逻辑，介绍了概念、判断与演绎推理、逻辑的基本规律、归纳推理、类比推理与假...

直觉主义逻辑的语义基础

本书是关于直觉主义逻辑的语义基础展开了详尽讨论。作者对其中涉及到的一些基本概念进行了详尽的探讨，试图建立起直觉主义的构造性概念与经典数学对构造性的理解之间的关系，在直觉主义的几本观念上提出了一些...

质疑与重构 逻辑基础新论

本书基于悖论问题的考究，引入“规域律”、“规述律”、“规演律”、“介”概念、属涵推理（兼容并严格区别于传统演绎推理）、“逻辑性”等相当部分新理念，对传统逻辑规律及逻辑取值等内容进行大幅度改进，形成完整...

数字逻辑电路基础

本书全面介绍了数字电路的基本理论、数字系统中常用的电路及模块的工作原理、分析方法及设计方法。全书内容采用理论知识按需分步教学和理论与应用相结合的指导思想进行安排，共分为7章，各章均选用了较多的典...

同意的计算 立宪民主的逻辑基础

在书中，作者分析了立宪民主的逻辑基础问题，并试图建构一种规范理论来描述和解释社会用来协调各种利益冲突的手段。其基本假定是：方法论的个人主义、“经济人”和政治交换。作者把集体行动视为一种减少由纯粹的...

2015年MBA、MPA、MPAcc管理类联考逻辑零基础高分辅导

本书是为未经任何逻辑专门训练，即所谓零基础的考生提供的管理类联考逻辑测试考前辅导用书。编者是这一领域的资深专家，在对历年真题进行详尽分析的基础上，努力培养考生的日常逻辑思维能力，同时注重各类逻辑试题...

GCT必备工具书 英语词汇大全+数学、逻辑常考公式+语文常考基础知识 2014版

本书是GCT入学资格考试精编辅导丛书之一，是市场上一本率先面向GCT考生的、全面囊括GCT知识点的工具书。本书按照最新考试大纲的要求，系统、全面地讲解了GCT考试中英语的必备词汇、数学和逻辑公式以及语文常考...