本教材服务于浙江省精品课程“逻辑学导论”的教学，选用鲜活生动的例子讲解基本的逻辑方法和逻辑原则，展示“求真、明理、守则”的逻辑精神在现实生活中的体现。主要内容有：整体性介绍逻辑学的研究对象、基本规律、功能定位和历史演进；形式逻辑部分重点介绍经典逻辑的基础知识，包括命题逻辑、谓词逻辑和部分非经典逻辑的内容，正规模态逻辑的语义、系统和时间逻辑；非形式逻辑部分重点讲解定义、论证和谬误相关的知识；同时对归纳逻辑和语用逻辑等与现实生活密切相关的逻辑主题进行专章介绍。教材还配有视频、拓展资料、习题参考答案等二维码资源，丰富了图书形态，更有利于读者深入学习。

第一章绪论
第一节逻辑的研究对象
第二节逻辑的基本规律
一、同一律
二、矛盾律
三、排中律
第三节逻辑的功能定位
一、逻辑是一门基础性学科
二、逻辑的功能
第四节逻辑的历史演进
一、逻辑的发源地
二、传统逻辑
三、现代逻辑
练习题
第二章命题逻辑(一)
第一节命题和推理的概述
一、命题、判断与语句
二、命题的分类
三、推理及其有效性
第二节联言命题及其推理
一、联言命题
二、联言推理
第三节选言命题及其推理
一、选言命题
二、选言推理
第四节假言命题及其推理
一、充分条件假言命题及其推理
二、必要条件假言命题及其推理
三、充分必要条件假言命题及其推理
第五节负命题及其推理
一、负命题
二、复合命题的负命题
三、负命题的等值推理
第六节二难推理
一、什么是二难推理
二、二难推理的形式
三、二难推理的应用
第七节其他复合命题推理
一、假言联言推理
二、假言连锁推理
三、假言易位推理
四、归谬推理
五、反三段论
练习题
第三章命题逻辑(二)
第一节真值联结词
一、真值联结词概述
二、5个基本的真值联结词
第二节真值形式
一、什么是真值形式
二、真值函项
三、重言式
第三节真值表方法
一、列真值表的方法
二、真值表的判定作用
三、简化真值表方法
第四节范式及其应用
一、范式
二、求范式的方法
三、简化范式和优范式
四、范式的应用
练习题
第四章命题逻辑(三)
第一节命题逻辑自然推理概述
一、初始符号
二、形成规则
三、推演规则
第二节推理规则及其应用
一、推理规则
二、推理规则的应用
第三节置换规则及其应用
一、置换规则
二、置换规则的应用
第四节条件证明规则及其应用
一、条件证明规则
二、条件证明规则的应用
练习题
第五章谓词逻辑(一)
第一节直言命题
一、直言命题及其组成
二、直言命题的分类
三、直言命题的真假
四、直言命题间的真假关系
五、直言命题的文恩图解
六、词项的周延性
第二节直言命题的直接推理
一、对当关系推理
二、命题变形推理
第三节三段论
一、对三段论的一般考察
二、三段论的规则
三、三段论的格与式
四、运用文恩图解方法检验三段论的有效性
五、三段论的还原
六、三段论的带证式
练习题
第六章谓词逻辑(二)
第一节谓词逻辑的基本概念
第二节直言命题符号化
第三节关系命题
一、关系命题的结构成分
二、关系命题的形式
三、带等词的命题形式
第四节否定式的量化式与量化式的否定式
一、否定式的量化式
二、量化式的否定式
第五节普遍有效性和可满足性
一、普遍有效式
二、不可满足式
三、可满足式
练习题
第七章谓词逻辑(三)
第一节谓词逻辑的推理规则
一、量词销去与引入的规则
二、量词互换的规则
三、“引进主词假设”的规则
第二节带量词的关系命题推理
第三节转换判定方法
一、全称式转换为合取式
二、存在式转换为析取式
第四节解释方法
练习题
第八章模态逻辑
第一节真值模态命题及其推理
一、什么是真值模态命题
二、真值模态命题间的对当关系
三、真值模态推理
第二节规范命题及其推理
一、什么是规范命题
二、规范命题间的对当关系
三、规范推理
第三节时态命题及其推理
一、时态命题
二、时态命题间的对当关系
三、时态推理
练习题
第九章归纳逻辑
第一节归纳逻辑概述
一、含义
二、基本形态
三、发展过程
第二节枚举归纳推理
一、枚举归纳推理的含义
二、枚举归纳推理的形式
三、枚举归纳推理的有效性
第三节探求因果联系的逻辑方法
一、求同法
二、求异法
三、求同求异并用法
四、共变法
五、剩余法
第四节类比与隐喻
一、类比推理
二、隐喻认知
第五节概率推理和统计推理
一、随机事件与概率
二、统计推理
第六节溯因推理
一、概念界定
二、认知特性
练习题
第十章语用逻辑(一)
第一节语境概念的提出
一、国外学者的语境观
二、国内学者的语境观
三、语境的特点
第二节语境的分类
一、言内语境与言外语境
二、内涵语境与外延语境
三、真实语境与虚拟语境
第三节语境的实质——认知语境
一、认知语境的基本特征
二、认知语境的建构过程