Slides

These slides are supplemental material on topics in the book The Many Worlds of Logic

Fundamental Concepts of Logic

For more information on these topics, see chapters 1-6 in The Many Worlds of Logic

Introduction to Logic

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

What is an Argument?

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

Supplement - The Argument Clinic

Deductive and Inductive Arguments

Arguments of necessity and impossibility, and probability.

Deductive and Deductively Valid Distinguished

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

What is Validity?

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

More on Validity

Digging deeper on the concept of validity.

Inductive Strength

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

Relations

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

Overview of the Fundamentals of Logic

An overview of key concepts in the Fundamentals of Logic

Categorical Logic

For more information on these topics, see chapters 7-9 in The Many Worlds of Logic

Elements of a Categorical Sentence

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

Elements of a Categorical Syllogism

Categorical logic applied to arguments.

Venn: Testing an Immediate Inference

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

Venn: Testing a Syllogism

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

Truth-Functional Logic

For more information on these topics, see chapters 10-22 in The Many Worlds of Logic

What is a Truth-functional Compound Sentence?

Identifying Truth-functional Argument Forms

Translation from English to TL Part 1

Translating from English to TL Part 2

Calculating the Truth Value of a Sentence

Elementary Truth Tables

Inference Rules: The Second Four

Replacement Rules 1

Replacement Rules 2

Replacement Rules 3

Let's Do an Indirect Proof

Let's Do a Conditional Proof

Let's Do a Premise-free Proof

Predicate Logic

For more information on these topics, see chapters 23-28 in The Many Worlds of Logic

Intro to the Language of Predicate Logic

Sample Translations in Predicate Logic

A Second Proof in Predicate Logic

.

Applying the Quantifier Rules

Elementary Predicate Proof

Let's Do a Proof in Predicate Logic

.