**Non-Classical Logics (Philosophy
142 | Fall 2008 | UCB | Philosophy) **

[ Home ] [ Syllabus ] [ Sections ] [ Handouts ] [ Assignments & Exams ] [ Links ] [ Pictures ] |

Professor |
GSI |
Lecture |
Sections |

Branden
Fitelson |
Justin Bledin |

**Announcements & Schedule Updates **

**12/13/08**: I have posted the essay questions for ther final exam. Click here for a direct link to the questions.**12/09/08**: The final exam will be held at**126 Barrows, on Tuesday December 16, 2008 @ 12:30–3:30pm**.**12/03/08**: I have posted HW #7, which will be due at the final exam (on the 16th).**11/30/08**: Branden will not have office hours on Monday 12/1.**11/24/08**: I have posted a handout with "25 properties of conditionals", which have arisen during the course.**11/22/08**: HW #6 will be due after Thanksgiving, on 12/03/08.**11/19/08**: I've posted a chapter by Dummett, which tries to motivate the "fundamental assumption" of intuitionism, despite what seem to be obvious counterexamples to it (including the one about disjunction and testimony that I mentioned in lecture today). Also, I fixed the model in my previous handout (the counterexample to CEM in C1 on page 3). It was missing a "B" arrow from w2 to w1.**11/19/08**: I've posted a C2-counter-model for the last problem on HW #5. This was discovered using a model-finder and my first-order formalization technique (described in the handout from Monday's lecture).**11/17/08**: I've posted a handout which explains how to formalize the semantics for all conditional logics in Chapter 5 in first-order logic. [There's also an input-file posted there, for those who are interested in using theorem-provers/model-finders to explore these logics.] I have also posted Justin's second set of exercises for HW #5.**11/13/08**: I'm giving people until Monday to turn in HW #5. I will go over C1 and C2 in class on Friday.**11/10/08**: I have posted two handouts by Justin: one on Lewis & S2 and one on conditional logics.**11/02/08**: I have posted three things: (1) an handout of Justin's with some non-normal modal logic exercises, (2) a nice paper by Burgess on disjunctive syllogism (in connection with explosion), and (3) chapters 1 and 2 of Harman's*Change in View*, which is a must read concerning the relationship between logic and epistemology.**10/31/08**: I have posted HW #5.**10/20/08**: I have posted HW #4. [Because I posted this late, I have extended the due date on HW #4 until Monday, November 3.]**10/03/08**: I have posted HW #3.**09/29/08**: I have posted Justin's latest exercise handout (for basic modal logic).**09/29/08**: I have posted a (required) handout on the semantics of basic modal logic. This re-iterates the arguments I made in the last lecture (9/26). It also contains some new stuff at the end about the (basic) strict conditional. I will mention these new items at the beginning of lecture on Monday, 9/29.**09/20/08**: I have posted a handout on my re-working of some arguments for the hook that appear in Priest and Gibbard. I will discuss this in class on Monday, 9/22.**09/19/08**: I have posted HW #2. I have also posted two interesting papers (as optional secondary readings) by McGee and MacFarlane & Kolodny, as well as a handout on the interpolation theorem for classical logic.**09/18/08**: I have posted Justin's practice problems for chapter 1. I have also posted a handout on "Gibbard's Theorem" (which is an argument for the horseshoe).**09/07/0****8**: Permanent section locations are now known. See our sections our sections page.**09/05/08**: Here are a bunch (five to be exact) of links on mathematical induction (with several solved examples): #1, #2, #3, #4, #5. I have also posted HW #1.**09/04/08**: I have decided to push the quiz back one more day, to Wednesday 09/10/08, so that you have discussion section to review all the material from chapter 0. I have also posted Justin's two set theory handouts.**09/01/08**: Section times and rosters have been determined. You should have received an email from Justin telling you which section you have been assigned to. See our sections page for details.**08/29/08**: I have changed the schedule for the course (rather radically). I have decided to do only the first 7 chapters of the text, and to make the homeworks bi-weekly. Also, I have moved the quiz to Monday, 9/8. See the assignments & exams page for details.**08/27/08**: Make sure you read the syllabus and group work handouts. We will be having a quiz on Friday, Sept. 5. It will be on chapters 0 and 1 of our text. There are some good links on our links page. In particular there are two links to websites for other courses that use our textbook. These contain some useful materials. You'll also see several links there on mathematical induction, which is an important new (meta-logical) technique we will learn very soon (and use throughout the course).