PHIL 011 - Formal Logic

Institution:

College of the Desert

Subject:

Description:

A study of the methods characteristic of modern formal logic. Included are the symbolic representation of arguments in both the propositional and predicate calculi, the criteria of validity, the derivation of theorems using natural deduction, and other techniques of syntactic proof and introductory model theory. Topics in the philosophy of logic are discussed. Lecture Hours: 54 Lab Hours: 0 Repeatable: No Grading: L Prerequisite: ENG-001A and MATH-057 CAN: None Transfer Status: CSU/UC Degree Applicable: AA/AS COD GE: C4 CSU GE: A3 IGETC: None

Credits:

3.00

Credit Hours:

Prerequisites:

Corequisites:

Exclusions:

Level:

Instructional Type:

Multiple

Notes:

Additional Information:

Historical Version(s):

Institution Website:

www.collegeofthedesert.edu

Phone Number:

(760) 346-8041

Regional Accreditation:

Western Association of Schools and Colleges

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.