最新《逻辑学》完整版笔记整理1资料.docx
《最新《逻辑学》完整版笔记整理1资料.docx》由会员分享，可在线阅读，更多相关《最新《逻辑学》完整版笔记整理1资料.docx（33页珍藏版）》请在冰豆网上搜索。
最新《逻辑学》完整版笔记整理1资料
第一章绪言
第一节“逻辑”的含义
一、逻辑的词源
1.逻辑一词源出于希腊文的“逻各斯”（logos，复数形式是logoi）。
·古希腊的哲学家赫拉克利特据说有专论逻各斯的著作《逻各斯》。
·逻各斯的基本词义是言辞、秩序和规律。
言语是这一语词的原创义，然后在此基本词义基础上派生出理性、理想、推理论证等词义。
2.逻各斯演变为“逻辑”一词
·最先是由斯多葛学派使用;看作是由论辩术和修辞学两部分构成的理论。
·古罗马和欧洲中世纪的逻辑学家也在这种意义上来看待“逻辑”一词。
·其后，逻辑一词的含义就一直和推理与论辩的方法和原则相关。
3.逻辑一词传入中国
·严复开始，“按逻辑此翻名学。
其名义始于希腊，为逻各斯一根之转”.
·严复翻译的时间大约在19世纪末;
·再过十多年后，由章士钊正式在汉语中定名，作为讨论思维、讨论推理的规范和秩序的学问
4.为什么logic要翻译为逻辑？
逻辑学是有点特殊的学科。
特殊在什么地方？
学科名的特殊和学科内容的特殊。
中国历史上和逻辑对应的学科?
逻辑究竟研究什么？
二、什么是逻辑？
1.逻辑是一门和方法、原则、规范紧密相关的人文学科。
她探索和研究的是我们进行推理（reasoning，inference）时应该使用的方法、技巧、标准和原则。
逻辑是一门讲道理的学科。
逻辑总是和语言相关。
逻辑总是和论证证明推理相关。
p2
2.三个方向的推理
追寻历史：
一个事件出现了，我们寻求其产生的原因，案件、历史、文物等，向后的推导。
确定目标：
未来可能出现的事件，这是向前的推理。
演绎推理：
没有时空条件的推理，数学和逻辑。
几何证明和数学计算。
第2节逻辑历史简述
1、古典逻辑
1.古希腊哲学家亚里士多德公认为是逻辑学之父。
2.亚里士多德创立逻辑学科的标志是他所撰写的逻辑专著，这些讨论逻辑问题的专著有《范畴篇》、《解释篇》、《分析前篇》、《分析后篇》、《论辩篇》和《辩谬篇》，这些篇章后来合编为《工具论》一书。
3.亚里士多德的三段论逻辑（第四章）
4.斯多葛学派的逻辑
·亚里士多德是现代形式逻辑的创始人，斯多葛学派稍后于亚里士多德，大约晚2个世纪。
他们创立了命题逻辑雏形。
（第三章）
·就形式逻辑学科而言，这两大逻辑学派都应该看作是现代形式逻辑的祖先。
Formallogic
希腊：
亚里士多德逻辑学
5.逻辑的三大源流中国：
名辩学，墨子，公孙龙子
印度：
佛教因明学，玄奘
二、近代逻辑（主要是以下几位哲学家的工作）
·英国哲学家培根（1561年-1626）：
年归纳逻辑（经验论哲学家）
·法国哲学家笛卡儿（1596年-1650年）——
强调演绎逻辑的重要性（唯理论哲学家）、知识的两大来源：
直觉和演绎
·德国哲学家莱布尼咨（1646年-1716年）——普遍语言的设想
（莱布尼兹简介：
莱布尼兹是17、18世纪之交德国最重要的数学家、物理学家、哲学家和逻辑学家，一个举世罕见的科学天才。
他博览群书，涉猎百科，对丰富人类的科学知识宝库做出了不可磨灭的贡献。
）
三、逻辑学的现代发展
布尔（英国人）（1815-1864）——类演算，布尔代数
弗雷格（德国人）（1848-1925）——《概念语言》（一种普遍语言）
罗素和怀特海（英国人）（1872-1970）（1861-1947）——《数学原理》
皮尔斯（美国人）（1839-1914）——关系逻辑
布尔的研究大致可分为逻辑和数学两部分．他在数学上的成就是多方面的．但在逻辑方面，他的主要贡献就是用一套符号来进行逻辑演算，即逻辑的数学化．大约200年以前，G．W．莱布尼茨（Leibniz）曾经探索过这一问题，但最终没有找到精确有效的表示方法．因为它牵涉到改进亚里士多德（Aristoteles）的工作，而人们对于改进亚里士多德的工作的尝试总有点犹豫不决．布尔凭着他卓越的才干，创造了逻辑代数系统，从而基本上完成了逻辑的演算工作.。
布尔使逻辑学从传统走向现代。
第3节语言，思维和逻辑
1、理性和逻辑
理性（reason）。
而英文的理性一词取其行为动词的含义，就变成了推理（reasoning）。
理性就表现为我们人类的推理能力，正是有推理能力这一点，人类才和没有理性思维能力的动物区分开来。
理性的理论方面就在于：
要把我们的信念建立在证据上，而不是建立在愿望、成见或传说之上。
按照这个论题，一个有理性的人就同一个审判官或一个科学家是一样的人。
人的认识分为理性认识和感性认识。
理性认识阶段，也就是我们所讲的思维，思维是对对象的理性认识。
罗素著《真与爱—罗素散文集》。
二、自然语言和人工语言
古典逻辑使用自然语言（又称日常语言，是指人们在日常生活中、一定的语言范围中所使用的某种民族语言。
）
现代逻辑使用人工语言（即指人们根据特殊需要而自觉创造的符号或符号体系，其根本属性是人工制造），第三章和第四章讲到的逻辑就是一种人工语言，数学物理化学等学科使用的语言也是一种人工语言。
这种语言比自然语言更精确，可以避免自然语言的歧义与模糊。
第2章逻辑思维的基本规律
第1节概述
1、保持思维确定性的基本规律
·逻辑的基本规律是指人们在运用各种思维形式进行思维时所必须遵守的起码的逻辑准则。
·适用于一切理性思维；所以说是普遍有效的规律
·概括了逻辑思维的基本特征，思维确定性或者逻辑性（条理和秩序性）
二、逻辑规律的三同一：
同一时间，同一关系和同一对象
·逻辑基本规律的经典论述
·逻辑基本规律的哲学思考
·理解逻辑规律的知识背景：
逻辑和语言的对应
3、逻辑基本规律的经典论述
1、同一律：
在同一思维过程中，每一思想的自身都具有同一性，每一思想都必须与自身保持一致。
2、矛盾律：
同一事物，不可能在同一时间内既存在又不存在，也不允许有以同样方式与自身对立的东西。
3、排中律：
同样地，在相互矛盾的判断之间不允许有任何居间的东西，但必须是对同一个东西的同一方面予以肯定或否定。
如果我们首先把真实与虚假加以规定。
四、思维规律的哲学思考
·唯心论，唯物论；
·形而上学，辩证法；
·约定论和反映论；语言规定还是逻辑规定？
·思维的基本要求，如同公理一般的东西，但也是可以质疑的，质疑的结果不是否定，而是换一个思路，放在一个更可以想象的范围之内。
·牛顿力学和相对论，欧式几何和非欧几何。
五、理解逻辑规律的知识背景
1、语词（单词）、语句（陈述）和句组（句群）
‖‖‖
概念（词项）、命题（判断）和推理（论证）
·概念的一纸两面：
内涵和外延；命题的一纸两面：
意义和真假；
·两种推理：
有效的推理和非有效的推理
·为了更高的抽象，为了去除自然语言的多义，也为了表达式的简洁和经济，我们在这里用大写英文符号ABC…,表示任意概念或者命题。
2、逻辑不存在清规戒律
对逻辑来说不存在清规戒律，每个人都可以构造自己的逻辑，即他自己的语言形式，只要他愿意，对他的唯一要求是：
如果他想讨论这种逻辑，那么他必须清楚他的方法，并给出语法规则，而不是给出哲学依据。
卡尔那普。
第2节同一律
·思想必须与自身一致，我们所有的确信也必须彼此一致。
《柏拉图全集.菲多篇》
·任何真实的事物，必定在任何方面与它自身一致。
《亚里士多德.工具论》
1、同一律的表述
A=A：
数学表述；A是A：
变量和；A→A：
逻辑连接词
·思维确定性的标志；
·自然语言的模糊需要这样一个规则来保证语言和思维的规定性和准确性。
2、同一律的两类情形
·在同一个思维过程中，必须保持概念自身的同一；否则就会出现“混淆概念”或者“偷换概念”的错误；p17
（混淆词项：
指在同一思维过程中，无意地将两个内涵与外延不同的词项混淆。
偷换词项：
指在同一思维过程中，有意地把两个不同的词项混为一谈。
）
·在同一思维过程中，必须保持论题自身的同一；否则就会犯“转移论题”或者“偷换论题”的错误。
（转移论点：
指在思维过程中不自觉地用另一个论点代替了原来的论点。
偷换论题：
指故意将一个论题转换为另一个论题。
）
第3节矛盾律
1、矛盾律的表述
A≠﹃AA不是非A﹃（A∧﹃A）
思维确定性最重要的标志；思维需要这样一个规则来保证思维的逻辑性，一致性和准确性
（反证法和归谬法）
2、用归谬法证明物理定律（Eg：
伽利略的实验可以用推理来说明这个结论）
①假定——我们要证明命题p”重快轻慢”为假（不成立），现在假定﹃p”重快轻慢”为真（成立）。
②在假定基础上的推理——现在问：
把一重一轻的东西放在一起下落，它是快还是慢？
矛盾律的要点：
自相矛盾（p20，例子）
第四节排中律
1、排中律的表述
A或者非A；A∨﹃A；
2、二值思维的基本要求；逻辑论证需要这样一个规则来保证推导的有效进行。
矛盾律的另一种表述方式。
互相矛盾的两个命题之间，没有第三种取值可能性。
（反证法和归谬法）
3、排中律的要点——
在一般的语言表述中很少违反排中律。
因为我们的日常语言很少仅是正反两方面，只有逻辑和数学是把很多符号归为两方面。
模棱两可的规定不严格。
但传统逻辑一直这么做，就延续下来了。
*三个规律之间的关系
一、用现代逻辑的符号表示这些规律，它们都属于有效公式：
A→A≡﹃（A∧﹃A）≡A∨﹃A
二、同一律是就一个语言对象而言的，语言对象在一个时间区间之中；矛盾律是就两个语言对象而言的，几乎是同时的；排中律则是就三个语言对象而言的，也几乎是同时的。
第3章命题逻辑
第一节命题逻辑概述
一、命题
（一）命题是什么？
1、命题就是通过语句对对象情况有所反映的思维形式。
描述或者评价我们所经历，所想象，所关心的一切对象的一般方式有两种：
一是要给对象一个名字，这个结果称之为：
；
一是把对象和任意一个其他对象联系起来，形成我们的描述或者评价，这个结果称之为：
。
2、命题的逻辑特征
语言学家关心的语句和逻辑学家关心的命题。
语言形式和思维形式。
思维的三种形式：
概念，命题和推理。
——都是逻辑学研究的对象。
这对应于语言的语词，语句和句组或者句段。
逻辑学对命题的基本假定：
任何命题都是有真假值的思维形式，二值假定，二值原则。
（二）命题与语句
第一，任何命题都要通过语句来表达，但并非任何语句都表达命题。
第二，同一个命题可以用不同的语句来表达。
第三，同一个语句，有时可以表达不同的命题。
（歧义）
（三）命题的分类——简单命题与复合命题。
1、简单命题其组成成份是词项，它不再包含命题，因此，我们也可以把简单命题称作“原子命题”。
p30命题1，2，3。
2、复合命题是由简单命题与联结简单命题的联结词组成的，或者说，复合命题是用命题与联结词组成的。
命题4，5，6。
复合命题=简单命题+关联词
3、支命题，多重复合命题
组成复合命题的那些命题谓之复合命题的支命题，支命题可以是简单命题，也可以是复合命题。
如果一个复合命题的支命题也是复合命题，则我们谓之多重复合命题。
——命题逻辑研究的是复合命题及其推理。
二、推理
（一）推理及其逻辑构成
1、推理就是从已有的知识得出新的知识。
因此，推理也就是从已知命题得出新命题的思维形式，它在思维形式上表现为一个命题序列。
在语言形式上表现为一个语句系列。
2、任何推理都由两部分组成：
一是推理中的已知命题，我们谓之前提；
一是所推出的新命题，我们谓之结论。
3、推理的识别
最主要的语言标志：
因为…，所以…。
数学逻辑符号标志：
∵，∴。
此外还有，“由于···，以至···”；“···，所以···”；“之所以······，是因为···”，等等。
但有时候，在一些推理中人们省略或者不用这些语词标识，而由人们凭句子之间的意义关联去区分前提与结论。
4、推理的特征
已知：
前提
求证：
结论
证明：
推理
逻辑学考察从前提推导出结论时，这些结论是有效的还是可靠的？
（二）推理的分类——演绎推理与归纳推理
1、演绎推理是由一般性前提推出特殊性结论即所谓由一般到特殊的推理。
也称必然性的推理，即只要前提真就能确保结论必然真的推理；
2、归纳推理是指由特殊到一般的推理。
也称或然性的推理，即前提真不一定能确保结论真，前提只对结论提供一定的支持关系的推理。
（三）演绎推理的有效性与可靠性
1、演绎推理的有效性，指的是推理形式的有效性，它与前提或结论本身的真假是无关的：
只要保证假定前提真，结论就一定真，则该推理有效，至于前提如果为假，则结论的真假就无法保证了。
p32
2、演绎推理的可靠性则不仅要求推理形式有效，而且要求推理的前提本身事实上必须真，相应地也要求结论一定真。
3、命题逻辑的创立
①斯多葛学派最早探索了命题逻辑；如果第一，那么第二；第一，所以，第二。
斯多葛哲学学派是塞浦路斯岛人芝诺（约公元前336～约前264年）于公元前300年左右在雅典创立的学派,由于他通常在雅典的画廊讲学,故称之为画廊学派或斯多葛派.斯葛多派认为世界理性决定事物的发展变化.
克吕西波，费罗和第奥多鲁斯讨论条件句：
如果是白天，那么天是亮的。
②乔治布尔奠定了雏形
1847年，发表了著作《TheMathematicalAnalysisofLogic》，在这本书中，阐述了正式的逻辑学公理，建立了布尔代数（也称逻辑代数）。
他的逻辑理论建立在两个逻辑值0、1和三个运算符与、或、非的基础上，这种简化的二值逻辑为计算机的二进制数、开关逻辑元件和逻辑电路的设计铺平了道路，并最终为计算机的发明奠定了数学基础。
③弗雷格和皮尔斯创立现代逻辑
弗雷格，1848-1925，德国人，1880年建立命题逻辑；
皮尔斯，1839-1914，美国人，1880年建立命题逻辑；
依据不同思路，各自独立地建立命题逻辑；
*非数值算法:
一个推理实例——
王教授、胡教授和赵教授3人各自执教逻辑、伦理、哲学、政治、法学、历史六门课程中的两门，请根据以下条件推断他们各自执教哪两门课程？
1、伦理学教授和政治学教授是邻居；2、王教授年龄最小；
3、赵教授，逻辑学教授和政治学教授这3人经常从学校一起回家；
4、逻辑学教授比历史学教授的年龄大；
5、哲学教授，历史教授和王教授在双休日喜欢打乒乓球。
解题思路——
1、分清题目的前提，从前提推出结论；2、理解一个命题蕴涵的其他命题；
3、使用命题的二值假定；4、使用命题逻辑中的一些推理格式；
5、得出确定的结论。
推理题实例.doc
有效性体现——
4、逻辑学教授比历史学教授的年龄大；
2、王教授年龄最小；
可以代之以符号
A比B年龄大,A＞B
A表示王教授，年龄最小,我们可以推得：
a≤B＜A
这就是有效性推理p32例2
第2节复合命题及其推理
学前补充——
（一）知识背景1：
半形式的刻画，对应自然语言
知识背景2：
常项和变项
1、常项——不同的逻辑联结词都有相对固定的意义，它们就是一个复合命题中的常项。
它相当于数学中的加法和减法等运算。
这些常项可以用更为精确的符号来表示，以去除自然语言的歧义和模糊：
语言中最常用的连接词：
并且，或者，并非，如果…那么。
2、变项——联结词旁边的空位，可以代入不同的支命题，因代入命题的不同，复合命题的真值也会产生相应的变化。
这些命题空位，看作是复合命题的命题变项。
复合命题的一些表格借用数学中的常元和变元概念把一个复合命题也分成两个部分：
常项和变项。
3、逻辑连接词是常项：
意义固定；命题符号是变项：
因代入不同，真值不同。
4、复合命题符号表达式
把支命题看成是命题变项，就能够在更一般的意义上讨论各种不同的推理形式，也使得我们可以用符号（常用小写字母p、q、r、s等来代表）来表示它们。
5、命题变项的解释
以p∧q为例：
p，q代表任意命题
以3+5=8，4+6=10代p和q，则p∧q是真命题；
以3+4=8，4+6=10代p和q，则p∧q是假命题；
逻辑联结词和复合命题总共有四大类；
这四大类再细分为七个不同类别的逻辑联结词；7个真值表；
真值表
前件
P
后件
q
复合命题
p∧q
假言命题
选言命题p∨q
充分
p→q
必要
p←q
充要
p↔q
相容
p∨q
不相容
p∨q
T
T
T
T
T
T
T
F
T
F
F
F
T
F
T
T
F
T
F
T
F
F
T
T
F
F
F
T
T
T
F
F
负命题：
与原命题真假相反
一、复合命题的类型
（一）联言命题
1、自然语言带有并列连接词的复句p33，但意义更精确，而且有严格的定义。
例如：
不仅结了婚，而且生了孩子。
京城无孩体健貌端。
2、用单义符号∧表示联言。
用真值表定义逻辑连接词
以两个为基础，两个以上也得到定义。
例如：
p∧q∧r∧s也为真。
（二）假言命题
因为有三种条件所以有三种假言命题，三类联结词：
充分条件、必要条件和充分必要条件逻辑联结词。
前件和后件：
表示条件的支命题叫做前件，表示结果的支命题叫做后件。
1、充分条件假言命题：
蕴涵式
自然语言带有条件连接词的复句，但意义更精确，而且有严格的定义。
“如果……那么、只要……就、假使……那么、要么……则”等等，例如：
如果我得奖，那么我请客。
用单义符号→表示假言。
用真值表定义逻辑连接词→。
以两个为基础，两个以上也得到定义。
2、必要条件假言命题：
逆蕴涵式
自然语言带有必要条件连接词的复句，但意义更精确，而且有严格的定义。
“只有……才能、仅当……才、除非……不、没有……就没有……”等等
例如：
只有一个人年满十八岁，他才有选举权。
符号←。
用真值表定义逻辑连接词、以两个为基础，两个以上也得到定义。
3、充分必要条件假言命题/充要条件命题：
双向蕴涵式
自然语言带有充要条件连接词的复句，但意义更精确，而且有严格的定义。
例如：
当且仅当a=b，才有b=a。
如果a，那么b，并且只有a，才b。
用单义符号↔表示充要假言。
用真值表定义逻辑连接词↔，充要=等值
以两个为基础，两个以上也得到定义。
（三）选言命题
1、相容选言命题
选言命题就是反映几种事物情况中至少有一种为真的命题。
自然语言带有选择连接词的复句，但意义更精确，而且有严格的定义。
例如：
胜者或因其强，或因其指挥得当。
用单义符号∨表示相容选言。
用真值表定义逻辑连接词∨。
以两个为基础，两个以上也得到定义。
2、不相容选言命题
反映的几种事物情况中至少有一个是真的且只能有一个为真的命题。
“不是、、、、，就是、、、、；要么、、、、，要么、、、、；要就是、、、、，要就是、、、、；
例如：
要就选小张为优秀，要就选小李。
选择意义可以任意更替原子命题位置而不改变复合命题的值；如同加法和乘法中的数字一样；如此才能用真值表定义不相容析取逻辑联结词∨’。
（4）负命题
否定联结词：
对一个命题予以否定的逻辑联结词称之为否定联结词。
Eg：
并非；并不是；是假的；是不成立的；是错误的，是不正确的；不是真的
负命题：
一个命题带有对整个命题予以否定的否定词，这个命题就和否定词一起构成了一个负命题。
负命题反映了对支命题的否定关系。
否定词用┐表示。
例如：
如果一个人发烧，那么这个人就得了肺炎，这个说法是不成立的。
2、复合命题的基本推理模式
复合命题的推理指的就是前提或结论中包含复合命题，根据复合命题的逻辑性质而进行的推理。
有四种类型。
（一）联言推理
联言推理分解式
2、联言推理合成式
ｐ∧q→q
或者
p∧q→p
P，q，
所以，p并且q，
p，q→p∧q
（二）选言推理
3、相容选言推理的否定肯定式
4不相容选言推理的否定肯定式
5不相容选言推理的肯定否定式
或者p，或者q，
非q，
所以p
相容选言推理有效式符号表述：
（（p∨q）∧q）→p
要么p，要么q，
非p
所以，q
不相容选言推理符号推理形式：
（（p∨。
q）∧p）→q
要么p，要么q，
p
所以，非q
不相容选言推理的符号推理形式：
（（p∨q）∧p）→Øq
（三）假言推理
充分条件假言推理的肯定前件式
充分条件假言推理的否定后件式
必要条件假言推理的肯定后件式
必要条件假言推理的否定前件式
如果p，那么q
p
所以，q
用符号表示为：
（（p→q）∧p）→q
如果p，那么q
非q
所以，非p
符号形式为：
（（p→q）∧Øq）→Øp
只有p，才能q
非p
所以，非q
符号形式为：
（（p←q）∧Øp）→Øq
只有p，才能q
q
所以，p
符号形式为：
（（p←q）∧q）→p
充要条件假言推理的肯定前件式
充要条件假言推理的肯定后件式
充要条件假言推理的否定前件式
充要条件假言推理的否定后件式
p当且仅当q
q
所以，p
符号形式为：
（（p↔q）∧q）→p
p当且仅当q
非p
所以，非q
符号形式为：
（（p↔q）∧Øp）→Øq
p当且仅当q
非q
所以，非p
符号化为：
（（p↔q）∧q）
→Øp
注意：
蕴涵和演绎推理的区别和联系
蕴涵式用真值表定义；
演绎推理也可以用→表示（p42）
演绎推理相当于充分条件和其结果之间的关系，前件的内容等值或者包含着后件。
等值推理体现等值，蕴涵式推理体现包含。
实际上，联言合成和分解，选言推理格式和后面的推理格式都体现这种特征。
命题逻辑有一个演绎推理。
（四）假言推理的派生形式
二难推理简述
普罗塔哥拉（约公元前481年-约公元前411年）
古希腊智者学派的著名哲学家。
他在收受弟子教人打官司时都要和对方订下合同，学生开学时先交一半学费，毕业后第一次出庭胜诉时再交付另一半学费。
学生欧提勒士学成后一直不肯出庭替人打官司，当然也就不会交付另一半学费。
普罗塔哥拉决定起诉他。
在法庭上，老师志在必得地说：
如果你在此案中胜诉，你就应按合同约定交付学费；
如果你在此案中败诉，你就必须按法院判决付给我学费。
总之，无论胜诉还是败诉，你都要付给我另一半学费。
推理二难简述
欧提勒士则针锋相对地回答：
老师你错了，这官司无论胜负我都不用付学费。
因为：
如果我胜诉，根据法庭判决我不用付学费；
如果我败诉，根据合同的约定，我也不用交付学费。
或者我胜诉，或者我败诉，我都不用付学费。
双方都从真实性难以怀疑的前提出发，却得出了两个完全相反的结论，让法官难以判决。
这就是历史上著名的“普罗塔哥拉悖论”，也称为“半费诉讼”。
这是二难推理的典型案例。
具体公式见p47
蕴涵式推理
上述13种推理可看作蕴涵式推理，，由于具有充分条件逻辑关系的前件和后件是一种蕴涵关系，这实际上就是一种推导关系，蕴涵词用→表示，也常常用来表达演绎推理。
蕴涵词所带的前件是这一演绎推理的前提，蕴涵词所带的后件是这一推理的结论。
命题逻辑的演绎定理。
所以，蕴涵词不仅是一种表达复合命题的逻辑联结词，蕴涵词也可以不那么严格地作为表达复合命题推理的符号。
等值推理
由于充分必要条件前件和后件之间的等值关系也实际上是一种推导关系，等值词也常常用来表达演绎推理中的等值推理。
等值词所带的前件是这一演绎推理的前提，等值词所带的后件是这一推理的结论。
本教案略去了这一内容。
第3节命题演
升级会员 