PHIL 301 Intermediate Deductive Logic

The development of a formal system of logic with relations and multiple quantifiers, identity and definite descriptions. Other topics may include non-classical logics, modal logic (the logic of possibility and necessity), set theory, or results concerning the scope and limits of logical systems.

Credits

3

Prerequisite

PHIL 116

Offered

Offered on occasion