# Phil 315, Applied symbolic logic

## Downloads:

## Announcements:

- Classroom change: as of Tuesday, 9/6, class meets in Hardenburgh A1

## Homeworks

- Propositional logic
- PL sequents, deviations, variations
- Predicate logic
- Predicate logic: function symbols, definite descriptions
- Proofs in modal propositional logic: provide axiomatic proofs (in the relevant systems) for numbers 7, 14, 17, 31, 36, 39, 44, 54 on the sheet of modal propositional logic theorems
- Validity and invalidity in modal propositional logic: do numbers 2, 6, 15, and 21 on the sheet of mixed MPL wffs