Counterexamples (Intro to Logic)

1. Formula
   Observation

   The abstract valid form is written as "All A are B / All B are C / So, all A are C".

2. Audio
   Observation

   The speaker says, "And we can replace A, B, and C with anything we want."

A

Placeholder term in the abstract argument form; it stands for any content that can be substituted into the form.

Term position in a categorical syllogism-style schema

1. Formula
   Observation

   B appears in both premises of the abstract valid form: "All A are B" and "All B are C".

2. Audio
   Observation

   The speaker says, "And we can replace A, B, and C with anything we want."

B

Middle placeholder term in the abstract argument form.

Term position in a categorical syllogism-style schema

1. Formula
   Observation

   C appears in the second premise and conclusion of the abstract valid form.

2. Audio
   Observation

   The speaker says, "And we can replace A, B, and C with anything we want."

C

Placeholder term in the abstract argument form; it is the predicate of the conclusion.

Term position in a categorical syllogism-style schema

1. Formula
   Observation

   The invalid form on the right uses "So, all D are E" instead of preserving the same conclusion term pattern.

D

Placeholder term introduced in the invalid comparison form.

Term position in an argument schema

1. Formula
   Observation

   The invalid comparison form ends with "So, all D are E".

E

Placeholder term in the conclusion of the invalid comparison form.

Term position in an argument schema

1. Formula
   Observation

   T is written beside the premises of the valid example and beside the first two lines of the schematic counterexample list.

2. Audio
   Observation

   The speaker discusses making the premises true.

T

Truth value label meaning true.

Truth-value annotation on premises or statements

1. Formula
   Observation

   F is written beside the conclusion of the valid example and beside the third line of the schematic counterexample list; in the latter it is circled.

2. Audio
   Observation

   The speaker discusses making the conclusion false.

F

Truth value label meaning false.

Truth-value annotation on conclusions or statements

1. Formula
   Observation

   The abstracted argument uses the letter F in the lines "All F are D", "Some D are C", and "So, some F are C".

2. Audio
   Observation

   At 00:28.000 the speaker says, "Now we're going to replace F, D, and C with new content that'll make these premises true and this conclusion false."

F

An empty placeholder standing for the subject term of the first premise and the subject term of the conclusion.

A class or category used inside a categorical-form argument; in the worked example it is replaced by Bananas.

1. Formula
   Observation

   The letter D appears in "All F are D" and "Some D are C".

2. Audio
   Observation

   At 01:11.000 the speaker says, "Well, here's an idea. Let's make D fruits."

D

An empty placeholder standing for the middle term shared by the two premises.

A class or category used inside the same argument form; in the worked example it is replaced by Fruits.

1. Formula
   Observation

   The letter C appears in "Some D are C" and "So, some F are C".

2. Audio
   Observation

   At 00:49.000 the speaker says, "And I used apples for the letter C."

C

An empty placeholder standing for the predicate term of the second premise and the predicate term of the conclusion.

A class or category used inside the same argument form; in the worked example it is replaced by Apples.

1. Formula
   Observation

   The worked substitution list marks true statements with "(T)", as in "All bananas are fruits. (T)" and "Some fruits are apples. (T)".

2. Audio
   Observation

   At 01:15.000 the speaker says, "That makes our first premise say, all bananas are fruits, which is true."

(T)

Annotation indicating that the written statement has been judged true under the chosen substitution.

Applied to each premise line in the counterexample construction.

1. Formula
   Observation

   The worked substitution list marks the conclusion with "(F)", as in "So, some bananas are apples. (F)".

2. Audio
   Observation

   At 00:55.000 the speaker says, "This is clearly false, and so we've succeeded in making the conclusion false."

(F)

Annotation indicating that the written statement has been judged false under the chosen substitution.

Applied to the conclusion line in the counterexample construction.

1. Audio
   Observation

   The speaker states that a counterexample is a way of testing an argument's validity and calls it a partial definition.

2. Diagram
   Observation

   Handwritten text reads 'A counterexample is a way of testing an arguments validity' with an arrow pointing to 'Partial Definition'.

A counterexample is introduced as a method used to test the validity of an argument. The video explicitly notes that this is only a partial definition.

1. Used for testing argument validity

1. Audio
   Observation

   The speaker explains that sometimes whether an argument is valid is immediately obvious, using examples about dogs, mammals, bananas, fruits, cats, and lions.

2. Diagram
   Observation

   Handwritten text reads 'Sometimes whether an argument is valid is immediately obvious.' followed by two examples labeled 'Valid' and 'Invalid'.

For some arguments, validity can be determined immediately without further steps. A valid argument has transparently truth-preserving reasoning, while an invalid argument may have premises irrelevant to its conclusion.

1. Applies when reasoning is transparent or premises are clearly irrelevant

1. Definition of a counterexample

1. Audio
   Observation

   "whether an argument is valid depends on whether it has a truth-preserving form."

2. Formula
   Observation

   Left schema: "All A are B / All B are C / So, all A are C" labeled "Valid".

The video defines validity by form rather than content: an argument is valid when its form preserves truth. The left-hand abstract schema is used as the example of such a form.

1. The judgment is about the argument's form, not its particular subject matter.

2. The form must preserve truth from premises to conclusion.

1. Audio
   Observation

   "If, however, the argument has a form that does not preserve truth, then the argument is invalid."

2. Formula
   Observation

   Right schema: "All A are B / All B are C / So, all D are E" labeled "Invalid".

An argument form is invalid when it does not preserve truth. The video contrasts this with the valid form by showing a structurally similar schema whose conclusion introduces different terms.

1. The relevant property is again the form, not the concrete content.

2. Invalidity is presented as the failure case of truth preservation.

1. Validity as truth-preserving form

1. Audio
   Observation

   "When an argument's form is valid, we can replace its content with anything we want, and it'll be completely impossible to make the premises true and the conclusion false."

2. Formula
   Observation

   Bottom text states that when a form is valid one can replace its content with anything and still cannot make premises true and conclusion false.

3. Diagram
   Observation

   T marks are added to the premises and F to the conclusion of the valid schema to illustrate the impossible combination.

For a valid form, the content terms can be replaced arbitrarily without creating a case where all premises are true and the conclusion false. This is the operational reason the video gives for testing validity by form.

1. Applies only after the form has been identified as valid.

2. The replacement is of content terms while the form stays fixed.

1. Validity as truth-preserving form

1. Audio
   Observation

   "If an argument is invalid, then it is possible to change its content so as to make the premises true and the conclusion false."

2. Formula
   Observation

   New page text: "The same cannot be said about invalid arguments" and "If an argument is invalid, then it is possible to change its content to make the premises true and the conclusion false."

3. Diagram
   Observation

   Schematic list shows premises marked T and conclusion marked F.

Unlike valid forms, invalid forms admit substitutions of content that make the premises true while the conclusion is false. The video uses this asymmetry to motivate counterexamples.

1. The form must already be invalid.

2. One changes the content while keeping the form fixed.

1. Invalidity as failure of truth preservation
2. Substitution property of valid forms

1. Audio
   Observation

   "A counterexample is an argument with the same form as the argument being evaluated that has true premises and a false conclusion."

