Video summary

The 7 Levels of Logical Thinking

Main summary

Key takeaways

Educational

Main ideas and lessons (7 levels of logical thinking)

Intro / framing

  • The video argues that “logic” and “logical thinking” can be learned progressively—from everyday intuitions to highly technical research.
  • It warns that some explanations are intuitive rather than formally exact, because formal definitions require symbolic logic, and casual explanations can be technically inaccurate.

1) Pre-logic (everyday intuition)

  • Most people start with vague judgments about what makes arguments good or bad.
  • Early “signals” people notice:
    • Bad arguments can look persuasive but be flawed.
    • Examples mentioned include:
      • Using irrelevant character judgments to evaluate truth (e.g., “You’re a bad person, therefore you’re wrong”).
      • Drawing huge generalizations from small samples.
  • Key distinction:
    • Logic is not the same as critical thinking; someone can be smart and still lack formal logic knowledge.

Goal of this level: develop a rough sense that argument quality matters, even if you can’t yet diagnose why.

2) The fallacy monger (logical fallacies as a practical entry point)

  • The video treats logical fallacies as a common first structured encounter with logic.
  • Core idea:
    • A logical fallacy is a type of argument that is always or almost always bad (attributed to Aristotle in the video).
  • Why it’s useful:
    • Identifying fallacies gives a rule-of-thumb for spotting poor reasoning.
    • Many arguments that seem persuasive can still be structurally flawed.

Example: Ad hominem

  • “You’re a bad person, therefore you must be wrong” is described as an ad hominem fallacy:
    • The conclusion is inferred from an irrelevant feature (character) rather than reasons/evidence about the claim.

Limitation of “fallacies-only” thinking

  • The video challenges the idea that labeling fallacies online always settles the matter.
  • Example: Appeal to authority might not be fallacious in every case.
    • Scenario: a Nobel physicist and a layperson disagree on quantum mechanics.
    • A “fallacy spotter” might call it appeal to authority, but the video argues it can be reasonable to defer when:
      • the issue can’t be resolved by you directly, and
      • the expert’s authority is relevant and earned.

Formal vs informal fallacies

  • Many “fallacies” in everyday life are informal fallacies:
    • the flaw may depend on content/context or violated norms—not just logical form.
  • The video points to informal logic as the area that studies everyday argumentation more rigorously.

Takeaway: fallacies are a great starting tool, but they aren’t the whole story—real reasoning depends on context and formal structure.

3) Basic formal logic (propositional logic)

What students learn

  • Early undergraduate formal logic often starts with propositional logic:
    • a formal system with axioms and inference rules.
  • Basic components:
    • Propositions (letters like P, Q, R…)
    • Logical connectives (and, or, if-then, not)

Key inference rule: Modus ponens

  • If (P \rightarrow Q) and (P), therefore (Q).
  • Called modus ponens.

Truth tables define connectives

  • Example: conjunction (“and”)
    • “P and Q” is true iff P is true and Q is true.
  • Example: conditional (“if P then Q”)
    • “If P then Q” is false iff:
      • P is true and Q is false.
    • Therefore, if P is false, “if P then Q” is vacuously true.

Philosophical worry about conditionals (addressed conceptually)

  • Some philosophers argue “if P then Q” should only be true when P is relevant to making Q true.
  • Formal logic keeps the truth-functional definition because:
    • relevance-based alternatives are mathematically harder, and
    • formal logic is designed as a mathematical system.

Validity vs soundness

  • Valid argument
    • If premises are all true, the conclusion cannot be false.
    • Validity is about form/structure.
  • Sound argument
    • Valid and all premises are actually true.
    • Soundness is about structure plus real truth of premises.

Goal of this level: formalize arguments and diagnose whether the problem is:

  • invalid structure, or
  • false premises.

4) First-order logic and “friends”

