top of page
This site was designed with the
.com
website builder. Create your website today.Start Now

Lecture Notes

Slides

  • Informal Reasoning

  1. Assessing an Argument

  2. Extracting Logical Form

  3. Fallacies

  • Propositional Logic (PL)   

  4.  Propositional Formalisations

  5.  Language, Models and Truth-Tables

  6.  Expressive Completeness and Tableaux

  7.     Natural Deduction

  8.  Natural Deduction (Further Exercises)

  • Propositional Logic (PL)

  1. Validity. Language. Formalisations.  (Ex.)  

  2. Formal Semantics and Truth-Tables.  (Ex.)                

  3. Natural Deduction: &,¬, →.  (Ex.)            

  4. Natural Deduction: ∨, ↔. Tableaux For PL.  (Ex.)                 

  • Predicate Logic (QL)

5.   Validity. Language. Formalisations  (Ex.) 

6.   Semantics and Tableaux.  (Ex.)

7.   Natural Deduction: ∀E, ∀I, ∃I.​  (Ex.)

8.  Natural Deduction: ∃E, =.​  (Ex.)

  • Predicate Logic (QL)

   9.    Translations and Tableaux

   10.​    Natural Deduction

   

  • Exercises

   11.   Propositional Logic (PL)

   12.   First-Order Logic (QL)

   

   

Essay Writing

  • Predicate Modal Logic

9.  Basic Predicate Modal Logic and Some of Its         Extensions.  (Ex.)

  • My document Tips for Writing Good Philosophy Essays can be accessed by clicking here

bottom of page