2012-2013 Academic Catalog

May 10, 2024

2012-2013 Academic Catalog [ARCHIVED CATALOG]

PHIL 205 - Advanced Logic

Type of Course: Lecture, Discussion

This course continues the study of mathematical logic that began in PHIL 110. Typically, the course focuses on metalogic. Following an introduction to set theory and mathematical induction, students turn to the metatheoretical approach to first-order logic that culminates in proofs for completeness and soundness. We also address Gödel’s incompleteness theorems and issues pertaining to undecidability. Other possible topics include non-classical logics such as modal and paraconsistent logics.

Prerequisites:

PHIL 110