反例（逻辑学导论）

1. 公式
   观察依据

   该抽象有效形式写作：“所有A都是B；所有B都是C；因此，所有A都是C。”

2. 声音
   观察依据

   说话者说：“我们可以将A、B和C替换成任意内容。”

A

抽象论证形式中的占位符术语；它代表可代入该形式的任意内容。

范畴三段论式图式中的项位置

1. 公式
   观察依据

   B出现在抽象有效形式的两个前提中：“所有A都是B”和“所有B都是C”。

2. 声音
   观察依据

   说话者说：“我们可以将A、B和C替换成任意内容。”

B

抽象论证形式中的中间占位符术语。

范畴三段论式图式中的项位置

1. 公式
   观察依据

   C出现在抽象有效形式的第二个前提和结论中。

2. 声音
   观察依据

   说话者说：“我们可以将A、B和C替换成任意内容。”

C

抽象论证形式中的占位符术语；它是结论的谓项。

范畴三段论式图式中的项位置

1. 公式
   观察依据

   右侧的无效形式使用了“所以，所有D都是E”，而非保持相同的结论项模式。

D

在无效比较形式中引入的占位符项。

论证图式中的项位置。

1. 公式
   观察依据

   无效比较形式以“所以，所有D都是E”结尾。

E

无效比较形式结论中的占位符项。

论证图式中的项位置。

1. 公式
   观察依据

   T写在有效例证的前提旁边，也写在图式反例列表前两行的旁边。

2. 声音
   观察依据

   说话者讨论如何使前提为真。

T

表示“真”的真值标签。

对前提或命题所作的真值标注。

1. 公式
   观察依据

   F写在有效例证的结论旁边，也写在图式反例列表第三行的旁边；在后者中，F被圈出。

2. 声音
   观察依据

   说话者讨论如何使结论为假。

F

表示“假”的真值标签。

对结论或命题所作的真值标注。

1. 公式
   观察依据

   抽象化的论证在语句“所有F都是D”“有些D是C”以及“因此，有些F是C”中使用了字母F。

2. 声音
   观察依据

   在00:28.000处，说话者说：“现在我们将用新的内容来替换F、D和C，使得这些前提为真，而该结论为假。”

F

一个空的占位符，代表第一个前提和结论中的主项。

在范畴式论证中使用的某一类或某一范畴；在示例中，它被替换为“香蕉”。

1. 公式
   观察依据

   字母D出现在“所有F都是D”和“有些D是C”中。

2. 声音
   观察依据

   在01:11.000处，说话者说：“嗯，这里有个想法：我们让D代表水果。”

D

一个空的占位符，代表两个前提所共有的中项。

在同一论证形式中使用的某一类或某一范畴；在示例中，它被替换为“水果”。

1. 公式
   观察依据

   字母C出现在“有些D是C”和“因此，有些F是C”中。

2. 声音
   观察依据

   在00:49.000处，说话者说：“而我用苹果来代表字母C。”

C

一个空的占位符，代表第二个前提和结论中的谓项。

在同一论证形式中使用的某一类或某一范畴；在示例中，它被替换为“苹果”。

1. 公式
   观察依据

   已演算的代入列表用“(T)”标记真命题，例如：“所有香蕉都是水果。（T）”和“有些水果是苹果。（T）”。

2. 声音
   观察依据

   在01:15.000处，说话者说：“这使得我们的第一个前提变为‘所有香蕉都是水果’，这是真的。”

(T)

表明该书写命题在所选代入下被判定为真。

应用于反例构造中每一前提行。

1. 公式
   观察依据

   已演算的代入列表用“(F)”标记结论，例如：“因此，有些香蕉是苹果。（F）”。

2. 声音
   观察依据

   在00:55.000处，说话者说：“这显然为假，因此我们成功地使结论为假。”

(F)

表明该书写命题在所选代入下被判定为假。

应用于反例构造中的结论行。

1. 声音
   观察依据

   主讲人指出，反例是一种检验论证有效性的方法，并称其为一种部分定义。

2. 图示
   观察依据

   手写文字显示：“反例是一种检验论证有效性的方法”，并用箭头指向“部分定义”。

反例被引入为一种用于检验论证有效性的方法。视频明确指出，这仅是一种部分定义。

1. 用于检验论证的有效性

1. 声音
   观察依据

   主讲人解释道，有时一个论证是否有效是显而易见的，并以狗、哺乳动物、香蕉、水果、猫和狮子为例加以说明。

2. 图示
   观察依据

   手写文字显示：“有时一个论证是否有效是显而易见的。”随后列出两个标注为“有效”和“无效”的例子。

对于某些论证，其有效性可无需进一步步骤即刻判定。一个有效论证具有显然保真的推理过程，而一个无效论证的诸前提可能与其结论完全无关。

1. 适用于推理过程显然成立，或前提明显与结论无关的情形

1. 反例的定义

1. 声音
   观察依据

   “一个论证是否有效，取决于它是否具有保真形式。”

2. 公式
   观察依据

   左侧图式：“所有A都是B / 所有B都是C / 因此，所有A都是C”，标注为“有效”。

视频通过形式而非内容来定义有效性：当一个论证的形式能够保真时，该论证即为有效。左侧的抽象图式被用作此类形式的示例。

1. 该判断针对的是论证的形式，而非其具体主题内容。

2. 该形式必须能从前提保真地推出结论。

1. 声音
   观察依据

   “然而，若一个论证所具有的形式不能保真，则该论证无效。”

2. 公式
   观察依据

   右侧图式：“所有A都是B / 所有B都是C / 因此，所有D都是E”，标注为“无效”。

当一个论证形式不能保真时，它便是无效的。视频通过展示一个结构相似但结论引入了不同项的图式，将这种无效形式与有效形式加以对比。

1. 相关性质再次在于形式，而非具体的内容。

2. 无效性被呈现为保真失败的情形。

1. 有效性即保真形式。

1. 声音
   观察依据

   当一个论证的形式有效时，我们可以将其内容替换为任意内容，此时将完全不可能使所有前提为真而结论为假。

2. 公式
   观察依据

   底部文字指出：当一种形式有效时，人们可以任意替换其内容，却仍无法使前提为真而结论为假。

3. 图示
   观察依据

   在有效图式中，前提旁添加 T 标记，结论旁添加 F 标记，以说明这种不可能出现的组合。

对于有效形式，内容项可被任意替换，而不会产生所有前提为真、结论为假的情形。视频正是以此作为仅通过形式检验有效性的操作依据。

1. 该性质仅在形式已被判定为有效之后才适用。

2. 替换的是内容项，而形式保持不变。

1. 有效性即保真形式。

1. 声音
   观察依据

   如果一个论证无效，那么就有可能改变其内容，使得前提为真而结论为假。

2. 公式
   观察依据

   新页面文字：“对无效论证则不能这么说”以及“如果一个论证无效，那么就有可能改变其内容，使得前提为真而结论为假。”

3. 图示
   观察依据

   图式列表显示前提标有 T，结论标有 F。

与有效形式不同，无效形式允许代入某些具体内容，使得所有前提为真，而结论为假。视频利用这种不对称性来引出反例的概念。

1. 该形式本身必须已是无效的。

2. 在保持形式不变的前提下，改变其中的内容。

1. 无效性即保真失败。
2. 有效形式的替换性质

1. 声音
   观察依据

   “反例是指与待评估论证具有相同形式、且前提为真而结论为假的一个论证。”

2. 公式
   观察依据

   手写定义："反例是指与待评估论证具有相同形式、且前提为真而结论为假的一个论证。"

3. 图示
   观察依据

   短语“前提为真而结论为假”被加下划线，标示其为核心要点。

反例并非任意一个假命题；它是一个与目标论证形式相同的另一论证，且其前提为真、结论为假。视频明确指出，这一真假模式的条件是关键部分。

1. 必须与待评估的论证具有相同的形式。

2. 前提必须为真。

3. 结论必须为假。

