# 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
Cross-listed with:
MATH-4140 Intermediate Logic
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) |

2026

Intermediate Logic (4c)

- Bram Van Heuveln

Seats Taken: 27/30

2025 |  |  |

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 |  |  |