These videos are supplemental material on the book The Many Worlds of Logic. They are broken down by unit and chapter from the book.

Fundamental Concepts of Logic

Welcome and Intro

Welcome to Logic Class and Introduction to the Series

What is Logic?

An overview of the discipline and what you'll be studying.

What is an Argument?

An overview of the basic build blocks of logic

Arguments vs NonArguments

What makes an argument

What is a Deductive Argument?

The strongest argument you can make on the strongest argument you can make

What is an Inductive Argument?

Probably the most common type of argument.

What is a Valid Argument?

An overview of how arguments should (and shouldn't) be structured.

What is a Deductively Sound Argument?

Valid + True = Sound

What is a Strong Argument?

There's a high degree of probability that you'll enjoy this video.

Inductively Sound or Cogent Arguments

Strong + True = Cogent

The Fundamental Concepts of Logic

Consistency, Inconsistency, Implication, Equivalence, Necessity, Contingency

Overview of the Fundamental Concepts of Logic

Argument, Deduction, Induction, Validity, Strength, Consistency, Inconsistency, Implication, Equivalence, Necessity, and so forth.

Categorical Logic

Translating Categorical Sentences into Standard Form--1

Translating Categorical Sentences into Standard Form--2

YouTube player
.

Constructing the Converse, Obverse, and Contrapositive of a Cat Sentence

YouTube player

Form of a Categorical Syllogism--1

YouTube player

Logical Form of a Categorical Syllogism--2

 

Constructing Venn Diagrams--1

 

Constructing Venn Diagrams--2

 

Aristotelian vs Boolean Standpoints

 

Constructing Venn Diagrams--3

 

More Venn Diagrams

 

Constructing Venn Diagrams--4

 

Constructing Venn Diagrams Yet Again

 

Venn Diagraming Unicorns

Truth-Functional Logic

What is a “Truth-functional” Compound Sentence?

Argument Forms and Substitution Instances

YouTube player

Symbolizing Truth-functional Sentences -1

YouTube player

Alternative Truth-functional Symbols Used in Various Logic Texts

YouTube player

Symbolizing Truth functional Sentences--2

Symbolizing Truth-functional Sentences--3

Symbolizing Truth-functional Sentences --4

Symbolizing Truth-functional Sentences --5

Symbolizing Truth-functional Sentences --6

Truth table for “and”

Truth table for “or” (With “Thing”)

Truth table for “if then”

Calculating Truth-values Using the Replacement Method

Identifying the Main Connective

Calculating Truth-values Using the Replacement Method

Truth table Analysis 1: Testing a Single Sentence for Logical Status

Truth table Analysis 2: Testing a Single Sentence for Logical Status

Truth table Analysis 3: Constructing 8-row Tables

Truth table Analysis 4: Testing an Argument for Validity

Truth table Analysis 5:Testing a Pair of Sentences for Equivalence

Argument Forms and Substitution Instances

Introducing the Inference Rules Modus Ponens (MP) and Modus Tollens (MT)

Proofs Using the First Four Inference Rules--MP, MT, DS, HS

Introducing the Second Four Inference Rules—Simp, Conj, Add, CD

The Constructive Dilemma Rule (CD)

Proofs Using the Second Four Inference Rules-1

Proofs Using the Second Four Inference Rules-2

Proofs Using the Second Four Inference Rules-3

Proofs Using the Second Four Inference Rules-4

Proofs Using the Second Four Inference Rules-5

Common Errors Made in Truth-functional Proofs-1

Common Errors Made in Truth-functional Proofs-2

Replacement Rules 1—Comm, Assoc

Replacement Rules 2—Double Negation

Replacement Rules 3--DeMorgan

Replacement Rules--Distribution

Replacement Rules--Implication

Replacement rules--Tautology

Extra Replacement Rule Proofs--1

Extra Replacement Rule Proofs--2

Indirect Proof Explanation--1

Indirect Proof Explanation--2

Indirect Proof Demo

Indirect Proof Explanation--3

Indirect Proof in Math

Indirect Proof Introducing Conditional Proof emo

Conditional Proof Once More

Intro to Nested Proofs

Nested Conditional Proof

More Nested Proofs

Premise–free Proofs--1

Premise-free Proofs-2

Predicate Logic

Predicate Logic Intro to Translations --1

Predicate Logic Translations Introduction-- 2

Translating Existentials

Translating Exceptives--1

Translating Exceptives--2

Translating Dyadic Predicates and Overlapping Quantifiers

Calculating Truth-values Using the Replacement Method

Identifying the Main Connective

Calculating Truth-values Using the Replacement Method

Main Connectives in Predicate Logic

Two Meanings of Identity

Predicate Proofs--1--UI and EG

Predicate Proofs--2

Predicate Proofs--3

Predicate Proofs--4

Predicate Logic Interpretations

Predicate Proofs with Overlapping Quantifiers

Premise-free Predicate Proofs

http://youtu.be/LY3KiypmE

Predicate Proofs with Identity--1

Predicate Proofs with Identity--2

Common errors in Predicate Logic Proofs