2019-2020 Academic Catalog 
    
    Dec 11, 2024  
2019-2020 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