Lecture #15 - Branden Fitelson Philosophy 12A Notes 1 '...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: Branden Fitelson Philosophy 12A Notes 1 ' & $ % Announcements & Such Graham Nash Administrative Stuff HW #3 solutions have been posted. The Take-Home Mid-Term has been posted. A Sample In-Class Mid-Term has been posted. + The Actual In-Class Mid-term is on Thursday. * Bring blue-books and something to write with. * The exam is closed-book, closed-notes. * It shouldnt take you the full 75-minutes. Today: Chapter 4 Natural Deduction Proofs for LSL Continuing on with the LSL- natural deduction rules for ` . MacLogic a useful computer program for natural deduction. * See http://fitelson.org/maclogic.htm . + Natural deductions are the most challenging topic of the course. UCB Philosophy Chapter 4 03/09/10 Branden Fitelson Philosophy 12A Notes 2 ' & $ % How to Deduce a Conditional: I To deduce a conditional, we assume its antecedent and try to deduce its consequent from this assumption. If we are able to deduce the consequent from our assumption of the antecedent, then we discharge our assumption, and infer the conditional. To implement the I rule, we will first need a refined Rule of Assumptions that will allow us to assume arbitrary formulas for the sake of argument, later to be discharged after making desired deductions. Heres the refined rule of Assumptions: Rule of Assumptions (final version): At any line j in a proof, any formula p may be entered and labeled as an assumption (or premise, where appropriate). The number j should then be written on the left. Schematically: j (j) p Assumption (or: Premise) UCB Philosophy Chapter 4 03/09/10 Branden Fitelson Philosophy 12A Notes 3 $ % How to Deduce a Conditional: II The I Rule Now, we need a formal Introduction Rule for the , which captures the intuitive idea sketched above ( i.e. , assuming the antecedent, etc .): Rule of -Introduction : For any formulae p and q , if q has been inferred at a line k in a proof and p is an assumption or premise occurring at line j, then at line m we may infer [ p q , labeling the line j, k I and writing on the left the same assumption numbers which appear on the left of line k, except that we delete j if it is one of these numbers. Note: we may have j < k, j > k, or j = k ( why ?). Schematically: j (j) p Assumption (or: Premise) . . . a 1 ,..., a n (k) q . . . {a 1 ,..., a n }/j (m) p q j, k I UCB Philosophy Chapter 4 03/09/10 Branden Fitelson Philosophy 12A Notes 4 ' & $ % Examples Involving & E, & I, E, and I Can you deduce the following, using &E, &I, E, and I? (a) A B A C A (B & C) (b) (A & B) C A (B C) (c) B & C (A B) & (A C) (d) A B (A & C) (B & C) (e) A & (B & C) A (B C) (f) A B A (C B) UCB Philosophy Chapter 4 03/09/10 Branden Fitelson Philosophy 12A Notes 5 ' & $ % Important Tips For Using the I Rule Use I only when you wish to derive a conditional...
View Full Document

Page1 / 6

Lecture #15 - Branden Fitelson Philosophy 12A Notes 1 '...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online