Welcome to Philosophy 209, section 001, Fall 2015

Welcome to the class. New material will be added at the top (just below this introductory paragraph) You should also look at the syllabus.

Trevor Adam, the grader and TA, has office hours 1:30-2:45 MW for you in Room 121 in the Philosophy Department. I have posted provisional office hours on my main page, still subject to change..

Manual of Logical Style

Here is my "manual of logical style". I will be making some revisions to it to support something closer to the style of reasoning given in the book, but I think it will already be useful as it stands.

Final exam and course grades

Here are the final examination and course grades posted by the ID number on your final exam paper. Have a good break!

Sample Final

Here is the sample final. I would say it will be seen to resemble the actual final in coverage, but is almost certainly harder.

Solutions will be posted for this by Monday of finals week. Our final is 12-2 on Wednesday. You are welcome to ask questions on Friday in class or at my office hour on Friday, or by email.

Here is the sample final with solutions. Errors in anything I post are quite possible: please email me promptly if you find an error in the sample final (or in the solutions when I post them).

Last Homework

due Friday, last day of class. 9.7A 6,9,12,14,20

9.7B 2,5,8,14

9.8A: 8 (use RAA I think); 11, 17

Test III Grades and Solutions

Here are the Test III grades (I thought I had posted these Sunday night, but evidently not so).

Here are my solutions to the test.

Sample Test III

Here is the sample Test III. Here is the sample Test III with solutions Here is the current draft of the rules to be attached.

Homework Assignment 20

Do the reading below and do the following problems, due Wednesday after the break.

9.5 part B: 2,3,6,9,11 part D 2, 6, 12, 16, 22. These are all translations; no proofs in this round.

Some reading to go with your turkey or other traditional holiday foods

Bertrand Russell, On Denoting

Willard v.O. Quine, On What There Is

