PHIL 3301 - Intermediate Logic

Institution:

Southern Methodist University

Subject:

Description:

Students are introduced to the formal theory of the logical systems they have already learned to use: namely, Sentential Logic and Predicate Logic. Students will learn to prove the completeness and soundness of both of these systems. In addition, they may also learn some simple nonstandard logical systems, such as Modal, Epistemic or Deontic logic, if time permits. Prerequisite: PHIL 1301, or its equivalent.

Credits:

3.00

Credit Hours:

Prerequisites:

Corequisites:

Exclusions:

Level:

Instructional Type:

Lecture

Notes:

Additional Information:

Historical Version(s):

Institution Website:

www.smu.edu

Phone Number:

(214) 768-2000

Regional Accreditation:

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