更新时间:2022-04-24 15:21
《大学逻辑导论》是2003年人民出版社出版的图书,作者是郭桥。
现代逻辑是指19世纪中以后发展起来的现代形式逻辑。传统逻辑与现代逻辑有联系,这不仅指后者是前者的发展,也指两者对象与内容的相关。传统逻辑又与现代逻辑有别。它们的重要区别是;传统逻辑主要运用自然语言,也有一些公理方法的因素;现代逻辑使用的则是符号语言,运用了形式化的公理方法和某些数学方,前者由于运用自然语言,有某些缺陷,但同日常的经验思维有一定的亲和力;后者由于使用符号语言和数学方法,所以较这前者更为精确,研究的内容也更为宽泛和深刻,在现代科技、特别是计算机科学中的有所应用。可以说,在不同历史和文化背景下产生的传统逻辑与现代逻辑,既有区别的一面,也有相联与互补的一面。本书设置的内容,符合逻辑科学自身发展的实际进程和规律,可以帮助学生全面、深入地掌握逻辑学的基本知识,有利于培养学生的逻辑思维能力。
序
前言
上篇
第一章绪论
第一节什么是逻辑学
第二节逻辑不的性质和作用
第三节逻辑简史
习题
第二章概念
第一节概念的概述
第二节概念的种类
第三节概念间的关系
第四节概念的限制与概括
第五节定义
第六节划分
习题
第三章简单命题及及其推理(上)
第一节命题与推理概述
第二节性质命题
第三节性质命题
习题
第四章简单命题及其推理(中)
第一节三段论概述
第二节三段论的规则
第三节三段论的格与式
第四节三段论的省略式与复合三段论
习题
第五章简单命题及其推理(下)
第一节什么是关系命题
第二节关系的逻辑性质
第三节关系命题推理
习题
第六章复合命题及其推理(上)
第一节联言命题
第二节选言命题
第三节假言命题
第四节负命题
习题
第七章复合命题及其推理(下)
第一节联言推理
第二节选言推理
第三节信言推理
第四节负命题推理
第五节二难推理
习题
第八章模态命题及其推理
……
下篇
主要参考书目