PHIL 471 A: Advanced Logic

Spring 2021
View in MyPlan View in Time Schedule
Meeting:
WF 2:30pm - 4:20pm / * *
SLN:
18538
Section Type:
Lecture
Instructor:
SYNCHRONOUS OFFERED VIA REMOTE LEARNING
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 19, 2025 - 8:46 pm