Assignments

Homework assignments will typically be posted on Mondays shortly after lecture, and due the following Monday.

Note:

• "You try it" exercises are not to be turned in, except in cases where an actual exercise, e.g. 2.15 on p.62 (not assigned), tells you to submit work done in a "You try it" exercise.
• We do assume that you are doing "You try it" exercises occurring in any section of the book that you're assigned as reading.
• Electronic exercises are to be submitted to the Grade Grinder by 2:15PM on the due date.
• Written exercises are to be turned in to your section leader in class on the due date.
  Note:
  • Exercises with both an arrow and a pencil next to them have both an electronic and a written component, except in some special cases where the arrow+pencil signifies that your answer could be either electronic or written, and part of the problem is to figure out which.

• You should get busy right away with homework 0 (nothing here to be turned in):

  • Read the Introduction (pp. 1–10) of LPL.
    • Make sure to do the "You try it" excercise on page 8!
  • Read pp. 1–3 of the LPL Software Manual.
    • Install the software from the CD onto your hard drive if you are the exclusive user of your machine, and it is running either a Macintosh or a Microsoft Windows operating system; or
    • Run the software (located in the 'LPL Software' folder on the CD) from the CD directly.
    • Install Acrobat Reader (located in the Extras folder) on the machine you will be using, if it is not installed already. (You can test whether the reader is already installed on the machine by trying to open any file with a .pdf suffix.)

• Problem Set I (50 points): Due Monday, 27 JAN 03:

  • Reading: Chapter 1 through section 1.5; Chapter 2 through section 2.
  • Exercises 1.1; 1.4; 1.11; 1.12; 2.2(1-2); 2.3 (4,6); 2.6; 2.9; 2.11
    • For problems 2.2-3, you may ignore the part that says "If your assessment of an argument depends on particular interpretations of the predicates, explain these dependencies."

• Problem Set II (50 points): Due Monday, 3 FEB 03:

  • Reading: Chapter 2 (sections 2.3-2.6); chapter 3 (sections 1-7); chapter 4 (section 1).
  • Exercises: 3.1, 3.7, 3.10, 3.13, 3.14, 3.21, 3.25, 4.2. (4.3 for Extra Credit.)

• Problem Set III (50 points): Due Monday, 10 FEB 03:

  • Reading: Chapter 4 (to the end).
  • Exercises: 4.12, 4.18, 4.23, 4.25, 4.35, 4.40, 4.42.

• Problem Set IV (50 points): Due Monday, 17 FEB 03:

  • Reading: Chapter 5; Chapter 6 through section 6.4
  • Exercises: 5.11, 5.24, 6.3, 6.6, 6.9, 6.18, 6.20
  • Solutions: (PDF File) (access restricted to Cornell)

• Problem Set V (32 points): Due Monday, 24 FEB 03:
  • Reading: Chapter 6; Chapter 7 through 7.3
  • Exercises: 6.27 (electronic only), 6.33, 6.41, 7.12 You may (just for exercise 6.41) use TAUT CON to justify instances of excluded middle, such as 'A v -A' or '(C v D) v -(C v D)'.
    
    Note that TAUT CON is not officially a rule of inference in the Fitch formal system. TAUT CON is more like a promissory note that a proof could be produced of the line in question.
  • Solutions: (PDF File) (access restricted to Cornell)
• Problem Set VI (50 points): Due Monday, 3/3/3:
  
  • Reading: Chapter 7; Chaper 8 through section 8.2.
  • Exercises: 7.2, 7.5, 7.6, 7.17, 7.21, 7.30, 8.21, 8.23, 8.27
    

  By the way, with regard to problem 7.17 (many people had problems here) concerning Boolos's world, George Boolos (in case you're interested) was my dissertation advisor at M.I.T. until his untimely death in 1996.

• Problem Set VII (50 points): Due Monday 10 Mar 03:

  • Reading: Chapter 9 through section 9.6.
  • Exercises: 9.5, 9.6, 9.9, 9.10, 9.12.
• Further Reading: Chapter 9, section 9.7.
• Prelim: 11 March 03
• - Spring Break -
• Problem Set VIII (32 points): Due Monday 31 March 03:
  • Reading: Chapter 10, through section 10.4.
  • Exercises: 10.3, 10.4, 10.5, 10.12, 10.13, 10.14, 10.20.
• Problem Set IX (32 points): Due Monday 7 April 03:
  • Reading: Chapter 11.
  • Exercises: 11.1, 11.2, 11.4, 11.9, 11.13, 11.17, 11.18, 11.26, 11.29.
    
    In general you should, if you have time, check your homework answers with the grade grinder before submitting the final version to us. I would recommend this especially in the case of 11.9 (but not only that one), which has very finicky instructions.
• Problem Set X (32 points): Due Monday 14 April 03:
  • Reading: Chapter 11, sections 7 and 8; Chapter 12, through section 4; Chapter 13, through section 2.
  • Exercises: 11.34, 11.35, 11.37, 12.5, 13.3, 13.4, 13.12, 13.15
    
    For exercises 11.34 and 11.35, the principles referred to as "given earlier" are those in the gray boxes on pages 279 and 282.
• Problem Set XI (36 points): Due Wednesday 23 April 03:
  • Reading: Chapter 13.
  • Exercises: 13.20, 13.23, 13.28, 13.34, 13.35, 13.40, 13.41, 13.45 13.47, 13.51. (13.51 is pretty hard, but try it.)

    • Extra Credit: Give a formal proof (without premises) of the validity of the following FOL sentence in Prenex Form (discussed in class):

      AxEyAz(Adjoins(x,y) -> Adjoins(x,z)).

      If you do this extra credit problem, you should type it up in the Fitch program, and email your file to your section leader. It would be helpful if you could click "verify proof" in the Proof menu (or key in Ctrl-f) before sending in the email. This is a VERY difficult problem. You may use TAUT CON, but not FO CON (or ANA CON). Nothing longer than 50 lines please. You are not permitted to collaborate with others on this problem.
• Problem Set XII (36 points): Due Friday 02 May 03:
  • Reading: Chapter 14: sections 1-3; (Chapter 15).
  • Exercises: 14.3, 14.4, 14.5, 14.11, 14.13, 14.14, 14.28, (15.58, 15.60).
    

    The chapter 15 reading and exercises are in parentheses because I will only discuss chapter 15 material very briefly, if at all. The chapter 15 exercises are optional (though not at all difficult). Try them if you like this sort of thing.

    For the final exam you are responsible for all reading assigned from this assignments page (not counting 15, though there may be an extra credit from ch15 on the final), as well as all lecture material. Soundness and completeness are discussed in 8.3 and 13.4. Modelling properties of relations is discussed a bit in 15.5, although in class we discussed this in relation to formal proofs, while in ch. 15, this is discussed in relation to set theory.

Visit the Announcements page.
(New Stuff as of 14 May 03)

This page created by Delia Graff
URL: http://instruct1.cit.cornell.edu/research/graff/phil231/assignments03.html
Last modified: "Sunday, 01 Jan 06, 13:55"