What changes from propositional to first-order logic

  • Propositional logic works with whole propositions.
  • First-order logic (FOL) allows statements about objects, their properties, and relations.
  • It uses quantifiers like:
    • “for all X” (universal quantification)
    • “there exists an X” (existential quantification)

Core idea: quantification over objects

  • Example structure:
    • “Every X that is a cake is delicious.”
  • “Some cakes are delicious” can be represented with an existential quantifier.

Relations and more precise statements

  • FOL represents statements about multi-object relations.
  • Example:
    • “Every person has a father”:
      • for all X, if X is a person then there exists a Y such that Y is the father of X.

Example: defining primes precisely

  • The video illustrates expressing statements like:
    • “prime numbers divide only by 1 and themselves,”
    • using quantifiers and divisibility conditions.

Associated topics learned alongside FOL

  • Set theory
    • Sets and operations like:
      • intersection (like AND),
      • union (like OR),
      • complement (like NOT).
  • Probability theory
    • Used for reasoning under uncertainty.
    • Connected (in spirit) to justifying deference to expertise; Bayes’ theorem is mentioned but not expanded.

Purpose of studying these systems

  • Not necessarily to become a “master,” but to train:
    • precision,
    • ambiguity elimination,
    • disciplined thinking.
  • Students may later branch into nonformal specialties such as:
    • epistemology,
    • moral and political philosophy, etc.

Goal of this level: gain expressive power to formalize general claims, existence claims, and relations—enabling precise reasoning beyond everyday form.

5) More specialized logical systems

The video surveys several branches and describes their “feel” more than full technical detail.

Modal logic (possibility/necessity)

  • “Necessarily P” roughly means P is true in all accessible possible worlds.
  • “Possibly P” means P is true in at least one accessible possible world.
  • Kripke models:
    • worlds + which worlds are accessible via accessibility relations.
  • Accessibility framing can model:
    • belief (doxastic logic),
    • knowledge (epistemic logic),
    • and uses in computer science and game theory.

Formal semantics (linguistics application)

  • Formal semantics uses logic to build precise structures for natural language.
  • Example: gradable adjectives
    • “more athletic than” involves multi-dimensional properties, not a single attribute.
  • Mentions a researcher (subtitles spell the name “Cissoon”) studying multi-dimensional gradable adjectives.

Model theory

  • Model theory studies abstract mathematical structures using mathematical language.
  • It provides semantics for logics:
    • connecting symbol strings (syntax) to what they mean in structures (semantics).
  • Example illustration:
    • arithmetic via a structure with:
      • a domain (integers),
      • operations (addition, multiplication),
      • neutral elements (0 for addition, 1 for multiplication).

Advanced set theory (and infinity)

  • Uses set theory to talk precisely about infinity.
  • Example claim:
    • rationals and integers can have the same cardinality (both countably infinite).

Theme shift: logic becomes less about everyday reasoning and more about logic as its own mathematical field; intuition becomes less reliable and formal apparatus matters more.

6) Metamathematics and meta-logic

What this level studies

  • Uses math/logic to study properties of formal systems themselves (not their subject matter).
  • Emphasizes:
    • consistency,
    • soundness,
    • completeness.

Example of inconsistency via a made-up connective (“derf”)

  • The speaker extends propositional logic with a silly connective:
    • “P derf Q”.
    • It can be introduced from P or Q.
    • It can be eliminated into P or Q.
  • Result:
    • the system becomes contradictory—proving a statement and its negation.

Soundness

  • A system is sound if it does not prove anything false (relative to a class of models/semantics).
  • “False” means false in the semantics, not necessarily “false in everyday life.”

Clock arithmetic example (unsoundness of ordinary arithmetic)

  • Ordinary arithmetic says (12+1=13).
  • On a 12-hour clock:
    • (12+1=1) (wrap-around).
  • So “ordinary arithmetic” is unsound relative to that model class;
    • modular arithmetic matches that semantics.

