Skip to content

Tutorials

This webpage contains tutorials for PHIL 370 - Logical Theory I: Metatheory, Spring 2021. The tutorials will contain explanatory text, illustrations of the mathematical notation, videos, and pointers to additional reading.

Week 1 - Introduction to Sets, Functions and Relations

  1. Tutorial - Basic Set Theory
  2. Tutorial - Relations
  3. Tutorial - Writing Mathematical Proofs

Week 2 - Induction, Parse Trees and Compositional Definitions

  1. Tutorial - Trees
  2. Tutorial - Induction
  3. Tutorial - Parse Trees and Compositional Definitions

Week 3 - Models and Substitutions

  1. Tutorial - Models
  2. Tutorial - Substitutions

Week 4 - Derivations and Soundness

  1. Tutorial - Derivations

Weeks 5 - 7 - Completeness

  1. Tutorial - Completeness

Week 9 - First Order Logic I

  1. Tutorial - First Order Formulas
  2. Tutorial - Substitutions

Week 10 - First Order Logic II

  1. Tutorial - Equality
  2. Tutorial - Structures

Week 11 - Satisfaction, Soundness and Completeness

  1. Tutorial - Satisfaction
  2. Tutorial - Soundness and Comleteness