Philosophy Class Web Site -- University of Northern Colorado

Note: The reading assignments are in the course outline at the end of the syllabus.

Date Due	Assignment
Monday, January 29, 2001	Translation from English into L. -- Handed out in class.
Wednesday, January 31, 2001	More Translation from English into L. -- Handed out in class.
Friday, February 2, 2001	Still More Translation from English into L. -- Handed out in class.
Friday, February 9, 2001	The odd-lettered items in problem 1 and all of problems 3-5 on pp. 107-108 in Mates's Elementary Logic.
Monday, February 12, 2001	Theorems 2, 4, 5, 9, 14, 17, and 19 on pp. 98-103 in Mates's Elementary Logic.
Wednesday, February 14, 2001	Theorems 21, 22, 23, 25, 26, 28, 29, and 30 on pp. 103-104 in Mates's Elementary Logic.
Friday, February 16, 2001	Theorems 31-40 on pp. 104-105 in Mates's Elementary Logic.
Monday, February 19, 2001	Theorems 42-48 and 50 on p. 105 in Mates's Elementary Logic.
Wednesday, February 21, 2001	Theorems 51-55 and 66-69 on p. 105 in Mates's Elementary Logic, and also this one, which we can call 69*: (P -> Q) -> ((Q -> R) -> ((P v Q) -> R))
Monday, March 5, 2001	Items (a)-(e) in Problem 1 on p. 130 in Mates's Elementary Logic.
Wednesday, March 7, 2001	Items (f)-(j) in Problem 1 on p. 130 in Mates's Elementary Logic.
Friday, March 9, 2001	Theorems of Logic 5-7 and 9-15 on p. 128 in Mates's Elementary Logic.
Monday, March 12, 2001	Theorems of Logic 17-19 and 21-27 on pp. 129-130 in Mates's Elementary Logic.
Wednesday, March 14, 2001	Items (k)-(p) in Problem 1 on p. 130 in Mates's Elementary Logic. Also, study the handout distributed in class on Monday on mathematical induction, and examine the assertions and proofs on pp. 65-67 in Mates's Elementary Logic
Wednesday, March 28, 2001	Problem 6 on p. 52 in Mates's Elementary Logic.
Friday, March 30, 2001	Write an informal proof of the first metatheoretical generalization at the bottom of p. 65 in Mates's Elementary Logic, and accompany it with a little Sokratic dialogue of the kind included in the handout distributed in class on March 26.
Monday, April 2, 2001	Write informal proofs and accompanying Sokratic dialogues for each of problems 1-3 on p. 67 in Mates's Elementary Logic.
Wednesday, April 4, 2001	Write informal proofs and accompanying Sokratic dialogues for each of problems 4-5 on p. 67 in Mates's Elementary Logic.
Friday, April 6, 2001	Redo the proofs and dialogues for problems 1-3 on p. 67 in Mates's Elementary Logic.
Monday, April 9, 2001	No new homework assignment. Work on mastering Mates's definitions and on the extra credit problems due on April 13.
Wednesday, April 11, 2001	No new homework assignment. Continue to work on mastering Mates's definitions and on the extra credit problems due on April 13.
Friday, April 13, 2001	No new homework assignment. Continue to work on mastering Mates's definitions and on the extra credit problems due on April 13.
Monday, April 16, 2001	The odd-lettered items in problem 1 and the odd-numbered theorems assigned in problem 2 on p. 150 in Mates's Elementary Logic.
Wednesday, April 18, 2001	Problem 3 (theorems 1-5,7-10) and problem 4 on p. 150 in Mates's Elementary Logic.
Friday, April 20, 2001	The even-lettered items in problem 1 on p. 150 in Mates's Elementary Logic.
Monday, April 23, 2001	The even-numbered theorems assigned in problem 2 on p. 150 in Mates's Elementary Logic.
Wednesday, April 25, 2001	Problem 6 on p. 150 in Mates's Elementary Logic.
Friday, April 27, 2001	Prove that maximal d-consistent sets of sentences have the properties asserted of them in assertions 3-6 on p. 143 of Mates's Elementary Logic, and that sets of sentences that are both maximal d-consistent and omega-complete also have the property asserted in assertion 8 on that same page.
Monday, April 30, 2001	Problem 8 on p. 150 in Mates's Elementary Logic.
Wednesday, May 2, 2001	Theorems 5-11 on p. 156 in Mates's Elementary Logic (note that these are theorems of Mates's L_I). Also: Problem 8 on p. 150 -- postponed from Monday.
Friday, May 4, 2001	Problems 6 and 8 on pp. 162-163 in Mates's Elementary Logic. Also read sections 1-3 of Chapter 11.

Back to the PHIL 241-007 Web Site

PHIL 241 Homework Assignments