本书的内容包括三个方面：(1)基于归纳逻辑视域的认知研究；(2)基于人工智能逻辑视域的认知研究；(3)基于中国古代逻辑的文化与认知基础研究。第一章到第十章主要讨论基于归纳逻辑视域的认知问题。以往的归纳逻辑研究主要聚焦于归纳逻辑相对于演绎逻辑在创新功能上的优势，力图借鉴演绎逻辑的方法实现归纳逻辑的形式化，但进展缓慢；本研

《管理类、经济类联考•老吕逻辑母题800练（第7版）》一书，是联考逻辑/数学/写作全能名师吕建刚精心打造的教辅图书。本书打破传统的学习方法，倡导“老吕母题学习法”，用“母题”搞透题型，使考生“通过做一道题，进而会做一类题”。本书稿分为母题精练和母题模考两部分。母题精练部分，重在逐个练习36个题型，本部分涵盖

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

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

涵义与指称的逻辑哲学研究

本书主要内容包括对因果推理的重新定义和研究，对概率演算的形式刻画和解释，对归纳悖论的哲学分析等，分别从不同的视角为科学发展提供了不同的逻辑机制，进而为科学知识创新提供了方法论支持。

本书是一部为高等院校实验逻辑学教学而编写的通用教材，是在该书版的基础上修订而成。全书共分为两编十六章：编“LPL(语言、证明和逻辑)软件介绍”分三章，主要介绍了本书所用到的软件--“塔斯基世界”，?第二编“实验逻辑学”包括四至十六章，分别介绍了运用该软件实现逻辑运算的原子语句及其逻辑、布尔联结词及其逻辑与证明方法、形式

本书严格按照最新《全国硕士研究生招生考试经济类专业学位联考综合能力考试大纲》逻辑部分的考试要求进行编写，并依循历年考试命题思路、方法和原则，帮助广大考生准确把握考试命题的新动向。深入挖掘考生的痛点、难点、易错点，不放过任何细节，不掩饰任何疏漏，结合作者日常答疑和授课，努力还原试题本质和规律，呈现考试所需的考点和命题思路

《逻辑学导论——推理、论证与批判性思维（第2版）》可作为大学通识课程教材。全书从推理、论证与批判性思维的角度，对逻辑学展开论述，侧重于推理与论证技能及方法的训练，注重于批判性思维能力的提升。内容分为论证逻辑、演绎逻辑和归纳逻辑三大部分。 《逻辑学导论——推理、论证与批判性思维（第2版）》也可作为管理类、经济类等研究生

“读书有什么用？出来还不是得给小学没毕业的老板打工？”“你知道他有多努力吗？”“你穿成这样不就是给别人看的吗？”“人家借鉴你的作品，是对你的认可！”为什么明知有些话是歪理邪说，你却无法反驳，只能默默咬牙，辗转反侧？你不理亏，为何词穷？《神逻辑》这本简明可爱的小书，助你迅速揪出逻辑漏洞，理清思路，表达更清晰，辩论更自信！