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:

CSCI-4968 Intermediate Formal Logic & Ai MATH-4140 Intermediate Logic MATH-4961 Intermediate Logic PHIL-4961 Intermediate Formal Logic & Ai

Prereqs:

PHIL-2140 Introduction to 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)
2023				Intermediate Logic (4c) Selmer Bringsjord Seats Taken: 5/150
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