Save To Worklist

PHIL 420A Topics in Symbolic Logic - TOPICS:SYMB LOGI

Formal semantics, proof theory, incompleteness and decidability, axiomatic set theory, independence results. Consult the Department as to which topics are offered in a given year.

This course is eligible for Credit/D/Fail grading. To determine whether you can take this course for Credit/D/Fail grading, visit the Credit/D/Fail website. You must register in the course before you can select the Credit/D/Fail grading option.

Credits: 3

Pre-reqs: PHIL 220.

Status Section Activity Term Interval Days Start Time End Time Comments
PHIL 420A 002Web-Oriented Course2 Mon Wed Fri12:0013:00

Prerequisites: in addition to PHIL 220, students must have completed at least one of PHIL 320, 322, or 323 prior to taking this course, with completion of PHIL 320 being strongly recommended.