# Intermediate Logic

## PHIL-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
Prereqs:
PHIL-2140 Introduction To Formal Logic

# Past Term Data
Offered
Not Offered
Offered as Cross-Listing Only
No Term Data
Simple View
Detailed View

| Spring | Summer | Fall
--- | --- | --- | ---
| (Session 1) | (Session 2) |
2025 | Intermediate Logic (4c) Bram Van Heuveln Seats Taken: 0/30 |  |
2024 | Intermediate Logic (4c) Bram Van Heuveln Seats Taken: 27/30 |  |
2023 |  |  | Intermediate Logic (4c) Selmer Bringsjord Seats Taken: 20/100
2022 | Intermediate Logic (4c) Bram Van Heuveln Seats Taken: 25/15 |  | Intermediate Logic (4c) Selmer Bringsjord Seats Taken: 31/150
2021 |  |  | Intermediate Logic (4c) Selmer Bringsjord Seats Taken: 43/50
2020 | Intermediate Logic (4c) Bram Van Heuveln Seats Taken: 36/13 |  | Intermediate Logic (4c) Selmer Bringsjord Seats Taken: 9/50
2019 |  |  |
2018 | Intermediate Logic (4c) Bram Van Heuveln Seats Taken: 26/13 |  |
2017 |  |  |
2016 | Intermediate Logic (4c) Bram Van Heuveln Seats Taken: 16/10 |  |
2015 |  |  |
2014 | Intermediate Logic (4c) Bram Van Heuveln Seats Taken: 17/19 |  |
2013 |  |  | Intermediate Logic (4c) Selmer Bringsjord Seats Taken: 17/19
2012 |  |  | Intermediate Logic (4c) Selmer Bringsjord Seats Taken: 16/19
2011 | Intermediate Logic (4c) Bram Van Heuveln Seats Taken: 25/25 |  |
2010 |  |  |
2009 | Intermediate Logic (4c) Selmer Bringsjord Seats Taken: 15/30 |  |
2008 |  |  |
2007 | Intermediate Logic (4c) Bram Van Heuveln Seats Taken: 23/25 |  |
2006 |  |  |
2005 |  |  |
2004 |  |  |
2003 |  |  |
2002 |  |  |
2001 |  |  |
2000 |  |  |
1999 |  |  |
1998 |  |  |