Chapter Six:
Predicate Logic: Quantifiers and Categories

In this chapter, we turn back to our formal language with names and predicates. But we add one small but terribly important element: the ability to talk about quantities. In English, this just means the words "all" and "some". This little wrinkle will take some time to develop.

 

Tutorials

Tutorial One: Predicate Logic Introduction

Quizzes
Q6.1a Sentences of PL without quantifiers
Q6.1b Main Connectives Again
Q6.1c First Symbolizations with Quantifiers
 Q6.1d More Quantifiers
Exercises
6.1a Derivations (EZ ones!)
           Flash!Flash Lecture
6.1b Symbolizations without Quantifiers
           Flash!Flash Lecture
6.1c Syntax for PL
           Flash!Flash Lecture
6.1d Symbolizations with Quantifiers
          Flash!Flash Lecture
6.1e Symbolization Introduction (for class)
6.1f More EZ Derivations (for class)

 

Tutorial Two: Categorical Logic and Venn Diagrams

          Flash!Flash Lecture Introduction to 6.2
          Flash!Flash Lecture for 6.2's Symbolizations
Exercises
6.2a Venn Diagrams
6.2b Symbolization of Categorical Statements
6.2c More Symbolization of Categorical Statements

 

Tutorial Three: Categorical Equivalences: Conversion, Obversion, Contraposition

          Flash!Flash Lecture for 6.3
Exercises
6.3a Equivalences

 

Tutorial Four: Categorical Syllogisms

          Flash!Flash Lecture for 6.4
Exercises
6.4a Categorical Syllogisms Multiple Choice I (Thanks to W.W. Norton for putting these online)
6.4b Categorical Syllogisms Multiple Choice II (Thanks to W.W. Norton for putting these online)
6.4c Power of Logic Diagrams I
6.4d Power of Logic Diagrams II

Flash! Flash review for Venn Diagrams

 

Tutorial Five: PL for Categorical Logic

          Flash!Flash Lecture for 6.5
Presentation
Basic Symbolizations in PL: names, quantifiers, relations
Quizzes
(Well worth doing!)
Q6.5a Symbolizations
Q6.5b Symbolizations
Q6.5c Symbolizations
Exercises
6.5a Symbolizations I
6.5b Symbolization II: Multiple Choice
6.5c Symbolizations III
6.5d Symbolization IV: Inspired by 6.1
6.5e Review Problems
6.5f Problems for Lecture
6.5g Symbolization V

    Reference

Chapter Six Reference

Quizzes and Presentations

Q6.1a Sentences of PL without quantifiers
Q6.1b Main Connectives Again
Q6.1c First Symbolizations with Quantifiers
 Q6.1d More Quantifiers
P6.5 Basic Symbolizations in PL: names, quantifiers, relations
Q6.5a Symbolizations
Q6.5b Symbolizations
Q6.5c Symbolizations

Exercises

6.1a Derivations (EZ ones!)
           Flash!Flash Lecture
6.1b Symbolizations without Quantifiers
           Flash!Flash Lecture
6.1c Syntax for PL
           Flash!Flash Lecture
6.1d Symbolizations with Quantifiers
          Flash!Flash Lecture
6.1e Symbolization Introduction (for class)
6.1f More EZ Derivations (for class)

          Flash!Flash Lecture Introduction to 6.2
          Flash!Flash Lecture for 6.2's Symbolizations
6.2a Venn Diagrams
6.2b Symbolization of Categorical Statements
6.2c More Symbolization of Categorical Statements

          Flash!Flash Lecture for 6.3
6.3a Equivalences

          Flash!Flash Lecture for 6.4
6.4a Categorical Syllogisms Multiple Choice I (Thanks to W.W. Norton for putting these online)
6.4b Categorical Syllogisms Multiple Choice II (Thanks to W.W. Norton for putting these online)
6.4c Power of Logic Diagrams I
6.4d Power of Logic Diagrams II

          Flash!Flash Lecture for 6.5
6.5a Symbolizations I
6.5b Symbolization II: Multiple Choice
6.5c Symbolizations III
6.5d Symbolization IV: Inspired by 6.1
6.5e Review Problems
6.5f Problems for Lecture
6.5g Symbolization V