This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Branden Fitelson Philosophy 12A Notes 1 ' & $ % Announcements and Such Todays Music: Pink Floyd HW #4 is due on Thursday @ 4pm, usual drill (chapter 4 proofs). Ive posted my solutions for HW #2 and HW #3. Grade Curve (so far). Take the average of: (1) your average HW score (all on 100point scale), and (2) your midterm score. The approximate curve for the course is as follows: Aish ( 90), Bish (8090), Cish (7080), Dish (6070). This should be a reasonably good (but not perfect) guide to where the (overall) grade curve will endup for the entire course. Today: Chapter 4, Final + Chapter 5, Intro. + You should be doing as many proofs as you can. UCB Philosophy Chapter 4 (Final) & Chapter 5 (Intro) 06/16/10 Branden Fitelson Philosophy 12A Notes 2 ' & The Rule of Definition for the Biconditional Rule of Definition for (Df): If [ (p q) & (q p) occurs as the entire formula at line j, then at line k we may write [ p q , labeling the line j Df and writing on its left the same numbers as are on the left of j. Conversely, if [ p q occurs as the entire formula at a line j, then at line k we may write [ (p q) & (q p) , labeling the line j Df and writing on its left the same numbers as are on the left of j. a 1 ,. . . , a n (j) (p q) & (q p) . . . a 1 ,. . . , a n (k) p q j Df OR a 1 ,. . . , a n (j) p q . . . a 1 ,. . . , a n (k) (p q) & (q p) j Df UCB Philosophy Chapter 4 (Final) & Chapter 5 (Intro) 06/16/10 Branden Fitelson Philosophy 12A Notes 3 ' & $ % Using in MacLogic Using the Definition strategy of MacLogic (accessed via the ... button), we can implement our Df. rule for . Do not use I or E! Using MacLogic s Definition strategy is much simpler than using its Tautology strategy (I did that last time, which was cumbersome). + To get to Definition , first: then . Here is a nontrivial example: A B ` (A B) . Lets try to tackle this one, using MacLogic s Definition strategy for our Df. The shortest proof Ive been able to find is 18 steps (next slide). Forbes gives a 20stepper in his discussion of this example (p . 118). UCB Philosophy Chapter 4 (Final) & Chapter 5 (Intro) 06/16/10 Branden Fitelson Philosophy 12A Notes 4 ' & Problem is : AB (AB) 1 (1) AB Ass 2 (2) AB Ass 1 (3) (AB)&(BA) 1 Defn. 1 (4) AB 3 &E 1 (5) BA 3 &E 6 (6) B Ass 2 (7) (AB)&(BA) 2 Defn. 2 (8) BA 7 &E 2,6 (9) A 8,6 E 1,2,6 (10) B 4,9 E 1,2,6 (11) 10,6 E 1,2 (12) B 6,11 I 1,2 (13) A 5,12 E 1,2 (14) B 4,13 E 2 (15) AB 7 &E 1,2 (16) B 15,13 E 1,2 (17) 14,16 E 1 (18) (AB) 2,17 I UCB Philosophy Chapter 4 (Final) & Chapter 5 (Intro) 06/16/10 Branden Fitelson Philosophy 12A Notes 5 ' & $ % Sequent and Theorem Introduction: I You may have noticed that certain important sequents or theorems tend to get proven over and over again in different problems.tend to get proven over and over again in different problems....
View
Full
Document
This note was uploaded on 11/26/2011 for the course PHILOSOPHY 101 taught by Professor Buechner during the Fall '06 term at Rutgers.
 Fall '06
 Buechner
 Philosophy

Click to edit the document details