Mathematical Logic I: Logic -- Completeness
PHIL 143
Subject & Catalog Number
Jointly Offered with:
Faculty of Arts & Sciences as MATH 143
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).
School
Faculty of Arts & Sciences
Credits
4
Cross Reg
Available for Harvard Cross Registration
Department
Philosophy
Course Component
Lecture
NOTE: This course requires additional sections; you will be prompted to choose secondary components during the Add to Cart process
Subject
Philosophy
Grading Basis
FAS Letter Graded
Course Requirements
Anti-requisite: Cannot be taken for credit if MATH 141A or MATH 143 already complete or in progress.
Exam/Final Deadline
Dec. 16, 2025
General Education
N/A
Quantitative Reasoning with Data
N/A
Divisional Distribution
Science & Engineering & Applied Science
Course Level
Primarily for Undergraduate Students
