An Online Resource for Logic Teachers and Students of Logic

Share on facebook
Share on twitter
Share on linkedin
Share on email

Short Videos on Logical Theory

Videos by Paul Herrick (Shoreline Community College) and Mark Storey (Bellevue College) 

Our thanks to the Bill and Melinda Gates foundation, and to the Washington State Board for Technical and Community Colleges, for the grant they awarded us that helped us create these videos. Thanks also to Shoreline Community College videographer Dwight Edwards for filming and editing our demonstrations. These videos correspond to chapters in Introduction to Logic by Paul Herrick (Oxford University Press, 2012).

Table of Contents

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

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

Introducing Conditional Proof

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

Informal and Inductive Logic

Definitions--1

Definitions--2

Definitions--3

Informal Fallacies--1

Informal Fallacies--2

Analogical Arguments

Enumerative Induction

More on Analogical induction and Enumerative Induction

Logic of Science

Hypothetical Reasoning

“Inference to the Best Explanation”

Inference to the Best Explanation Again

Very Elementary Probability Theory

Modal Logic

Very Elementary Modal Logic

Goodbye Video

Our Goodbye Video