1. 有效性即保真形式。
2. 无效形式存在前提为真而结论为假的实例

1. 公式
   观察依据

   新页面标题：“我们如何构造反例？”

2. 声音
   观察依据

   “那么，问题二：我们如何构造反例？”

在定义反例之后，视频开启下一个任务：如何在实践中构建一个反例。本片段介绍了方法的框架，但并未在当前片段中完成整个过程。

1. 紧接反例的定义之后。

2. 适用于评估某一特定论证形式。

1. 反例的定义

1. 声音
   观察依据

   “我们为该论证构造反例的第一步，是剥离其具体内容。”

2. 图示
   观察依据

   具体论证被重写在新页面上，随后主讲人才开始讨论抽象化过程。

视频指出，构造反例的第一个实际步骤是移除论证的具体内容，即先将其形式抽离出来，再代入反例情形。

1. 适用于选定待评估的论证之后。

2. 发生在实际代入新内容之前。

1. 问题2：构造反例
2. 反例的定义

1. 声音
   观察依据

   在00:28.000处，说话者陈述目标：将F、D和C替换为新内容，使得所有前提为真而结论为假。

2. 公式
   观察依据

   页面标题为“我们如何构造反例？”，并在代入前以符号形式展示已演算的形式。

视频介绍了一种逐步构建论证形式反例的方法：首先将论证抽象为F、D和C等占位符；然后选择代入内容，使得每个前提都为真，而结论为假；说话者明确建议从结论入手，因为先令结论为假可简化后续前提代入的选择过程。

1. 目标是一种论证形式，而非单个孤立的句子。

2. 代入的内容必须保持原有的逻辑形式。

3. 所有前提最终都必须为真。

4. 结论最终必须为假。

1. 声音
   观察依据

   在00:04.000处，说话者说：“注意字母的选择。我并没有简单地沿用 A、B 和 C。相反，我特意选择了与论证先前内容相契合的字母，以便在指代该论证时更方便。”

2. 公式
   观察依据

   抽象化后的行中使用 F、D 和 C，而非通用的 A、B 和 C。

将具体论证转化为符号形式时，视频建议选择能呼应原始术语的字母。此处选用了 F、D 和 C，分别对应“宿命论者”“决定论者”和“结果主义者”。说话者强调，这种做法仅为便于追踪指代关系；这些字母本身并无内在含义。

1. 当原始论证中已包含有名称的类别或术语时，此方法尤为有用。

2. 助记式的字母选择不会改变论证的逻辑形式。

1. 检验论证有效性的反例法

1. 声音
   观察依据

   在00:21.000处，说话者说：“当然，请记住，这些字母本身实际上并无任何含义，它们只是空的占位符。”

2. 公式
   观察依据

   同一形式随后被实例化为香蕉、水果和苹果，但其结构并未改变。

在本课中，字母F、D和C被定义为论证形式中的空占位符。它们代表任意类或项，可在保持形式不变的前提下被其他项统一替换。其作用是结构性的，而非语义性的。

1. 适用于论证的符号抽象。

2. 对同一占位符的所有出现，替换必须保持一致。

1. 检验论证有效性的反例法

1. 声音
   观察依据

   当一个论证的形式有效时，我们可以将其内容替换成任意其他内容，此时就完全不可能使所有前提为真而结论为假。

2. 公式
   观察依据

   书面句子在页面上重复陈述了同一主张。

如果一个论证的形式有效，那么对该形式进行任何内容替换，都不可能使所有前提为真而结论为假。

1. 该论证形式有效。

2. 内容被替换，而形式保持不变。

对于有效形式的所有内容替换，都不可能出现前提为真而结论为假的情况。

1. 声音
   观察依据

   如果一个论证无效，那么就有可能通过改变其内容，使得前提为真而结论为假。

2. 公式
   观察依据

   第二页上的书面句子表述了相同的条件关系。

如果一个论证无效，那么就存在某种内容替换，使得前提为真而结论为假。

1. 该论证无效。

2. 人们可以在保持其形式不变的前提下改变其内容。

对于每一个无效的论证形式，都至少存在一种内容代入方式，使得所有前提为真而结论为假。

1. 声音
   观察依据

   正是有效论证与无效论证之间的这一关键区别，使得反例成为我们可资利用的工具。

反例之所以有效，是因为有效形式永远不会出现前提为真而结论为假的情况，而无效形式则允许这种情况发生。

1. 有效形式与无效形式之间的区分已经确立。

有效形式与无效形式之间存在着普遍的对立关系。

1. 声音
   观察依据

   在01:29.000处，说话者说：“我们恰好抓取到完全相同的论证形式，却使其前提为真、结论为假，这证明该论证是无效的。”

2. 公式
   观察依据

   完成的替换保持了形式‘所有F都是D / 有些D是C / 所以，有些F是C’，并赋予其真值T、T、F。

如果能够将术语代入该完全相同的论证形式，使得所有前提为真而结论为假，那么该论证形式就是无效的。

1. 所代入的实例保持了与原始论证完全相同的逻辑形式。

2. 代入实例中的每一个前提都为真。

3. 代入实例中的结论为假。

对于给定的论证形式，只要存在至少一个这样的代入，就足以判定该形式无效。

1. 声音
   观察依据

   在01:47.000处，说话者说：“注意，有效论证没有反例。”

2. 公式
   观察依据

   新页面上的手写笔记明确写道：“有效论证没有反例。”

没有有效论证允许存在反例，因为反例要求所有前提为真而结论为假。

1. 所讨论的论证是有效的。

2. 反例被理解为一种实例：所有前提为真，而结论为假。

对所有有效论证而言：无一具有反例。

1. 声音
   观察依据

   主讲人说：“这显然是一则无效论证。”

2. 声音
   观察依据

   他得出结论：“因此，我们已证明正在评估的这个论证是无效的。”

3. 公式
   观察依据

   所展示的反例中，前提被标记为（T），结论被标记为（F）。

若某一论证形式存在一个实例，其中所有前提均为真而结论为假，则该论证形式是无效的。

1. 该实例保持了原始形式。

2. 该实例中的所有前提均为真。

3. 该实例中的结论为假。

对于给定的论证形式，只要存在一个这样的反例实例就已足够。

1. 声音
   观察依据

   主讲人口头给出了定义。

2. 图示
   观察依据

   相同的定义被写在了页面上。

反例是一个与待评估论证具有相同形式的论证，且其前提为真而结论为假。

1. 存在一个待评估的论证。

2. 人们构造另一个具有相同形式的论证。

本课中对何为反例的普遍性刻画。

1. 声音
   观察依据

   说话者指出，如果我们成功做到这一点，就可以有把握地断定该论证是无效的。

如果有人成功构造出一个与待评估论证形式相同、且前提为真而结论为假的论证，那么该待评估论证就是无效的。

1. 所构造的论证与目标论证具有相同的形式。

2. 它的所有前提都为真。

3. 它的结论为假。

适用于任何待评估论证的条件语句。

1. 声音
   观察依据

   说话者指出，反例只能证明论证的无效性，而不能证明其有效性。

2. 图示
   观察依据

   主讲人在‘最终思考’下方写出了相应的陈述。

反例只能证明一个论证是无效的；它们无法证明论证是有效的。

1. 当前讨论的方法是反例的构造。

对反例之证据作用的一般性限制。

1. 声音
   观察依据

   说话者提问：若尝试构造反例却未能成功，是否就能断定该论证有效？随后回答‘不能’，因为这可能只是想象力的局限，而非有效性的证明。

未能构造出反例，并不能证明该论证是有效的。

1. 有人曾尝试为该论证构造一个反例。

2. 尚未成功构造出任何反例。

关于失败尝试的一种否定性认识论主张。

1. 声音
   观察依据

   说话者指出，需要更精密的有效性检验方法，相关内容将在后续视频中讲解。

证明有效性所需的方法，比构造反例更为精密。

1. 目标是证明某个论证是有效的。

