Dr. Brian Rabern
info:
secretary: philinfo@ed.ac.uk
course text: An Exposition of Symbolic Logic, Terrence Parsons
assessment:
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 ]
Week 4 [ homework ]
Week 5 [ homework; study guide ]
________________________________________________________________
No classes -- February 15-19, 2021
________________________________________________________________
Week 6 [ homework ]
Week 7 [ homework ] [syntax playground for L3]
Week 8 [ homework ]
Week 9 [ homework ]
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
____________________________________________________________________________