逻辑学：从形式逻辑到非形式逻辑

　　本书通过分析亚里士多德和麦加拉-斯多噶学派的逻辑思想，厘定出传统逻辑的基本面貌；通过分析弗雷格和克里普克的工作，揭示现代逻辑的基本思想和发展脉络；通过对比传统逻辑和现代逻辑，揭示形式逻辑的核心机制和原则；通过回溯培根的归纳法和当代非形式逻辑的发展，分析了非形式逻辑研究的主要领域和特征；通过对比形式逻辑和非形式逻辑，来分析逻辑学的未来发展态势。关于形式逻辑和非形式逻辑的关系，一旦脱离开当下问题发生的具体社会语境，而从逻辑发展的历史的角度来审视，会看到另一种面貌。

　　杨红玉，女，河南南阳人，哲学博士，河南大学哲学与公共管理学院讲师，河南大学马佩逻辑研究中心执行主任。主要研究方向：现代逻辑，逻辑哲学以及逻辑与哲学。现为本科生开设逻辑导论和逻辑思想史等课程；为研究生开设西方逻辑史、语言逻辑和模态逻辑等课程。

前言 作为学科和科学的逻辑
上篇 形式逻辑
章 亚里士多德的命题理论
一 《范畴篇》中的命题理论
二 四谓词中的命题理论
三 《解释篇》和《前分析篇》中的命题理论
四 命题与真之载体
第二章 亚里士多德的推理理论
一 什么是推理
二 三段论的格和式
三 三段论的化归
四 三段论系统
五 逻辑学的研究对象和研究途径
第三章 麦加拉一斯多噶学派的逻辑思想
一 麦加拉学派与斯多噶学派
二 “Lekton”与逻辑学
三 悖论研究
四 蕴涵理论
五 “初等逻辑”与“非初等逻辑”
第四章 弗雷格的形式语言思想
一 概念与函数
二 量词与普遍性
三 含义和意谓
四 逻辑学与真
第五章 弗雷格的形式系统
一 初始符号
二 初始公理
三 传统逻辑和现代逻辑
四 逻辑研究与逻辑教学
第六章 现代模态逻辑的发展
一 模态逻辑的核心概念
二 现代模态逻辑的句法系统
三 可能世界语义学解释及其困境
四 模态形而上学的进展
下篇 非形式逻辑
第七章 培根的归纳法
一 《新工具》
二 归纳法
三 归纳逻辑
四 归纳逻辑是逻辑吗
第八章 现代非形式逻辑的兴起与发展
一 非形式逻辑及其发展概况
二 论证理论
三 谬误理论
四 新修辞学理论
参考文献