Mathematical Logic I: Logic-- Completeness
MATH 143
Subject & Catalog Number
Jointly Offered with:
Faculty of Arts & Sciences as PHIL 143
Sign in to Add to Cart
Share
Course Information
Description
An introduction to first-order logic (the basis of mathematical reasoning) from a meta-mathematical point of view. Topics include: The axiomatic method, the principles of first-order logic, the meta-mathematical point of view, the central theorems (soundness and completeness), and the expressive limitations (Löwenheim-Skolem).
Course Notes
An additional hour of lecture will be scheduled independently.
Recommended Prep
Familiarity with proof based mathematical reasoning at the level of Math 22a, 25a, 55a or Math 101
School
Faculty of Arts & Sciences
Credits
4
Cross Reg
Available for Harvard Cross Registration
Department
Mathematics
Course Component
Lecture
NOTE: This course requires additional sections; you will be prompted to choose secondary components during the Add to Cart process
Subject
Mathematics
Grading Basis
FAS Letter Graded
Course Requirements
Anti-Requisite: Cannot be taken for credit if MATH 141A or PHIL 143 already complete or in progress.
Exam/Final Deadline
Dec. 17, 2026
General Education
N/A
Quantitative Reasoning with Data
N/A
Divisional Distribution
Science & Engineering & Applied Science
Course Level
For Undergraduate and Graduate Students
