导图社区 逻辑学
- 60
- 1
- 举报
逻辑学
这是一篇关于逻辑学的思维导图，介绍详细，知识全面，希望可以对大家有所帮助！有需要的赶紧收藏吧！
编辑于2024-05-19 04:13:46- 逻辑学
- 相似推荐
- 大纲
逻辑学导论
第一章 逻辑是关于推理和论证的科学
概要
推理和论证的区别和联系？
区别在推理可以从假前提开始，论证需要真前提或者大家共同接受的前提开始
逻辑学是什么？目的？
逻辑学是关于推理和论证的科学
推理的形式的有效性而非是内容的有效性
逻辑学是研究推理有效性和方法的科学，一个推理有多个判断构成，一个判断有多个概念构成；逻辑学是思维的理论基础，因此概念是思维理论的基础
概念是思维的基建工程
目的
识别推理和论证是否有效无效
教会人如何正确推理和论证
识别、揭露、反驳错误的推理和论证
对命题不同角度分析导致逻辑理论的不同
命题逻辑
词项逻辑
谓词逻辑
能用于以上两者，范围更广
第一节 “逻辑”的词源和词义
一、“逻辑”的古希腊词源
最早追溯到希腊词“逻各斯”英语logos
多义词，主要含义
一般的规律、原理、和规则
言语、命题、说明、解释和论证
理性、推理、推理能力、与经验相对的抽象理论以及与直觉相对的有条理的推理
尺度、关系、比例和比率等
二、逻辑学的历史与现状
古希腊的形式逻辑代表（主流）
亚里士多德的词项逻辑
三段论为主
斯多亚派的命题逻辑
围绕“蕴含”把命题分为原子命题和复合命题，给出四个元逻辑规则并用其证明许多定理
有中断，没有进入主流
中国先秦时期的名辩学
墨家逻辑学成就最高
古印度逻辑
因明指推理的学问，佛家逻辑
现状
基本逻辑
经典逻辑和非经典逻辑（形式逻辑和非形式逻辑）
元逻辑和归纳逻辑
应用逻辑
广义逻辑
与各学科的交叉
三、逻辑学的对象:推理和论证
什么是逻辑学？
是关于推理和论证的科学（研究推理的学科）
主要任务
提供识别有效推理、论证、无效推理、论证的标准
教会人们正确进行推理和论证
教会人们识别、揭露和反驳错误的推理和论证
推理
由一个或一些已知命题（前提）得出新命题（结论）的思维过程或思维形式
推理是由命题组成的，推理的前提和结论单独看来都是一个个命题
演绎推理
一般推个别
必然性:真假绝对
有效
无效
归纳推理
个别推一般
或然性:强弱可能
归纳强
归纳弱
论证
用某些理由去支持或反驳某个观点的过程或语言形式
第二节 命题分析和逻辑类型
一、语句、命题、陈述、判断与真值
广义语句都带真假，狭义只有命题带真假。被断定了（真假）的命题才是判断。
命题指表达了判断的语句，没表达判断的都不是命题（如疑问句，祈使句，感叹句）。大词典p348
二、复合命题和命题逻辑
复合命题通过联结词和简单命题（原子命题）构成
各种联结词
联言（合取）
选言（析取）
相容
不相容
要么要么
假言（条件）
如果那么
只有才，除非
当且仅当（如果那么并且只有才）
否定
符号表示命题
常项
∧、∨、→、←→、┓
变项
p、q、r、s、t等
三、直言命题和词项逻辑
直言命题断定对象S具有某种性质P，又称性质命题
拥有主项，谓项，联项，量项
如所有S是P
四、个体词、谓词和量化逻辑（谓词逻辑）
拥有个体词、谓词、量词、联结词等
个体词（小写字母表示）
常项
特定的专有名词abc表示
变项
不确定的个体xyz表示
谓词（大写字母表示）
表示论域中个体的性质与个体之间的关系
如”原子公式“F（x）一元谓词符号，R（x,y）二元谓词符号，以此类推，有几个个体就有几元
量词
全称量词∀
∀xF(x)
读作“对于所有的x,x是F”
存在量词∃
∃xR（x,y）
读作“存在x使得x与y有R关系”
如R表示＞，x＞y
五、变异逻辑、扩充逻辑和元逻辑
属于现代逻辑，与传统逻辑有出入
第三节 推理形式及其有效性
一、推理的形式结构
把命题的具体内容抽掉后保留下来的那个模式或框架
例如:如果明天下雨，那么小明不来学校.第二天下雨了，所以小明没来学校
如果p,那么q p,所以q
二、推理形式的有效性（是否诉及？不相干？关联？得到结论？）
有效推理能从真前提推出真结论，不能得到假结论
没有一个特例得到假结论
无效推理也可能真前提推出真结论
有其他特例得到假结论（词项逻辑（三段论）常见）
一个推理或论证要得出真结论且有说服力，需要满足
真前提
推理形式有效
反之，要反驳或削弱某个结论，有哪些途径
直接反驳结论
反驳前提（论据）
反驳推理形式
三、日常思维的推理和论证
用来干什么
交流思想的
如何发现逻辑错误
发现后怎么做
“你的意思是”试探
第四节 逻辑基本规律
逻辑学是对理性精神的培养和训练
它们构成理性思想最基本的前提和预设，是理性的对话、交谈能够进行下去的最起码前提
遵守不了会怎样？
可能出现逻辑错误，出现感性情绪
可能会吵起来或者无法继续交谈
一、同一律
A是A
定义：在同一思维过程中，一切思想（包括概念和命题）都必须与自身保持同一
同一个表达形式（言语等）或思想除非特别声明，否则不能多义混淆。
违反其就可能会出现的谬误
混淆概念（无意）
偷换概念（有意违反）
转移论题 （无意）
偷换论题（有意）
二、矛盾律（不矛盾律）
并非（A并且非A）
定义：两个互相矛盾的命题不能同真，必有一假，也不能同假
派生出词项逻辑:两个相互上反对的命题不能同真，但可以同假
文氏图可直观表示
不矛盾=可能的
三、排中律
A或者非A
两个相互矛盾的命题必有一真一假，对于同一事物必须要么肯定要么否定
派生出词项逻辑:两个相互下反对的特称命题不能同假，但可以同真
四、充足理由律（布莱尼茨）
定义：在同一思维和论证过程中，一个思想被确定为真，要有充足的理由
A,A逻辑推出B┣B
如果要证明B是真的，必须先证明A是真的，并且证明从A能够逻辑地推出B
这里“┣”表示“推出”
数学书里“=>”也表示“推出”:A＝＞B表示充分条件，当A成立，则B也成立。
具体要求
1，对所要论证的观点必须给出理由
2，给出的理由必须真实
3，从给出的理由必须能够推出所要论证的论点
达不到要求就会犯“没有理由”“理由虚假”“推不出来”的错误
论证要以周密与细致的思考为前提，检验思考过程，最后决定是否接受（相信）想法、观点
反例:有些想法、观点泛泛而论可能十分动听、有理，却经不起严格精确的分析检验
第二章 命题逻辑（联结词逻辑，表示命题之间的关系）
复合命题的逻辑性及其推理关系
第一节 日常联结词和复合命题
一、简单命题和复合命题
简单命题往下就分为不同的词项，不能再分为命题，又称原子命题
复合命题是包含其他命题的命题，它是用一定的联结词连接其他命题而成
如:并非今天下雨
复合命题分类
二、联言命题
并且:断定几种事物情况同时存在的命题
∧（合取）
和，又，而且，然后等
联言命题的支命题叫“联言支”，有时联言支的主项或谓项可省略
省主项的例子
省谓项的例子
三种有效式
合成式
即是......又是......
分解式
......并且......
否定式
并非......既是......又是......
三、选言命题
或者:断定几种事物情况至少有一种存在
∨（析取）
或者，要么要么，不是就是等
“选言支”“析取支”
一个选言命题穷尽了所有选言支的话，那么这个选言命题就必定为真
类型与有效式
相容（能够同时为真）
否定肯定式
p或者q，非p，所以，q
肯定肯定式
p，所以，p或者q
不相容（不能同时为真）
否定肯定式
要么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 非p 所以非q
只有p（年满18岁），才q（有选举权）， 非p（我没有18岁）， 所以非q（没有选举权）
肯定后件式
只有p，才q q 所以，q
只有p（小张学习成绩好），才q（当三好学生）， q（小张已当选三好学生）， 所以p（他一定学习好）
充分必要条件
当且仅当
p和q同真假
例：人不犯我我不犯人，人若犯我我必犯人
五、负命题
并非
┓
论证方法
演绎推理常见模式
假言三段论
至少一个假设或条件
如果—那么
直言三段论
词项逻辑
所有、有些
三段论是否有效的方法
词项
1、有且只有三个不同的词项
周延性
2、中项至少周延一次
3、前提不周延的项，在结论中不得周延
否定
4、前提有否定，结论必须否定
5、两个否定前提推不出
特称
6、前提有特称，结论必须特称
7、两个特称前提推不出
排除法论证
排除多种可能，直到剩下一种肯能
要么—要么
选言三段论
基于数学论证
定义而来论证
演绎有效性
范畴：适用于理解对象的概念，思维对客观事物本质的概括的反映
形式与内容
内容是事物一切内在要素的总和
形式是这些内在要素的结构和组织方式
推理有效：不会出现前真后假，有效推理形式：不会出现前真后假的形式
有效形式
前假后假
前假后真
前真后真
不会出现前真后假
无效形式
前假后假
前假后真
前真后真
前真后假
四种情况都可能出现，无效推理可能出现正确结论
归纳推理的常见模式
归纳概括
预测论证
权威论证
因果论证
数据论证
类比论证
比较相似性
第二节 真值联结词 真值形式
一、从日常联结词到真值联结词
命题联结词也叫命题常项（只有固定意义，不会变）
命题联结词联结几个命题就是几元联结词
符号真值联结词
∧：合取
并且：和；然后；不但，而且；虽然，但是；不仅，还
∨：析取
或者：或者；要么，要么
→：蕴涵
如果，则；假如，就；倘若，便；只要，就；哪怕，也；就算，也
←→：等值
当且仅当
┓：否定
并非；并不是；.......不成立；......不符合事实
日常联结词在逻辑学中的问题
不精确
承载了许多非逻辑的内容
如并列、承接、递进、转折、对比等关系
省略括号的规则和约定
（1）公式最外层括号总可以省略
（2）像算数一样没括号时先乘除后加减:优先高到低┓，∧，∨，→，←→
（3）约定（A∧B）∧C可写作A∧B∧C，同理∨也一样，但是A→（B→C）写作A→B→C.
二、真值形式 指派与赋值
┓p、（p∧q）、（p∨q）、（p→q）、（p←→q）分别为否定式、合取式、析取式、蕴涵式和等值式
令p为真／假，这叫指派真值，真值联结词的意义叫解释（真值函项）
一组真值指派和一个解释（真值函项）构成一个真值赋值。
如p→q令p为真，q为假，则p→q为假
一个公式含n个命题变项就有2ⁿ种可能的真值组合
公式＝真值形式＝真值函数
p和q等同于函数里的x（自变量）和y（因变量）
三、否定
非p
四、合取
p和q都真才真
五、析取
相容:p和q至少有一真则真
不相容:任一选言支真，则其他选言支必假
六、蕴涵
前提真，结论假才假（不能用如果则一概而论）
所以真命题能被任何命题所蕴涵（后件真）
事实能被任何命题蕴含，即不管怎样，事实发生了。
实质蕴涵与日常联结词“如果则”冲突，当出现两个蕴涵符号就拗口，违背直觉
当指责实质蕴涵时，也会逻辑地导致指责对其余┓∨∧真值联结词的理解
不是p就是q
p或者q
非p→q
┓p∨q
┓┓p→q
p→q
两个式子真值表一致的就可以认为是等值的
七、等值
前件和后件同真假，否则等值式为假
八、自然语言中复合命题的符号化
先判断自然语言属于哪种命题
分析意义，等值于哪个命题
如例2“想要（p）”表示想要达到某种结果，属于必要条件假言命题q→p
只有p才q等价于
如果q则p
语言上不太自然、拗口怪异（舍弃意义、内容的原因）
只有p才q
如果非p则非q
如果p则q
只有q才p
如果p则q等值于“只有q才p”
如果p则q等值于“除非q否则非p”，或“非p，除非q”
p→q等值于┓q→┓p
如果p则q否则r
（p→q）∧（┓p→r）
除非p否则q
¬p→q
¬q→p
p，否则q
同上
p，除非q
¬q→p
子主题
第三节 重言式及其判定方法
真值形式
重言式（有效式，可满足式）
真值恒真
矛盾式（非有效式，可满足式）
恒假
偶真式（非有效式）
有真有假
一、重言式
命题逻辑的目的是找出所有重言式的集合
判定程序
1程序的每一步都是由一套事先给定的规则规定好的
2该程序有能在有穷步内结束
3对于所判定的对象能给出唯一确定的结果
常见重言式疑点
皮尔士律
A∨B→(（A→B）→B)
省略了排中律B∨┓B,即能只用蕴涵符号就替代排中律
加强前件式
(A→B)→（A∧C→B）
有争议，如果C的性质能达成非B，可能得不到结果B
A∧┓B→B为偶真式，A真B假时不成立
命题逻辑中的同一律矛盾律排中律:A→A. A∨┓A .┓（A∧┓A）只是逻辑基本三个规律的精神体现，不等同
二、真值表方法
一个公式含n个命题变项就有2ⁿ种可能的真值组合
用列表列出所有命题变项的真值组合，由简单到复杂列出所有子公式的真值，最后得出该公式的所有真值情况
优点:机械，操作简单，直观一目了然，最可靠
缺点:对于命题变项多的公式，工作量太大，花费很多时间
三、归谬赋值法
赋值为假，有矛盾就不是矛盾式
优点:真值表的简化
缺点:可能需要多次赋值，不直观容易错漏
四、树形图方法
同理归谬赋值法
约定规则:五个真值联结词共9个规则
一个树枝代表一个真值组合
分叉代表有几种情况
要判定公式A，令A为假，则┓A真然后开始画┓A的树形图
A是重言式，当且仅当┓A的树形图的每一个树枝（真值组合）都是封闭的（打×）
但凡有一个树枝不打×，A不是重言式
遇到分叉和不分叉的子公式，优先画不分叉的，否则重复，工作量大
第四节 重言蕴涵式 重言等值式
一、推理的形式结构 重言蕴涵式
往上找
用于最外层的真值联结词
蕴涵式常见问题
预设条件
循环论证
论上帝是不是万能
二、重言等值式 置换规则
这些规则当工具用
可用于任一联结词，被置换公式等值于置换公式即可
第五节 命题逻辑的自然推理
一、PN（命题逻辑推演规则系统）
定理:是不需要任何前提或假设利用Pᴺ推演规则推出的公式
可直接用作推理不需要证明
同理推演规则不需要证明
当Γ├A（Γ为某公式集或假设），并且Γ＝∮（空集），则A是Pᴺ的一个可证公式，简称定理
Pᴺ推演规则
合取
1～消去规则∧⁻
从A∧B可推出A;从A∧B可推出B
A∧B├A;A∧B├B（化简）
2～引入规则∧⁺
从A,B可推出A∧B
A,B├A∧B（合并）
析取
3消去规则∨⁻
A∨B,A→C,B→C├C（二难推理简单式）
4引入规则∨⁺
A├A∨B;B├A∨B（附加律）
蕴涵
5→⁻
A→B，A├B（肯前）
（推演无前提公理必定用到）6→⁺
若Γ，A├B,则Γ├A→B（引入假设，其本身可用反证法假设为假得出必真）
反证法：一个公式集Γ为假，当且仅当前提真并且结论假
若厨房里啥都不缺，而且有食材，则能做菜
等同：厨房里啥都不缺，如果有食材则能做菜
常用Pᴺ定理蕴涵式
¬A→（A→B），B可以任意公式
用于反证法，引入矛盾公式得到原公式
同理A→（¬A→B）
等值
7←→⁻
A←→B├A→B;A←→B├B→A
8←→⁺
A→B，B←A├A←→B
否定
9 ┓⁻
若Γ，┓A├B,┓B 则Γ├A（反证法）
10 ┓⁺
若Γ，A├B，┓B 则Γ├┓A （归谬法）
自推规则
11 ∈
若Ai∈Γ，则Γ├Ai（假设了一组前提等于每个前提都假设）
从一组假设中可以推出任一假设
Pᴺ定理及其证明或推演方法
书写约定（目的是建立无缝隙或破绽的推理链条）
①一开始就分行列出所有给定的前提，并在每个前提公式的右边标明前提
②如果要引入假设，同理①，最好就一开始列出全部假设，逐个标明假设
③每列出一个假设，就把它向楼上一个公式的右边推移一格
表明这是在上个假设前提下的假设
④每列出一个公式，就在该公式右边注明所依赖的公式和推演规则
⑤在一假设下根据∨⁻∨⁺∧⁻∧⁺→⁻ ←→⁻←→⁺∈得到的公式，都与该假设对齐，表明这些公式全都依赖于该假设及以前的假设
⑥如果一个公式是根据→⁺┓⁻┓⁻得到的，则让它进位，与楼上假设对齐，表明依赖楼上及以前的假设，本楼的假设和公式就解除了不能用
⑦在推演的步骤序号后面画一条垂直线，表示该推演的起止;如果是假设则顶端加个小圆圈
元定理，证明过程很复杂
有缝隙的推理链条
莱布尼茨证明2+2＝4
偷加了未作前提的加法结合律
不按规则书写，耍聪明跳太快
不如踏踏实实慢慢走
严格精确的同时有一定技巧性（左边怎样得到右边，或者右边怎样得到左边）
假设所有分支可能的条件，如数独暴力解法一样
右边是析取的就分别假设，合取的就两个都要得到
已证定理与导出规则的使用（为简化证明过程）
Pᴺ定理都是重言式，同理PR等值置换都是重言式，可直接引用
第三章 词项逻辑（拆分命题，表示命题内部各成分的性质）
直言命题的逻辑性及其推理关系
一，直言命题
基本结构
（量项）+主项+（联项）+谓项
主项：述说对象的词项
普通词
专名词
摹状词
定冠词+形容词组+单数普遍名词
形容词组+普遍名词
谓项：述说对象具有性质的词项
属性、结构、关系
联项：连接主项和谓项的词项
是、不是
量项：刻画对象的数量或范围的词项
全程量
所有，凡是，一切，全部，任何，每个，无一例外
特称量
有，有些，很少，许多，大多数，几乎全部，不都是
单数量
无量项，这个、那个
表示肯定的联项可省略，但否定的联项不可省略
根据量项分类命题
全称命题
特称命题
存在命题，至少存在一个个体
所以有S是P不能推出有S不是P
从弱原则
至少有一个，至多全部
单称命题
指专有名词或摹状词，表示“这个，那个”
分类
全称肯定命题SAP（A）
所有S都是P
全称否定SEP（E）
所有S都不是P
特称肯定SIP（I）
有的S是P
特称否定SOP（O）
有的S不是P
单称
单称肯定SaP（a）
a是P
单称否定SeP（e）
a不是P
视为全称命题的特例，易犯混淆概念的谬误
主谓关系
主项和谓项合称词项（内涵和外延）
内涵：属性、本质；一个词项所表达的概念
外延：指称的对象或对象的类和集合
实质就是两个非空集合间的关系，处理关系要先找出外延
不考虑内涵的理由：人各有理解，不同一，麻烦
两个词项逻辑的外延关系
同一关系
包含关系
包含于关系
交叉关系
全异关系
概要
对当关系
反对关系
A和E
不能同真，可以同假
矛盾关系
A和O
E和I
不能同真假，必定一真一假
SAP←→┓SOP
同理以下
差等关系（从属关系）
A和I
E和O
全称真蕴涵特称真，特称假蕴涵全称假
下反对关系
I和O
可以同真，不能同假
周延性
定义
给定的直言命题中是否断定（诉及）了主项或者谓项的所有外延的性质
断定了全部外延就是周延的，否则不周延
4类命题周延情况
A
主周谓不周
如：所有人都是动物，所以所有动物都是人
没有诉及所有的动物，只诉及了所有动物中是人的那一部分动物
E
主周谓也周
I
主不周谓不周
S和P的部分外延都没诉及
O
主不周谓周
有的人不是北大生，则有的北大生不是人
没有诉及北大生是否有人以外的东西，只诉及了所有北大生和部分人
概括
全称主周，特称主不周，肯定谓不周，否定谓周
个人认为重要性
日常语言中反驳对方的理由，有无诉及到
二，直接推理
定义
从一个直言命题出发（前提），推出另一个直言命题作为结论的推理
注意
区分P和┓p
分别为词项和命题
方法
换质法（“换句话说”）
定义：将一个直言命题由肯定变为否定（质），或者否定变为肯定，谓项变其矛盾概念（补集），得到一个等值的直言命题
特点
主项不变，量项（全称、特称、单称）不变
联项改变（是、不是、都是、都不是）
P变P，即P的集合变为补集
谓项变为各自的矛盾概念
得到的新直言命题与原直言命题真值完全相同
不能简单用AEIO表示了
SAP←→SEP
所有人都是动物←→所有人都不是非动物
SEP←→SAP
所有人都不是动物←→所有人都是非动物
SIP←→SOP
有的S是P←→有的S不是非P
SOP←→SIP
有的S不是P←→有的S是非P
换位法
定义：将一个直言命题的主项和谓项互换位置，质不变，改变量项得到一个新的直言命题（结论）
前提中不周延的项，结论不得周延
特点：前提和结论不一定等值，但前提诉及的（周延性）一定不比结论少，即前提不周延的，结论不能周延
SAP→PIS
所有S是P→有的P是S
SEP→PES
所有S都不是P→所有P都不是S
SIP→PIS
有的S是P→有的P是S
SOP不能换位
有的S不是P→有的P不是S
换了之后说的不是同一个东西，即主谓周延性变互换了
有些人不是大学生→有些大学生不是人×
换质位法
定义：先换质再换位，得到新直言命题
SAP→SEP→PES
SEP→SAP→PIS
SIP不能换质位
SIP→SOP，SOP不能换位
SOP→SIP→PIS
戾换法（不一定等值）
SAP→SEP→PES→PAS
凡有烟处必有火→凡有烟处不无火→凡无火处不有烟→凡无火处必无烟
有生必有死
无死必无生
PAS→PES
SOP不能戾换
PIS→POS
思考从SAP戾换到SOP，前提不周延的谓项，结论却周延了，怎么回事？
对当关系推理
反对关系推理
SAP→┓SEP
SEP→┓SAP
差等关系推理
SAP→SIP
SEP→SOP
┓SIP→┓SAP
┓SOP→┓SEP
矛盾关系推理
SAP→┓SOP
SEP→┓SIP
SIP→┓SEP
SOP→┓SAP
┓SAP→SOP
┓SEP→SIP
┓SIP→SEP
┓SOP→SAP
下反对关系推理
┓SIP→SOP
┓SOP→SIP
关于单称命题的推理
SAP→a是P
注意别搞混概念
所有中国人都是勤劳的（人）
我是中国人
我是勤劳的（人）
中国人（集体概念）是勤劳的
我不一定勤劳
a是P→SIP
三，三段论
定义
三段论是由一个共同词项把两个直言命题连接起来，得出一个新直言命题作为结论的推理
构成（省略联项和量项和格）
大前提
P（大项）+共同词项M（中项）
小前提
S（小项）+中项M
结论
主项S（小项）+谓项P（大项）
通常大前提在三者中诉及的内容最多 有效推理的结论是一定不比前提诉及得多
式
总数量
4*4*4*4个格=256
定义：根据构成三段论的三个直言命题的质和量，把三段论分为不同的类型
有效式
判定方法
规则
图解
文氏图或欧拉图
公理演绎法
根据大前提（大多数情况）小前提（特定情况）推理出结论（新的一小部分情况）
规则
一般规则（足够判定所有三段论）
规则1
在一个三段论中，有且只能有三个不同的词项
多于三个词项“四概念错误”一词多义
如中国的大学遍布全国各地，北京大学是中国的大学，所以北京大学遍布全国各地
混淆整体（集体）概念和个体概念
少于三个词项“伪装的三段论”
可能没法推理，结论依赖于前提的真值
规则2
中项在前提中至少周延一次
中项作为桥梁、媒介要使大前提与小前提产生某种的关系从而发生必然的结果（结论）， 就必须两前提中有一次关系是全部的（周延，任何情况都产生这种关系），另一次是全部或部分
违反规则2的错误
中项两次不周延
前提真结论也真
凑巧结论真，推理形式无效，不是逻辑保真（过程错结果对）
结论假
规则3
前提中不周延的项，在结论中不得周延
违反规则3的错误
大项周延不当
小项周延不当
规则4
两否定前提推不出任何确定（必然）结论
存在多种不确定的情况
规则5
如果有一个前提是否定的，则结论是否定的 如果结论是否定的，则必有一个前提是否定的
违反规则5的错误
结论和前提对着干 前提一肯一否，结论肯 前提两肯，结论否
推导规则（易认方便起见）
规则6
两个前提不能都是特称
II，IO，OI，OO
规则7
前提有一特称，结论必然特称
根据规则6必一全一特
定理
一个结论全称的正确三段论，其中项不能周延两次
一词概括反驳：不一定
格
定义：根据中项在前提中不同的位置，以及大前提在上、小前提在下，把三段论分为四种不同的类型
第一格
MP SM SP
小前提必须肯定 大前提必须全称
中间字母只能是A或者I，首个字母只能是A或者E
AAA⁻1,AAI-1,AII-1,EAE-1,EAO-1，EIO-1
第二格
PM SM SP
两前提必有一否 大前提必须全称
M都是谓项，则必有一否，结论否，P周延，大前提必须全称 结论必须否定
AEE-2，AEO-2,AOO-2,EAE-2,EAO-2,EIO-2
第三格
MP MS SP
小前提必须肯定 结论必须特称
假设小前提否，则结论否且P周，则大前提P周，则大前提否，双否，则小前提必须肯定 则结论S不周，必须特称
AAI-3,AII-3,EAO-3,EIO-3,IAI-3,OAO-3
第四格
PM MS SP
如果大前提肯定
则小前提必须全称
如果小前提肯定
则结论必须特称
如果有一前提否定
则大前提必须全称
EAO-4
AEO-4
如果大前提特称
则必须IAI-4
如果小前提特称
则必须EIO-4
AAI-4,AEE-4,AEO-4,EAO-4,EIO-4,IAI-4
每格6个，总共24个有效式，其中9个含存在假设的有效式,6个差等式（结论可以全称的却得出特称）
日常语言三段论
标准形式
先把所有前提和结论转化成标准形式的直言命题
用矛盾关系处理“并非”
注意双重否定表示肯定“没有……不是”“所有……都是”
区分结论、大小前提、中项
结论不含中项，注意四词项错误
按格式书写
判断该三段论是否是有效式
非标准形式
省略式
省大前提
小前提
结论
补全
复合式
前提中自带三段论需要整理和补充出来
连锁三段论
含多种三段论，前提可能是中间结论省略了的
同义词多的
通过时间地点等参数能够变形的
四，直言命题的存在含义问题
SAP→SEP→PES→PAS→SIP→SOP
违反前提中不周延的项，结论中不得周延的规则
原因：词项逻辑蕴涵“存在假设”成立，即全称肯定可以推出特称肯定，预设了主项存在（非空非全集）
如果去掉存在含义，那么AEIO对当关系不再成立
A和E不再是上反对关系，若不存在S，A则和E可以同真（假前提蕴涵任何结论）
I和O不再下反对，若不存在S，则可同假
A变I涉及的限制换位法、限制换质位法不再成立
三段论中9个由两全称前提得出特称结论的有效式不再成立
词项逻辑直言命题AEIO中都存在S
五，三段论有效性的图解判定
方法
欧拉图判定法
没啥限制
文恩图判定法
不假设主项存在，9个全称得特称的有效式在此无效
若假设主项存在，则画⊕，表示非空
三个圈分别表示主项、谓项、中项，把前提诉及的内容都画出来
优先画全称命题，不含主项的论域画上阴影
特称命题用“+”表示，不确定放线的哪边就在线上画“+”
非形式逻辑
定义理论
一、词项的内涵和外延
词项：最小的且是最基本的意义单位
三、定义的种类
1、内涵定义
属加种差定义
被定义项概念=种差（区别）+相近属概念（包含）
步骤
1，找到相近属概念
2，找到种差（区别）
3，连接：形成定义
人=是种差（区别：会语言、能思维、能够制造和使用劳动工具）的+属（包含在动物）
表现形式
发生定义
从被定义概念所代表、指称的事物的发生、来源方面揭示种差的定义形式
例：水是由氢原子和氧原子化合而成的化合物
功用定义
以某种事物的特殊用途作为种差的定义形式
例：电子计算机是具有自动和快速进行大量计算和数据处理功能的电子设备
关系定义
以事物之间的特殊关系作为种差的定义
例：叔叔是指与父亲辈分相同而年龄较小的男子
操作定义
通过对一整套相关的操作程序的描述来对被定义项下定义
例：x是酸类，如果将x与石蕊试纸接触，石蕊试纸就呈现出红色
同一定义法
用不同词语给同一概念下定义
示例定义法
用具有代表性的外延下定义
语境定义
指不属于属加种差定义的关系定义
2、外延定义
穷举定义
如果一个概念所指的对象数目很少，或者其种类有限，则可以对它下穷举的外延定义
例：太阳系行星包括水星、金星、地球、火星、木星、土星、天王星、海王星
列举定义
概念外延的对象数目很大，或者种类很多，举出一些例证
自然语言包括汉语、英语、俄语、德语、日语等
实指定义
通过手指指着某一个对象
递归定义
数学归纳法给对象下定义
3、语词定义
描述性定义
报道定义，词典定义，对被定义语词既有用法的报道或描述
约定（规定）性定义
简便和实用，需要对新词，或者缩略语的意义有所规定
修正性定义
其中既有描述性成分，也有约定性或规定性成分
四、定义的规则
定义的目的：通过揭示概念的内涵和外延，明确概念的适用范围
好定义的标准和规则
1，定义必须揭示被定义对象的区别性特征
2，定义项和被定义项的外延必须相等，否则，定义过窄或过宽
3，定义不能恶性循环
4，定义不可用含混、隐晦或比喻性赐予来表示
5，除非必要，定义不能用否定形式或概念
五、定义的作用
综合作用
通过定义，人们能够把对事物的已有认识总结、巩固下来，作为后续的认识活动的基础
分析作用
揭示一个词项、概念、命题的内涵和外延，从而明确使用范围， 进而弄清某个词项、概念、命题的使用是否合适，是否存在逻辑方面的错误
交流作用
在理性的交流、对话、写作、阅读中，对所使用的词项、概念、命题能够有一个共同的理解，避免误解产生无谓争论
论证理论
论证的要素，步骤
1、论题：话题
2、论点：证明的观点、结论
描述性的，表明世界是怎样的
指示性的，表明世界应该如何？何者为好？何者为坏？
3、论据：推理的前提，理由、根据
4、论证方式：演绎、归纳、归因
5、隐含的前提或假设
论证图解
线性结构
协同式结构
收敛式结构
复合式结构
论证评估的好问题
1、问题和结论是什么？
2、理由是什么？
3、哪些词句的意义模糊不清？
4、价值冲突和假设是什么？
5、描述性假设是什么？
6、证据是什么？
7、抽样选择是否典型？衡量标准是否有效？
8、是否存在竞争性假说？
9、统计推理是否错误？
10、类比是否贴切中肯？
11、推理中是否存在错误？
12、重要的信息资料有没有遗漏？
13、哪些结论能与有力的论据相容不悖
14、争论中你的价值偏好是什么？
谬误理论
第五章 归纳逻辑
定义
以归纳推理和归纳方法为基本内容的知识体系
对比
演绎推理
保真性、必然性的推理 结论断定的内容不超过前提
有归纳推理的支撑前提
归纳推理
或然性的推理 结论断定的内容超过前提
分类
传统归纳逻辑
个别经验上升到普遍必然性的一般知识
现代归纳逻辑
可信度、概率统计
意义
启发人们从已知大胆向未知探索，创造、发明、发现等离不开归纳逻辑
推理方法
简单枚举法
定义：根据已观察到的那部分对象具有某种属性，并且没有遇到任何反例 从而推出该类对象都具有该种属性的结论
可靠性要求
被考察对象数量要足够多
范围足够广
对象之间差距足够大
很不可靠的简单枚举法被称为
以偏概全、轻率概括
本质上归纳推理都是以偏概全
科学归纳法
观察加上科学研究，是简单枚举法派生出的变形
科学研究与科学研究之间存在个体差异
说难听点也分三六九等，取决于有多科学
表述公式
迄今为止观察到的所有S都是P，且科学研究表明，S和P之间有必然联系 所以，所有S，不论是否已经被观察到，都是P
完全归纳法
把简单枚举法的数量和分布调查到极致
适用范围很小但足够可靠
观察了所有的S 所有S都是P没有反例 所以所有S都是P
排除归纳法
寻求因果关系的方法 （根据因果关系的特点设计）
求同法
一些现象时而出现时而不出现，由于普遍性，因果恒常伴随 这些现象肯定不是被研究现象的原因
公式
场合1有先行现象ABC，有被研究现象a 场合2有ABD，a 3有ACE，a 所以A（可能）是a的原因
优点
为寻找因果关系提供思路，有一定可靠性
缺点
可能错把表象当因，没挖掘背后真正的同是因
如果是失眠，寻因找共同点 找上了每天都洗澡但事情天天不同，却忽略了各种事情造成的兴奋
如何避免失眠 避免或停止兴奋
求异法
场合1 有ABCD和a 场合2有BCD，没有a 所以A是a的原因
常用于对照实验
求同求异法
以上两者结合，两者前提放一起得出结论
正面场合（例如有A）+反面场合（没A）
共变法（控制变量法）
A和a两者跟随其一发生一定程度的变化，则可能有因果关系
剩余法
有ABCDabcd Aa有因果关系 Bb Cc 所以Dd有因果关系
因果关系的特点
普遍性
共存性
先后性
因总在前，果总在后， 但在前不一定是因，可能另有其因 易混淆
如何避免混淆
“真的是这样吗，有没有可能 暂时先这样，但以后不好说”
复杂多样性
有多因一果，一因一果，一因多果等 还有主因次因，远因近因（直接原因、根本原因）
类比推理
两个或两类事物在一系列属性上相似，从而推出它们在另一个或另一些属性上也相似
A有属性abcd Babc 所以B有d
能使人举一反三，获得启发或灵感
如鲁班发明锯子
很不可靠的类比推理称为
机械类比 荒唐类比
模拟方法
模型，建模
比较方法
对比列表，找同异
常见错误
强行对比，欺骗性对比 假对比，根本没说比啥
假说演绎法
步骤
一、起点：问题和困境
二、形成假说：溯因推理
待解释现象e 如果h，则e 所以h
e 如果h1或者h2或者……hn，则e 并非h2 并非h3 …… 所以h1
三、从假说推出观察结论
四、验证假说：证实和证伪
评价标准
保守性
普遍性
简单性
可反驳性
要有经验证据，与世界接轨
形而上学无经验证据
谦和性
精确性
经过不断证实或证伪，抛弃或者修改
可信度越来越高
休谟的归纳问题
归纳推理是合理的吗
第四章 谓词逻辑
派生原因
弥补命题逻辑和词项逻辑的局限性，能够处理关系命题及其推理、量词里含联结词的性质命题及其推理（能处理性质和关系）
研究范围
依据联结词进行的推论
依据量词进行的推论
同时依据联结词和量词进行的推论
所有命题都可用谓词逻辑作推理
第一节个体词 性质谓词 量词和公式
谓词逻辑中命题拆分
个体词
表示对象域中的个体的符号
个体变项
xyz等表示某个特定范围内（论域或个体域）的某个不确定的对象
含n个元就是n元函数，表示个体变项之间的关系
如G（x，y）表示x和y有G性质的关系，二元函数
个体常项
abc等～确定的对象
有专有名称的东西
某国的首都F（x） 中国的首都F（xᵃ）
论域（个体域）
一般指全域，即世界上能被想到谈到的事物
日常谈话无处不谈，不是特定的范围
若论域为D，Vx表示为对于x在论域D中所有取值
谓词
一元谓词（性质谓词）
谓词符号，大写字母表示
表示个体的性质，只带有一个项的
二个项及以上就表示它们之间的关系，n元谓词
原子公式
如F（a）、G（x），表示a是F，x是G
多元谓词（关系谓词）
涉及n个对象，n＞1
量词
全称V
VxF（x）读作“对于所有x，x是F”
∀xAx：Ax¹∧Ax²∧……∧Axⁿ∧……
论域中所有具有某种属性（F）的个体
存在∃
∃xF（x）读作“存在x使得x是F”
∃xAx：Ax¹∨Ax²∨……∨Axⁿ∨……
论域中存在具有某种属性的个体
联结词
辖域
量化公式
如Vx(F（x）→G（x）) ∃xF（x）∧VyH（y）
量词管辖的范围
有括号就管括号内的 没括号就管后面挨着的最短公式
如VxF（x）∧G（x）
量词Vx的辖域是F（x）
约束变项
有约束出现的公式
约束出现
一个变项的某一次出现被量词管辖到，即出现在辖域之内
自由变项
有自由出现的公式
开公式
至少含有一个自由变项的公式，真值不能确定
闭公式
没有自由变项的公式，通过给定论域和谓词符号和常项的解释后真值确定
个体变项可以同时约束又可以自由
自然语言中性质命题的符号化
6种直言命题
全称肯定SAP
Vx（S（x）→P（x））
子集关系
SEP
Vx（S（x）→┓P（x））
SIP
彐x（S（x）∧P（x））
存在着这样的x，x是S并且x是P
交集关系
SOP
彐x（S（x）∧┓P（x））
存在x，x是S并且x不是P
a是P
P（a）
例
F（x）：x的父亲 G（x）：x的作者 Q（x）:x是清朝的 P（x，y）:x是y的纺织府官员 a：曹雪芹 b：《红楼梦》 c：江宁
红楼梦的作者是清朝的
Q（G（b））
曹雪芹的祖父是江宁的纺织府官员
P（F（F（a））,c）
a不是P
┓a
┓P（a）
若论域确定为某特定范围，则只在论域范围内谈个体的性质
如所有人都不是植物，论域是人类
Vx┓S（x）
SEP的缩写
对于所有个体，如果个体是人类，则该个体不是植物
第二节 关系谓词 重叠量化 二元关系的性质
关系命题
断定个体之间具有某种关系
要素
个体词
关系谓词
涉及两个以上的个体，二元以上
量词
一阶语言L（一阶谓词逻辑语言）
二阶谓词逻辑
量词辖域影响到谓词，不单是个体
组成
初始符号
个体变项
个体常项
谓词符号
量词
联结词
辅足性符号
形成规则
若A是公式，则A前面可以跟量词 或者A可以是量词（空约束） 或者A含有量词了可以再跟量词（重复约束）
VxA，彐xA，A可以是任一公式
重叠量词
量词辖域里还有量词
重复约束个体词
含重叠量词的公式叫重叠量化式
注意区分重复量化和重叠量化和空约束
重复量化是多个量词约束同一个对象（个体）只有后面那个起作用
如彐xVx彐xF（x）等于彐xF（x）
空约束是量词没有约束对象，等于没有作用
如VxF（y）等于F（y）
Vx彐yA不能改成彐yVxA
辖域变了
自然语言中的关系命题符号化
如，没有最大的自然数（指0，1，2，3……）
翻译成没有否定符号、辖域一目了然的公式最好
可以理解成“总有比任一自然数大的自然数”
对于任一x，如果x是自然数，则存在y，使得y是自然数并且y大于x
字面翻译就是不存在最大的自然数
每个人都有父母
任何人都存在其父母这样的人
任何人都存在父和母
不好的没表达关系的翻译：Vx（Hx→Px）
如果约翰有一头驴，那么约翰喜欢它
对于任一一个体，如果它是驴并且是约翰（a）拥有的，那么a喜欢它
Vx（Dx∧Hax→Lax）
翻译成存在，蕴涵自由变元（可以是论域内任一东西）不妥
翻译成存在蕴涵存在也不妥，表明前件和后件不关联，前件的驴不一定是后件那头驴
注意把谓词的关系表达出来，即把谓词符号展开写
个体数量问题
至少、恰好、至多等数量词
用s≠t表示¬（s＝t）
二元关系的逻辑性质 排序问题
不同关系不同性质
自反的
x与自身x有R关系
对称的
xy位置可换
关系R是对称的，当且仅当，VxVy（R（x,y）→R（y,x））
传递的
xyz之间都能两两有R关系
第三节 模型和赋值 普遍有效式
L通过M和赋值获得意义和真值
模型M
个体域D
给定有一定性质的个体所构成的非空集合
如个体域D为全域，则x为任何东西
D上的一个解释函数I
I把L（一阶语言）中个体常项c解释为D中某个特定个体I（c），谓词符号解释为D中具有某种性质的个体的集合
如σ（F（t1,t2,t3…））中F表示后面括号里个体词的集合
有闭公式（无自由变项的公式）只有的东西（谓词符号、量词、约束变项、个体常项），意义和真值就确定了
赋值σ（只有真假T和F两个值二选一）
指派ρ：一次性给L中所有自由变项指派D中个体
（指定派谁干嘛去）
如李白，李白是什么没指派就没法判断
σ＝<M，ρ>
各种公式在σ下为真时，当且仅当
F（t¹t²…）
在σ下为真，当且仅当t¹t²……确实有F关系（属于集合F）
σ<t¹t²……>∈σ（F）
VxA（把公式A看成集合）
将A中的自由出现的x解释为个体域D中的每个个体词后，A总为真
彐xA
将A中自由出现的x解释为在D中的某个个体词后，能使A为真
┓∧∨→←→真值条件同命题逻辑
普遍有效式（谓词逻辑的规律，也称常真式）
举例,尝试解释
∀xF（x）→F（y）
F（y）→∃xF（x）
∀x（F（x）∨¬F（x））
¬∃x（F（x）∧¬F（x））
∀xFx↔¬∃x¬Fx
∃xFx↔¬∀¬Fx
∀x（Fx→Gx）→（∀xFx→∀xGx）
为什么不能是↔？
十个人考过了就都请去吃饭（要求更苛刻），推不出谁考过了谁就请去吃饭（要求更宽松）
后者，教练承诺的十个人全考过才会兑现请全部人吃饭承诺 但凡有一个没过就可以不兑现，当然也可以兑现
∀x（Fx∧Gx）↔（∀xFx∧∀xGx）
为什么不能是∨？
如所有人，有男有女推不出这帮人所有是男或所有是女
∃x（Fx∨Gx）↔（∃xFx∨∃xGx）
∧？
有人即是男又是女碰巧推得出有人是男并且有人是女 但有人即是男并且有人是女推不出有人即是男又是女
∃x∀yRxy→∀y∃xRxy
普遍有效式判定问题
谓词逻辑不可判定，没有通用的办法判定所有命题，只能局部判定
原因被量化的某些个体是否具有某些性质，要挨个查清 个体域无穷的话，那查不清了，除非查出一个不是，要是重叠量化更麻烦了
局部判定方法
树形图
命题逻辑9个联结词规则仍有效 |竖杠表示由楼上所有支得到新支
先使用联结词规则，再使用有α要求的量词规则，最后使用无α要求的量词规则 如有α要求的要分叉，必须先分叉
扩充量词规则 （目的消去量词）
∀（不能打勾，不能穷尽例子，所以能反复使用）
： ∀xAx ： | A（x/t），如果t对x代入自由（t不能被任何量词管辖， 如果A里有量词，则t不能被A管辖， 即A里有被管辖的个体y，则t不能是y）
如果∀xAx为真，则A对于个体域中任一个体为真 其个体域中部分一群个体为真，几个个体为真，特定个体也为真
¬∀（可打勾，只能用一次， 可找到个体域中的例子）
： ¬∀xAx ： | ¬A（x/α）如果α是该分支（其他分支可用）先前没出现过（避免同一个体被多个谓词影响）的特指常项（还不知道具体是哪个）
如果¬∀xAx为真，则Ax至少对于个体域中有的个体不成立（SOP）
∃⁻（可打勾……逻辑只能保证有一个例子）
： ∃xAx ： | A（x/α）如果α是先前没有出现过的特指常项
¬∃（不能穷尽例子）
： ¬∃xAx ： | ¬A（x/t）如果t对x代入自由
树形图不封闭的情况
部分分支循环无矛盾（一元谓词）
可预见的可满足式，即原公式不是普遍有效式
不循环但支无限延展（二元以上谓词） 能终结的原公式都是有效式
没法判断有无矛盾，无法终结树形图，即原公式不知道有没有效
解释方法（模型方法）举例子
一个解释就是一个赋值
σ：<<D，I>，ρ> 即一个模型加上指派
证明不是普遍有效式，需要举反例（反模型） 证明可满足式，需要举一个例即可
证明不是普遍有效式，但是可满足式，则要一个反例一个正例
证明普遍有效式，需要所有逻辑上可能的解释都为真
证明不是可满足式，需要所有逻辑上可能的解释都为假
只能反证法（树形图可用）
假设原公式不有效/可满足， 存在一个反例使得原公式不成立 推出不存在这样的反例
注意解释时要说清的点
个体域D
常项符号和谓词符号的意义I
如果涉及开公式，ρ在D中指派什么自由变项
谓词逻辑的自然推演
Qᴺ推理规则
是Pᴺ的扩充
Pᴺ处理不了量词，通过Qᴺ消去量词，然后Pᴺ处理命题联结词，最后根据想要得到的样子用Qᴺ加上量词
增加的4个量词规则
∀⁻
∀xAx┣A（x/t）
如ⱯxƎyRxy ，t代入x不能是y（限制t不被管辖）
t不被约束的情况
t是个体常项
A是原子公式（不含量词）
A含量词，但x不被A管辖到
A含量词，且x被A管辖到
t必须是A管辖的个体变项之外的一个变项 否则t对A中x代入不自由（被约束）
∀+
Ax┣∀xAx（x为任一自由变项）
若不能确保前提中的自由变项x是任意的， 则需要给x加标记，表示不能使用Ɐ+规则
任意的如Rxyz，可以是Rxxx，只要x不加标记
啥是自由变项
没有量词约束的公式里的不确定的个体词
如Rax中的x Fx中的x
需要给自由变项加标记的情况
给定前提的自由变项
假设引入的自由变项
从前提或假设推演得到的自由变项
有特指常项做下标的自由变项
不用标记的情况
由Ɐ⁻得到的自由变项
Ǝ⁻
ƎxAx┣A（x/α），α为先前没出现过的特指常项 若A中有x以外的自由变项y，则标记y（同上）
Ǝ+
A（x/t）┣ƎxAx，t不能被约束
注意：同树形图法，有α要求的量词先推演，没要求的后推演
推演原则
推演过程中每个步骤想得到什么公式，如何从前提得到结论
量词规则只能对最前端且辖域为整个该公式时使用（该规则只能用于整体，同Pᴺ规则）
如A→ⱯxⱯyⱯzB
必须先消去→ 得到后件，才能Ɐ⁻ 而且只能消最外层的Ɐ
若想得到ⱯxⱯzB
先消去→再消去Ɐx再消去Ɐy最后引入Ɐx
具有可靠性和完全性
所有有效式↔所有Qᴺ定理
即Qᴺ推出来的公式都普遍有效，能拿来当导出规则用
等词理论和摹状词分析
一、等词理论
扩充L缘由
“＝”在数学和自然语言中被普遍使用，有重要性
等词的特征性质
自反性
Ɐx（x=x）
对称性
ⱯxⱯy（x=y→y=x）
传递性
ⱯxⱯyⱯz（x=y∧y=z→x=z）
同一者不可分辨原则
ⱯxⱯy（x=y→（Fx→Fy）)
莱布尼茨提出
不可分辨者同一原则
ⱯxⱯy(（Fx↔Fy）→x=y)
同上
等词用途
可以符号化一些自然语言
至少一个x是F
ƎxFx
至少两个x是F
ƎxƎy（Fx∧Fy∧¬（x=y））
有两个个体是F且它们各不相同
至少三个x是F
ƎxƎyƎz（Fx∧Fy∧Fz∧¬（x＝z）∧¬（x＝z）∧¬（y=z））
至多一个x是F
ⱯxⱯy（Fx∧Fy→x＝y）
若有两个个体，则它们是同一个体
至多两个
ⱯxⱯyⱯz（Fx∧Fy∧Fz→（x＝y）∨（x＝z）∨（y=z））
对于任何的z，不是等于x就是等于y，或者x等于y
若有三个个体，它们至少有两个是同一个体
至多n个
同理，若有n+1个个体，它们至少有两个是同一个体
恰好一个x是F
至多一个并且至少一个
ƎxFx∧ⱯxⱯy（Fx∧Fy→x=y）
Ǝx（Fx∧Ɐy（Fy→x＝y））简写
恰好n个
至多n个并且至少n个
李倩有一对儿女
李倩：α Sxα：α的儿 Dyα：α的女
ƎxƎy（Sxα∧Dyα∧Ɐz（Szα∨Dzα→（z＝x）∨（z＝y）））
存在这样的个体x个体y，x是α的儿并且y是α的女，并且对于所有z，如果z是α的儿或者女，则z和x是同一个体或者z和y是同一个体
逻辑学
概 念 篇
思维的基建工程
概要
推理和论证的区别和联系？
区别在推理可以从假前提开始，论证需要真前提或者大家共同接受的前提开始
逻辑学是什么？目的？
逻辑学是关于推理和论证的科学
推理的形式的有效性而非是内容的有效性
逻辑学是研究推理有效性和方法的科学，一个推理有多个判断构成，一个判断有多个概念构成；逻辑学是思维的理论基础，因此概念是思维理论的基础
概念是思维的基建工程
目的
识别推理和论证是否有效无效
教会人如何正确推理和论证
识别、揭露、反驳错误的推理和论证
概念：反映思维对象及其特有或本质属性
思维对象的
属性：对象彼此之间的关系
特有或本质
1，之所以是
2，与其他产生的区别
概念
内涵
反映的对象的特有或本质属性
反映的对象的本质属性或特有属性
外延
特有或本质属性的对象组成的集合（类）
具有概念所反映的本质属性或特有属性的对象的集合
概念分类
1，空概念、单独概念、普通概念
划分依据：概念外延的大小
空概念：外延是空集
单独概念：外延只有一个
普遍概念：外延多个对象
2，集合概念、非集合概念
划分依据：反映对象是否为集合体
集合概念：西沙群岛
3，个体概念、性质概念、关系概念
划分依据：反映的是个体、性质
关系概念
二元：
三元：在 和 之间
4，正概念、负概念
划分依据；正概念：反映对象是否具有某种属性
负概念：不具有对象是否具有某种属性
概念外延关系
同一关系
包含关系
包含于关系
交叉关系
全异关系
概要
二、定义的结构
定义：就是以简短的形式揭示词项（概念）、句子（命题）的内涵和外延， 使人们明确它们的意义及使用范围的逻辑方法
定义：揭示概念内涵和外延的逻辑方法
要求：语言精简、明确，解释本质属性
结构
被定义项
需被揭示其内涵和外延的对象（主语）
定义联项
连接词（谓语）
定义项
揭示.....（宾语）
概念定义的种类
角度定义
定义项的定义角度和组成部分
分为内涵定义、外延定义、组合定义
实质定义
揭示概念所反映对象的特有属性或本质属性
性质定义
种差反映对象的性质
发生定义
种差反映发生发展的过程
关系定义
功用定义
语词定义
描述或解释语词意义
说明的语词定义
对已有意义进行说明
规定的语词定义
对某种意义进行规定性解释
概念定义的规则
同一规则
定义项外延=被定义项外延
定义项外延>被定义项外延，定义过宽
定义项外延<被定义项外延，定义过窄
精简原则
措辞精准、明确
肯定规则
肯定句式；是xxx
非包含规则
定义项不能直接或间接包含被定义项
否则：同语重复、循环定义
概念的划分与分解
划分与分解的区别
划分：概念所反映的对象分为若干小类，揭示外延的逻辑方法
明确外延、认知内涵（本质）
构成要素
母项
子项
根据
分解：指把对象的概念，拆分为若干该对象的子概念，不一定是外延（种属关系）
拆解行为，认识结构
划分的方法
一次与连续
一次达到目的
对子项继续划分直到满足划分目的
二分与多分法
二分：两个子项且矛盾关系
多分法：三个或以上的子项
划分的规则
子项与母项外延相等
划分根据同一性
子项不相容
定义理论
一、词项的内涵和外延
词项：最小的且是最基本的意义单位
三、定义的种类
1、内涵定义
属加种差定义
被定义项概念=种差（区别）+相近属概念（包含）
步骤
1，找到相近属概念
2，找到种差（区别）
3，连接：形成定义
人=是种差（区别：会语言、能思维、能够制造和使用劳动工具）的+属（包含在动物）
表现形式
发生定义
从被定义概念所代表、指称的事物的发生、来源方面揭示种差的定义形式
例：水是由氢原子和氧原子化合而成的化合物
功用定义
以某种事物的特殊用途作为种差的定义形式
例：电子计算机是具有自动和快速进行大量计算和数据处理功能的电子设备
关系定义
以事物之间的特殊关系作为种差的定义
例：叔叔是指与父亲辈分相同而年龄较小的男子
操作定义
通过对一整套相关的操作程序的描述来对被定义项下定义
例：x是酸类，如果将x与石蕊试纸接触，石蕊试纸就呈现出红色
同一定义法
用不同词语给同一概念下定义
示例定义法
用具有代表性的外延下定义
语境定义
指不属于属加种差定义的关系定义
2、外延定义
穷举定义
如果一个概念所指的对象数目很少，或者其种类有限，则可以对它下穷举的外延定义
例：太阳系行星包括水星、金星、地球、火星、木星、土星、天王星、海王星
列举定义
概念外延的对象数目很大，或者种类很多，举出一些例证
自然语言包括汉语、英语、俄语、德语、日语等
实指定义
通过手指指着某一个对象
递归定义
数学归纳法给对象下定义
3、语词定义
描述性定义
报道定义，词典定义，对被定义语词既有用法的报道或描述
约定（规定）性定义
简便和实用，需要对新词，或者缩略语的意义有所规定
修正性定义
其中既有描述性成分，也有约定性或规定性成分
四、定义的规则
定义的目的：通过揭示概念的内涵和外延，明确概念的适用范围
好定义的标准和规则
1，定义必须揭示被定义对象的区别性特征
2，定义项和被定义项的外延必须相等，否则，定义过窄或过宽
3，定义不能恶性循环
4，定义不可用含混、隐晦或比喻性赐予来表示
5，除非必要，定义不能用否定形式或概念
五、定义的作用
综合作用
通过定义，人们能够把对事物的已有认识总结、巩固下来，作为后续的认识活动的基础
分析作用
揭示一个词项、概念、命题的内涵和外延，从而明确使用范围， 进而弄清某个词项、概念、命题的使用是否合适，是否存在逻辑方面的错误
交流作用
在理性的交流、对话、写作、阅读中，对所使用的词项、概念、命题能够有一个共同的理解，避免误解产生无谓争论
规律篇
规律：固有本质的必然联系
规律是客观存在的且不以人的主观意志而改变
思维的基本规律
思维结果有效性
发现问题
逻辑规律
特殊逻辑规律：非基本
特定范围内
一般逻辑规律：基本
普遍适应，一般性
纯粹理性分析“可能”要求
确定性
同一律
一致性
矛盾律
严密性
排中律
形式上
内容上：论证性；充足理由律
同一律
概念解释
同一律：同一思维中，同一意义使用概念和判断
判断：对对象有所断定的思维形式
每一个思想，自身同一性
从肯定的角度：公式：A是A
基本要求
1，内涵和外延同一
在不同定义种类、划分根据、语境，概念内涵外延不同
2，判断同一
判断内容的确定
子主题
逻辑错误
1，概念
混淆概念
把不同的概念当同一概念使用
偷换概念
有意识把不同概念当同一概念使用
2，论题
转移论题
原本的论题转换为与之不同的另一论题
偷换论题
暗中替换掉要讨论的论题
矛盾律
概念解释
矛盾律：两个相互否定的思想不能同真，必有一假
从否定的角度：公式：A不是 非A
基本要求
1，概念要相容
同一时间、地点，对同一对象，属性断定要一致
2，判断要一致
不能既断定“是什么” 又“不是什么”
逻辑错误
自相矛盾
逻 辑 矛 盾
认识事物的障碍
思维主体在同一时间同一关系中对同一对象做出了互相矛盾判断
性质：是思维主体违反矛盾，所犯下的逻辑错误，其本质上是思维过程中出现的无序和混乱现象
关系：矛盾双方是完全的相互否定、相互排斥的关系，其中必有一方为假。它们既没有对立统一的关系，也不能相互转化
辩 证 矛 盾
认识事物的动力
客观事物内部存在既对立又统一的矛盾
性质：则是普遍存在于自然界、和社会中的既对立又统一的矛盾，是现实的矛盾。思维的辩证矛盾就是思维对客观事物内部存在的辩证矛盾的反映
关系：矛盾的双方是相互对立统一的关系。而且在一定条件下可以互相转化
排中律
概念解释
排中律：两个相互矛盾的思想不能同假，必有一真
公式：A或者非A
基本要求
概念清晰
同一时间、地点，同一对象清晰的断定
判断明确
不能既否定“是什么”，又否定“不是什么”
正确理解
1，反对关系的两个判断可以同时否定
2，主客现象条件不成熟，不要求二选一
3，复杂文语，可予以否定
逻辑错误
1，虚假排中：没有穷尽各种可能
2，模棱两可：同时否定，导致结论含糊不清
充 足 理 由 律
思维内容：论证性
概念解释
排中律：在同一思维过程中，任何一个思想被断定为真，其必须具有真实的充足理由、且理由与结论要具有必然的逻辑关系
任何判断正确存在的必要条件
公式：A（推断、论题）真，因为B（论据、理由）真且能推出A
基本要求
理由必须真实
否则：失去说服力
理由必须充足
理由与推断有必然的逻辑联系
逻辑错误
1，虚假理由：前提/论据 是虚假判断
2，推不出：从理由为真，不能推出结论为真
总结
充足理由律：思维内容：论证性
同一
矛盾
排中
思维形式：确定性
正确思维必要条件
概念明确
判断合理
推理有逻辑性
论证有说服力
悖论
概念解释
悖论：在逻辑上可以推出自相矛盾的结论，但又能自圆其说判断或理论体系
特点：前提合理，过程符合逻辑，结论自相矛盾
产生原因
1，逻辑方面
被定义对象包含定义对象之中
2，思维主体的认识论和方法论
情况
1，由“自我指称”引发
罗素悖论
2，由引进“无限”引发
阿克琉斯悖论
3，由连锁引发
秃头悖论
4，由片面理由引发
诡辩
谬误篇
论证篇
推理篇
判断篇
概述
概念解释及其基本特征
判断：思维主体对思维对象有所断定的思维形式
基本特征
1，判断都有所肯定或否定
2，判断都由真假
是否符合实际情况
判断和语句
语句是判断的语言表达形式，判断是语句所表达的思想内容
区别
1，不同的学科领域
判断是逻辑学研究的范畴，对判断的运用要符合逻辑规则，对判断的研究也要在逻辑规律的基础之上区进行
语句属于语言学的研究范畴，语句的运用和研究，要遵循语言规则和语言规律
2，不同的形态特征
判断是逻辑思维形式之一，属于精神形态的范畴
语句是一种语言形式，属于物质形态的范畴
3，并非一一对应
同一判断 可以用不同语句来表达， 同一语句也可以用不同判断来表达。
4，并非所有语句都表示判断
命题形式
把表示判断的语句称为命题
命题的逻辑形式
SP:词项变项
1，所有S都是P,
2，有的S是P，有的S不是P
PQ：命题变项
3,要么P，要么Q
判断的种类
1，简单判断和复合判断
简单判断 就是指某一判断，其自身中不含有其他判断。那反之，则是复合判断
2，性质判断和关系判断
性质判断：就是指断定对象是否具有某种性质的判断
关系判断：就是指断定对象与对象之间是否具有 某种关系的判断
3，模态判断和非模态判断
模态判断：是指包含了模态词的判断，反之则是非模态判断
模态：描摹事物状态的词
4，客观判断和主观判断
客观判断：是指描述客观事实的判断
主观判断：指表达个体自我思想的判断
范畴：适用于理解对象的概念，思维对客观事物本质的概括的反映
形式与内容
内容是事物一切内在要素的总和
形式是这些内在要素的结构和组织方式
性质判断
（量项）+主项+（联项）+谓项
主项：述说对象的词项
普通词
专名词
摹状词
定冠词+形容词组+单数普遍名词
形容词组+普遍名词
谓项：述说对象具有性质的词项
属性、结构、关系
联项：连接主项和谓项的词项
是、不是
量项：刻画对象的数量或范围的词项
全称量项
所有，凡是，一切，全部，任何，每个，无一例外
特称量项
有，有些，很少，许多，大多数，几乎全部，不都是
单称量项
无量项，这个、那个
性质判断的结构
主项：被断定的对象
谓项：被断定的性质
逻辑变项
联项：主谓之间的联系
量项：被断定对象的数量或范围
逻辑常项
性质判断的分类
联项、量项
1，联项
肯定判断
指断定主项具有某种性质的判断
命题形式：S是P
否定判断
指断定主项不具有某种性质的判断
命题形式：S不是P
2，量项
单称判断
指断定主项为单个对象的性质判断
命题形式：这个S是P//这个S不是P
特称判断
是指断定主项为某一类对象中的某一个或者某一部分的性质判断
命题形式：有的S是P//有的S不是P
全称判断
指断定主项全部都具有或者不具有某种性质的性质判断
命题形式：所有S都是P//所有S都不是P
3，联项、量项结合
单称肯定判断
单称否定判断
全称肯定判断
全称否定判断
特称肯定判断
特称否定判断
在自然语言中的形式规范
标准命题形式
1，不得更改原意
2，同一判断：多种标准形式
3，逻辑常项的变化
1，会省掉全称联项和量项
2，两项与联项组合多样的
3，全称量项和特称量项有多种表达
同素材之间的真假关系
同素材：主项与谓项完全相同
例：有些人是学生/有些人不是学生
才会产生真假的制约
同素材之间判断真假关系
1，矛盾关系：具有矛盾关系的两个判断 不能同真也不能同假
例：如果“所有土豆都是马铃薯”为真 则“有的土豆不是马铃薯”为假
2，上反对关系：具有上反对关系的两个判断 不能同真，可以同假
例：如果“所有土豆都是马铃薯”为真 那么“所有土豆都不是马铃薯”为假
3，下反对关系：具有上反对关系的两个判断 不能同假，可以同真
例：如果“有的石头是植物”为假 那么“有的石头不是植物”为真
4，差等关系：只存在于全称判断与特称判断之间
1，如果全称判断为真，那么特称判断必然为真； 如果全称判断为假，那么特称判断真假不确定。
例：如果“所有土豆都是马铃薯”为真 那么“有的土豆是马铃薯”为真 如果“所有土豆都是马铃薯”为假 那么“有的土豆是马铃薯”真假不确定
2，如果特称判断为真，那么全称判断真假不确定； 如果特称判断为假，那么全称判断必然为假。
例：如果“有的土豆是马铃薯”为真 那么“所有土豆都是马铃薯”真假不确定 如果“有的男人是渣男”为真 那么“所有男人都是渣男”真假不确定
主项与谓项的周延性
周延：主项与谓项的全部外延得到了断定
1，全称判断的主项是周延
1，全称判断的主项是周延的。“所有S都是/不是P”
量项“所有”表明量主项的全部外延已经得到断定
例：“所有柠檬都是酸的” “所有苦瓜都不是甜的” 主项“柠檬”和“苦瓜”都是周延的
2，特称判断的主项是不周延的“有的S都是/不是P”
量项“有的”表明量主项的全部外延没有得到断定
例：“有的蔬菜是水果” “有的人不是学生” 主项“蔬菜”和“人”都是不周延的
3，肯定判断的谓项是不周延的。 全称肯定“所有S都是P”
谓项P的外延是不周延的
例：“所有教授都是老师” 谓项“老师”，是不周延的
肯定判断的谓项是不周延的。 特称肯定“有的S都是P”
谓项P的外延是不周延的
例：“有的汽车是跑车” 谓项“跑车”，是不周延的
4，否定判断的谓项是周延的“所有S都不是P”
全称否定
特称否定
谓项p是周延
关系判断
关系判断的含义
关系判断：对象之间是否具有某种关系，且进行了断定
关系判断的结构
关系者项
思维对象/主项（abc）
关系项
被断定的关系/谓项（r）
二元关系（两个对象）：r（ab）
三元关系（三个对象）r（abc）
n元关系（n个对象）r（a1 a2 a3 an）
例：“有的动物比人跑得快” 关系者项： “动物” “人” 关系项： “跑得快” 量项： “有的” 逻辑公式： R(ab)
量项
对象的数量和范围
关系的性质
关系的性质：（特定论域内）
1，自反
根据判断中关系项所表达的关系，在特定论域中存在的任一对象自身与自身之间是否成立
自反关系
关系项所表达的关系（R）在其特定论域中的任一对象（X）自身与自身之间都成立，那么该关系为该论域的自反关系【R(x，x)成立】
例：“三角形ABC与三角行DEF”是相似的“ 特定论域：三角行/R:“相似”/X：任一三角形 R(x，x)成立 “相似”是“三角形”这个论域的自反关系
非自反关系
关系项所表达的关系（R）在其特定论域中的任一对象（X）自身域自身之间可能不成立，那么该关系为该论域的非自反关系。【R(x,x)肯能不立】
例：“张三了解李四” 特定论域：“人”/R：“了解”/X：任何一个人 R（x，x）可能不成立 “了解”是“人”这个论域上的非自反关系
反自反关系
关系项所表达的关系（R）在其特定论域中的任一对象（X）自身与自身之间绝对不成立，那么该关系为该论域 的自反关系。【R（x，x）绝对不立】
例：“重庆市位于中国西南部” 特定论域：“地理位置”/R:“位于...西南部”X:任何一个地点 R(x，x)绝对不成立 “位于...西南部”是“地理位置”这个论域上的反自反关系
2，对称
根据判断中关系项所表达的关系（R），在特定论域中存在的任一对象（x）与另一任一对象（y）之间是否成立
对称关系
特定论域的前提下，如果R（x，y）成立，则R（y，x）一定成立。那么，R是该论域上的对称关系
例：“武汉市和宜昌市属于同一个省” 论域：“市” R：“在...同一个省”/X：武汉/Y：宜昌 R(x，y)成立，则R(y，x)一定成立 “和...属于同一个省”是“市”这个论域上的对称关系
非对称关系
特定论域的前提下，如果R（x，y）成立，但R（y，x）不一定成立。那么，R是该论域上的非对称关系
例：“小韩认识大壮” R（x，y）成立，但是R(y，x)不一定成立 “认识”是“人”这个论域上的非对称关系
反对称关系
特定论域的前提下，如果R（x，y）成立，则R(y，x)一定不成立。那么，R是该论域上的反对称关系
例：玄武门之变发生在安史之乱以前 如果R(x，y)成立，则R（y，x）一定不成立 论域：“历史事件” “在...之前”是“历史事件”这个论域上的反对称关系
3，传递
1，传递关系
对于特定论域中的三个任一对象X、Y、Z，如果R（x，y）和R（y，z）成立，则R（x，z）一定成立。那么关系R为该论域上的传递关系
例：8能被4整除 论域：“正整数”如果R（x，y）和R（y，z）成立，则R（x，z）一定成立。 “...能被...整除”是论域“正整数”上的传递关系
2，非传递关系
对于特定论域中的三个任一对象X、Y、Z，如果R（x，y）和R（y，z）成立，则R（x，z）可能不成立。那么关系R为该论域上的非传递关系
例：“张三是李四的老师” “李四是王二的老师” 论域：“人”如果R（x，y）和R（y，z）成立，则R（x，z）可能不成立。 “...是...老师”是论域“人”上的非传递关系
3，反传递关系
对于特定论域中的三个任一对象X、Y、Z，如果R（x，y）和R（y，z）成立，则R（x，z）一定不成立。那么关系R为该论域上的反传递关系
例：“张三是李四的父亲” “李四是王二的父亲” 论域：“人”如果R（x，y）和R（y，z）成立，则R（x，z）可能不成立。 “...是...父亲”是论域“人”上的反传递关系
复合判断：由联结词连接两个或两个以上的简单判断，而组成的判断
联言判断
联言判断的含义
断定多种情况同时存在的判断
结构
联结词
联言支
性质判断
关系判断
性+关判断
例子
“柏拉图不仅是亚里士多德的老师，还是西方唯心主义的奠基人” 联结词：“不仅...还....” 联言支：“柏拉图是亚里士多德的老师”关系判断 “柏拉图是西方唯心主义的奠基人”性质判断
命题形式：p、q：支判断 ...并且...：联结词
p并且q
断定几种情况同时存在
自然语言注意
1，自然语言中：联结词多种
而且 不但...而且... 虽然...但是... 不仅...还....
2，有些联言判断不使用联结词
天行健，君子以自强不息 地势坤，君子以厚德载物
3，联言支中：主谓相同时可省略其一
大壮虽然是全村最靓的仔，但依然很低调；省略联主项（大壮） 大壮和大福都是老司机；省略联谓项（老司机）
联言判断的真假确定
当联言支都为真，则联言判断为真
当联言支至少一个为假，则联言判断为假
例子
（这辆汽车产自上海p）且（是全铝车身q） p真、q真，则p并且q为真 p假，或者q假，或者pq同假，则p并且q为假
选言判断
假言判断
负判断
模态判断