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
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
PHIL Contemp Metaphysics + Epistemology Courses
Class Grid
Updated 4:02 pm
-
HEADERS
Column header 1
CLASSESColumn header 2DREQColumn header 3INSTRUCTORSColumn header 4TIMESColumn header 5CLASS#Column header 6ENROLLColumn header 7CONSENT
-
PHIL 203 - 01 (S) LEC Introductory Logic
PHIL 203 - 01 (S) LEC Introductory LogicDivision II Q Quantitative/Formal ReasoningCancelled3945CancelledNone