Logic: Language and Information 2

Week 1. The Syntax of Predicate Logic; Translations using quantifiers

Week 2. Models for Predicate Logic; Classifying propositions and arguments; Finite and Infinite Domains

Week 3. Tree Proofs for Predicate Logic; Soundness and Completeness

Week 4. Identity; Functions; Counting 

Weeks 5–8. Applications to different reasoning domains (take at least three):

• Electronic Engineering — simplifying digital circuits with timing
  
• Philosophy — definite descriptions and existence
  
• Computer Science — databases, resolution and Prolog
  
• Linguistics — quantificational scope
• Mathematics — limits, continuity and quantifier alternation