- Introduces the most philosophically relevant kind of logic that builds on PHIL 2440. Modal logic is the logic of the concepts of necessity, possibility and contingency. A variety of systems of sentential modal logic will be covered, along with the standard system of first-order modal logic. Recommended prerequisite: PHIL 2440. Same as PHIL 5460.