PHIL 2140 - Introduction to Logic

Fall 2020

Schedule

Part I: Propositional Logic

Date Topic Reading Presentations (slides) Handouts/Exercises

Associated Homework
(always due next class!)
September 1

What is Logic?

 Introduction
Ch. 1
 Overview
 - The 'You try it' on pp. 8-10
September 4 Atomic Sentences

Validity and Invalidity

 Ch. 2 Sentences

Validity and Invalidity

 -
HW 1:

Ch. 1: 5, 6
Ch. 2: 24, 25
September 8 No Class (Monday Schedule today)        
September 11 Boolean Logic and Truth Tables Ch. 3
Ch. 4: 1-4
 Connectives

Logical Properties

 -

HW 2:

Ch. 3: 13, 21
Ch. 4: 6, 18, 23
September 15

Boolean Algebra

 Ch. 4: 5-6 Boolean Algebra

Handout: Boolean Logic Equivalences

Practice: Boolean Algebra Exercises

HW 3:

Problems 5 and 6 from Boolean Algebra Exercises
September 18

Logic and Computer Science:
Computer Circuitry

Ch. 7: 4

Circuitry

   HW 4:

Ch. 4: 27, 28, 40

September 22

Conditionals

 Ch. 7: 1-2 Conditionals Handout: Conditional Logic Equivalences

HW 5:

Ch. 7: 5, 12, 16, 17
September 25

Application: Analyzing Real World Arguments

   Practice: English Arguments

 
September 29

Quiz 1
   

 
October 1 Alternative Method: Short Truth Tables

Grid Logic Puzzles		   Short Turth Table Mehod

LEGUP		 Practice: Propositional Logic Arguments

HW 6:

Use LEGUP: short-truth table method to determine the validity of arguments 11 and 19 from Practice: Propositional Logic Arguments
October 6

Proof by Contradiction Hall of Fame

 -

Contradiction

 

 
October 9

Formal Proofs

 

 Ch. 5
Ch. 6
Ch. 8: 1-2 		TF-Proofs -

HW 8:

Ch. 6: 9, 10

Ch. 8: 20, 27
October 13 Formal Proof Strategies

-

TF-Strategies

Handout: TF Rules of F

Practice: Propositional Logic Proofs I

 HW 9:

Ch. 6: 25 , 41

Ch. 8: 48
October 16 Proofs, proofs, and proofs! - - Practice: Propositional Logic Proofs II

HW 10:

Ch. 6: 19

Ch. 8: 36, 53

 
October 20

Alternative Notation:
Existential Graphs

 - Existential Graphs

 
October 23

Quiz 2

          

October 24-26

The Logic of Categories: Venn Diagrams
(asynchronous)

- VennDiagrams - HW 11:

Venn diagram problem at the end of the presentation.

Part II: Quantificational Logic

Date Topic Reading Lecture Notes Handouts/Exercises Associated Homework
(always due next class!)
October 27 The Logic of Quantifiers Ch. 9: 1-6
Ch. 10: 1,2		 QLogic Practice: Symbolization with Single Quantifiers

HW 12:

Ch. 9: 9, 12, 14, 16, 17
October 30 Multiple Quantifiers Ch. 11: 1-5 QMultiple Practice: Symbolization with Multiple Quantifiers HW 13:

Ch. 11: 11, 12, 16
November 3 Multiple Quantifiers Symbolization - - Practice: Symbolization with Multiple Quantifiers

HW 14:

Ch. 11: 17, 18, 38
November 6

Quantifier Equivalences

 Ch. 10: 3,4 QRewrite

Handout: FO Equivalences

Practice: FO Algebra

  
November 10

Quiz 3

        
November 13 Formal Proofs with Quantifiers Ch. 12
Ch. 13		 QDerivations HW 15:

Ch. 13: 3, 8, 11, 12
November 17 Practice Proofs - QStrategies Practice: Quantificational Logic Proofs HW 16:

Ch. 13: 20, 32, 33, 47
November 20 The Logic of Identity - Identity - HW 17:

Ch.13: 43, 49, 52
November 24 The Logic of Sets - Sets -

HW 18:

Ch. 15: 14, 21
November 27 No Class (Thanksgiving) - - - -
December 1

The Logic of Numbers: Peano Axioms

 -

Peano Arithmetic

 - HW 19:

Ch. 16: 40

Exercise Heuveln 16.2
December 4 The Logic of Numbers: Induction -   -

HW 20:

Ch. 16: 30

Exercise Heuveln 16.3

Exercise Heuveln 16.11
December 8 The Logic of Knowledge - Knowledge -

December 11

Quiz 4

 - - - -