| Spring Term 2027 Symbolic Logic - 3235 - PHIL 150 |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Prerequisites/Notes: Recommended for freshmen and sophomores Catalog Description : What makes an argument a good argument for some claim? This course undertakes a formal study of the properties of good arguments, such as validity and consistency. It introduces students to the languages of sentential logic and quantified logic, and to the semantics and proof systems for these languages. Recommended for first-years and sophomores. PREREQUISITES: Recommended for freshmen and sophomores Attributes: Cross-Listed Course, First Year Friendly, GER Humanities Div, GER Quantitative Analysis, 100-199 Introductory Course
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||