PHIL 4311

PHIL 4311

Course information provided by the Courses of Study 2022-2023.

Advanced discussion of a topic in logic or foundational mathematics.

When Offered Fall.

Prerequisites/Corequisites Prerequisite: PHIL 2310, PHIL 3310/MATH 2810, PHIL 3300/MATH 3840, or permission of instructor. A background in logic is required.

Distribution Category (MQR-AS, SMR-AS)

View Enrollment Information

Syllabi: none
  •   Regular Academic Session.  Combined with: MATH 4820PHIL 6311

  • 4 Credits Stdnt Opt

  • Topic: Philosophical Logic

  • 17214 PHIL 4311   LEC 001

  • Instruction Mode: In Person
    Fall 2022: The course provides an overview of the major foundational programs and the results that bear on them. Topics include logicism, constructivism, finitism, set-theoretic foundations, and Gödel's incompleteness theorems.