PHIL 4311

Last Updated

  • Schedule of Classes - April 13, 2023 2:00PM EDT
  • Course Catalog - April 12, 2023 7:14PM EDT

PHIL 4311
Topics in Logic and the Foundations of Mathematics

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 4820, PHIL 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.