logic1

lecturer: Dr. Brian Rabern


info:


secretary: philinfo@ed.ac.uk


course text: An Exposition of Symbolic Logic, Terrence Parsons

 

assessment:


logic labs

  • Fridays, 12:00-4:00pm

                   Virtual logic labs (links via Learn)

 

All content and information for this course including the lecture recording, tutorials, and homework exersices are accessbile from the LEARN page for this course. 

Week 1  [ homework ]

 

 

Week 2  [ homework ]

 

 

Week 3  [ homework ]

 

  • Introduction to derivations  [Parsons 1: 13-18]
  • Direct, Conditional, and Indirect Derivations  [Parsons 1: 18-30]
  • Sub-derivations  [Parsons 1: 30-44]

 

Week 4  [ homework ]

 

  • L2 (The language of `if', `not', `and', `or', `iff')  [Parsons 2: 1-11]
  • Inference rules [Parsons 2: 12-14]
  • Derivation strategies  [Parsons 2: 15-18]

 

Week 5   [ homework;  study guide ]

 

  • Box and cancel [Parsons 2: 19-21]
  • Using derived rules [Parsons 2: 25-33]
  • Midterm Test (practice)

 

________________________________________________________________


No classes -- February 15-19, 2021

________________________________________________________________      

 

 

Week 6  [ homework ]

 

  • Truth tables  [Parsons 2: 34; Wittgenstein's TLP]
  • Truth table analysis [Parsons 2: 34-37]
  • Validity and countermodels [Parsons 2: 37-39]

 

Week 7  [ homework ] [syntax playground for L3]

 

 

Week 8   [ homework ]

 

  • Quantifier inference rules  [Parsons 3: 8-19]
  • Derivations with quantifiers  [Parsons 3: 19-24]
  • More derivations  [Parsons 3: 25-28]


Week 9 [ homework ]


    • Quantifier negation rules Parsons 3: 28-39]
    • Models [Parsons 3: 40-42]
    • Invalidity and countermodels  [Parsons 3: 42-44]

 

Week 10 [ homework ]


  • Countermodels [Parsons 3: 45-47]

  • Derivations and models  [Parsons 3: 48]

  • Beyond monadic [Parsons 4, L4 exersices]


Week 11  


  • Review and conclude


____________________________________________________________________________


Logic 1 Final Test

____________________________________________________________________________