2. Formula
   Observation

   Handwritten definition: "A counterexample is an argument with the same form as the argument being evaluated that has true premises and a false conclusion."

3. Diagram
   Observation

   The phrase "true premises and a false conclusion" is underlined as pivotal.

A counterexample is not just any false statement; it is another argument sharing the same form as the target argument, with true premises and a false conclusion. The video explicitly marks the truth-pattern clause as the key part.

1. Must have the same form as the argument being evaluated.

2. Premises must be true.

3. Conclusion must be false.

1. Validity as truth-preserving form
2. Existence of a true-premise/false-conclusion case for invalid forms

1. Formula
   Observation

   New page heading: "How do we construct counterexamples?"

2. Audio
   Observation

   "So, question two: How do we construct counterexamples?"

After defining counterexamples, the video opens the next task: how to build one in practice. This segment sets up the method but does not complete it within the clip.

1. Follows the definition of counterexample.

2. Applies to evaluating a specific argument form.

1. Definition of counterexample

1. Audio
   Observation

   "Our first step in constructing a counterexample for this argument is to strip it of its content."

2. Diagram
   Observation

   The concrete argument is rewritten on a new page before the speaker begins discussing abstraction.

The video states that the first practical step is to remove the argument's concrete content, i.e., isolate its form, before substituting a counterexample case.

1. Applies after choosing the argument to evaluate.

2. Precedes actual substitution of new content.

1. Question 2: constructing counterexamples
2. Definition of counterexample

1. Audio
   Observation

   At 00:28.000 the speaker states the goal: replace F, D, and C with new content that will make the premises true and the conclusion false.

2. Formula
   Observation

   The page heading reads "How do we construct counterexamples?" and the worked form is shown symbolically before substitution.

The video presents a step-by-step method for building a counterexample to an argument form. First, abstract the argument into placeholders such as F, D, and C. Then choose substitutions so that every premise becomes true while the conclusion becomes false. The speaker explicitly recommends starting with the conclusion because forcing it false first simplifies the search for suitable premise substitutions.

1. The target is an argument form rather than a single isolated sentence.

2. The substituted content must preserve the original logical form.

3. All premises must end up true.

4. The conclusion must end up false.

1. Audio
   Observation

   At 00:04.000 the speaker says, "Notice the letter choice. I didn't just stick to A, B, and C. Instead, I decided to choose letters that fit with the previous content of the argument, just to make my life easier when referencing the argument."

2. Formula
   Observation

   The abstracted lines use F, D, and C instead of generic A, B, and C.

When converting a concrete argument into symbolic form, the video advises selecting letters that echo the original terms. Here F, D, and C are chosen to correspond to Fatalists, Determinists, and Consequentialists. The speaker stresses that this is only a convenience for tracking references; the letters themselves carry no intrinsic meaning.

1. Useful when the original argument already contains named classes or terms.

2. The mnemonic choice does not change the logical form.

1. Counterexample method for testing argument validity

1. Audio
   Observation

   At 00:21.000 the speaker says, "Of course, keep in mind that the letters themselves don't actually mean anything. They're just empty placeholders."

2. Formula
   Observation

   The same form is later instantiated with Bananas, Fruits, and Apples without changing its structure.

In this lesson, letters like F, D, and C are defined as empty placeholders within an argument form. They stand for arbitrary classes or terms and can be uniformly replaced by other terms while preserving the form. Their role is structural, not semantic.

1. Applies to the symbolic abstraction of an argument.

2. The replacement must be uniform across all occurrences of the same placeholder.

1. Counterexample method for testing argument validity

1. Audio
   Observation

   "When an argument's form is valid, we can replace its content with anything we want, and it'll be completely impossible to make the premises true and the conclusion false."

2. Formula
   Observation

   Written sentence repeats the same claim on the page.

If an argument's form is valid, then no substitution of content into that form can make all the premises true and the conclusion false.

1. The argument form is valid.

2. Content is replaced while the form remains the same.

For all substitutions of content into a valid form, it is impossible that the premises are true and the conclusion false.

1. Audio
   Observation

   "If an argument is invalid, then it is possible to change its content so as to make the premises true and the conclusion false."

2. Formula
   Observation

   Written sentence on the second page states the same conditional.

If an argument is invalid, then there is some change of content that makes the premises true and the conclusion false.

1. The argument is invalid.

2. One may change its content while preserving the form.

For every invalid argument form, there exists at least one content substitution with true premises and a false conclusion.

1. Audio
   Observation

   "It's this key difference between valid and invalid arguments that counterexamples allow us to exploit."

Counterexamples work because valid forms never allow true premises with a false conclusion, whereas invalid forms do.

1. The distinction between valid and invalid forms has been established.

Universal contrast between valid and invalid forms.

1. Audio
   Observation

   At 01:29.000 the speaker says, "The fact that we managed to grab the exact same form but make its premises true and its conclusion false proves that the argument is invalid."

2. Formula
   Observation

   The completed substitution preserves the form All F are D / Some D are C / So, some F are C while assigning truth values T, T, F.

If one can substitute terms into the exact same argument form so that all premises are true and the conclusion is false, then the argument form is invalid.

1. The substituted instance keeps the exact same logical form as the original argument.

2. Every premise in the substituted instance is true.

3. The conclusion in the substituted instance is false.

For a given argument form, existence of at least one such substitution is sufficient to conclude invalidity.

1. Audio
   Observation

   At 01:47.000 the speaker says, "Notice, valid arguments do not have counterexamples."

2. Formula
   Observation

   The written note on the new page states exactly: "Valid arguments do not have counterexamples."

No valid argument admits a counterexample, because a counterexample would require true premises and a false conclusion.

1. The argument under consideration is valid.

2. A counterexample is understood as an instance with all true premises and a false conclusion.

Universal over valid arguments: none has a counterexample.

1. Audio
   Observation

   The speaker says, “This is clearly an invalid argument.”

2. Audio
   Observation

   He concludes, “And so we’ve proven that the argument that we’re evaluating is invalid.”

3. Formula
   Observation

   The displayed counterexample has premises marked (T) and conclusion marked (F).

If an argument form admits an instance in which all premises are true and the conclusion is false, then the argument form is invalid.

1. The instance preserves the original form.

2. All premises in the instance are true.

3. The conclusion in the instance is false.

For a given argument form, existence of one such counterexample instance is enough.

1. Audio
   Observation

   The speaker gives the definition verbally.

2. Diagram
   Observation

   The same definition is written on the page.

A counterexample is an argument with the same form as the argument being evaluated that has true premises and a false conclusion.

1. There is an argument being evaluated.

2. One constructs another argument with the same form.

Universal characterization of what counts as a counterexample in this lesson.

1. Audio
   Observation

   The speaker says that if we succeed in doing this, we can safely say the argument is invalid.

If one successfully constructs a same-form argument with true premises and a false conclusion, then the argument being evaluated is invalid.

1. The constructed argument has the same form as the target argument.

2. All its premises are true.

3. Its conclusion is false.

Conditional statement applying to any argument under evaluation.

1. Audio
   Observation

   The speaker says counterexamples can only prove invalidity and cannot prove validity.

2. Diagram
   Observation

   The presenter writes the corresponding statement under Final Thoughts.

