Lecture List

Slides

These slides are supplemental material on topics in the book Introduction to Logic

Fundamental Concepts of Logic

For more information on these topics, see chapters 1-6 in Introduction to Logic

Introduction to Logic

A concise introduction to the discipline and some resources for further study.


Slides

What is an Argument?

One of the fundamentals of logic and an important starting point.

Supplement – The Argument Clinic


Slides

Deductive and Inductive Arguments

Arguments of necessity and impossibility, and probability.


Slides

Deductive and Deductively Valid Distinguished

The conclusion must follow from the premises in the right way.


Slides

What is Validity?

Hint: It’s about the structure not truth value.


Slides

More on Validity

Digging deeper on the concept of validity.


Slides

Inductive Strength

The stronger the argument, the more probable is the conclusion.


Slides

Relations

How statements in logic relate to each other and how truth plays a role.


Slides

Overview of the Fundamentals of Logic

An overview of key concepts in the Fundamentals of Logic


Slides

Categorical Logic

For more information on these topics, see chapters 7-9 in Introduction to Logic

Elements of a Categorical Sentence

An introduction to categorical logic — the logical system of the Ancient Greeks.


Slides

Elements of a Categorical Syllogism

Categorical logic applied to arguments.


Slides

Venn: Testing an Immediate Inference

Using a Venn Diagram to test whether a conclusion follows from just one premise.


Slides

Venn: Testing a Syllogism

Using a Venn Diagram to determine whether a syllogism is valid.


Slides

Truth-Functional Logic

For more information on these topics, see chapters 10-22 in  Introduction to Logic

What is a Truth-functional Compound Sentence?


Slides

Identifying Truth-functional Argument Forms


Slides

Translation from English to TL Part 1


Slides

Translating from English to TL Part 2


Slides

Calculating the Truth Value of a Sentence


Slides

Elementary Truth Tables


Slides

Inference Rules: The Second Four


Slides

Replacement Rules 1


Slides

Replacement Rules 2


Slides

Replacement Rules 3


Slides

Let’s Do an Indirect Proof


Slides

Let’s Do a Conditional Proof


Slides

Let’s Do a Premise-free Proof


Slides

Predicate Logic

For more information on these topics, see chapters 23-28 in Introduction to Logic

Intro to the Language of Predicate Logic


Slides

Sample Translations in Predicate Logic


Slides

A Second Proof in Predicate Logic

.


Slides

Applying the Quantifier Rules


Slides

Elementary Predicate Proof


Slides

Let’s Do a Proof in Predicate Logic

.


Slides