Set Theory and Modal Logic

[0.50] credits · Undergraduate

Both set theory and modal logic are important tools in contemporary philosophy. Set theory is about relationships among collections of things. Modal logic elaborates the notions of necessity and possibility in formal models of different possible worlds. Students will explore these topics by producing and understanding informal proofs of important facts, and by doing exercises developing understanding of the semantics of modal logic.