Counterexamples can only prove that an argument is invalid; they cannot prove that arguments are valid.

1. The method under discussion is construction of counterexamples.

General limitation on the evidential role of counterexamples.

1. Audio
   Observation

   The speaker asks what if one tries and cannot get a counterexample to work, then answers no, because it may be a failure of imagination rather than proof of validity.

Failing to construct a counterexample does not prove that the argument is valid.

1. One has tried to construct a counterexample for the argument.

2. No successful counterexample has been produced.

Negative epistemic claim about unsuccessful attempts.

1. Audio
   Observation

   The speaker says more sophisticated methods of testing validity are needed and will be covered in future videos.

Proving validity requires more sophisticated methods of testing validity than constructing counterexamples.

1. The goal is to prove that an argument is valid.

General methodological claim about validity testing.

1. Formula
   Observation

   Two side-by-side schemas are written: a valid form on the left and an invalid form on the right.

2. Audio
   Observation

   The narration moves from truth-preserving form to the substitution property and then to the invalid case.

3. Diagram
   Observation

   $T/F$ annotations are added to show the impossible truth pattern for the valid form and the possible one for the invalid form.

1. Expression

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

   The video first presents an abstract form and labels it Valid.

   Justification

   Directly shown on the page and stated in the audio as a truth-preserving form.

   Shown in the video
2. Expression

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

   It then presents a contrasting form labeled Invalid.

   Justification

   Directly shown on the page and described in the audio as a form that does not preserve truth.

   Shown in the video
3. Expression

   $$\text{Valid form }\Rightarrow\ \neg\exists(\text{premises true and conclusion false})$$
   Explanation

   From the valid case, the speaker derives the substitution principle: no content replacement can yield true premises and a false conclusion.

   Justification

   Stated explicitly in audio and written below the schemas.

   Shown in the video
4. Expression

   $$\text{Invalid form }\Rightarrow\ \exists(\text{premises true and conclusion false})$$
   Explanation

   From the invalid case, the speaker states the opposite possibility: one can change content to get true premises and a false conclusion.

   Justification

   Stated explicitly in audio and written on the next page.

   Shown in the video
5. Expression

   $$\text{Counterexample} = \text{same-form argument with true premises and false conclusion}$$
   Explanation

   This asymmetry motivates the definition of a counterexample as the tool for exposing invalidity.

   Justification

   The speaker says counterexamples exploit this key difference, then defines them.

   Shown in the video

The clip builds the counterexample method by contrasting valid and invalid forms and showing that only invalid forms permit a same-form case with true premises and a false conclusion.

1. Formula
   Observation

   The concrete argument is rewritten: "All Fatalists are Determinists / Some Determinists are Consequentialists / So, Some Fatalists are Consequentialists".

2. Audio
   Observation

   The speaker says the first step is to strip the argument of its content.

1. The actual abstraction into A, B, C is not completed within this clip.

2. The exact mapping of Fatalists, Determinists, and Consequentialists to placeholders is announced as the next step but not shown here.

1. Expression

   $$\text{All Fatalists are Determinists}$$
   Explanation

   The target argument's first premise is reintroduced on a fresh page.

   Justification

   Visible in handwriting and spoken aloud.

   Shown in the video
2. Expression

   $$\text{Some Determinists are Consequentialists}$$
   Explanation

   The second premise is copied as part of setting up the worked example.

   Justification

   Visible in handwriting and spoken aloud.

   Shown in the video
3. Expression

   $$\therefore\ \text{Some Fatalists are Consequentialists}$$
   Explanation

   The conclusion is copied to complete the argument under evaluation.

   Justification

   Visible in handwriting and spoken aloud.

   Shown in the video
4. Expression

   $$\text{strip it of its content}$$
   Explanation

   The speaker identifies the first methodological step as removing concrete content to expose form.

   Justification

   Explicitly stated in the audio at the end of the clip.

   Shown in the video

The clip reaches the setup stage of constructing a counterexample: rewrite the target argument and prepare to abstract its form, but the full construction is not yet performed.

1. Formula
   Observation

   The page shows the original argument, then the abstract form, then the substitution list F: Bananas, D: Fruits, C: Apples, and finally the instantiated statements with (T), (T), and (F).

2. Audio
   Observation

   The narration walks through replacing F, D, and C, first falsifying the conclusion and then making both premises true.

1. Expression

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

   Begin from a concrete categorical-style argument written on the page.

   Justification

   Observed directly from the handwritten source argument.

   Shown in the video
2. Expression

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

   Replace the class terms by placeholders F, D, and C while keeping the sentence structure unchanged.

   Justification

   The speaker explains that the content is being replaced by letters and that the letters are empty placeholders.

   Shown in the video
3. Expression

   $$\text{Goal: make all premises true and the conclusion false.}$$
   Explanation

   State the counterexample condition that must be satisfied by the substitution.

   Justification

   Explicitly announced in the audio at 00:28.000.

   Shown in the video
4. Expression

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

   Choose values for F and C first so that the conclusion becomes false.

   Justification

   The speaker advises starting with the conclusion and then writes the instantiated conclusion before choosing D.

   Shown in the video
5. Expression

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

   Under the chosen values, the conclusion is false, satisfying the required falsity condition.

   Justification

   The speaker says this conclusion is clearly false and marks it (F) on the page.

   Shown in the video
6. Expression

   $$D:\ \text{Fruits}$$
   Explanation

   Choose the remaining placeholder so that both premises become true with the already fixed F and C.

   Justification

   The speaker introduces this as the next idea after the conclusion has already been made false.

   Shown in the video
7. Expression

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

   Substitute F = Bananas and D = Fruits into the first premise; the resulting statement is true.

   Justification

   Written on the page and affirmed in the audio as true.

   Shown in the video
8. Expression

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

   Substitute D = Fruits and C = Apples into the second premise; the resulting statement is also true.

   Justification

   Written on the page and affirmed in the audio as true.

   Shown in the video
9. Expression

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

   Because the substituted instance preserves the exact form while making the premises true and the conclusion false, the original form is invalid.

   Justification

   Stated explicitly by the speaker at 01:29.000.

   Shown in the video

The form All F are D / Some D are C / So, some F are C is invalid, as shown by the substitution F = Bananas, D = Fruits, C = Apples.

1. Audio
   Observation

   At 01:51.000 the speaker says, "Given that all counterexamples must have true premises and a false conclusion, it'll never be possible to construct one for a valid argument."

2. Formula
   Observation

   The written note states "Valid arguments do not have counterexamples."

1. Expression

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

   Recall the defining condition for a counterexample used throughout the lesson.

   Justification

   This condition was stated earlier and reused in the final explanation.

   Shown in the video
2. Expression

   $$\text{Valid argument: impossible to have true premises and false conclusion}$$
   Explanation

   By validity, no instance of the argument can preserve the form while moving from true premises to a false conclusion.

   Justification

   The speaker's final remark relies on this standard notion of validity, though the full formal definition is not separately written out in this clip.

   Derived from the video
3. Expression

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

   Since a counterexample would require exactly the situation ruled out by validity, none can exist.

   Justification

   Directly stated in the audio and written on the page.

   Shown in the video

