logic1

lecturer: Dr. Brian Rabern


info:


secretary: philinfo@ed.ac.uk


course text: An Exposition of Symbolic Logic, Terrence Parsons


course software: elogic


 

assessment:


logic labs

  • Fridays, 12:00-4:00pm 
  • Robson Building , H.R.B Lecture Theatre.

                 

 

All content and information for this course are accessbile from the University of Edinburgh 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 20-24, 2023

________________________________________________________________      

 

 

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

____________________________________________________________________________