关于有效性检验的一般性方法论主张。

1. 公式
   观察依据

   并排写出两个模式：左侧为有效形式，右侧为无效形式。

2. 声音
   观察依据

   解说依次从保真形式过渡到代入性质，再过渡到无效情形。

3. 图示
   观察依据

   添加真假标注，以显示有效形式中不可能出现的真值模式，以及无效形式中可能出现的真值模式。

1. 公式

   $$\text{All } A \text{ are } B \\\text{All } B \text{ are } C \\\therefore\ \text{all } A \text{ are } C$$
   解释

   视频首先呈现一个抽象形式，并将其标记为“有效”。

   步骤依据

   直接在页面上展示，并在音频中作为保真形式陈述。

   视频直接表达
2. 公式

   $$\text{All } A \text{ are } B \\\text{All } B \text{ are } C \\\therefore\ \text{all } D \text{ are } E$$
   解释

   随后呈现一种标为“无效”的对比形式。

   步骤依据

   直接在页面上展示，并在音频中描述为一种不保真的形式。

   视频直接表达
3. 公式

   $$\text{Valid form }\Rightarrow\ \neg\exists(\text{premises true \text{且} conclusion false})$$
   解释

   从有效情形出发，主讲人推导出替换原则：任何内容替换都不可能得到真前提与假结论。

   步骤依据

   在音频中明确陈述，并写在图式下方。

   视频直接表达
4. 公式

   $$\text{Invalid form }\Rightarrow\ \exists(\text{premises true \text{且} conclusion false})$$
   解释

   从无效情形出发，主讲人指出相反的可能性：通过改变内容，可以得到真前提与假结论。

   步骤依据

   在音频中明确陈述，并写在下一页。

   视频直接表达
5. 公式

   $$\text{Counterexample} = \text{same-form argument with true premises \text{且} false conclusion}$$
   解释

   这种不对称性促使我们将反例定义为揭示无效性的工具。

   步骤依据

   主讲人指出，反例正是利用这一关键差异，随后给出其定义。

   视频直接表达

该片段通过对比有效与无效形式，说明唯有无效形式才允许存在同形式的实例，其前提为真而结论为假，从而构建起反例方法。

1. 公式
   观察依据

   将具体论证重写为：“所有宿命论者都是决定论者／有些决定论者是结果主义者／因此，有些宿命论者是结果主义者”。

2. 声音
   观察依据

   主讲人指出，第一步是剥离该论证的内容。

1. 本片段中未完成将具体内容抽象为A、B、C的过程。

2. 宿命论者、决定论者与结果论者分别对应哪些占位符，虽被宣布为下一步操作，但本片段中并未展示。

1. 公式

   $$\text{All Fatalists are Determinists}$$
   解释

   待评估论证的第一个前提在新页面上重新呈现。

   步骤依据

   以手写形式呈现，并同步口头朗读。

   视频直接表达
2. 公式

   $$\text{Some Determinists are Consequentialists}$$
   解释

   第二个前提被抄录下来，作为展开例题演算的准备工作。

   步骤依据

   以手写形式呈现，并同步口头朗读。

   视频直接表达
3. 公式

   $$\therefore\ \text{Some Fatalists are Consequentialists}$$
   解释

   结论被抄录下来，以补全待评估的完整论证。

   步骤依据

   以手写形式呈现，并同步口头朗读。

   视频直接表达
4. 公式

   $$\text{strip it of its content}$$
   解释

   主讲人指出，第一个方法论步骤是剥离具体内涵，从而显露逻辑形式。

   步骤依据

   在本片段末尾的音频中明确陈述。

   视频直接表达

本片段已推进至反例构造的准备阶段：重写待评估论证，并为其形式抽象做好准备，但完整的反例构造尚未执行。

1. 公式
   观察依据

   该页展示了原始论证，接着是抽象形式，然后是替换列表 F：香蕉，D：水果，C：苹果，最后是代入后的命题，分别标有（T）、（T）和（F）。

2. 声音
   观察依据

   解说依次替换了 F、D 和 C：先使结论为假，再使两个前提均为真。

1. 公式

   $$\text{Original argument: All Fatalists are Determinists. Some Determinists are Consequentialists. So, some Fatalists are Consequentialists.}$$
   解释

   从页面上写出的具体范畴式论证出发。

   步骤依据

   直接观察自手写原始论证。

   视频直接表达
2. 公式

   $$\text{Abstract form: All F are D. Some D are C. So, some F are C.}$$
   解释

   将类别术语替换为占位符 F、D 和 C，同时保持句子结构不变。

   步骤依据

   主讲人解释说，内容正被字母替代，而这些字母是空的占位符。

   视频直接表达
3. 公式

   $$\text{Goal: make all premises true \text{且} the conclusion false.}$$
   解释

   陈述代入必须满足的反例条件。

   步骤依据

   在音频中于00:28.000处明确宣布。

   视频直接表达
4. 公式

   $$F:\ \text{Bananas},\quad C:\ \text{Apples}$$
   解释

   先为 F 和 C 选择取值，使得结论变为假。

   步骤依据

   主讲人建议从结论入手，然后先写出实例化后的结论，再选择 D。

   视频直接表达
5. 公式

   $$\text{So, some bananas are apples.}\ (F)$$
   解释

   在所选取值下，结论为假，满足所需的假性条件。

   步骤依据

   主讲人称该结论显然为假，并在页面上将其标记为（F）。

   视频直接表达
6. 公式

   $$D:\ \text{Fruits}$$
   解释

   选择剩余的占位符，使得在 F 和 C 已固定的前提下，两个前提均为真。

   步骤依据

   主讲人将此作为结论已被证伪之后的下一个思路提出。

   视频直接表达
7. 公式

   $$\text{All bananas are fruits.}\ (T)$$
   解释

   将 F = 香蕉 和 D = 水果 代入第一个前提；所得命题为真。

   步骤依据

   该命题写在页面上，并在音频中被确认为真。

   视频直接表达
8. 公式

   $$\text{Some fruits are apples.}\ (T)$$
   解释

   将 D = 水果、C = 苹果代入第二前提；所得命题同样为真。

   步骤依据

   以文字形式写在页面上，并在音频中被确认为真。

   视频直接表达
9. 公式

   $$\text{Same form, premises }(T,T),\text{ conclusion }(F)\Rightarrow \text{invalid}$$
   解释

   由于该代入实例在保持原形式完全不变的前提下，使前提为真而结论为假，因此原形式无效。

   步骤依据

   说话人在01:29.000处明确陈述。

   视频直接表达

形式“所有 F 都是 D / 有些 D 是 C / 所以，有些 F 是 C”是无效的，如代入 F = 香蕉、D = 水果、C = 苹果所示。

1. 声音
   观察依据

   在01:51.000处，说话人说：“鉴于所有反例都必须具有真前提和假结论，对一个有效论证而言，永远不可能构造出这样的反例。”

2. 公式
   观察依据

   书面笔记写道：“有效论证没有反例。”

1. 公式

   $$\text{Counterexample} = \text{true premises} + \text{false conclusion}$$
   解释

   回顾本课始终使用的反例定义条件。

   步骤依据

   该条件早先已被陈述，并在最终解释中再次使用。

   视频直接表达
2. 公式

   $$\text{Valid argument: impossible to have true premises \text{且} false conclusion}$$
   解释

   依据有效性的定义，不存在任何该论证的实例能在保持形式不变的前提下，从前提为真推出结论为假。

   步骤依据

   说话人的最终评论依赖于这一标准的有效性概念，尽管本片段中并未单独写出其完整的形式化定义。

   依据视频推导
3. 公式

   $$\text{Therefore valid arguments do not have counterexamples}$$
   解释

   由于反例所要求的情形恰恰被有效性规则所排除，因此反例不可能存在。

   步骤依据

   音频中直接陈述，并在页面上写出。

   视频直接表达

有效论证不可能有反例，因为反例要求所有前提为真而结论为假，而这正是有效性所禁止的。