A valid argument cannot have a counterexample because a counterexample would require true premises and a false conclusion, which validity forbids.

1. Formula
   Observation

   The derivation proceeds from the abstract form to substitutions and then to truth-marked instantiated sentences.

2. Audio
   Observation

   The speaker explicitly says they will make the conclusion false first, then make the premises true.

1. Expression

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

   Start from the abstract form extracted from the original argument.

   Justification

   The video rewrites the content-bearing argument into schematic form before testing it.

   Shown in the video
2. Expression

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

   Choose S and I so that the conclusion becomes false.

   Justification

   The speaker says they will start with the conclusion and make “some S are not I” false.

   Shown in the video
3. Expression

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

   Under this choice, the conclusion is false.

   Justification

   The video marks the instantiated conclusion with (F).

   Shown in the video
4. Expression

   $$P = \text{carrots}$$
   Explanation

   Choose P so that both premises become true while keeping the conclusion false.

   Justification

   The speaker tests P after fixing S and I, then checks the premises.

   Shown in the video
5. Expression

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

   The first premise is true under the chosen substitution.

   Justification

   The video marks this instantiated premise with (T).

   Shown in the video
6. Expression

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

   The second premise is also true under the chosen substitution.

   Justification

   The video marks this instantiated premise with (T).

   Shown in the video
7. Expression

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

   Because the same form has an instance with all premises true and conclusion false, the form is invalid.

   Justification

   This is the counterexample method demonstrated in the clip.

   Shown in the video

The argument form “Some S are not P; All P are I; therefore some S are not I” is invalid.

1. Audio
   Observation

   The speaker explicitly recaps two questions and their answers.

2. Diagram
   Observation

   The page is organized into numbered review items 1 and 2 with substeps.

1. Expression

   $$\text{What is a counterexample?}$$
   Explanation

   The recap begins by restating the definition question.

   Justification

   Directly shown as item 1 on the page and spoken by the narrator.

   Shown in the video
2. Expression

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

   The definition supplies the criteria a candidate argument must satisfy.

   Justification

   Written and spoken in the clip.

   Shown in the video
3. Expression

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

   The recap then turns to method.

   Justification

   Directly shown as item 2 on the page and spoken by the narrator.

   Shown in the video
4. Expression

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

   The first procedural step preserves the target form.

   Justification

   Written and spoken in the clip.

   Shown in the video
5. Expression

   $$2.\ \text{Fill in the content so as to make the premises true and the conclusion false.}$$
   Explanation

   The second step chooses content terms to satisfy the truth-value pattern required by the definition.

   Justification

   Written and spoken in the clip.

   Shown in the video
6. Expression

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

   Combining the definition with the construction method yields the conclusion that success proves invalidity.

   Justification

   Stated directly by the speaker after the two steps.

   Shown in the video

The clip's recap links the definition of a counterexample to a two-step construction method and then to the conclusion that success establishes invalidity.

1. Audio
   Observation

   The speaker poses a hypothetical question about failing to construct a counterexample and answers that this does not show validity.

2. Diagram
   Observation

   A sample argument form and substitutions $A=X$, $B=X$, $C=X$ are written while the speaker discusses attempted construction.

1. The symbolic use of X is illustrative rather than fully explained in the clip.

1. Expression

   $$\text{Suppose we try to construct a counterexample and cannot get it to work.}$$
   Explanation

   The derivation starts from an unsuccessful search scenario.

   Justification

   Spoken by the narrator as a hypothetical question.

   Shown in the video
2. Expression

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

   This is the tempting but rejected inference raised by the speaker.

   Justification

   Explicitly voiced in the audio.

   Shown in the video
3. Expression

   $$\text{No.}$$
   Explanation

   The speaker rejects the inference.

   Justification

   Explicitly stated in the audio.

   Shown in the video
4. Expression

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

   The reason is epistemic: human difficulty in finding substitutions does not settle the logical status of the form.

   Justification

   Spoken by the narrator.

   Shown in the video
5. Expression

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

   Therefore validity must be established by other techniques, not by failed counterexample search.

   Justification

   Spoken by the narrator immediately afterward.

   Shown in the video

An unsuccessful attempt to build a counterexample may reflect the searcher's limitations rather than the argument's validity, so it cannot serve as proof of validity.

1. Audio
   Observation

   The speaker provides the argument: 'All dogs are mammals. All mammals are animals. So, all dogs are animals.'

2. Diagram
   Observation

   The argument is written on the left side of the page and labeled 'Valid' with a smiley face.

Determine the validity of the argument: All dogs are mammals. All mammals are animals. So, all dogs are animals.

1. All dogs are mammals

2. All mammals are animals

Test the validity of the argument

1. Expression

   $$$$
   Explanation

   The reasoning is transparently truth-preserving.

   Justification

   Observation of the logical structure.

   Shown in the video

Valid

The conclusion logically follows from the premises.

1. Audio
   Observation

   The speaker provides the argument: 'All bananas are fruits. All fruits are food. So, all cats are lions.'

2. Diagram
   Observation

   The argument is written on the right side of the page and labeled 'Invalid' with a frowning face.

Determine the validity of the argument: All bananas are fruits. All fruits are food. So, all cats are lions.

1. All bananas are fruits

2. All fruits are food

Test the validity of the argument

1. Expression

   $$$$
   Explanation

   The premises are not relevant to the conclusion.

   Justification

   Observation of the semantic disconnect between the premises and the conclusion.

   Shown in the video

Invalid

The conclusion does not logically follow from the premises.

1. Audio
   Observation

   The speaker provides the argument: 'All fatalists are determinists. Some determinists are consequentialists. So, some fatalists are consequentialists.'

2. Diagram
   Observation

   The argument is written on a new page with the note 'Validity is unclear...'.

1. The final validity of the argument is not stated in this clip.

Determine the validity of the argument: All fatalists are determinists. Some determinists are consequentialists. So, some fatalists are consequentialists.

1. All fatalists are determinists

2. Some determinists are consequentialists

Test the validity of the argument

1. Expression

   $$$$
   Explanation

   The validity is not immediately obvious due to the convoluted nature of the terms and structure.

   Justification

   Speaker's explanation.

   Shown in the video

Validity is unclear

Requires further testing methods, such as counterexamples, which are not yet demonstrated.

1. Formula
   Observation

   Left column shows "All A are B / All B are C / So, all A are C" with the label "Valid".

2. Diagram
   Observation

   T is placed by the premises and F by the conclusion to illustrate the forbidden pattern.

3. Audio
   Observation

   The speaker explains that this form preserves truth and that A, B, and C can be replaced by anything.

Use an abstract schema to illustrate what it means for an argument form to be valid.

1. The schema "All A are B", "All B are C", therefore "all A are C".

2. A, B, and C are placeholders for replaceable content.

Show that this form is valid because no substitution can make the premises true and the conclusion false.

1. Expression

   $$\text{All } A \text{ are } B$$
   Explanation

   Write the first premise of the abstract form.

   Justification

   Directly shown on the page.

   Shown in the video
2. Expression

   $$\text{All } B \text{ are } C$$
   Explanation

   Write the second premise.

   Justification

   Directly shown on the page.

   Shown in the video
