2018-2019 Academic Catalog 
    Jan 25, 2020  
2018-2019 Academic Catalog [ARCHIVED CATALOG]

PHIL 110 - Introduction to Symbolic Logic

An introduction to symbolic logic with attention to proofs within the formal system of first-order logic and translations from sentences in this formal language into sentences in ordinary English. (The department recommends that students not take this course as their introductory course to the major. The course material is mathematical in nature and is not representative of the topics and reading material typically found in other philosophy courses.) Fulfills the Formal Analysis (FA) requirement.

Course Designation/Attribute: FA

Anticipated Terms Offered: Offered every Fall semester