1. 公式
   观察依据

   推导过程从抽象形式出发，经代入，最终得到标有真假值的具体句子。

2. 声音
   观察依据

   说话者明确表示，他们将首先使结论为假，再使前提为真。

1. 公式

   $$\text{Some } S \text{ are not } P\\ \text{All } P \text{ are } I\\ \text{So, some } S \text{ are not } I$$
   解释

   从原始论证中提取出的抽象形式出发。

   步骤依据

   视频先将承载内容的论证改写为图式形式，再进行检验。

   视频直接表达
2. 公式

   $$S = \text{vegetables},\quad I = \text{food}$$
   解释

   选择 S 和 I，使得结论为假。

   步骤依据

   主讲人表示将从结论出发，使“有些 S 不是 I”为假。

   视频直接表达
3. 公式

   $$\text{So, some vegetables are not food. }(F)$$
   解释

   在此选择下，结论为假。

   步骤依据

   视频用（F）标记该实例化的结论。

   视频直接表达
4. 公式

   $$P = \text{carrots}$$
   解释

   选择 P，使得两个前提均为真，同时保持结论为假。

   步骤依据

   主讲人在固定 S 和 I 后检验 P，然后验证两个前提。

   视频直接表达
5. 公式

   $$\text{Some vegetables are not carrots. }(T)$$
   解释

   在所选代入下，第一个前提为真。

   步骤依据

   视频用（T）标记该实例化前提。

   视频直接表达
6. 公式

   $$\text{All carrots are food. }(T)$$
   解释

   在所选代入下，第二个前提也为真。

   步骤依据

   视频用（T）标记该实例化前提。

   视频直接表达
7. 公式

   $$\text{True premises + false conclusion} \Rightarrow \text{invalid form}$$
   解释

   由于该图式存在一个实例，其所有前提为真而结论为假，因此该图式无效。

   步骤依据

   这是视频片段中演示的反例法。

   视频直接表达

“有些S不是P；所有P都是I；因此，有些S不是I”这一论证形式是无效的。

1. 声音
   观察依据

   主讲人明确回顾了两个问题及其答案。

2. 图示
   观察依据

   该页面按编号组织为复习条目1和2，并包含子步骤。

1. 公式

   $$\text{What is a counterexample?}$$
   解释

   回顾首先重述定义相关的问题。

   步骤依据

   直接以页面上的条目1形式呈现，并由叙述者口述。

   视频直接表达
2. 公式

   $$\text{A counterexample is an argument with the same form ... true premises \text{且} a false conclusion.}$$
   解释

   该定义提供了候选论证必须满足的判定标准。

   步骤依据

   在视频片段中以文字和语音两种形式呈现。

   视频直接表达
3. 公式

   $$\text{How do we construct a counterexample?}$$
   解释

   随后，回顾转向方法层面。

   步骤依据

   直接以页面上的条目2形式呈现，并由叙述者口述。

   视频直接表达
4. 公式

   $$1.\ \text{Write down the form of the argument being evaluated.}$$
   解释

   第一步程序性操作保持目标形式不变。

   步骤依据

   在视频片段中以文字和语音两种形式呈现。

   视频直接表达
5. 公式

   $$2.\ \text{Fill in the content so as to make the premises true \text{且} the conclusion false.}$$
   解释

   第二步选择内容项，以满足定义所要求的真值模式。

   步骤依据

   视频中以文字和语音形式呈现。

   视频直接表达
6. 公式

   $$\text{If we succeed ... the argument is invalid.}$$
   解释

   将定义与构造方法相结合，可得出结论：成功构造反例即证明论证无效。

   步骤依据

   说话人在完成两个步骤后直接陈述该结论。

   视频直接表达

视频回顾环节将反例的定义、两步构造法以及“成功构造即确立无效性”这一结论联系起来。

1. 声音
   观察依据

   说话人提出一个假设性问题：若未能构造出反例，是否意味着论证有效？并回答：这并不能证明其有效性。

2. 图示
   观察依据

   说话人讨论尝试构造过程时，板书展示了一个示例论证形式，并代入 $A=X$、$B=X$、$C=X$。

1. 视频中对符号 X 的使用仅具示意性，并未给出完整解释。

1. 公式

   $$\text{Suppose we try to construct a counterexample \text{且} cannot get it to work.}$$
   解释

   推导始于一次不成功的搜索情境。

   步骤依据

   由旁白以假设性问题的形式口述。

   视频直接表达