Happy reading! I am hoping to devote a day or two to discussion of issues raised in these papers (and they do raise some issues in formal logic which we haven't considered yet, notably equality or identity); in a philosophy class we ought to do something clearly recognizable as philosophy at some point. So what is your opinion of "the present king of France", or "the round square"? That is just one issue: there is a lot to be found in these articles. You might think about whether either or both of these articles raises questions you might want to investigate further in other resources and/or write something about.

Homework Assignment 19

This assignment is due Friday Nov. 20th. I'm planning to have a lab day in MB 136 on Monday, give you a chance to finish your labs and introduce at least a demonstration of quantifier logic in Marcel.

section 9.3 part G 6, 8, 9, 10; section 9.4 part D 2, 5, 8, 10. I'm giving you the extra day so you can ask me about the problems you run into with symbolization as well as proof: use it!

Homework Assignment 18

This problem set is due Monday November 16th. You can use all the rules.

section 9.3 A 3,6,9,12,15; B: 2,4,6,8; F: 3,6,9; section 9.4: 5,6,12,20

Homework Assignment 17

This problem set is due Friday the 13th of November.

The only new rule you get from my lecture is QN: we have not finished discussing UG, so do not use it. You can use all earlier rules, including UI, EG and EI. You are entirely free to use CP and RAA.

The next assignment will have real uses of UG from 9.3 and 9.4.

I have chosen these problems because on my reading they do not require UG. But notice that if I am wrong about one or more of them (or if you can't see how to avoid using UG), I did show in class how to use EI and RAA instead of UG.

9.4 part A: 3,5,8,11. part B: 2,5

Homework Assignment 16

This assignment will be due Wednesday Nov 11.

What happened on the eleventh day of the eleventh month, at the eleventh hour? Those who forget history are condemned to repeat it...

section 9.3 part E problem 4, even numbered problems from 8 to 20.

You are allowed to use CP or RAA, but try to see if you can do the proof without them.

Homework Assignment 15

This assignment will be due on Wednesday after Halloween. section 9.3: section C: 2,4,6,8,10 ; section D: 2,4,6,8,10. I am leaving the odd questions as class examples!

Test II Grades

Here is your mark on Test II posted using the ID number on your test. I will provide information about estimated course grades for each student on their test paper on Friday. Be aware that Friday the 30th is the drop date.

Homework Assignment 14

This assignment is due on Monday after Halloween.

9.1 section B 2,3,5,12,14,15;

9.2: section A 2,8,9,17,20; section B 3,5,9,14

Homework Assignment 13

This assignment is due Friday the 30th of October. Happy Halloween!

section 8.6: part A problems 2,6,14,17; part B problems 2,3; part C 4,8.

section 9.1: part C 5,6,9,12,14,20; part F 2,6,8,11,18

Review materials for Test II

Some errors in the formula sheet and the sample test corrected at noon on 10/21.

Here is a sheet of propositional logic rules and strategies which will be attached to your test. Please review it for typos. I hope the page of strategies at the end might be useful. Requests for other things on the formula sheet will be considered.

Here is a full sample Test II. I can't say for certain how it compares with the one you will have, but working it out will be suitable to prepare you for the test. I will post at least partial solutions for it sometime during the weekend (here are the solutions). I will also be willing to answer questions about it (somewhat more willing to do so fully in office hours than in the classroom).

I will announce lab hours in Mathematics 136 when you can seek help with the computer assignment (or of course with questions about the test). Tuesday morning I am still feeling unwell, and not coming in, but I will have the review material posted before noon.

Test II will be on October 26

Test II will be on Monday October 26th. It will cover material from sections 7.4 to 8.5. By early evening today I will have posted review materials and a draft of the sheet of rules to be attached to your test.

We will be lecturing new material on Wednesday and Friday, but I have plans to discuss some examples from the 8.4 homework (and I am sure I will develop a desire to discuss some examples from the 8.5 homework) on those days, and I will take questions from the review material, though not for entire periods.

Computer Lab

Here is the lab manual for my logic software, which contains the first lab exercises. This is still sitting at the top as we will be in lab again on the 19th.

Here is the Python version of the theorem prover, if you want to use it. It has syntax differences in its logical language which I will point out in class, and the commands have slightly different format. If you turn in your lab using Python, just mail me the Python file with your commands at the end.

Homework assignment 12

This assignment will be due Monday October 19th.

8.5 part A 3,5,12,15,24 (notice that in part A you are not allowed to use CP; proofs using CP will not get full credit); part B (3,4) (6,7) (notice that these are to be done in pairs) (here you may use RAA or CP to prove validity); part C 2,4 (here again you are not to use CP)

Homework assignment 11

This assignment will be due Wednesday, Oct 14th. It is both likely to be difficult and is being posted rather late, thus an extra day is provided.

Some formal conditional proofs: Section 8.4: 2,6,11,12,15

and some English arguments to be turned into formal proofs (not necessarily all conditional): 8.1 part E 2,5; 8.3 part E 2,5; 8.4 part B: 3,4 8.4 part C: 1,2

Homework assignment 10

This assignment will be due Friday, Oct. 9.

8.3 part A 2,3,5,6,11 ; part B 3,14,18 ; part C 2,3,11

Homework assignment 9

This assignment will be due Wednesday, Oct. 7. As I said in class Friday, some 8.2 problems have been added.

7.4 part C problems 5,6,7 Each of these is valid. What I want you do to is indicate the order in which you determine truth values in the way I demonstrated in class (number the truth values you enter in the order in which you write them down), so that I can see in your work how you arrived at a conflict. If you missed my explanation in class, I'll be happy to do another example or two on Monday.

8.4: I had to write my own problem set, a link to which now appears here. It's a penalty for having done things in a peculiar order. Here are the 8.4 problems (some actual problems from 8.4 will appear in a future assignment).

8.2: part A, 3,5,8; part B, 8,11,18; part C 2,5,11

Solutions to Test I

Here are detailed solutions to Test I.

Homework assignment 8

This assignment is due Monday, October 5.

section 7.5 part D problems 5 and 8 (these are both the annoying sort of problem which is so simple that it might be hard);

In all parts of 8.1, remember that you are allowed to use hypothetical syllogism and constructive dilemma as well as the rules I explicitly listed. section 8.1 part A 3,5,9; part B 5,6,8 (careful!),9,14; part C 2,6,8,15; part D 2,3,5

Homework Assignment VII

This will be due Monday Sept. 28th. Trevor will be leading a discussion of 7.4 (continued) and 7.5 tomorrow. I will be back as usual on Friday.

Section 7.4: part B 2,3,5 part C 1,2,3 part D 6,10 part E 2,5

Section 7.5: part A: 5, 20 part B: 2,3,5

Thinking about Test I approaching

There will be a test on the 18th (next Friday, as I write on the 11th). Please notice that I have posted two assignments, Assignment V just on 7.3 due on Wednesday the 16th and Assignment VI with problems from all sections covered on the test due on Monday the 21st. Trevor will continue lecturing 7.3 on Monday (I'll be out for the day) and 7.3 is the last section covered on the exam. We will cover new material on the 16th: there are not full test review days in my classes except for final exams.

Homework Assignment VI (and test review)

I do not guarantee that these are representative of what test problems will look like, but this is what I felt like having you review. Anything assigned the first time around is also relevant! I'm not a big fan of true/false questions and there are none in this review, but there might be a few on the test.

This "assignment" is very large and the point is not to do more of it than you need for test review. You are free to ask for solutions to any of these problems (I am more likely to give them in my office than in class, but I might give them in class), and your grade will be a check mark if you turn in a paper by Monday the 21st.

1.1 Part C 3, 11, 14; Part D 2, 6, 9, 14. I want justifications as well as answers: I suggest Venn diagrams to illustrate validity or invalidity of categorical arguments.

1.2 Part C 9, 12; Part D 5, 9

1.3 Part A 4, 14; Part B 6, 14 17

1.4 Part C: 6,11,14 Part D: 3,6

2.1 Part A 11,20

7.1 Part C 5,12,14; Part D 15,18,20

7.2 Part C 2,5,8 (other aspects of 7.2 covered by 7.3 exercises)

7.3 Part B 3,6,9,12,15,18. 7.4 Part E (dont use abbreviated truth tables, use 7.3 method) 2,6,8

Homework Assignment V

This assignment is due Wednesday the 16th. I will try to have marked papers available before the test, though I do not guarantee this.

7.3 Part A 2,3,8,9,17,20; Part C all even numbered problems.

Homework Assignment IV

This assignment will be due Monday, September 14.

7.1: part C 4, 6, 9, 11, 18 part D 2, 5, 6, 9, 14

7.2: part A 3-24 by threes: just say true or false; part A will be 5 points for the whole set; part B 3, 5, 6, 8, 9, 15 In each part, show your analysis of the sentence into atomic statements, the logical form of the sentence and how you evaluate it; part C 3, 6, 9, 12, 15 (give some indication of how you found your answers).

Homework Assignment III

This assignment is due Friday, Sept 11th.

1.2: part B 2,6,8,12,14; part C: 2,5,6,8,9

These problems don't require extra remarks, but they do require you to write down logical forms.

1.3: part A 9,14,15,18; psrt B: 3,6,8,18 Notice that in each of these problems you need to construct your own example argument with the same logical form in which the premises are clearly true and the conclusion is false. Be sure to clearly explain if your example involves some background assumptions.

No new homework 8/31/2015

Read sections 1.2 and 1.3 if you haven't already. Homework given Wednesday will be from those sections. We will straighten out the vexed question of valid instances of invalid argument forms with some examples, and talk about the sense in which we can use the method of counterexamples to show that an actual argument is invalid. And of course we will finish my intended coverage of 1.2 and 1.3...

Homework Assignment II

For the next lecture, be sure to finish reading section 1.2

The homework is just from 1.4 and 2.1. It is due on Friday Sept. 4.

Homework Assignment I

1.1 part A, problems with number divisible by 6, part B, problems with number divisible by 6, part C problems 2,5,6,8,9,12,15. I haven't examined the web tutor issue yat, but this time I am keeping it simple and just assigning exercises from the book. In part C, I would like you to express your analysis leading to your answer in a short paragraph for each problem. This is due on Wednesday 9/2/2015.

Attention to 1.4 and 2.1 for the next lecture would be a good idea. I might possibly get into 1.2.

First day information

I'm planning to post the first assignment on Wednesday to be due the following Wednesday.

Please read sections 1.1, 1.4, 2.1 in the book for Wednesday.

You might want to take a look at the very useful web tutor for this course at this URL, which is so useful for problems in the book that I think it will have a material effect on how I assign and grade homework in the course!