PHIL 471 A: Advanced Logic

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:
February 24, 2024 - 7:50 am