Philosophy of Physics, Science, and Metaphysics at Brown University

Schedule for PHIL 0540 Logic

Main Course Page / Course Reserves / Schedule / Syllabus / Notes
Sept 1 Introduction  

Sept 3

 Arguments, Possibility, Validity Optional: Read Chapters 1 and 2 of M&A

Sept 8

 Practice on assessing valid and invalid arguments, Conversational Implicature vs. Logical Implication  

Sept 10

 Advanced discussion of validity, argument forms At this point all of chapter 1 in my notes have been covered.

Propositional Logic

Sept 13

 Formal Language, Conjunction, Negation

Quiz on Informal Validity

Optional: Read Chapter 3 of M&A

Sept 15

 More on negation, Scope,

Read beginning of chapter 2 in the notes.

Optional: Read Chapter 4 of M&A

Sept 17

 Truth Tables, Disjunction Optional: Read Chapter 5 and 6 of M&A

Sept 20

 Robustness with Disjunctions Optional: Read Chapter 7 of M&A

Sept 22

 Conditionals and Other Trickiness with 'Or'  

Sept 24

   Exam 1 on Propositional Logic with Truth Tables

Sep 27

 Natural Deduction, Truth Trees Optional: Read Chapter 8 of M&A

Sep 29

 Review of Exam, Practice with Truth Trees  
Oct 1

Robustness with Conditionals, Probability Logic

  

Oct 4

 Probability Logic "A Counterexample to Modus Ponens"

Oct 6

   Exam 2 on Propositional Logic with Truth Trees

Predicate Logic

Oct 8

 Quantifier Syntax, Predicate Translations, Truth Trees with Predicates Optional: Read Chapter 9 and 10 of M&A

Oct 13

 Review of Exam, Truth Trees with Predicates  

Oct 15

 Relational Translations Optional: Read Chapter 11 of M&A

Oct 18

 Relational Translations  

Oct 20

 Complex Relational Translations  

Oct 22

   Exam 3 on Predicate Logic

Oct 25

 Truth Trees with Equality, Translations with Equality, Functions  

Oct 27

 Ontological Argument Translation

Anselm and Actuality

Oct 29

 Review of Exam, Models  

Nov 1

 Models, Properties of Relations Assignment due

Applications

Nov 3

 Family relations

Nov 5

   Exam 4 on 1st Order Logic

Nov 8

 Infinity, Countability, Transfinite ordinals and cardinals The Hilbert Hotel
Nov 10 Axioms of Arithmetic, Abacus Machines and Computability Undecidability

Nov 12

 Decidability  

Nov 15

 Decidability
Nov 17 Decidability

Nov 19

 Decidability and Interpretations

Completeness & Incompleteness

7.3 and 7.4

Nov 22

 Soundness

Homework due Tuesday Nov 23

Completeness & Incompleteness

7.5 and 7.6

Nov 29

 Completeness  

Dec 1

 Robinson and Peano Arithmetic Quiz

Dec 3

 Overview  
Dec 14, 2PM

Final Exam

Location: List 120

About Sagacious Matter | Email: dk12 | ©2005-10 Douglas Kutach

Stanford Encylopedia

Stewart Shapiro: Logic