PHIL 470 - Logical Theory

Institution:

University of Maryland-Global Campus

Subject:

Description:

Prerequisite: PHIL370 or permission of instructor. This course will treat a selection of the most important topics in modern logic: alternative proof-theoretic presentations of logical systems, completeness proofs for classical propositional and first-order logic, some basic computability theory, basic limitative results (such as Godel's incompleteness theorems), and some results concerning second-order logic. The primary focus of the course is a study of these fundamental topics, but we will also discuss some of the philosophical issues they raise.

Credits:

3.00

Credit Hours:

Prerequisites:

Corequisites:

Exclusions:

Level:

Instructional Type:

Lecture

Notes:

Additional Information:

Historical Version(s):

Institution Website:

www.umgc.edu

Phone Number:

(301) 985-7000

Regional Accreditation:

Middle States Association of Colleges and Schools

Calendar System:

Semester

The Course Profile information is provided and updated by third parties including the respective institutions. While the institutions are able to update their information at any time, the information is not independently validated, and no party associated with this website can accept responsibility for its accuracy.