3. Expression

   $$\therefore\ \text{all } A \text{ are } C$$
   Explanation

   Write the conclusion.

   Justification

   Directly shown on the page.

   Shown in the video
4. Expression

   $$T,\ T,\ F$$
   Explanation

   Mark the attempted pattern of true premises and false conclusion to show it is impossible for this valid form.

   Justification

   The video adds these truth labels while explaining the substitution property.

   Shown in the video

The form is valid: after any replacement of A, B, and C, it remains impossible for the premises to be true and the conclusion false.

Checked against the spoken definition of validity as truth-preserving form and the explicit written claim that content can be replaced arbitrarily without producing a true-premise/false-conclusion case.

1. Formula
   Observation

   Right column shows "All A are B / All B are C / So, all D are E" with the label "Invalid".

2. Audio
   Observation

   The speaker contrasts this with the valid form as one that does not preserve truth.

1. The clip does not supply a concrete substitution instance for this invalid schema inside this time window.

Use a contrasting abstract schema to illustrate an invalid form.

1. The schema "All A are B", "All B are C", therefore "all D are E".

Show that this form is invalid because it does not preserve truth.

1. Expression

   $$\text{All } A \text{ are } B$$
   Explanation

   Write the first premise.

   Justification

   Directly shown on the page.

   Shown in the video
2. Expression

   $$\text{All } B \text{ are } C$$
   Explanation

   Write the second premise.

   Justification

   Directly shown on the page.

   Shown in the video
3. Expression

   $$\therefore\ \text{all } D \text{ are } E$$
   Explanation

   Write the conclusion with new terms D and E.

   Justification

   Directly shown on the page.

   Shown in the video
4. Expression

   $$\text{Invalid}$$
   Explanation

   Label the schema as invalid.

   Justification

   Written beneath the schema and supported by the narration about non-truth-preserving form.

   Shown in the video

The form is invalid.

The video verifies this conceptually by contrasting it with the valid schema and later stating that invalid forms allow a true-premise/false-conclusion substitution.

1. Diagram
   Observation

   A three-line schematic is drawn with squiggles for content and truth values T, T, and circled F.

2. Audio
   Observation

   The speaker says counterexamples exploit the difference between valid and invalid arguments.

1. The squiggle lines are schematic placeholders rather than fully specified propositions.

Represent the general shape of a counterexample without giving full content.

1. A list of three lines corresponding to two premises and a conclusion.

2. Truth annotations T, T, and circled F.

Show the required truth pattern for a counterexample.

1. Expression

   $$1.\ \sim\sim\sim\quad T$$
   Explanation

   First premise is represented schematically and marked true.

   Justification

   Visible in the drawing.

   Shown in the video
2. Expression

   $$2.\ \sim\sim\sim\quad T$$
   Explanation

   Second premise is represented schematically and marked true.

   Justification

   Visible in the drawing.

   Shown in the video
3. Expression

   $$So.\ \sim\sim\sim\quad (F)$$
   Explanation

   Conclusion is represented schematically and marked false, with F circled for emphasis.

   Justification

   Visible in the drawing.

   Shown in the video

A counterexample has the pattern: true premise, true premise, false conclusion.

This matches the later explicit definition of counterexample given in the clip.

1. Formula
   Observation

   The argument is rewritten on a new page: "All Fatalists are Determinists / Some Determinists are Consequentialists / So, Some Fatalists are Consequentialists".

2. Audio
   Observation

   The speaker calls it "the intimidating argument from earlier" and says the first step is to strip it of its content.

1. No completed counterexample is produced within this clip.

2. The abstraction from the concrete terms to placeholders is only announced, not executed.

Set up the concrete argument that will be tested by constructing a counterexample.

1. All Fatalists are Determinists.

2. Some Determinists are Consequentialists.

3. Therefore, Some Fatalists are Consequentialists.

Prepare to construct a counterexample by first isolating the argument's form.

1. Expression

   $$\text{All Fatalists are Determinists}$$
   Explanation

   Copy the first premise onto the new page.

   Justification

   Visible in handwriting and spoken aloud.

   Shown in the video
2. Expression

   $$\text{Some Determinists are Consequentialists}$$
   Explanation

   Copy the second premise.

   Justification

   Visible in handwriting and spoken aloud.

   Shown in the video
3. Expression

   $$\therefore\ \text{Some Fatalists are Consequentialists}$$
   Explanation

   Copy the conclusion.

   Justification

   Visible in handwriting and spoken aloud.

   Shown in the video
4. Expression

   $$\text{strip it of its content}$$
   Explanation

   State the next methodological step before actually performing it.

   Justification

   Explicitly said in the audio at the end of the clip.

   Shown in the video

The clip identifies the target argument and names the first step, but the counterexample construction is not completed here.

Cross-checked against the earlier definition of counterexample: the next step would be to find a same-form argument with true premises and a false conclusion, which is not yet shown.

1. Formula
   Observation

   The completed worked example on the page lists F: Bananas, D: Fruits, C: Apples and the instantiated statements with truth annotations (T), (T), (F).

2. Audio
   Observation

   The narration explicitly chooses Bananas, Apples, and Fruits and evaluates their truth values.

Construct a counterexample to the argument form All F are D. Some D are C. So, some F are C.

1. The abstract form is All F are D. Some D are C. So, some F are C.

2. F, D, and C are empty placeholders that may be replaced by class terms.

3. A counterexample requires all premises true and the conclusion false.

Find substitutions for F, D, and C that preserve the form and yield premise truth values T, T and conclusion truth value F.

1. Expression

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

   Assign Bananas to F and Apples to C first in order to attack the conclusion.

   Justification

   The speaker recommends starting by making the conclusion false.

   Shown in the video
2. Expression

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

   The instantiated conclusion is false under ordinary facts about bananas and apples.

   Justification

   The speaker says this is clearly false and marks it (F).

   Shown in the video
3. Expression

   $$D:\ \text{Fruits}$$
   Explanation

   Assign Fruits to D so that both premises become true with the already chosen F and C.

   Justification

   This is the next explicit substitution introduced in the worked example.

   Shown in the video
4. Expression

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

   The first premise becomes true after substituting F = Bananas and D = Fruits.

   Justification

   Written on the page and affirmed in the audio.

   Shown in the video
5. Expression

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

   The second premise becomes true after substituting D = Fruits and C = Apples.

   Justification

   Written on the page and affirmed in the audio.

   Shown in the video

A valid counterexample substitution is F = Bananas, D = Fruits, C = Apples, giving All bananas are fruits. (T), Some fruits are apples. (T), So, some bananas are apples. (F).

The form is unchanged, both premises are marked true, and the conclusion is marked false; therefore the example verifies invalidity of the original form.

1. Formula
   Observation

   The page shows the three-line natural-language argument about software developers, pirating, and immoral people.

2. Audio
   Observation

   The speaker reads the argument aloud and notes that the conclusion may seem true.

Evaluate whether the following argument is valid: “Some software developers are not people who endorse pirating. All people who endorse pirating are immoral people. So, some software developers are not immoral people.”

1. Premise 1: Some software developers are not people who endorse pirating.

2. Premise 2: All people who endorse pirating are immoral people.