2. 公式

   $$\text{Wouldn't that show that the argument is valid?}$$
   解释

   这是说话人提出的、看似合理但最终被否定的推理。

   步骤依据

   在音频中明确说出。

   视频直接表达
3. 公式

   $$\text{No.}$$
   解释

   说话者拒绝这一推论。

   步骤依据

   音频中明确陈述。

   视频直接表达
4. 公式

   $$\text{It might be a failure of our imagination, not proof of validity.}$$
   解释

   理由属于认识论层面：人类难以找到代入值，并不能决定该形式的逻辑地位。

   步骤依据

   由叙述者说出。

   视频直接表达
5. 公式

   $$\text{More sophisticated methods of testing validity are needed.}$$
   解释

   因此，有效性必须通过其他方法来确立，而不能依赖于失败的反例搜寻。

   步骤依据

   叙述者紧接着立即说出。

   视频直接表达

构建反例的不成功尝试，可能反映的是搜寻者自身的局限，而非论证本身的有效性，因此它不能作为有效性的证明。

1. 声音
   观察依据

   主讲人给出如下论证：“所有狗都是哺乳动物。所有哺乳动物都是动物。因此，所有狗都是动物。”

2. 图示
   观察依据

   该论证书写在页面左侧，并标注为“有效”，旁附一个笑脸符号。

判断该论证是否有效：所有狗都是哺乳动物。所有哺乳动物都是动物。因此，所有狗都是动物。

1. 所有狗都是哺乳动物

2. 所有哺乳动物都是动物

检验该论证的有效性

1. 公式

   $$$$
   解释

   该推理显然保持真值。

   步骤依据

   观察其逻辑结构。

   视频直接表达

有效

结论从前提中逻辑地得出。

1. 声音
   观察依据

   说话者给出的论证是：‘所有香蕉都是水果。所有水果都是食物。因此，所有猫都是狮子。’

2. 图示
   观察依据

   该论证写在页面右侧，并标注为‘无效’，配有一个皱眉表情。

判断该论证是否有效：所有香蕉都是水果。所有水果都是食物。所以，所有猫都是狮子。

1. 所有香蕉都是水果

2. 所有水果都是食物

检验该论证的有效性

1. 公式

   $$$$
   解释

   前提与结论之间不相关。

   步骤依据

   观察到前提与结论之间存在语义断连。

   视频直接表达

无效

结论不能从前提中逻辑推出。

1. 声音
   观察依据

   说话者给出如下论证：‘所有宿命论者都是决定论者。有些决定论者是结果主义者。所以，有些宿命论者是结果主义者。’

2. 图示
   观察依据

   该论证被写在一张新页面上，并附有注释：‘有效性尚不明确……’

1. 本片段未说明该论证的最终有效性。

判断该论证是否有效：所有宿命论者都是决定论者。一些决定论者是结果主义者。因此，一些宿命论者是结果主义者。

1. 所有宿命论者都是决定论者

2. 一些决定论者是结果主义者

检验该论证的有效性

1. 公式

   $$$$
   解释

   由于术语和结构较为复杂，其有效性并不一目了然。

   步骤依据

   主讲人讲解

   视频直接表达

有效性尚不明确

需要借助反例等进一步的检验方法，而这些方法尚未展示。

1. 公式
   观察依据

   左栏展示“所有A都是B / 所有B都是C / 因此，所有A都是C”，并标注为“有效”。

2. 图示
   观察依据

   前提用T表示，结论用F表示，以图示该被禁止的模式。

3. 声音
   观察依据

   讲解者指出，这种形式保持真值，且A、B和C可被任意内容替换。

使用抽象图式来阐释何谓论证形式有效。

1. 图式：“所有A都是B”，“所有B都是C”，因此，“所有A都是C”。

2. A、B和C是可替换内容的占位符。

说明该形式有效，因为不存在任何替换能使前提为真而结论为假。

1. 公式

   $$\text{All } A \text{ are } B$$
   解释

   写出抽象形式的第一个前提。

   步骤依据

   直接显示在页面上。

   视频直接表达
2. 公式

   $$\text{All } B \text{ are } C$$
   解释

   写出第二个前提。

   步骤依据

   直接显示在页面上。

   视频直接表达
3. 公式

   $$\therefore\ \text{all } A \text{ are } C$$
   解释

   写出结论。

   步骤依据

   直接在页面上显示。

   视频直接表达
4. 公式

   $$T,\ T,\ F$$
   解释

   标出前提为真而结论为假的尝试模式，以表明该有效形式不可能出现这种情况。

   步骤依据

   视频在讲解替换性质时，同步添加了这些真值标签。

   视频直接表达

该形式是有效的：对A、B和C进行任意替换后，前提为真而结论为假的情形仍不可能出现。

对照有效性“保真形式”的口述定义，以及“内容可任意替换而不致产生前提为真而结论为假情形”的明确书面断言，进行了核查。

1. 公式
   观察依据

   右栏显示“所有A都是B / 所有B都是C / 因此，所有D都是E”，并标注为“无效”。

2. 声音
   观察依据

   主讲人将此形式与保真形式对比，指出它不具备保真性。

1. 本片段在此时间窗口内未提供该无效图式的一个具体代入实例。

使用一个对比性的抽象图式来说明无效形式。

1. 图式为：“所有A都是B”，“所有B都是C”，因此“所有D都是E”。

证明该形式无效，因为它不能保持真值。

1. 公式

   $$\text{All } A \text{ are } B$$
   解释

   写出第一个前提。

   步骤依据

   直接显示在页面上。

   视频直接表达
2. 公式

   $$\text{All } B \text{ are } C$$
   解释

   写出第二个前提。

   步骤依据

   直接显示在页面上。

   视频直接表达
3. 公式

   $$\therefore\ \text{all } D \text{ are } E$$
   解释

   用新术语 D 和 E 写出结论。

   步骤依据

   直接显示在页面上。

   视频直接表达
4. 公式

   $$\text{Invalid}$$
   解释

   将该图式标记为无效。

   步骤依据

   写在图式下方，并由关于非保真形式的解说加以支持。

   视频直接表达

该形式无效。

视频通过将其与有效图式对比，并随后指出无效图式允许出现前提为真而结论为假的代入，从而在概念上验证了这一点。

1. 图示
   观察依据

   绘制了一个三行图式，内容用波浪线表示，真值分别为 T、T 和带圆圈的 F。

2. 声音
   观察依据

   主讲人指出，反例利用了有效论证与无效论证之间的区别。

1. 波浪线是示意性占位符，而非完全确定的命题。

在不给出全部内容的前提下，表示反例的一般结构。

1. 对应两个前提和一个结论的三行列表。

2. 真值标注：T、T，以及加圆圈的 F。

展示反例所需的真值模式。

1. 公式

   $$1.\ \sim\sim\sim\quad T$$
   解释

   第一个前提以示意方式表示，并标注为真。

   步骤依据

   在图中可见。

   视频直接表达
2. 公式

   $$2.\ \sim\sim\sim\quad T$$
   解释

   第二个前提以示意方式表示，并标注为真。

   步骤依据

   在图中可见。

   视频直接表达
3. 公式

   $$So.\ \sim\sim\sim\quad (F)$$
   解释

   结论以示意方式表示，并标注为假，其中 F 加圆圈以作强调。

   步骤依据

   在图中可见。

   视频直接表达

一个反例具有如下模式：前提为真，前提为真，结论为假。

这与视频片段中稍后给出的反例明确定义相吻合。

1. 公式
   观察依据

   该论证被重写在新一页上：“所有宿命论者都是决定论者 / 有些决定论者是结果论者 / 因此，有些宿命论者是结果论者”。

2. 声音
   观察依据

   主讲人称其为“先前那个令人望而生畏的论证”，并指出第一步是剥离其具体内容。

1. 本片段内未给出任何完成的反例。

2. 从具体术语到占位符的抽象化仅被提及，尚未实际执行。

设定将通过构造反例来检验的具体论证。

1. 所有宿命论者都是决定论者。

2. 有些决定论者是结果论者。

3. 因此，有些宿命论者是结果论者。

准备构造反例：首先提取论证的形式。

1. 公式

   $$\text{All Fatalists are Determinists}$$
   解释

   将第一个前提抄写到新页面上。

   步骤依据

   以手写形式呈现，并口头读出。

   视频直接表达
2. 公式

   $$\text{Some Determinists are Consequentialists}$$
   解释

   抄写第二个前提。

   步骤依据

   以手写形式呈现，并口头读出。

   视频直接表达
3. 公式

   $$\therefore\ \text{Some Fatalists are Consequentialists}$$
   解释

   抄写结论。

   步骤依据

   以手写形式呈现，并口头读出。

   视频直接表达
4. 公式

   $$\text{strip it of its content}$$
   解释

   在实际执行前，先明确说明下一步方法论操作。

   步骤依据

   音频在片段结尾处明确说出。

   视频直接表达

该片段指出了目标论证并命名了第一步，但此处尚未完成反例的构造。

已对照此前给出的反例定义进行核验：下一步应是找出一个形式相同、前提为真而结论为假的论证，而这一点尚未展示。

1. 公式
   观察依据

   页面上的完整解题示例列出了：F：香蕉，D：水果，C：苹果，以及带真值标注的实例化命题（T）、（T）、（F）。

2. 声音
   观察依据

   解说明确选取了香蕉、苹果和水果，并评估了它们的真值。

为论证形式〔All F are D. Some D are C. So, some F are C.〕构造一个反例。

1. 该抽象形式为〔All F are D. Some D are C. So, some F are C.〕。

2. F、D 和 C 是空的占位符，可由类项替换。

3. 反例要求所有前提为真且结论为假。

找出对 F、D 和 C 的替换，使其保持形式不变，并使前提的真值为 T、T，而结论的真值为 F。

1. 公式

   $$F:\ \text{Bananas},\quad C:\ \text{Apples}$$
   解释

   首先将香蕉赋给 F、苹果赋给 C，以针对结论展开分析。

   步骤依据

   主讲人建议先让结论为假。

   视频直接表达
2. 公式

   $$\text{So, some bananas are apples.}\ (F)$$
   解释

   在关于香蕉和苹果的常识下，实例化后的结论为假。

   步骤依据

   主讲人称这显然为假，并标记为（F）。

   视频直接表达
3. 公式

   $$D:\ \text{Fruits}$$
   解释

   将“水果”赋给D，使得在已选定的F与C下，两个前提均成立。

   步骤依据

   这是例题中接下来明确引入的替换。

   视频直接表达
4. 公式

   $$\text{All bananas are fruits.}\ (T)$$
   解释

   代入F = 香蕉、D = 水果后，第一个前提变为真。

   步骤依据

   写在纸上，并在音频中予以确认。

   视频直接表达
5. 公式

   $$\text{Some fruits are apples.}\ (T)$$
   解释

   代入D = 水果、C = 苹果后，第二个前提变为真。

   步骤依据

   写在纸上，并在音频中予以确认。

   视频直接表达

一个有效的反例替换是：F = 香蕉，D = 水果，C = 苹果，得到：所有香蕉都是水果。（T），有些水果是苹果。（T），所以，有些香蕉是苹果。（F）。

形式保持不变，两个前提均标记为真，结论标记为假；因此该例子验证了原形式的无效性。

1. 公式
   观察依据

   该页面展示了关于软件开发者、盗版行为与不道德人群的三行自然语言论证。

2. 声音
   观察依据

   讲话者朗读该论证，并指出其结论看似为真。

判断以下论证是否有效：“有些软件开发者不是支持盗版的人；所有支持盗版的人都是不道德的人；因此，有些软件开发者不是不道德的人。”

1. 前提1：有些软件开发者不是支持盗版的人。

2. 前提2：所有支持盗版的人都是不道德的人。

3. 结论：有些软件开发者不是不道德的人。

通过构造反例来判断该论证是否有效。

1. 公式

   $$\text{Some software developers are not people who endorse pirating.}$$
   解释

   用日常语言写出第一条前提。

   步骤依据

   这在页面上直接显示，并被朗读出来。

   视频直接表达
2. 公式

   $$\text{All people who endorse pirating are immoral people.}$$
   解释

   写出第二个前提。

   步骤依据

   这在页面上直接显示并朗读出来。

   视频直接表达
3. 公式

   $$\text{So, some software developers are not immoral people.}$$
   解释

   写出结论。

   步骤依据

   这在页面上直接显示并朗读出来。

   视频直接表达
4. 公式

   $$\text{Some } S \text{ are not } P,\ \text{All } P \text{ are } I,\ \text{So, some } S \text{ are not } I$$
   解释

   将该论证抽象为含 S、P 和 I 的形式。

   步骤依据

   视频明确地将内容重写为图式形式，以便更清晰地审视其结构。

   视频直接表达

该例句被用作待检验有效性的目标论证。

验证工作推迟至后续的反例构造环节。

1. 公式
   观察依据

   替换列表指定 S = 蔬菜，P = 胡萝卜，I = 食物。

2. 公式
   观察依据

   实例化后的各行分别标记为（T）、（T）和（F）。

3. 声音
   观察依据

   说话者指出，所得反例表明该论证无效。

找出一个符合如下形式的实例：“有些S不是P；所有P都是I；因此，有些S不是I”，使得前提为真而结论为假。

1. 论证形式：有些S不是P。

2. 论证形式：所有P都是I。

3. 论证形式：因此，有些S不是I。

为该论证形式构造一个反例。

1. 公式

   $$S = \text{vegetables},\ I = \text{food}$$
   解释

   先选择S和I，使得结论为假。

   步骤依据

   说话者明确从结论出发，选取使“有些蔬菜不是食物”为假的词项。

   视频直接表达
2. 公式

   $$\text{So, some vegetables are not food. }(F)$$
   解释

   将结论实例化，并标为假。

   步骤依据

   视频中用（F）标记结论。

   视频直接表达
3. 公式

   $$P = \text{carrots}$$
   解释

   再选择P，使得两个前提都为真。

   步骤依据

   说话者在固定S和I之后尝试P，再验证两个前提是否成立。

   视频直接表达
4. 公式

   $$\text{Some vegetables are not carrots. }(T)$$
   解释

   将第一个前提实例化，并标为真。

   步骤依据

   视频用（T）写出这一行。

   视频直接表达
5. 公式

   $$\text{All carrots are food. }(T)$$
   解释

   代入第二个前提，并标记为真。

   步骤依据

   视频用（T）写出这一行。

   视频直接表达
6. 公式

   $$\text{Some vegetables are not carrots. }(T)\\ \text{All carrots are food. }(T)\\ \text{So, some vegetables are not food. }(F)$$
   解释

   汇总完整的反例实例。

   步骤依据

   这是最终完成并展示的示例。

   视频直接表达

该形式无效，因为当 S = 蔬菜、P = 胡萝卜、I = 食物时，该实例的前提为真而结论为假。

验证过程恰好对应所展示的真值模式：前提（T），结论（F）。

1. 图示
   观察依据

   主讲人写出一个三行的范畴论证：“所有A都是B”，“有些B是C”，“因此，有些A是C”。

2. 图示
   观察依据

   在其旁边，主讲人写下“$A = X$”、“$B = X$”和“$C = X$”。

3. 声音
   观察依据

   说话者在讨论尝试并失败构造反例时使用了这一书写内容。

1. 该片段并未明确说明这一示例形式本身是否有效或无效；它仅在讨论失败的反例构造过程中起示意作用。

2. X的含义未被形式定义，仅作为占位符使用。

主讲人一边解释尝试构造反例却无法使其成立的情形，一边展示一种典型的范畴论证形式。

1. 纸上所写的论证形式：所有A都是B。

2. 纸上所写的第二行：有些B是C。

3. 纸上所写的结论：因此，有些A是C。

4. 写在该形式旁的代入说明：$A = X$，$B = X$，$C = X$。

演示尝试为反例填充具体内容的过程，并说明演讲者观点：填充失败并不证明该论证有效。

1. 公式

   $$\text{All } A \text{ are } B$$
   解释

   所展示的示例论证形式中，第一条前提已被写出。

   步骤依据

   可见于页面上。

   视频直接表达
2. 公式

   $$\text{Some } B \text{ are } C$$
   解释

   第二条前提写在第一条前提下方。

   步骤依据

   可见于页面上。

   视频直接表达
3. 公式

   $$\text{So, some } A \text{ are } C$$
   解释

   结论作为第三行被写出。

   步骤依据

   在页面上可见。

   视频直接表达
4. 公式

   $$A = X,\quad B = X,\quad C = X$$
   解释

   主讲人在讨论一次尝试性构造时，在字母项旁添加了占位符替换。

   步骤依据

   在页面上可见；音频将此内容表述为尝试使反例成立的一部分。

   视频直接表达
5. 公式

   $$\text{Failure to get a counterexample to work does not prove validity.}$$
   解释

   该示例作为视觉辅助，配合主讲人关于搜索失败的警示。

   步骤依据

   在周围叙述中口头表达。

   视频直接表达

该片段使用所展示的形式及占位符替换，来说明尝试构造反例的过程；而口述要点在于：此类尝试的失败并不能确立命题的有效性。

验证仅限于比对所写形式与配套叙述；该片段未对样例形式完成完整的真值检验。

1. 动画
   观察依据

   主讲人并排写出两个论证，用一条竖线将它们分隔，并分别标注为“有效”和“无效”，且配以相应的表情符号。

1. 文字

2. 笔

3. 纸张

1. 书写论证过程

2. 画出分隔线

3. 添加标签和表情符号

1. 真实的纸张与笔

通过视觉对比一个明显有效的论证与一个明显无效的论证，以说明可立即识别的特点。

1. 动画
   观察依据

   主讲人将第一页翻过去，露出其下方一张空白页。

1. 纸张

1. 展示一张新的空白页

1. 主讲人的手与笔

提示从显而易见的例子转向需要进一步分析的更复杂情形。

1. 图示
   观察依据

   一张手写页面顶部展示了一个具体的哲学论证，接着是一条注释：“有效性是唯一的，而内容可能令人陌生”，然后提出问题“我们如何检验有效性？”，其下并列呈现两个抽象图式，分别标注为“有效”和“无效”。

2. 动画
   观察依据

   手写出推理图式，添加标签，然后在有效例证周围标注真值。

1. 关于宿命论者、决定论者与结果论者的具体论证

2. 关于有效性与内容的旁注

3. 问题标题：“我们如何检验有效性？”

4. 左侧抽象图式标注为‘有效’

5. 右侧抽象图式标注为‘无效’

6. 真值标注

1. 该页从具体例证推进到检验有效性的普遍问题。

2. 两个抽象形式并排书写。

3. 左侧形式标注为‘有效’，右侧形式标注为‘无效’。

4. 添加真值标记，用以说明有效形式中前提全真而结论为假这一不可能出现的模式。

1. 这种比较始终关注形式，而非具体内容。

2. 左侧图式在结论中保持了A-B-C的相同项模式。

视觉排版表明：有效性由形式判定——一种图式保持项结构，因而有效；另一种破坏该项结构，因而无效。

1. 图示
   观察依据

   新页面指出，对无效论证不能作同样断言，给出关于内容变更的条件句，展示一个图式化的真／真／（假）模式，写出“有效 ≠ 无效”，随后定义反例，并将关键从句加下划线强调。

2. 动画
   观察依据

   手写逐句呈现每个句子，并在定义中对关键短语加下划线。

1. 关于无效论证的句子

2. 关于内容变化的条件语句

3. 三行图式，分别标有真、真和带圆圈的假。

4. 表达式“有效 ≠ 无效”

5. 反例的定义

6. 在“真前提与假结论”下方加下划线

1. 页面从一般的代入性质转向无效论证的特殊情况。

2. 画出一个示意图式的反例模式。

3. 写出反例的定义，并通过加下划线进行视觉强调。

1. 焦点仍集中在同形式比较上。

2. 决定性条件仍是前提与结论的真假模式。

本页通过视觉方式突出核心思想：反例通过保持形式一致，同时将真假模式翻转为‘前提为真而结论为假’来起作用。

1. 图示
   观察依据

   第三页以标题“我们如何构造反例？”开始，并重写关于宿命论者、决定论者和结果论者的具体论证。

2. 动画
   观察依据

   手写标题，然后在其下方抄写三行论证。

1. 宣布了抽象步骤，但本片段中未在视觉上完成该步骤。

1. 标题：“我们如何构造反例？”

2. 重写的三行具体论证

1. 为程序性问题另起一页。

2. 先前的具体论证被抄录下来，作为目标示例。

1. 与第一页相同的内容被复用。

2. 当前任务是构造，而非定义。

视觉上的重置标志着从理论转向程序：该示例被置于干净的页面上，以便接下来提取其形式。

1. 图示
   观察依据

   一张带横线的纸页，标题为“我们如何构造反例？”，其上依次呈现原始论证、含F、D、C的抽象形式、替换键，以及带（T）/（F）标注的实例化语句。

2. 动画
   观察依据

   手写过程自上而下依次进行：先抽象出论证结构，再列出替换清单，最后写出实例化后的语句及真值标记。

1. 手写标题：“我们如何构造反例？”

2. 关于宿命论者、决定论者与结果论者的原始三行论证

3. 使用 F、D 和 C 表示的抽象三行形式

4. 列出 F、D 和 C 的替换对照表

5. 附有（T）和（F）真值标记的实例化语句

6. 钢笔与横线纸

1. 页面首先展示具体论证及其抽象形式。

2. 接着，书写者添加替换 F、D 和 C 的指示。

3. 随后，在替换对照表中填入“香蕉”、“水果”和“苹果”。

4. 最后，写出实例化后的前提与结论，并标注其真值。

1. 逻辑骨架始终为：所有〔_〕都是〔_〕，有些〔_〕是〔_〕，所以，有些〔_〕是〔_〕。

2. 相同的占位符 F、D 和 C 在任何术语被替换的位置都一致地反复出现。

视觉序列展示了如何将一个具体论证抽象为形式，再用新术语重新实例化，从而通过反例检验其有效性。

1. 图示
   观察依据

   视频切至一张崭新的横线稿纸页，书写者在页首添加标题“注意”，并写下句子：“有效论证不存在反例。”

2. 动画
   观察依据

   手自上而下在空白页上书写这条新注释。

1. 崭新的空白横线稿纸页

2. 标题“注意”

3. 句子“有效论证不存在反例。”

4. 钢笔与手

1. 前一个已解示例通过切至新页的方式消失。

2. 一段关于有效性的简短总结性陈述作为最终的视觉要点被写出。

1. 本课继续探讨反例与论证有效性。

2. 该注释重申了已通过例题演示过的概念性结论。

第二页将本课内容浓缩为一条通用规则：有效性排除反例的存在。

1. 动画
   观察依据

   开场画面显示上一页内容，包含“注意”及“有效论证不会存在反例”，随后该页面被移除，露出一张空白纸页。

1. 先前的手写页面

2. 空白横线纸

3. 手

4. 笔

1. 起始时可见上一页。

2. 上一页被移除。

3. 准备一张空白页用于新例题。

1. 画面设置保持为俯视视角，纸张置于深色表面上。

这一视觉重置标志着一个新解题示例的开始，而非此前手写笔记的延续。

1. 动画
   观察依据

   手在空白页上写出三行软件开发者的论证。

2. 公式
   观察依据

   完成后的文字清晰可辨，呈现为自然语言形式的论证。

1. 三行手写内容

2. 笔

3. 纸张

1. 第一条前提已写出。

2. 第二条前提已写出。

3. 结论已写出。

1. 此阶段中，论证保持日常语言形式。

视觉序列确立了后续将被抽象化并检验的具体论证。

1. 动画
   观察依据

   笔在原论证的部分内容下方画线。

2. 公式
   观察依据

   在其下方，手写写出含 S、P 和 I 的图式形式。

1. 带下划线的短语

2. 抽象的三行形式

1. 原论证中的关键术语被画线标出。

2. 在原文下方写出更简短的符号形式。

1. 原始论证仍保留在新形式的上方，清晰可见。

下划线在视觉上将具体内容项映射到抽象形式中的变量。

1. 动画
   观察依据

   手写一个纵向列表，将 S、P 和 I 分别赋予具体项。

2. 公式
   观察依据

   在右侧，写出实例化后的命题，并标注（T）和（F）。

1. 代入列表

2. 实例化后的前提

3. 实例化后的结论

4. 真值标记

1. S、P 和 I 被赋予具体值。

2. 每个实例化后的句子都被完整写出。

3. 真值标记逐行添加。

1. 上方的抽象形式保持不变，而具体实例在下方构建。

布局将一般形式与特定代入分开，使反例法在视觉上清晰明确。

1. 动画
   观察依据

   “无效！”一词写在完成的示例附近。

1. 完成的反例

2. 手写的裁决

1. 在真值模式完成后添加最终标签。

1. 前提仍标记为（T），结论标记为（F）。

视觉终点记录了推导的结论：所检验的形式是无效的。

1. 声音
   观察依据

   主讲人说：“这当然只是一个部分定义。”

2. 图示
   观察依据

   手写笔记‘部分定义’指向反例的初始定义。

误以为‘检验论证有效性的方法’就是反例的完整定义。

视频明确指出这只是部分定义，并承诺稍后会给出更详尽的解释。

1. 公式
   观察依据

   定义明确要求“与所评估论证具有相同形式”，且“前提为真而结论为假”。

2. 图示
   观察依据

   短语“前提为真而结论为假”被划线强调，作为关键要点。

人们可能误以为任何结论为假的论证都算作反例。

视频中明确指出：反例必须与所评估论证具有相同形式，且前提为真、结论为假。

1. 声音
   观察依据

   主讲人指出，有效性取决于论证是否具有保真形式，并且在有效形式中，内容可被自由替换。

2. 图示
   观察依据

   使用抽象的$A/B/C$图式，替代原始的哲学术语。

人们可能认为，论证内容的异常性决定了它是否有效。

视频强调，有效性属于形式；一旦形式有效，内容项便可被替换成任意其他项，而不会导致前提为真、结论为假。

1. 声音
   观察依据

   在00:21.000处，主讲人说：“请记住，这些字母本身实际上并无任何含义，它们只是空的占位符。”

有人可能认为，选用 F、D 和 C 这类字母能增添逻辑内容，因为它们与原始术语相似。

视频明确指出，这些字母仅为空占位符；它们与原始词语的相似性仅为便于指代的便利，并非逻辑的一部分。

1. 声音
   观察依据

   在00:35.000处，主讲人说：“你总是应该先让结论为假，这样会让事情简单得多。”

学习者可能先寻找为真的前提，之后才考虑结论是否为假。

所介绍的方法则逆转了这一顺序：先强制使结论为假，再选择其余项使得前提为真。

1. 公式
   观察依据

   最后的书面注释写道：“有效论证没有反例。”

2. 声音
   观察依据

   在01:51.000处，主讲人解释道：由于反例要求前提为真而结论为假，因此对一个有效论证而言，永远无法构造出反例。

人们可能想当然地认为，任何论证都可以通过编造某个相反的例子来加以质疑。

视频指出相反的规则：若一个论证是有效的，则不存在反例，因为有效性禁止出现前提为真而结论为假的情形。

1. 声音
   观察依据

   说话者指出，由于我们通常认为结论为真，“可能会误以为这是一个有效论证。”

一个论证可能因其结论听起来为真而显得有效。

视频没有依赖结论表面看似成立，而是通过构造一个反例来回应。

1. 声音
   观察依据

   演讲者指出，若你将反例设计得同样繁复，反而会削弱其本意。

有人可能认为更复杂的反例更好，因为它与原本复杂的论证相匹配。

该片段建议采用简单且客观真伪明确的陈述，使反例能清晰揭示论证的无效性，而非掩盖要点。

1. 声音
   观察依据

   演讲者明确否定了‘无法构造出反例即说明论证有效’这一观点。

如果你竭力构造反例却未能成功，则该论证必定有效。

该片段指出，这或许仅是想象力的局限；要证明有效性，还需更精巧的方法。

1. 声音
   观察依据

   演讲者指出，反例只能证明无效性，而无法证明有效性。

2. 图示
   观察依据

   对应陈述写在‘最终思考’下方。

反例可以确立一个论证是有效的。

视频片段表述的恰恰相反：反例只能证明一个论证是无效的。

1. 声音
   观察依据

   主讲人澄清道，尽管他使用讲稿，但构思反例确实有时很难，往往需要多次尝试。

学习者可能认为，由于讲师能流畅地呈现反例，因此反例总能在第一次尝试时轻松构造出来。

构造有效的反例可能很困难，通常需要反复试错；感到困难是正常的。

1. 声音
   观察依据

   主讲人接着说道：‘当然，有时论证是否有效并不那么明显。’

将有效性立即显而易见的情形，与有效性不明确的情形相对比，从而引出对形式化检验方法（如反例）的需求。

1. 声音
   观察依据

   解说首先通过保真形式定义有效性，并立即将其应用于任意内容替换。

2. 公式
   观察依据

   有效图式之后紧跟着一段关于替换内容的书面说明。

替换性质被呈现为形式保真这一含义的直接推论。

1. 公式
   观察依据

   两个模式并排书写，一个标为“有效”，另一个标为“无效”。

2. 声音
   观察依据

   主讲人明确对比了保真形式与非保真形式。

无效性被引入为同一基于形式的判据在失效情形下的表现。

1. 声音
   观察依据

   主讲人指出，反例利用了有效论证与无效论证之间的关键差异，随后定义了反例。

2. 公式
   观察依据

   该页面指出，无效论证允许出现前提为真而结论为假的情形，接着给出反例的定义。

对无效形式而言，存在前提为真而结论为假的替换方式，这正是反例定义具有实用价值的原因。

1. 公式
   观察依据

   在定义页之后，新页面提出问题：“我们如何构造反例？”并重写目标论证。

2. 声音
   观察依据

   主讲人从定义反例过渡到探讨如何构造反例。

一旦概念被明确定义，视频便转向针对具体论证构建反例的实际方法。

1. 声音
   观察依据

   “我们为该论证构造反例的第一步，是剥离其具体内容。”

2. 图示
   观察依据

   具体论证被重写为抽象化的前提设定。

构造任务包含一个首要子步骤：移除论证的具体内容，以显露其形式。

1. 声音
   观察依据

   主讲人首先讲解通用的反例构造方法，随后立即将其应用于页面上给出的具体形式。

2. 公式
   观察依据

   同一抽象形式被实例化为‘香蕉’‘水果’和‘苹果’。

这个已演示的例子，正是将通用反例构造方法直接应用于形式‘所有F都是D / 有些D是C / 所以，有些F是C’的过程。

1. 声音
   观察依据

   关于空占位符的讨论，出现在介绍替换程序的过程中。

2. 公式
   观察依据

   抽象行中使用F、D和C作为可替换的项。

必须先理解F、D和C是空占位符，才能在保持逻辑形式的前提下代入新的术语。

1. 声音
   观察依据

   主讲人将‘先写结论’这一建议作为反例构造程序的一部分提出。

2. 公式
   观察依据

   该例子先写出假的结论，再补全为真的前提。

结论优先启发法是更广泛的反例构造方法中的一个子步骤。

1. 声音
   观察依据

   完成代入后，说话者指出：形式匹配且前提为真、结论为假，即可证明该论证形式无效。

2. 公式
   观察依据

   推导以实例化的真/真/假模式结束。

该推导依赖于如下命题：具有相同形式、前提为真而结论为假的实例，足以确立该形式的无效性。

1. 公式
   观察依据

   最后一页写道：“有效论证没有反例。”

2. 声音
   观察依据

   说话者通过回溯此前所用的反例定义，为此说法提供依据。

关于有效性的说明与反例方法形成对比，指出该方法仅对无效形式奏效，而对有效论证则无法成功。

1. 公式
   观察依据

   先写出抽象形式，再用具体项代入实例化。

反例法被应用于提取出的抽象形式，而非直接应用于冗长的自然语言论证。

1. 声音
   观察依据

   主讲人定义反例。

1. 反例的定义

1. 声音
   观察依据

   主讲人结合实例讨论有效性一目了然的情形。

1. 对论证有效性的即时识别
2. 有效论证示例
3. 无效论证示例

1. 声音
   观察依据

   主讲人提出一个有效性不明确的论证。

1. 有效性不明的示例

1. 声音
   观察依据

   主讲人依据保真形式来定义有效性。

2. 公式
   观察依据

   有效的抽象图式被展示出来。

1. 有效性即保真形式。

1. 声音
   观察依据

   主讲人指出，一个有效的形式允许用任意内容替换原有内容，同时仍不可能出现前提为真而结论为假的情形。

2. 公式
   观察依据

   所显示的文字句子陈述了相同的替换原则。

1. 有效形式的替换性质
2. 有效形式不存在前提为真而结论为假的替换。

1. 公式
   观察依据

   右侧的图式标为无效。

2. 声音
   观察依据

   说话者指出，无效形式不能保持真值，且可填入具体内容，使前提为真而结论为假。

1. 无效性即保真失败。
2. 无效形式允许存在前提为真而结论为假的替换。

1. 公式
   观察依据

   手写的反例定义完整呈现。

2. 声音
   观察依据

   说话者口头陈述该定义。

1. 反例的定义

1. 声音
   观察依据

   说话者指出，第一步是剥离论证的具体内容。

2. 图示
   观察依据

   目标论证被重写在新的一页上。

1. 构造反例的第一步
2. 问题2：构造反例

1. 图示
   观察依据

   在有效论证示例和图式化反例模式中，前提与结论均标有 T 和 F。

2. 声音
   观察依据

   旁白反复提及‘使前提为真而结论为假’。

1. 有效形式的替换性质
2. 无效形式存在前提为真而结论为假的实例
3. 反例的定义

1. 声音
   观察依据

   整段视频围绕页面顶部所写的问题组织展开：如何构造反例？

2. 公式
   观察依据

   该页面展示了构造反例所需的抽象化与代入步骤。

1. 检验论证有效性的反例法
2. 占位符作为逻辑形式中的空变量
3. 构造反例时，从结论入手。
4. 使用香蕉、水果和苹果构造的反例

1. 声音
   观察依据

   在00:04.000处，说话者就字母选择作出评论，并指出这些字母仅是占位符。

1. 选用有助记忆的占位字母
2. 占位符作为逻辑形式中的空变量

1. 声音
   观察依据

   在00:35.000处，主讲人建议始终先让结论为假。

2. 公式
   观察依据

   该示例在真前提最终确定之前，先写出假结论。

1. 构造反例时，从结论入手。
2. 使用香蕉、水果和苹果构造的反例