本书面向数学系和哲学系的研究生或高年级本科生，是模型论的进阶内容，读者需要有一定的模型论基础和抽象代数基础。 第1章回顾了诸如可定义集、型、紧致性、饱和性、齐次性以及量词消去等模型论的基本概念。 第2~4章分别介绍了强极小理论、ω-稳定理论以及ω-稳定群理论，属于纯粹模型论。在强极小理论中，基于预几何的维数理论是核

本书涉及逻辑基础，概念，联言命题和选言命题，假言命题，直言命题和模态命题，论证逻辑解题方法，综合推理等内容及习题汇总。

本书阐述了塔斯基逻辑后承语义定义的产生背景、基本适当性条件与不足，剖析了其所面临的必然性、形式性和逻辑性挑战，创新性地从基本的人类状况出发给出了基于同构不变标准的一般不变性解决方案，并在评析、回应学界对其逻辑后承语义定义及这一标准的批评过程中，澄清了一些混淆和误解，讨论了其定义和标准在哲学和逻辑学上的重要意义。本书还包

本书使用文献研究法讨论了一个数理逻辑问题：弗协调集合论是否优于经典集合论。书稿从张清宇先生的弗协调命题逻辑出发构造一阶谓词系统和集合论系统，并构造模型证明其非平凡性，结果证明现有的弗协调集合论不优于经典集合论。本书同时还用模型证明了弗协调集合论的非平凡性，在一定意义上拓展了其应用领域，实现了洛韦和塔拉法德的猜想，将广义

研究中国古代逻辑的绝大多数思路，或是人物逻辑思想研究，如“墨子逻辑”，或是史的研究，如“先秦逻辑史”。本书的特点是对中国古代逻辑学整体而系统的概论，全书分六章：第一章“概论”，简述中国古代逻辑史；第二章“名”讲概念，第三章“辞”讲命题，第四章“说”讲推理，第五章“辩”讲辩论，对应西方古典形式逻辑体系的四大部分；第六章进

本书紧扣业务部门指定的文化科目考试大纲，科学编排知识框架，并在章节后设置典型例题和详细解析，确保了复习内容的针对性和实用性。本书下设八个章节，分别为数字推理、数学运算、图形推理、定义判断、类比推理、逻辑判断、资料分析、综合训练。前七章每章首先对知识点进行详细梳理，帮助考生找准考点、理解考点、掌握考点，再辅以典型例题，通

“领导读库”丛书秉承“荟萃领导艺术、弘扬领导文化、创新领导思想、提升领导能力”的组稿宗旨，用一个个通俗易懂的故事，为广大领导干部说清深邃的领导哲理。每册一个主题，从古至今、从中到外，文章长短结合，用事实说理，摒弃说教、注重可读性。丛书选材涵盖古今中外，旁征博引，说理透彻，哲理性强。切入点新颖有趣，摒弃说教，以小见大，可

本书为德国当代著名的现象学家沃尔夫哈特·亨克曼文集，为十六篇研究舍勒的论文，涵盖了舍勒的现象学、知识社会学、哲学人类学三大主题：第一部分讨论了舍勒现象学的基本理论，包括现象学史的概念、意向性问题、先天学说、理性与情感、舍勒对柏格森的接受等话题；第二部分涉及舍勒新开辟的知识社会学研究领域、文化解释学、现实性

本书基于日常推理立场，较为深入地研究和分析了自然语言中的“若，则”句，提出了集真值性和推演性的日常蕴涵。以日常蕴涵理论为基石，构建了日常（推理）逻辑（主要包括命题逻辑公理系统GM和一阶谓词逻辑系统W），初步实现了传统逻辑思想与现代逻辑技术的系统性、有机性结合，并可能根除两个长期困惑逻辑学界的棘手问题：经典逻辑与日常推理

《俞吾金全集》共20卷，将俞吾金教授的全部作品分为生前出版的著作，生前发表的中文文章、外文文章和遗作三个部分，汇聚了俞吾金教授一生的学术精华，是其哲学思想的全面体现。全集不仅收录了俞吾金教授在哲学基础理论、马克思主义哲学、外国哲学、国外马克思主义、当代中国哲学文化和美学等诸多领域的学术专著,还包含了俞吾金教授生前发表的