Intermediate Logic

MATH-4140

This course is a continuation of PHIL 2140, covering basic metatheory of logic (including formal syntax and semantics, model theory, and soundness and completeness of proof systems), applications of logic (including automated theorem proving, deductive problem solving, and the axiomatization of various branches of mathematics), and alternative systems of logic (including sequent systems, diagrammatic logic, and modal logic).

4 credits
Cross-listed with:

Past Term Data

Offered
Not Offered
Offered as Cross-Listing Only
No Term Data
Spring Summer Fall
(Session 1) (Session 2)
2024
Intermediate Logic (4c)
  • Bram Van Heuveln
Seats Taken: 8/30
2023
Intermediate Logic (4c)
  • Selmer Bringsjord
Seats Taken: 24/100
2022
Intermediate Logic (4c)
  • Bram Van Heuveln
Seats Taken: 15/15
Intermediate Logic (4c)
  • Selmer Bringsjord
Seats Taken: 37/150
2021
2020
Intermediate Logic (4c)
  • Bram Van Heuveln
Seats Taken: 7/6
2019
2018
Intermediate Logic (4c)
  • Bram Van Heuveln
Seats Taken: 4/12
2017
2016
Intermediate Logic (4c)
  • Bram Van Heuveln
Seats Taken: 11/10
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998