everything.study
PHIL 120

Symbolic Logic I

3 units

Fall 2025

Topics

  • Unit 1. Introduction Unit 2. Truth-functional logic (TFL): Language and syntax
  • Unit 3. Truth-functional logic (TFL):
  • Semantics
  • National Day for Truth and Reconciliation
  • Part IV (chapters 16-22): Natural deduction for TFL
  • Unit 5. First-order logic (FOL): Language
  • and syntax
  • Unit 6. First-order logic (FOL): Semantics
  • Part VII (chapters 36-41):
  • Natural deduction for FOL
Sources