3. Conclusion: Some software developers are not immoral people.

Determine whether the argument is valid by constructing a counterexample.

1. Expression

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

   Write the first premise in ordinary language.

   Justification

   This is directly shown on the page and read aloud.

   Shown in the video
2. Expression

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

   Write the second premise.

   Justification

   This is directly shown on the page and read aloud.

   Shown in the video
3. Expression

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

   Write the conclusion.

   Justification

   This is directly shown on the page and read aloud.

   Shown in the video
4. Expression

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

   Abstract the argument into a form with S, P, and I.

   Justification

   The video explicitly rewrites the content into schematic form to make the structure easier to inspect.

   Shown in the video

The example is used as the target argument whose validity is tested.

Verification is deferred to the later counterexample construction.

1. Formula
   Observation

   The substitution list assigns S = vegetables, P = carrots, I = food.

2. Formula
   Observation

   The instantiated lines are marked (T), (T), and (F).

3. Audio
   Observation

   The speaker says the resulting counterexample shows the argument is invalid.

Find an instance of the form “Some S are not P; All P are I; therefore some S are not I” that makes the premises true and the conclusion false.

1. Argument form: Some S are not P.

2. Argument form: All P are I.

3. Argument form: Therefore some S are not I.

Produce a counterexample to the form.

1. Expression

   $$S = \text{vegetables},\ I = \text{food}$$
   Explanation

   Choose S and I first so that the conclusion is false.

   Justification

   The speaker explicitly starts with the conclusion and chooses terms that make “some vegetables are not food” false.

   Shown in the video
2. Expression

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

   Instantiate the conclusion and mark it false.

   Justification

   The video writes the conclusion with (F).

   Shown in the video
3. Expression

   $$P = \text{carrots}$$
   Explanation

   Choose P so that both premises become true.

   Justification

   The speaker tests P after fixing S and I, then checks the premises.

   Shown in the video
4. Expression

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

   Instantiate the first premise and mark it true.

   Justification

   The video writes this line with (T).

   Shown in the video
5. Expression

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

   Instantiate the second premise and mark it true.

   Justification

   The video writes this line with (T).

   Shown in the video
6. Expression

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

   Collect the full counterexample instance.

   Justification

   This is the completed displayed example.

   Shown in the video

The form is invalid because the instance with S = vegetables, P = carrots, I = food has true premises and a false conclusion.

The verification is exactly the displayed truth-value pattern: premises (T), conclusion (F).

1. Diagram
   Observation

   The presenter writes a three-line categorical argument: "All A are B", "Some B are C", "So, some A are C".

2. Diagram
   Observation

   Beside it the presenter writes "$A = X$", "$B = X$", and "$C = X$".

3. Audio
   Observation

   The speaker uses this writing while discussing trying and failing to construct a counterexample.

1. The clip does not explicitly state whether this sample form itself is valid or invalid; it is used illustratively during the discussion of failed counterexample construction.

2. The meaning of X is not formally defined beyond serving as a placeholder.

The presenter shows a sample categorical argument form while explaining what happens if one tries to construct a counterexample and cannot get it to work.

1. Argument form written on paper: All A are B.

2. Second line written on paper: Some B are C.

3. Conclusion written on paper: So, some A are C.

4. Substitution notes written beside the form: $A = X$, $B = X$, $C = X$.

Illustrate the process of attempting to fill in content for a counterexample and the speaker's point that failure to do so does not prove validity.

1. Expression

   $$\text{All } A \text{ are } B$$
   Explanation

   The first premise of the displayed sample form is written.

   Justification

   Visible on the page.

   Shown in the video
2. Expression

   $$\text{Some } B \text{ are } C$$
   Explanation

   The second premise is written below the first.

   Justification

   Visible on the page.

   Shown in the video
3. Expression

   $$\text{So, some } A \text{ are } C$$
   Explanation

   The conclusion is written as the third line.

   Justification

   Visible on the page.

   Shown in the video
4. Expression

   $$A = X,\quad B = X,\quad C = X$$
   Explanation

   The presenter adds placeholder substitutions next to the term letters while discussing an attempted construction.

   Justification

   Visible on the page; the audio frames this as part of trying to make a counterexample work.

   Shown in the video
5. Expression

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

   The example functions as a visual aid for the speaker's warning about unsuccessful search.

   Justification

   Spoken in the surrounding narration.

   Shown in the video

The clip uses the displayed form and placeholder substitutions as an illustration of attempted counterexample construction, while the spoken point is that failure in such an attempt does not establish validity.

Verification is limited to matching the written form and the accompanying narration; the clip does not complete a full truth-value check of the sample form.

1. Animation
   Observation

   The presenter writes two arguments side-by-side, draws a vertical line separating them, and labels them 'Valid' and 'Invalid' with corresponding emoticons.

1. Text

2. Pen

3. Paper

1. Writing of arguments

2. Drawing of separator line

3. Adding of labels and emoticons

1. The physical paper and pen

Visually contrasts a clearly valid argument with a clearly invalid one to illustrate immediate recognition.

1. Animation
   Observation

   The presenter flips the first page over to reveal a blank page underneath.

1. Paper

1. Revealing a new blank page

1. The presenter's hands and pen

Signals a shift from obvious examples to a more complex case requiring further analysis.

1. Diagram
   Observation

   A handwritten page shows a concrete philosophical argument at top, a note that validity is unique while content may be unfamiliar, then the question "How do we check for validity?" and two side-by-side abstract schemas labeled Valid and Invalid.

2. Animation
   Observation

   The hand writes the schemas, adds the labels, and then annotates truth values around the valid example.

1. Concrete argument about Fatalists, Determinists, and Consequentialists

2. Side note about validity and content

3. Question heading "How do we check for validity?"

4. Left abstract schema labeled Valid

5. Right abstract schema labeled Invalid

6. T and F annotations

1. The page moves from a concrete example to the general question of checking validity.

2. Two abstract forms are written side by side.

3. The left form is labeled Valid and the right form Invalid.

4. Truth-value marks are added to illustrate the impossible true-premise/false-conclusion pattern for the valid form.

1. The comparison is always about form rather than specific content.

2. The left schema keeps the same term pattern A-B-C through the conclusion.

The visual layout teaches that validity is assessed by form: one schema preserves the term structure and is valid, while the other breaks it and is invalid.

1. Diagram
   Observation

   A new page states that the same cannot be said about invalid arguments, gives the conditional about changing content, shows a schematic $T/T/(F)$ pattern, writes "Valid ≠ Invalid," and then defines counterexample with the crucial clause underlined.

2. Animation
   Observation

   The hand writes each sentence in sequence and underlines the key phrase in the definition.

1. Sentence about invalid arguments

2. Conditional statement on changing content

3. Three-line schematic with T, T, and circled F

4. Expression "Valid ≠ Invalid"

5. Definition of counterexample

6. Underline beneath "true premises and a false conclusion"

1. The page shifts from the general substitution property to the special case of invalid arguments.

2. A schematic counterexample pattern is drawn.

3. The definition of counterexample is written and visually emphasized by underlining.

1. The focus remains on same-form comparison.

2. The decisive condition remains the truth pattern of premises and conclusion.

