Spring 2023
Meeting:
TTh 12:30pm - 2:20pm / SAV 408
SLN:
18751
Section Type:
Seminar
Instructor:
Catalog Description:
Study of the first-order predicate calculus with identity and function symbols. Consistency, soundness, completeness, compactness. Skolem-Lowenheim theorem. Formalized theories. Prerequisite: PHIL 470.
GE Requirements Met:
Social Sciences (SSc)
Natural Sciences (NSc)
Credits:
5.0
Status:
Active
Last updated:
April 27, 2024 - 5:35 pm