PHIL 321 Logic II

This is a course on quantificational predicate logic. This twentieth century advancement unifies the methods presented in Logic I into a single system of greater power. The course focuses on techniques of symbolization and derivation and includes proving some meta-theoretical facts about logical systems in general.

Credits

3 credits

Prerequisite

PHIL 221

Distribution

Advanced (ADVD)

Notes

Academic Level: 140-UG Level 4 Advanced

Modalities: In Person