This page visually isolates the core idea that counterexamples work by matching form while flipping the truth pattern to true premises and false conclusion.

1. Diagram
   Observation

   A third page begins with the heading "How do we construct counterexamples?" and rewrites the concrete argument about Fatalists, Determinists, and Consequentialists.

2. Animation
   Observation

   The hand writes the heading and then copies the three-line argument beneath it.

1. The abstraction step is announced but not visually completed in this clip.

1. Heading "How do we construct counterexamples?"

2. Rewritten concrete argument with three lines

1. A fresh page is started for the procedural question.

2. The earlier concrete argument is copied down as the target example.

1. The same argument content is reused from the first page.

2. The task is now construction rather than definition.

The visual reset signals a move from theory to procedure: the example is placed on a clean page so its form can next be extracted.

1. Diagram
   Observation

   A lined sheet headed "How do we construct counterexamples?" shows the original argument, then the abstract form with F, D, C, then a substitution key and instantiated statements with (T)/(F) annotations.

2. Animation
   Observation

   The hand writes sequentially from top to bottom, first abstracting the argument, then adding the substitution list, then writing the instantiated sentences and truth markers.

1. Handwritten title "How do we construct counterexamples?"

2. Original three-line argument about Fatalists, Determinists, and Consequentialists

3. Abstract three-line form using F, D, and C

4. Substitution key listing F, D, and C

5. Instantiated statements with (T) and (F) markers

6. Pen and lined paper

1. The page first displays the concrete argument and its abstraction.

2. Then the writer adds the instruction to replace F, D, and C.

3. Next the substitution key is filled in with Bananas, Fruits, and Apples.

4. Finally the instantiated premises and conclusion are written with truth-value annotations.

1. The logical skeleton remains All _ are _, Some _ are _, So, some _ are _ throughout.

2. The same placeholders F, D, and C recur consistently wherever a term is replaced.

The visual sequence demonstrates how a concrete argument is abstracted into form and then re-instantiated with new terms to test validity by counterexample.

1. Diagram
   Observation

   The video cuts to a fresh lined page where the writer adds the heading "Notice" and the sentence "Valid arguments do not have counterexamples."

2. Animation
   Observation

   The hand writes the new note from top to bottom on the blank page.

1. New blank lined page

2. Heading "Notice"

3. Sentence "Valid arguments do not have counterexamples."

4. Pen and hand

1. The previous worked example disappears via a cut to a new page.

2. A short summary statement about validity is written as the concluding visual point.

1. The lesson continues to concern counterexamples and argument validity.

2. The note restates the conceptual result already demonstrated by the worked example.

The second page condenses the lesson into a general rule: validity excludes the existence of counterexamples.

1. Animation
   Observation

   The opening frame shows a previous page with “Notice” and “Valid arguments do not have counterexamples,” then the page is removed to reveal a blank sheet.

1. previous handwritten page

2. blank lined paper

3. hand

4. pen

1. A prior page is visible at the start.

2. The prior page is removed.

3. A blank page is prepared for a new example.

1. The setting remains a top-down view of paper on a dark surface.

This visual reset marks the beginning of a new worked example rather than continuation of the previous written note.

1. Animation
   Observation

   The hand writes the three-line software-developer argument on the blank page.

2. Formula
   Observation

   The completed text is legible as the natural-language argument.

1. three handwritten lines

2. pen

3. paper

1. The first premise is written.

2. The second premise is written.

3. The conclusion is written.

1. The argument remains in ordinary-language form during this stage.

The visual sequence establishes the concrete argument that will later be abstracted and tested.

1. Animation
   Observation

   The pen underlines parts of the original argument.

2. Formula
   Observation

   Below it, the hand writes the schematic form with S, P, and I.

1. underlined phrases

2. abstract three-line form

1. Key terms in the original argument are underlined.

2. A shorter symbolic form is written beneath the original text.

1. The original argument remains visible above the new form.

The underlining visually maps content terms to the variables in the abstract form.

1. Animation
   Observation

   The hand writes a vertical list assigning S, P, and I to concrete terms.

2. Formula
   Observation

   To the right, the instantiated statements are written with (T) and (F) labels.

1. substitution list

2. instantiated premises

3. instantiated conclusion

4. truth markers

1. S, P, and I are assigned concrete values.

2. Each instantiated sentence is written out.

3. Truth markers are added line by line.

1. The abstract form above remains unchanged while the instance is built below.

The layout separates the general form from a particular substitution, making the counterexample method visually explicit.

1. Animation
   Observation

   The word “Invalid!” is written near the completed example.

1. completed counterexample

2. handwritten verdict

1. A final label is added after the truth-value pattern is complete.

1. The premises remain marked (T) and the conclusion (F).

The visual endpoint records the conclusion of the derivation: the tested form is invalid.

1. Audio
   Observation

   The speaker says, 'This, of course, is just a partial definition.'

2. Diagram
   Observation

   Handwritten note 'Partial Definition' pointing to the initial definition of a counterexample.

Believing that 'a way of testing an argument's validity' is the complete definition of a counterexample.

The video explicitly states this is only a partial definition and promises a more fleshed-out explanation later.

1. Formula
   Observation

   The definition explicitly requires "the same form as the argument being evaluated" plus "true premises and a false conclusion".

2. Diagram
   Observation

   The phrase "true premises and a false conclusion" is underlined as pivotal.

One might think any argument with a false conclusion counts as a counterexample.

The video specifies that a counterexample must share the same form as the argument being evaluated and must have true premises together with a false conclusion.

1. Audio
   Observation

   The speaker says validity depends on whether the argument has a truth-preserving form and that content can be replaced freely in a valid form.

2. Diagram
   Observation

   Abstract $A/B/C$ schemas are used instead of the original philosophical terms.

One might think the unusual content of the argument determines whether it is valid.

The video stresses that validity belongs to the form; once the form is valid, the content terms can be replaced with anything without creating true premises and a false conclusion.

1. Audio
   Observation

   At 00:21.000 the speaker says, "keep in mind that the letters themselves don't actually mean anything. They're just empty placeholders."

One might think that choosing letters like F, D, and C adds logical content because they resemble the original terms.

The video explicitly states that the letters are only empty placeholders; their similarity to the original words is just a convenience for reference, not part of the logic.

1. Audio
   Observation

   At 00:35.000 the speaker says, "you always want to start off by making the conclusion false. It'll just make your life much easier."

A learner may begin by searching for true premises and only later worry about the conclusion.

The presented method reverses that order: first force the conclusion false, then choose the remaining term so the premises become true.

1. Formula
   Observation

   The final written note says "Valid arguments do not have counterexamples."

2. Audio
   Observation

   At 01:51.000 the speaker explains that because counterexamples require true premises and a false conclusion, one can never construct one for a valid argument.

One might assume that any argument can be challenged by inventing some contrary example.

The video states the opposite rule: if an argument is valid, no counterexample exists, because validity forbids true premises with a false conclusion.

1. Audio
   Observation

   The speaker says that because we normally believe the conclusion to be true, “it might be tempting to think that this is a valid argument.”

An argument may seem valid because its conclusion sounds true.

The video responds by constructing a counterexample instead of relying on the apparent truth of the conclusion.

