唐晓嘉逻辑学导论

《唐晓嘉逻辑学导论》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、《逻辑学导论》教唐晓嘉目录第一讲绪论第一节逻辑学的研究对象1．1关于“逻辑”一词1．2逻辑学是研究推理论证的学问1．3演绎与归纳第二节形式化——逻辑学研究方法的特点2．1命题、推理的形式与内容2．2推理的有效性只同形式相关2．3逻辑学研究的形式化特征第三节逻辑学理论的意义及其与相关学科的关系3．1逻辑学理论的重要意义3．2逻辑学与思维科学的关系3．3逻辑学与语言学的关系第二讲词项第一节词项概述1．1什么是词项1．2词项的逻辑特征1．3词项与语词、概念第二节词项的种类2．1单独词项与普遍词项2．2集合词项

2、与非集合词项2．3实词项与虚词项1792．2正词项与负词项第一节词项之间的关系3．1相容关系3．2不相容关系第二节明确词项的逻辑方法4．1概括与限制4．2划分4．3定义第三讲传统直言命题逻辑第一节命题概述1．1什么是命题1．2命题的逻辑特征1．3命题与语句、判断第二节传统直言命题2．1传统直言及其逻辑结构2．2直言命题的分类2．3直言命题的周延性2．4A、E、I、O之间对当关系2．3传统直言命题的文恩图解第三节直接推理3．1直言命题推理概述3．2对当关系推理3．3变形推理第四节三段论4．1什么是三段论4

3、．2三段论的规则4．3三段论的格4．4三段论的式4．5非标准形式的三段论179第三章复合命题与命题公式第一节复合命题概述1．1复合命题及其逻辑结构1．2复合命题的逻辑特征第二节复合命题的几种基本形式2．1负命题2．2联言命题2．3选言命题2．4条件命题2．5等值命题第三节命题公式与真值函数3．1命题公式3．2命题公式与真值函数第四节命题公式之间的逻辑等值关系4．1命题公式之间的逻辑等值4．2几个重要的重言等值式4．3命题公式的相互定义第四章命题逻辑第一节基本的有效推理式1．1有效推理与无效推理1．2基本

4、的有效推理式第二节推理有效性的形式证明2．1推理有效性与命题演算2．2有效推理的形式证明2．3基本推导规则与等值替换规则2．4条件证明规则2．5间接证明规则2．6证明重言式第三节无效推理的判定1793．1用真值表证明推理的无效性3．2用归谬赋值法判定推理的有效与无效3．3证明公式集合的协调性第六讲量化逻辑第一节简单命题的逻辑结构1．1个体词和谓词和单称命题1．2谓词模式、命题函数与量化命题1．3量化命题公式1．4量化命题公式的真假条件第二节量化命题的形式化2．1A、E、I、O命题的形式化2．2一般简单命

5、题的形式化2．3多重量化命题第三节量化推理规则3．1全称例示规则（简记为US）3．2存在概括规则（简记为EG）3．3全称概括规则（UG）3．4存在例示规则（ES）第四节无效量化推理的判定4．1量化公式的真值函项展开式4．2无效量化推理的判定第七讲规范逻辑初步第一节模态命题1．1模态词与模态命题1．2模态命题的逻辑性质第二节规范命题2．1规范命题概述2．2规范命题的逻辑形式2．3规范命题的逻辑特征第三节规范推理1793．1规范对当关系推理3．2复合规范命题的推理第八讲逻辑思维的基本规则第一节同一律1．1同

6、一律内容和要求1．2违反同一律要求产生的逻辑错误1．3同一律的作用第二节矛盾律2．1矛盾律内容和要求2．2违反矛盾律要求产生的逻辑错误2．3矛盾律的作用第三节排中律3．1排中律内容和要求3．2违反排中律要求产生的逻辑错误3．3排中律的作用3．4排中律与矛盾律的区别第一讲绪论在本讲中我们要讨论逻辑学的研究对象，逻辑学研究方法的特点，逻辑与一些相关科学的关系，以及逻辑学的学科性质及其重要应用价值。通过本章学习使我们对逻辑学这门学科的研究内容有一个基本概念。第一节逻辑学的研究对象1．1关于“逻辑”这个词179

7、在汉语中“逻辑”是一个外来词，它是通过音译的方法从西文引入汉语的。在拉丁文、英文和德文中它分别是“logica”、“logic”和“logik”。而西文中的这些词都来源于古希腊文的“λσγοζ”，它有语言、说明、比例、尺度等多种涵义。亚里士多德曾使用这个词来表示事物的定义或公式等。到了公元1世纪，学者们就用这个词来表示一门与论证辩论等许多问题相关的学问，而亚里士多德的三段论被看作这一学问的核心内容。“逻辑”是一个外来词，这并不意味在中国思想发展史中就没有研究相关理论的学问。春秋战国时期的著名学者公孙策的

8、“白马说”，墨子的“墨经”等都反映出在我国古代学者们在这方面的研究成果，它们构成了中国古代逻辑思想研究的精髓。在中国哲学史上，这些理论研究的内容称作“名学”或“辩学”。汉字作为一种表意文字，“名学”“辩学”这些词在表意上是含混的，如果顾名思义，这些词显然不能准确表达出逻辑学作为一门科学理论的研究内容。因此近代学者们沿用西方的做法，引入音译词“逻辑”，对于逻辑学的涵义则用定义进行规定。尽管是一个外来词，“逻辑”在我们日常运用中仍然表现为一个多