大学逻辑教程（修订）
点此进入淘宝搜索页搜索分類: 图书,哲学/宗教,哲学,逻辑学,
作者： 陶景侃，任秋云，颜华东，邱德钧编著
出 版 社： 兰州大学出版社
出版时间： 2001-5-1字数：版次： 2页数： 431印刷时间：开本： 大32开印次： 1纸张：I S B N ： 9787311005436包装： 平装内容简介
《大学逻辑教程》试图适应逻辑教学现代化和现代逻辑实用化的双重要求，吸取传统逻辑的精华，通过自然推理的桥梁，一方面使逻辑理论现代化，另方面把逻辑理论引向实际应用，构造
成协调的、完整的逻辑学体系。
《大学逻辑教程》试图适应高等学校中逻辑教学的不同要求，使得章节可以灵活组合，使用于不同的专业和不同的程度的学员。第一至四章讲思维形式的结构，是以后各章的预备知识；第
五至七章借不十分严格的自然推理，讲思维形式的规律，强调规律的应用；第八至十章用公理化方法整理思维形式的规律，侧重于经典逻辑规律和几种模态逻辑规律的理论研究；第十一章讲归
纳逻辑。这一体系，适用于哲学等需要完整掌握逻辑基础的专业。在目前情况下，其他文科专业可以使用前七章和第十一章；从中省略加*号的部分，适用于大学专科；这一组合的特点是强调自然推理和逻辑规律的应用。如果逻辑教学界达到共识，也可以这样组合使用教材：专科读前五章和第八、十一章，但省略加*号的部分；本科加读有*号的部分和第九章；其余各章留作自学参考；这一组合的特点是强调逻辑规律的理论研究，更大地发挥学生的学习积极性，把规律的应用留待学生自行研究。本教材不仅适用于哲学和文科专业，也可在理工科专业中用作数学逻辑导论，它强调了数学逻辑的历史渊源。
目录
序
编著者序
第一章绪论
第一节逻辑学的发展简况
第二节形式逻辑的研究对象
第三节学习形式逻辑的意义和方法
〔习题〕
第二章概念
第一节词项和概念
第二节概念的种类
第三节概念外延问的关系和运算
第四节 集合和集合的运算
第五节定义和划分
〔习题〕
第三章命题
第一节命题和命题形式
第二节直言命题的传统理论
第三节关系命题的基础知识
第四节基本的复合命题
第五节基本的复合命题形式和真值表
第六节复杂的复合命题及其形式
第七节简单命题的谓词公式
〔习题〕
第四章演绎推理和证明的结构
第一节演绎推理的结构
第二节演绎证明的结构
第三节关于证明的传统规则
第四节关于反驳
〔习题〕
第五章思维形式规律总论
第一节思维形式规律的概述
第二节同一律
第三节矛盾律
第四节排中律
〔习题〕
第六章复合命题的自然推理
第一节联言推理和选言推理
第二节假言直言推理
第三节纯假言推理
第四节假言联言推理和二难推理
第五节常真蕴涵式和常真等值式
第六节命题逻辑的自然推理
〔习题〕
第七章简单命题和谓词公式的自然推理
第一节直言命题的直接推理
第二节三段论
第三节 省略三段论和复合三段论
第四节关于三段论的公理
第五节关系命题的推理
第六节谓词公式的自然推理
〔习题〕
第八章命题演算
第九章谓词演算
第十章模态逻辑
第十一章归纳与假说
书摘插图
第一章 绪论
“逻辑”一词是英文Logic的音译，它源于古希腊语。在现代汉语中，“逻辑”已成为多义词。它可指事物发展的客观规律，如“中国革命的逻辑”；可泛指思维规律，如“辩护辞要有逻辑性”；可指特殊的理论、观点，如“强盗的逻辑”；可指研究思维形式及其规律的科学，即逻辑学。我们这里的“逻辑”是指逻辑学。逻辑学还曾被称为“理则学”、“论理学”、“名学”和“辩学”。
第一节 逻辑学的发展简况
现在有许多类型的逻辑学，它们都论及思维形式及其规律，但相互之间又有很大的区别。这里讲一点历史，以便于了解本书要讲什么样的逻辑学。
一、逻辑学的产生
逻辑学是古老的科学。两千多年前，古代中国、印度和希腊，都研究了许多逻辑问题，产生了逻辑学。
中国在春秋战国时期，由名实关系的讨论，形成了“名辩”的逻辑思想。诸子百家中，公孙龙、后期墨家和苟况的逻辑思想比较丰富。公孙龙属于名家，著《白马论》、《指物论》、《通变论》、《坚自论》与《名实论》，主要讨论关于概念的问题。《墨子》中的《经上》、《经下》、《经说上》、《经说下》、《大取》、《小取》六篇，据认为是后期墨家所著，统称《墨经》，亦称《墨辩》。《墨经》研究了名、辞、说，大致当于概念、命题、推理。关于推理，又列举出辟、侔、援、推等方式。《墨经》对逻辑学作出了十分重要的贡献。苟况在其《苟子》一书的《正名》、《解蔽》等篇中，涉及了名、辞、辩，主要是讨论关于概念的问题。东汉末年和三国时代，论辩之风又起，因而有人研究了先秦名辩论争的各种问题及有关著作，取得了一些成果，如鲁胜的《墨辩注》。从公元六世纪起，随着印度佛教的东传，古代印度的逻辑学即因明，开始传人中国，唐代的玄奘翻译和讲授佛学的因明经典，对因明在中国的传播和发展作出了贡献。明末李之藻与天主教士傅汛际合译葡萄牙高因盘利大学的逻辑讲义《亚里士多德的辩证法概论》，书名译为《名理探》，首次引入欧洲古代和中世纪的逻辑学。
……