Completeness

  • A system is complete if it can prove everything that is true in its semantics.
  • Completeness is the “flip side” of soundness:
    • soundness = no false theorems,
    • completeness = no missing true theorems.

Gödel’s incompleteness theorems (high-level, intuitive)

  • No consistent effectively axiomatized system can prove all arithmetic truths.
  • There will always be arithmetic truths not provable within the system.
  • Such a system also cannot prove its own consistency.
  • Practical message:
    • these results are deeply important but don’t “break maths” as practice remains fine—mainly about formal limits.

Independence results (example: ZFC)

  • Some statements are independent of ZFC:
    • neither provable nor disprovable from ZFC axioms.
  • Example mentioned:
    • the continuum hypothesis.

Proof techniques

  • Mentions recurring methods:
    • forcing,
    • diagonalization,
    • induction on formula length.

Philosophical logic debates (metatheoretic spirit)

  • Second-order vs first-order logic
    • Second-order logic quantifies over properties/sets, increasing expressiveness.
    • Example idea: induction expressed in a schema-like way.
    • Downside: heavier machinery.
  • Logical monism vs logical pluralism
    • Monism: one true logic.
    • Pluralism: multiple logics are useful tools for different tasks.

Additional pointers

  • Mentions a resource and institution website:
    • University of Amsterdam’s “logic, language, and cognition” for a master’s overview.

7) Current logic research

  • Level 6 vs 7: a “wide gulf.”
  • Modern logic is described as extremely specialized and researcher/program-dependent.

Examples of research described

  • Technical model theory example
    • Cites an abstract (from a featured article) about model-theoretic aspects of “D sets,” including properties like:
      • ultra-homogeneity,
      • unbounded order in discernible sequences,
      • distal colored D sets,
      • and a claim (as written in subtitles) that “all colored D sets are manatically NIP.”
  • Philosophical model theory example
    • A 2018 book by Tim Button and Sha Walsh: Philosophy and Model Theory.
    • Survey and philosophical discussion of how model theory informs philosophy.

Interdisciplinary nature

  • Logic overlaps with:
    • theoretical computer science,
    • linguistics (formal semantics),
    • philosophy,
    • mathematics.
  • The video emphasizes logic as “topic neutral in spirit,” echoing Aristotle.

Resources recommended

  • Open Logic Project
    • free logic textbooks.
  • A Friendly Introduction to Mathematical Logic
    • described as a bridging textbook up to Gödel-level results.

Learning advice

  • Math/textbook reading is slow and cumulative.
  • Do the exercises.
  • Formal knowledge fades without practice—logic is like fitness: relearnable, but not permanently retained automatically.

Speakers / sources featured

  • Joe Folly — narrator/speaker (also mentions his own channel/video)
  • Aristotle — credited with the origin of the logical fallacy framework concept
  • Heisenberg — referenced via “Heisenberg’s uncertainty principle”
  • Euclid — referenced in the ad hominem example (“Uklid” in subtitles)
  • Maximilian Kobe / Saint Maximilian Kolbe — referenced in the ad hominem example
  • Stuart Shapiro — mentioned as arguing for greater use of second-order logic
  • Owen Griffiths — mentioned as an editor/author for a co-authored work
  • Alexander Pazo — co-author with Owen Griffiths on a work about “one true logic”
  • Tim Button — co-author of Philosophy and Model Theory (2018)
  • Sha Walsh — co-author of Philosophy and Model Theory (2018)
  • Gayla / Gail Cassoon (subtitles: “Cissoon”) — researcher in multi-dimensional gradable adjectives (formal semantics)
  • Gödel — credited with incompleteness theorems (“Girdle” in subtitles)
  • Frege — not explicitly credited (not present in subtitles)
  • University of Amsterdam — referenced as hosting a “logic, language, and cognition” master’s program
  • Brilliant — sponsor of the video (virtual tutor and courses)
  • Open Logic Project — recommended as a free textbook resource

Original video