Wednesday, April 8: All problems immediately after 9.3 (pp. 236-237) in Bonevac.

Wednesday, April 15: All problems immediately after 9.4 (p. 240) in Bonevac.

Wednesday, April 22: The following problems immediately after 9.6: 3, 4, 7, 11, 13, 24, 28, 37, 40, 42, 52, 54, 66, 67, 70 (p. 250ff) in Bonevac.

Wednesday, April 29. Deductions in S5, 9.7: 2, 15, 24, 31, 37. Deductions in S4, 9.7: 67, 9.6: 50. Deductions in M: 9.6: 46, 48, 49. Tableaux in S4 and M: same problems as deductions in them.

Wednesday, May 6. The following problems immediately after 10.1: 3, 4, 7, 14, 19. The following problems immediately after 10.2: 8, 13, 19, 28, 33, 51, 52, 59, 61, 65.

Wednesday, May 13. The following problems immediately after 10.3: 1, 2, 4, 6, 8, 9, 11, 12, 13, 14.

Wednesday, May 20. The following problems immediately after 10.4: 8, 17, 30, 37, 47. The following problems immediately after 12.1: 43, 52, 59, 138, 142.

Wednesday, May 27. The following problems immediately after 12.1: 109, 129, 130, 154, 159.

Wednesday, June 3. The following problems immediately after 12.2: 3, 4, 17, 26, 27.

Wednesday, June 10. The following problems immediately after 12.3: 3, 6, 19, 21, 24.

Paper Topic, due June 8, 1998

You are to write a paper of about three typed, double-spaced pages on the following topic.

Bonevac distinguishes on pp. 232-233, between technological, physical, epistemic and logical possibility. For any one of these notions of possibility, show how plausible the systems M, S4 and S5 are as expressing the truths of that modality. Please be sure to use examples liberally.

[In 1959, E. J. Lemmon wrote, "With different interpretations in mind, and with generically different justifications, one may accept as in some way correct any of the formal systems . . . M, S4 and S5. Once the complexity of the notion of correctness here is made clear, there is little temptation to view these (and other) modal systems as if they were rival competitors in the same field, of which only one can win. The very multiplicity of modal systems is precisely an advantage, because it gives opportunities for choice. ("Is There Only One Correct System of Modal Logic?" Proceedings of the Aristotelian Society, Supplementary Volume XXXIII, p. 40.)]

Last modified:

Philosophy 134 Home Page