# MATH 338 Intermediate Logic Last Offered Spring 2023 Division III Quantitative/Formal Reasoning Cross-listed PHIL 338 This course is not offered in the current catalog

## Class Details

In this course, we will begin with an in-depth study of the theory of first-order logic. We will first get clear on the formal semantics of first-order logic and various ways of thinking about formal proof: natural deduction systems, semantic tableaux, axiomatic systems and sequent calculi. Our main goal will be to prove things about this logical system rather than to use this system to think about ordinary language arguments. In this way the goal of the course is significantly different from that of Logic and Language (PHIL 203). Students who have take PHIL 203 will have a good background for this class, but students who are generally comfortable with formal systems need not have taken PHIL 203. We will prove soundness and completeness, compactness, the Lowenheim-Skolem theorems, undecidability and other important results about first-order logic. As we go through these results, we will think about the philosophical implications of first-order logic. From there, we will look at extensions of and/or alternatives to first-order logic. Possible additional topics would include: modal logic, the theory of counterfactuals, alternative representations of conditionals, the use of logic in the foundations of arithmetic and Godel’s Incompleteness theorems. Student interest will be taken into consideration in deciding what additional topics to cover.
The Class: Format: seminar
Limit: 20
Expected: 15
Class#: 3329
Grading: yes pass/fail option, yes fifth course option
Requirements/Evaluation: problem sets and exams
Prerequisites: some class in which student has studied formal reasoning
Enrollment Preferences: Philosophy majors; juniors and seniors
Distributions: Division III Quantitative/Formal Reasoning
Notes: This course is cross-listed and the prefixes carry the following divisional credit:
PHIL 338 Division II MATH 338 Division III
QFR Notes: This is a class in Formal Logic. PHIL 203 satisfies the QFR requirement. If anything, this class will be significantly more formal.
Attributes: PHIL Contemp Metaphysics + Epistemology Courses

Updated 11:12 pm

## Course Catalog Search

(searches Title and Course Description only)
TERM

SUBJECT
DIVISION

DISTRIBUTION

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