1. Audio
   Observation

   The speaker says that if you make your counterexample equally convoluted, then that kind of defeats the purpose.

One might think a more complicated counterexample is better because it matches a complicated original argument.

The clip advises using simple, objectively true-or-false statements so the counterexample clearly shows invalidity instead of obscuring the point.

1. Audio
   Observation

   The speaker explicitly rejects the idea that failing to construct a counterexample shows the argument is valid.

If you try hard to build a counterexample and cannot, the argument must be valid.

The clip says this may only be a failure of imagination; proving validity requires more sophisticated methods.

1. Audio
   Observation

   The speaker says counterexamples can only prove invalidity and cannot prove validity.

2. Diagram
   Observation

   The corresponding statement is written under Final Thoughts.

Counterexamples can establish that an argument is valid.

The clip states the opposite: counterexamples can only prove that an argument is invalid.

1. Audio
   Observation

   The speaker clarifies that while he uses a script, coming up with counterexamples is genuinely sometimes hard and requires multiple tries.

Learners might think that because an instructor presents counterexamples smoothly, they are always easy to construct on the first try.

Constructing valid counterexamples can be difficult and often requires trial and error; struggling is normal.

1. Audio
   Observation

   The speaker transitions by saying, 'Of course, sometimes it's not so obvious whether an argument is valid.'

The concept of immediately obvious validity is contrasted with arguments where validity is unclear, motivating the need for formal testing methods like counterexamples.

1. Audio
   Observation

   The narration first defines validity by truth-preserving form and immediately applies that to arbitrary content replacement.

2. Formula
   Observation

   The valid schema is followed by the written statement about replacing content.

The substitution property is presented as a direct consequence of what it means for a form to be truth-preserving.

1. Formula
   Observation

   Two schemas are written side by side, one labeled Valid and one Invalid.

2. Audio
   Observation

   The speaker explicitly contrasts truth-preserving and non-truth-preserving forms.

Invalidity is introduced as the failure case of the same form-based criterion used for validity.

1. Audio
   Observation

   The speaker says counterexamples exploit the key difference between valid and invalid arguments, then defines counterexample.

2. Formula
   Observation

   The page states that invalid arguments allow true premises and false conclusion, followed by the definition of counterexample.

The possibility of a true-premise/false-conclusion substitution for invalid forms is what makes the counterexample definition useful.

1. Formula
   Observation

   After the definition page, a new page asks "How do we construct counterexamples?" and rewrites the target argument.

2. Audio
   Observation

   The speaker transitions from defining counterexamples to asking how to construct them.

Once the notion is defined, the video turns to the practical method of building one for a specific argument.

1. Audio
   Observation

   "Our first step in constructing a counterexample for this argument is to strip it of its content."

2. Diagram
   Observation

   The concrete argument is rewritten as the setup for abstraction.

The construction task includes, as its first substep, removing the argument's concrete content to expose its form.

1. Audio
   Observation

   The speaker first explains the general counterexample method and then immediately applies it to the specific form on the page.

2. Formula
   Observation

   The same abstract form is instantiated with Bananas, Fruits, and Apples.

The worked example is a direct application of the general counterexample construction method to the form All F are D / Some D are C / So, some F are C.

1. Audio
   Observation

   The discussion of empty placeholders occurs while introducing the substitution procedure.

2. Formula
   Observation

   The abstract lines use F, D, and C as replaceable terms.

Understanding that F, D, and C are empty placeholders is required before one can substitute new terms while preserving logical form.

1. Audio
   Observation

   The speaker presents the conclusion-first advice as part of the counterexample procedure.

2. Formula
   Observation

   The example writes the false conclusion before completing the true premises.

The conclusion-first heuristic is a substep inside the broader counterexample construction method.

1. Audio
   Observation

   After completing the substitution, the speaker states that matching form plus T,T premises and F conclusion proves invalidity.

2. Formula
   Observation

   The derivation ends with the instantiated $T/T/F$ pattern.

The derivation depends on the proposition that a same-form instance with true premises and false conclusion establishes invalidity.

1. Formula
   Observation

   The final page states "Valid arguments do not have counterexamples."

2. Audio
   Observation

   The speaker justifies this by referring back to the definition of a counterexample used earlier.

The validity note contrasts with the counterexample method by stating that the method can succeed only for invalid forms, not for valid arguments.

1. Formula
   Observation

   The abstract form is written first and then instantiated with concrete terms.

The counterexample method is applied to the extracted abstract form rather than directly to the long natural-language argument.

1. Audio
   Observation

   Speaker defines a counterexample.

1. Definition of a counterexample

1. Audio
   Observation

   Speaker discusses obvious validity with examples.

1. Immediate recognition of argument validity
2. Valid argument example
3. Invalid argument example

1. Audio
   Observation

   Speaker presents an argument with unclear validity.

1. Unclear validity example

1. Audio
   Observation

   The speaker defines validity in terms of truth-preserving form.

2. Formula
   Observation

   The valid abstract schema is shown.

1. Validity as truth-preserving form

1. Audio
   Observation

   The speaker says a valid form allows replacing content with anything while remaining impossible to get true premises and false conclusion.

2. Formula
   Observation

   The written sentence states the same substitution principle.

1. Substitution property of valid forms
2. No true-premise/false-conclusion substitution for valid forms

1. Formula
   Observation

   The right-hand schema is labeled Invalid.

2. Audio
   Observation

   The speaker says invalid forms do not preserve truth and can be filled with content making premises true and conclusion false.

1. Invalidity as failure of truth preservation
2. Invalid forms admit a true-premise/false-conclusion substitution

1. Formula
   Observation

   The handwritten definition of counterexample is shown in full.

2. Audio
   Observation

   The speaker states the definition verbally.

1. Definition of counterexample

1. Audio
   Observation

   The speaker says the first step is to strip the argument of its content.

2. Diagram
   Observation

   The target argument is rewritten on a new page.

1. First step in constructing a counterexample
2. Question 2: constructing counterexamples

1. Diagram
   Observation

   T and F labels are attached to premises and conclusion in both the valid illustration and the schematic counterexample pattern.

2. Audio
   Observation

   The narration repeatedly talks about making premises true and conclusion false.

1. Substitution property of valid forms
2. Existence of a true-premise/false-conclusion case for invalid forms
3. Definition of counterexample

1. Audio
   Observation

   The whole clip is organized around the question written at the top of the page: how to construct counterexamples.

2. Formula
   Observation

   The page shows the abstraction and substitution steps needed for the construction.

1. Counterexample method for testing argument validity
2. Placeholders as empty variables in logical form
3. Start with the conclusion when constructing a counterexample
4. Worked counterexample using Bananas, Fruits, and Apples

1. Audio
   Observation

   At 00:04.000 the speaker comments on the letter choice and says the letters are only placeholders.

1. Choosing mnemonic placeholder letters
2. Placeholders as empty variables in logical form

1. Audio
   Observation

   At 00:35.000 the speaker advises always starting by making the conclusion false.

2. Formula
   Observation

   The example writes the false conclusion before the true premises are finalized.

1. Start with the conclusion when constructing a counterexample
2. Worked counterexample using Bananas, Fruits, and Apples