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:

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

Prereqs:

none

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: 3/150
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