* 《把数学说清楚》可选补充章
把理由讲清楚
怎样用逻辑立论、提问、反驳,并在发现问题后修正自己的主张。
- 前提①所有能被4整除的整数都是偶数。
- 前提②12能被4整除。
- 所以12是偶数。
你在课堂上可能说过:“我不同意,因为……”从这句话开始,你就在提出理由。逻辑帮助我们看清:说的究竟是哪件事?理由够不够?别人提出的问题,击中了哪一步?
整章都可以跳过
本章不计入主教材的两周核心路线,后续数学内容也不依赖它。读过主教材的命题、条件和量词后,可以选读;这里会简短回顾用到的概念。
* 为基础应用;** 为证据与更长的推理;*** 为形式化视角。页面默认显示基础选读,关闭脚本时会显示全部内容。
建议分三轮:先读第1—3节,再读第4—6节,最后选择第8节的练习和短辩论。每轮可以安排约40—50分钟,并按讨论进度调整。挑战内容另选时间。
* 1 · 看懂一个论证
先找出理由,再找出结论
论点是你要表达的主张。论据是用来支持主张的理由或证据。把理由组织起来,说明它怎样支持结论,这个过程叫论证。
在逻辑分析中,我们把作为出发点的陈述叫前提,把要从中得到的陈述叫结论。日常说话可能先讲结论,再说“因为”;分析时可以重新排列。
例1 · “我喜欢”与“大家应该”
“我喜欢下棋”只是表达自己的情况。“班级应该开设棋类活动,因为有不少同学希望参加”已经给出了一个理由。
不过,“有人想参加”是否足以支持“班级应该开设”?还要考虑场地、时间以及其他活动。一个理由可以有用,但还不足以独自决定结论。
“有效”检查的是什么?
演绎推理有效:不存在一种情况,使所有前提都真而结论却假。我们暂时接受前提,再检查结论能不能落空。
论证健全:演绎推理有效,而且前提事实上都真。英文分别是 valid 和 sound。先懂意思,再记名称。
例2 · 形式有效,前提有错
所有偶数都是4的倍数。
6是偶数。
所以6是4的倍数。
若前提都真,结论必须真,所以形式有效。但第一个前提是假话,这个论证不健全。
例3 · 结论正确,理由仍然不够
所有4的倍数都是偶数。
8是偶数。
所以8是4的倍数。
结论碰巧正确,但这个推理形式无效。把8换成6,前提仍真,结论就假了。
辩论时,不能只说“我觉得结论不对”。可以具体指出:“你的第一条前提不成立”,或者“即使接受这些前提,仍然得不到这个结论”。两者攻击的位置不同。
停一下 · 找到省略的前提
小林说:“这是一只鸟,所以它会飞。”他省略了什么?
展开解析
他似乎使用了“所有鸟都会飞”这条前提,但它不成立,例如企鹅不会飞。我们应先问:“你是否认为所有鸟都会飞?”确认对方的意思后,再分析,而不是替他添加一个他不接受的观点。
* 2 · 立论与澄清
先确认两个人在讨论同一句话
数学题会说明“整数n”“三角形ABC”。辩论同样需要说明对象、时间和条件。
例4 · “限制手机”可能指不同的事
甲说:“上课时不应刷娱乐短视频。”
乙回应:“你竟然不允许学生用手机联系家长!”
甲谈的是上课时的一种用途,乙反驳的却是任何时候的全部用途。乙更换了主张,还没有回应甲原来说的话。
可以这样澄清:“你反对的是课堂娱乐使用,还是一切使用?紧急联系是否也包括在内?”把主张说得过强再攻击它,常被称为稻草人式反驳。
例5 · 一个词,中途换了意思
“参加社团是自由的,所以社团活动不应该有任何规则。”
前面的“自由”可能是可自行选择是否参加,后面却变成了参加以后不受任何规则约束。这两种意思不同,结论不能只靠同一个词来连接。
四个澄清问题
- 对象:说的是哪些人、哪些物品?
- 范围:说的是全部情况,还是某些场合?
- 词义:“有效”“公平”“自由”等词在这里是什么意思?
- 强度:主张“必然如此”,还是“通常如此”“值得尝试”?
定义要帮助讨论
不能为了赢,把“好办法”定义为“我提出的办法”,再说“我的办法当然好”。这只是把结论放进了词义,没有给出大家应接受的理由。
试着把主张说小一点、说清一点
把“学生不应该玩游戏”改成一个对象和条件明确、可以讨论的主张。
一种可讨论的改写
“在老师讲课时,学生不应该用手机玩与课堂无关的游戏。”这不是证明改写后的主张正确,而是把讨论对象缩小了。另一种改写可以谈作业时间或游戏时长,但应明确说明你改变了原主张。
* 3 · 检查推理
有这个条件,结论就一定成立吗?
本章沿用主教材:P⇒Q表示“如果P,那么Q”;∼P表示“非P”;∧表示“且”;∨表示允许两者同时成立的“或”。其他教材可能写→和¬,应先看符号约定。
设P表示“这个图形是正方形”,Q表示“这个图形是长方形”。按通常的数学定义,正方形也是长方形,因此P⇒Q成立。
P是Q的充分条件:有P就够了。Q是P的必要条件:有P就少不了Q。记住图中的包含方向,比只背“充分”“必要”更可靠。
| 已知P⇒Q,再知道…… | 想得到…… | 判断 |
|---|---|---|
| P | Q | 有效:正方形当然是长方形 |
| ∼Q | ∼P | 有效:不是长方形,就不可能是正方形 |
| Q | P | 无效:肯定后件;长方形不一定是正方形 |
| ∼P | ∼Q | 无效:否定前件;不是正方形也可能是长方形 |
例6 · 学校规则中的必要条件
假设学校规定:“进入实验室的学生必须戴护目镜。”小明戴了护目镜,因此就一定可以进入吗?
不能这样推出。戴护目镜只是必要条件,还可能需要老师许可。除非规则另有说明,否则不能把“必须戴”读成“只要戴了就可以”。
例7 · 有一个办法,不代表只有这个办法
甲说:“如果采用办法A,就能解决排队问题。所以不采用A,排队问题就解决不了。”
即使前一句是真的,后一句也没有保证。可能还有办法B。可以问:“你证明了A有效,还是证明了所有其他办法都无效?”
动手检查 · 能否让前提全真、结论却假?
当前检查:P⇒Q,P;所以Q。
| P | Q | P⇒Q | 第二前提P | 结论Q | 检查 |
|---|---|---|---|---|---|
| 真 | 真 | 真 | 真 | 真 | 前提全真,结论真 |
| 真 | 假 | 假 | 真 | 假 | 前提未全真 |
| 假 | 真 | 真 | 假 | 真 | 前提未全真 |
| 假 | 假 | 真 | 假 | 假 | 前提未全真 |
有效:没有出现“前提全真而结论假”的一行。
这张表检查任意命题P、Q的推理形式,不是在统计现实中各种情况发生的次数。
把几步理由接起来
如果P⇒Q,且Q⇒R,那么P⇒R。这是链式推理。例如:等边三角形⇒等腰三角形⇒三角形;这里“等腰”指至少两边相等。
在辩论中,长链条的每一环都需要理由。“加长学习时间⇒学得更多⇒成绩更好”并不是只要画上箭头就成立;每个箭头都可能受学习方式、疲劳等条件影响,需要证据支持。
* 4 · 量词与否定
“所有”“有些”“多数”,不能互相替换
∀读作“对每个”,∃读作“存在至少一个”。例如,“所有自然数n都有n+1>n”用∀;“存在一个偶质数”用∃。本章沿用主教材的约定:自然数从1开始。
| 主张 | 什么才足以反驳? | 为什么? |
|---|---|---|
| 所有质数都是奇数 | 指出2是质数且不是奇数 | “所有”不允许有一个例外 |
| 存在一个偶质数 | 需要说明不存在任何偶质数 | 只列出3、5、7是奇数不够;事实上2已证明原主张为真 |
| 这个班多数学生支持方案A | 需要有关全班支持人数的证据 | 一个反对者不够;多数允许有反对者 |
例8 · 把“每个人”改成“我认识的人”
甲说:“每个同学都喜欢足球。”乙说:“小安不喜欢足球。”如果小安属于讨论的那群同学,而且情况属实,这就是反例。
甲可以修正:“我刚才说得太满。我想说,我问到的几位同学都喜欢足球。”这句话弱了很多,不能再拿它当作“全班都喜欢”的依据。
否定一句话,不一定要否定到底
“不是所有人都支持”只要求找到一个不支持的人。它不是“所有人都反对”;不支持的人还可能保持中立。
∼(∃x P(x)) 等价于 ∀x ∼P(x)
第一行说:“并非每个都满足”,就是“至少有一个不满足”。第二行说:“一个满足的都没有”,就是“每个都不满足”。变量x的范围必须相同。
例9 · “没有证明”与“证明没有”
“目前还没人证明有人作弊”,并不等于“已经证明没有人作弊”。同样,也不能因为没有证明某人没作弊,就断定他作弊。
可以说“这个指控目前缺少支持”。这是对证据的判断,不是自动断定事实是哪一种情况。实际处理还需要适当的调查程序。
两个量词换顺序,主张可能变强
下面的“喜欢”只讨论表中的三个人和三项运动。
动手检查 · 每个人有选择,还是大家有共同选择?
“喜欢”表示该人与该项运动之间有对应关系。初始例子:甲喜欢足球,乙喜欢篮球,丙喜欢羽毛球。
点击单元格,切换“喜欢/不喜欢”;观察下面两句话。
| 人物 | 足球 | 篮球 | 羽毛球 |
|---|---|---|---|
| 甲 | 喜欢 | 不喜欢 | 不喜欢 |
| 乙 | 不喜欢 | 喜欢 | 不喜欢 |
| 丙 | 不喜欢 | 不喜欢 | 喜欢 |
真:每个人都至少喜欢一项运动。检查每一行,至少有一个“喜欢”。
用量词写下来
令L(x,y)表示“x喜欢运动y”。
∀x ∃y L(x,y):每个人可以各自找到喜欢的运动。
∃y ∀x L(x,y):先找到同一项运动,它让每个人都喜欢。
在这里,后一种情况能保证前一种情况,反过来不一定。你可以把“足球”这一列都改成喜欢,再观察。
例10 · 把个人需要误说成共同需要
“每个学生都有一种适合自己的学习方式,所以存在一种学习方式适合所有学生。”
前一句允许不同学生对应不同方式,后一句要求同一种方式适合所有人。这一步换了量词顺序,不能直接推出。
“且”和“或”的否定也有用
例11 · 不兼具两个优点,不等于毫无优点
“这条路线并不是既短又安全”,意思是“它不短,或者不安全”,也可能两者都不满足。不能直接改成“它既不短也不安全”。
这是德摩根律:∼(P∧Q) 等价于 (∼P)∨(∼Q)。另一条是:∼(P∨Q) 等价于 (∼P)∧(∼Q)。
试着准确反驳
“每个参加棋社的同学都会下国际象棋。”反驳它,需要找到什么样的人?
展开解析
要找到一个参加棋社、但不会下国际象棋的同学。一个没参加棋社的人,无论会不会下棋,都不能作为这句话的反例。
结构是:否定“所有x,只要P(x)就Q(x)”,要找“某个x,P(x)且非Q(x)”。
* 5 · 找准反驳位置
指出哪里有问题,也说清楚这能说明什么
- 检查前提“你说全班都同意,可是小安明确表示不同意。”
- 检查推理“即使这个办法有效,也不能由此排除其他办法。”
- 检查结论“你调查了参加棋社的人,结论却说到了全校学生。”
- 报告结果“这条理由尚不足以支持你的结论。”
例12 · 推理有缺口,结论也可能是真的
假设大家都接受:“只要下雨,小林就会带伞。”甲看到小林今天带了伞,便断定今天下雨。
即使今天碰巧真的下雨,甲仍然使用了无效的“肯定后件”形式:小林也可能为了遮阳而带伞。指出推理没有保证,不能自动证明“今天没下雨”。
因此,辩论中可以承认:“你的结论可能成立,但这条理由还没有证明它。”如果自己进一步主张相反结论,也要提供相应的理由。
看见不一致,先确认条件是否相同
例13 · 什么才算矛盾?
“小安今天参加了这场比赛”和“小安今天没有参加这场比赛”,在人物、日期和比赛相同时互相矛盾。
“平时上课不使用手机”和“紧急情况下允许联系家长”则可以相容:前后条件不同。不能删去条件,再宣布对方自相矛盾。
若有人主张“任何情况下都不允许”,后来又接受紧急例外,就需要修改“任何情况下”这个范围。提出例外可以改进规则,但应明确承认原来的绝对说法需要调整。
排中律不保证你提出的两个选项已经够了
例14 · “不这样,就只能那样”
“学校如果不全面禁止手机,就只能让学生随时随地使用。”
两者之间还可以有:上课收好、下课按规定使用、紧急情况允许等方案。“不全面禁止”并不等于“完全不限制”。
排中律是P∨∼P:P成立,或者P不成立。它没有说“任何两个听起来相反的方案,必定有一个成立”。
例15 · “说话的人怎样”与“理由怎样”
“你上次考试没考好,所以你提出的班级活动方案一定不合理。”考试成绩没有直接检验这个方案。
但若一项统计来自某人,询问他怎样记录数据、是否漏记,是在检查证据的可靠性。不能把所有关于来源的提问都叫人身攻击。
用一句话准确回应
“你没能证明方案A不好,所以方案A就是最好的。”
一种回应
“没有证明它不好,不等于证明它最好。要说最好,还需要明确比较标准,并说明它如何优于其他可行方案。”
* 6 · 完整对话示范
一场讨论可以怎样一步步变清楚?
下面的同学讨论:“学校是否应该全面禁止学生携带手机?”这是教学对话。我们先检查理由,不预设政策答案。
- 小林
凡是可能分散注意力的物品,都应该禁止带进学校。手机可能分散注意力,所以应该禁止携带手机。
逻辑观察:结构有效。争议集中在两个前提,尤其是第一条原则。
- 小安
你说的“禁止携带”,包括关机放在书包里、准备放学后联系家长的情况吗?还是只禁止上课娱乐使用?
用处:先确定范围,避免两人讨论不同方案。
- 小林
我原本说的是全面禁止,包括你说的情况。
用处:把隐含的范围说出来,才能检查是否过强。
- 小安
那你是否也认为课外书可能分散注意力?如果认为是,按你的原则,课外书也应该全部禁止带入。你接受这个结果吗?
用处:把同一规则应用到另一个对象,检查规则是否得到一致认可。
- 小林
课外书确实可能分散注意力,但我不赞成全部禁止。看来“只要可能分心就禁止”说得太宽了。
用处:承认这条前提需要修改。此时尚未决定手机政策。
- 小安
手机有紧急联系的用途,所以任何限制都不应该有。
注意:小安也把结论说得过强。“存在益处”不能独自推出“任何限制都不合理”。
- 小林
我同意有这类用途。但保留紧急联系,和限制课堂娱乐使用,可以同时做到。我们能不能比较这些方案?
用处:指出还有中间方案,避免只在“全禁”和“全放开”之间选择。
- 两人
我们改为讨论:上课时如何管理手机,同时保留必要的联系渠道?还需要了解课堂干扰、联系需要和执行成本。
阶段结果:原来的强主张得到修正;剩余分歧变成了可以进一步找证据的问题。
这场对话实际证明了什么?
它揭示了“凡可能分心的物品都应禁止”这条原则与小林的另一项判断不相容,也指出小安从“有益处”跳到“不应有任何限制”的缺口。
它没有证明某项手机政策必然最好。逻辑让分歧更清楚,接下来仍需事实、价值标准和方案比较。
第二个短例子:怎样接住反驳?
例16 · 图书馆是否应该延长开放?
甲:“延长开放会让一些同学更方便,所以应该延长。”
乙:“但老师需要额外值班,你考虑了吗?”
甲的较好回应:“你指出了我遗漏的成本。我的理由说明延长开放有一项好处,还没有说明它值得付出全部成本。我们可以比较每周开放一天与每天开放的方案。”
不充分的回应:“你反对延长,就是不关心同学。”乙提出成本问题,并不必然表明他不关心同学。
可以直接使用的提问句
- “我先确认一下:你的主张是……,对吗?”
- “你说的是所有情况,还是通常情况?”
- “这个条件是足够,还是只是必需?”
- “即使我接受这个事实,为什么就能得到后面的结论?”
- “这个例子推翻的是哪一句话?”
- “你愿意把原主张修改为哪一个更准确的版本?”
这些句子的作用是把问题定位清楚。回答者可以解释条件、补充证据,也可以诚实修正观点。把复杂问题硬压成没有前提的“是或不是”,可能反而妨碍澄清。
** 7 · 超出演绎逻辑的一步
结论不要求“必然”时,还要怎样检查?
数学证明通常要求结论有严格保证。现实讨论还会说“更可能”“通常”“值得试行”。这类论证可能提供有分量的支持,却并不保证结论绝无例外。检查它们,需要学习证据、概率和因果。
调查了谁,结论就能说到谁吗?
例17 · 12人的问卷,能代表40人吗?
假设一个班有40人。小安只问了12位留在教室的同学,其中9人支持运动会增加跳绳项目。他宣布:“全班有75%的人支持。”
9÷12=75%,只能直接说明被问到的这12人中有75%支持。其余28人还不知道。实际全班支持人数可能少至9人,也可能多至37人。
可以追问:“这12人怎样选出来?没被问到的人是否有不同偏好?能否把其余同学也问一遍?”
如果样本选择得当,调查可以用来估计总体情况;但这种估计有不确定性,需要相应的方法。“多数”“通常”也需要明确范围,不能只凭印象。
一起发生,不等于一个造成另一个
例18 · 晨读与成绩
假设我们观察到:班里经常自主晨读的同学,平均成绩较高。能否立刻断定“晨读造成了全部差距”?
还可能是这些同学原本基础更好、学习更投入,既更愿意晨读,也会采用其他学习方法。观察结果可以提示问题,但还没有排除这些解释。
可以寻找更公平的比较,了解原来的基础、其他学习安排等。仅仅增加一个“所以”,不会使观察自动变成因果证明。
从“是这样”到“应该这样”,中间缺什么?
例19 · 多数喜欢,就必须照做吗?
“全班多数人喜欢在午休时大声播放音乐,所以午休时就应该播放。”
即使调查结果是真的,结论仍需要一条原则,例如“只要多数喜欢,就应该照做”。这条原则是否忽略了其他同学休息的需要?
大家可以讨论如何考虑多数偏好、休息需要和可选方案。逻辑帮助把价值原则找出来,但不能仅凭人数就决定所有取舍。
把“应该”写进一个逻辑公式,不会让其中的价值判断自动成为事实。应当让别人看到:你的事实前提是什么,价值原则是什么,两者如何共同支持结论。
一次失败,推翻的是哪一种主张?
例20 · “必定有效”与“可能有帮助”
如果有人说“只要采用学习方法A,每个人的每次成绩都会提高”,一个符合条件却没有提高的例子就能反驳这句话。
如果说的是“在适当条件下,这种方法通常有帮助”,一个失败例子并不直接推翻它。但仍可追问:适当条件是什么?“通常”有多少?证据如何获得?
也不能不断添加没有根据的例外,让主张永远逃过检查。条件应清楚、稳定,并有独立理由。
* 8 · 练习与短辩论
把会认规则,变成会说理由
先独立回答,再打开解析。这里主要检查解释是否准确,不要求记住所有谬误的名称。挑战题另有星号。
练习1 · 有效与正确
“所有自然数都是偶数。3是自然数。所以3是偶数。”这个论证的形式有效吗?它健全吗?
答案与理由
形式有效:如果所有自然数都是偶数,3作为自然数就必须是偶数。但第一个前提为假,所以论证不健全。不要把“有效”理解为“前提与结论全都正确”。
练习2 · 必要不等于足够
“报名演讲比赛必须交申请表。小明交了申请表。所以他一定已成功报名。”缺少什么信息?
答案与理由
可能还需要满足报名时间、年级范围等条件。交表是必要条件,题目没有说它是充分条件。可以问:“是否还有其他条件?交表后是否需要确认?”
练习3 · 反例要符合前件
“所有参加美术社的同学都会画水彩。”小华不会画水彩。仅凭这一点,能否反驳原话?
答案与理由
还需要知道小华参加了美术社。反例应同时满足“参加美术社”与“不会画水彩”。若不属于讨论范围,就没有击中原主张。
练习4 · 否定“所有”
否定“每位同学都愿意参加合唱”,不要把话说得过强。
答案与理由
“至少有一位同学不愿意参加合唱。”不是“每位同学都不愿意参加”。
练习5 · 两句话一样吗?
“每个同学都有一本喜欢的书”与“有一本书是每个同学都喜欢的”,哪一句能保证另一句?
答案与理由
第二句能保证第一句:那本共同喜欢的书可以作为每个人的选择。第一句不能保证第二句,因为大家可能喜欢不同的书。
练习6 · 否定“且”
“这个方案并非既便宜又方便。”小林解释为“它又贵又不方便”。他的解释是否过强?
答案与理由
过强。正确的否定是“不便宜,或者不方便”,允许只缺少一个优点。并且“不便宜”是否能改成“贵”,还要看双方怎样划分价格范围;可能还有中等价格。
练习7 · 第三个方案
“要么每天布置很多作业,要么完全不布置作业。”给出至少一个没有被包括的方案。
答案与理由
例如每天布置适量作业,或按学习需要安排不同类型的练习。这两个选项没有穷尽全部可能。指出第三个方案,不等于已经证明第三个方案最好。
练习8 · 没反驳成功,就算证明成功吗?
“你没有找出这个公式的反例,所以这个公式对所有自然数都成立。”这一步有什么问题?
答案与理由
暂时没有找到反例,不等于已经给出了证明。若范围无限,检查许多个数仍可能漏掉例外。若范围是已知的有限集合,而且确实检查了全部对象,情况就不同;那可以构成穷举证明。
练习9 · 看似相反,是否矛盾?
某人说:“上课时一般不使用手机;紧急联系时可以使用。”仅凭这两句话,能否判定他自相矛盾?
答案与理由
不能。前一句有“一般”的限定,后一句可以是在说明例外。应问清规则适用的条件。若他说“任何情况下绝不允许”,又允许同一范围内的紧急情况,才需要修正这个绝对说法。
练习10 · 反驳的限度
甲用一项错误调查支持“延长图书馆开放”。乙发现调查记录有误。乙能直接宣布“所以图书馆不应该延长开放”吗?
答案与理由
不能。乙已经削弱了这项证据,但还没有证明反对延长的结论。可能存在其他支持延长的理由,也可能存在反对理由,需要继续比较。
** 练习11 · 一个反对者够吗?
全班40人。小林说“多数同学支持A”。小安找到一位反对者,就说小林错了。反驳是否充分?
答案与理由
不充分。多数允许少数反对。在40人中,“多数支持”要求超过20人支持。一个反对者只能推翻“全班所有人都支持”。也不能仅凭这一个反对者就反过来确认“多数支持”。
** 练习12 · 找出缺失的价值原则
“方案A能让比赛更快结束,所以应该选A。”除了事实真假,还要问什么?
答案与理由
需要问为什么“更快结束”足以成为选择标准,是否还要考虑公平、参与机会和比赛质量。可能的隐藏原则是“只要更省时间,就应该选择”,但这条原则仍需辩护。
小组活动 · 要不要试行周五延长开放?
题目:“班级是否应建议学校试行四周,在周五把图书馆开放时间延长30分钟?”以下是活动中共同接受的假设资料,不是真实调查:
- 全班40人都回答了问卷,24人支持试行,16人不支持。
- 其中15人表示自己计划至少去一次,但实际是否到场还不知道。
- 图书馆需要安排一位老师,每个周五额外值班30分钟;是否有人愿意承担尚未确定。
- 其他方案包括调整现有开放时段、只开放其中两个周五,或者暂不改变。
甲方尝试支持试行,乙方尝试反对或要求满足更多条件,第三人负责记录逻辑问题。讨论之后交换立场,练习为不同主张寻找最强的理由。
- 立论:各用一分钟说清结论、两个理由和需要接受的原则。
- 质询:各问两个问题,分别检查范围、条件、证据或价值标准。
- 回应:说明哪部分理由仍然成立,哪部分需要修改。
- 总结:列出共同接受的事实、仍有争议的原则和待查的信息。
给组织者的观察提示
支持方可以把24人的偏好、15人的计划当作需求证据,但不能说“全班都需要”或“15人一定到场”。反对方可以追问值班安排,但“尚未确定有人值班”不等于“绝对不可能安排”。
双方都应说明自己怎样权衡需求和成本。四周试行与永久实施不是同一主张,不能悄悄互换。活动没有预设胜方;有条件的支持、反对或暂缓判断,都可能得到认真辩护。
评价四项能力:主张是否清楚;理由是否支持结论;反驳是否准确;是否能诚实修正。声音大小和说话速度不代表推理质量。
我的论证检查单
可以在下面写自己的例子。页面不自动保存草稿;要保留,请填写后打印。打印会包含已经填写的文字。
*** 9 · 远眺形式化
几个符号,分别在说哪一层的事?
日常辩论没有必要把每句话都符号化。遇到条件复杂、容易换范围的论证,符号可以帮助我们把结构固定下来。
| 写法 | 在这里表示什么 | 要留意的区别 |
|---|---|---|
| P⇒Q | 一个条件公式 | 本章用⇒,有的书用→;按实质蕴涵解释 |
| P⊨Q | 每一种使P为真的解释,也都使Q为真 | 这是语义后承,检查所有相关解释 |
| P⊢Q | 在指定证明系统中,可以从P按规则推导Q | 这是形式推导,必须说明所用系统 |
在经典命题逻辑中,P⊨Q等价于“P⇒Q在所有真假赋值下都真”。但P⇒Q在某一次赋值下为真,远远不够。
例21 · 假前件不是现实论据
把“4是奇数”作为P,“3是偶数”作为Q。二者都假,因此按实质蕴涵的真值表,P⇒Q为真。
这没有使Q变成真,也没有给出证明Q的现实证据。要用肯定前件的规则,还必须有P;这里只有条件命题成立,前件并不成立。
所谓“实质蕴涵悖论”常提醒我们:真值规则与日常“如果”携带的关联、原因或承诺并不完全相同。这里没有出现一个命题同时既真又假的逻辑矛盾。
把校园论证写成谓词形式
设讨论范围是可携带的物品。D(x)表示“x可能分散注意力”,B(x)表示“应该禁止把x带入学校”,m表示手机。
前提② D(m)
结论 B(m)
符号使我们看见:①是全称原则;②是关于手机的判断;两者一起支持结论。若某件物品b满足D(b)但不满足B(b),那么它就与前提①冲突。
这里把“可能分散注意力”和“应该禁止”各当作完整谓词,没有进一步研究“可能”和“应该”的内部逻辑。形式化总有建模范围,不会自动替我们回答所有现实问题。
进一步的逻辑课程还会研究证明系统、可靠性(soundness)与完备性(completeness)。这些是关于形式系统的性质;与前面评价一个具体论证是否健全,层次不同。本补充章不要求学习这些定理。
* 速查与教学提示
用一次讨论,检查四种能力
| 我能做到什么 | 对应的逻辑知识 | 可以问的一句话 |
|---|---|---|
| 准确重述对方主张 | 定义、论域、量词 | “你说的所有人,包括谁?” |
| 检查理由能否保证结论 | 条件、必要与充分、有效推理 | “前提都真时,结论还可能假吗?” |
| 给出击中原话的反驳 | 否定、反例、矛盾 | “这个例子满足前件吗?” |
| 正确报告讨论结果 | 论证失败与结论为假的区别 | “我证明了它错,还是只指出理由不够?” |
| ** 评价现实论证 | 样本、因果、价值原则 | “还有什么解释或取舍?” |
给教师与家长
本章的重点是让学生愿意把理由说出来,并学会准确修改。可以先选偶数、三角形等结论清楚的例子,再进入政策没有唯一预设答案的校园问题。
当学生指出错误时,继续问:“你现在究竟得到了什么结论?”当学生被反驳时,允许他说:“我收回‘所有’,改成‘有些’,但这也意味着我要重新组织理由。”
基础选读所需的条件、量词和否定规则,都在本章作了回顾。第7节与第9节不构成其他基础小节的前置条件。练习11—12也独立标为挑战。
辩论赛还涉及赛制、时间、表达和分工。本章只提供逻辑与论证基础;活动中的时长是练习安排,不是正式赛制规定。
配套阅读:主教材:逻辑部分;主教材:直接证明与证明方法。
本章为原创中文教学补充,沿用主教材的符号与分级。它不是《Book of Proof》的原有章节或译文。校园情境、人物对话、问卷数字和练习均为教学构造;涉及现实方案时,应另行核实证据。
编写日期:2026年11月3日。