PHIL 203
Introductory Logic Spring 2025
Division II Q Quantitative/Formal Reasoning

Class Details

Logic is the study of reasoning and argument. More particularly, it concerns itself with the differences between good and bad reasoning, between strong and weak arguments. This course is an introduction to the precise characterization of good logical reasoning. We will learn a to a formal language, Monadic First-Order Logic, designed to cleanly represent good inference patterns. Learning this language will primarily involve learning two skills: (i) translation between sentences of English and formulas of the logical language, and (ii) proving the validity of logical arguments using a system of natural deduction. No prior mathematical/logical/formal experience is assumed for this course.
The Class: Format: lecture
Limit: 40
Expected: 40
Class#: 3945
Grading: yes pass/fail option, yes fifth course option
Requirements/Evaluation: A midterm, a final, frequent problem sets.
Prerequisites: none
Enrollment Preferences: Preference given to philosophy majors.
Distributions: Divison II Quantitative/Formal Reasoning
QFR Notes: This course teaches two formal languages of logic: sentential logic and predicate logic.
Attributes: Linguistics
PHIL Contemp Metaphysics + Epistemology Courses

Class Grid

Updated 4:02 pm

Course Catalog Search


(searches Title and Course Description only)
TERM




SUBJECT
DIVISION



DISTRIBUTION



ENROLLMENT LIMIT
COURSE TYPE
Start Time
End Time
Day(s)