Continuation of PHIL 220. A system of deduction for predicate logic is selected for further study. Completeness of this system and other metatheoretic results are proved. Other topics include computability, recursive function theory, incompleteness and decidability. Recommended pre-requisite: one of PHIL 220, PHIL 222. PHIL 222 is recommended.
Continuation of PHIL 220. A system of deduction for predicate logic is selected for further study. Completeness of this system and other metatheoretic results are proved. Other topics include computability, recursive function theory, incompleteness and decidability. Recommended pre-requisite: one of PHIL 220, PHIL 222. PHIL 222 is recommended.
