PHIL 4311

PHIL 4311

Course information provided by the Courses of Study 2015-2016.

Topics in logic that might be covered will go beyond the standard model-theory and natural deduction systems for classical first-order logic. Topics in the foundations of mathematics that might be covered will go beyond very basic set-theory (e.g. the set-theoretic reconstruction of the arithmetic of the natural numbers) in the setting of classical first-order logic. Students should have some background in, and comfort with, mathematics.

When Offered Fall.

Prerequisites/Corequisites Prerequisite: a previous course in logic that covers classical first-order logic under a natural deduction system – or (in special cases) permission of the instructor.

Distribution Category (MQR)

View Enrollment Information

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

  • 4 Credits Stdnt Opt

  • Topic: Review of Natural Deduction in Prawitz & SC Format

  • 18028 PHIL 4311   SEM 101