1 / 20

Hypothetical Derivations

Hypothetical Derivations. Kareem Khalifa Department of Philosophy Middlebury College. Overview. What is a hypothetical derivation? Everyday examples Formal proofs and hypothetical derivations Sample Exercises. What is a hypothetical derivation?.

kathlene
Télécharger la présentation

Hypothetical Derivations

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Hypothetical Derivations Kareem Khalifa Department of Philosophy Middlebury College

  2. Overview • What is a hypothetical derivation? • Everyday examples • Formal proofs and hypothetical derivations • Sample Exercises

  3. What is a hypothetical derivation? • A proof made on the basis of a temporary assumption or hypothesis, which is not asserted to be true, but only supposed for the sake of argument.

  4. Everyday examples: • Suppose that you major in philosophy. Then your analytical reasoning skills will be honed, which in turn will increase your chances of rocking the LSAT. As a result, if you major in philosophy, you will be more likely to rock the LSAT. • Suppose that Khalifa is a real SOB. Then he’d give us a pop quiz every day. Fortunately, he doesn’t do this. So Khalifa must not be an SOB.

  5. Two Central Observations • Hypotheses are not asserted to be true, but only supposed for the sake of argument. • Nevertheless, these suppositions yield propositions which can be asserted and not merely supposed, specifically: • Conditional statements: If you major in philosophy, your chances of rocking the LSAT increase. • Negative statements: Khalifa is not an SOB.

  6. How to represent these two observations formally • Whenever you suppose something, indent it and draw a vertical line next to it. • You have now entered “the world of hypothesis.” • Now proceed as if you had this hypothesis as an additional premise. • In order to leave the world of hypothesis, you must follow one of two rules…

  7. The two rules • I: Given a hypothetical derivation of ψ from Ф, end the derivation and infer (Ф ψ). • In this case, (Ф ψ) can be asserted “outside” of the world of hypothesis • ~I: Given the hypothetical derivation of any formula of the form (ψ & ~ψ) from Ф, end the derivation and infer ~Ф. • In this case, ~Ф can be asserted “outside” of the world of hypothesis

  8. Back to the everyday examples… • Let P = you major in philosophy; Q = Your analytical skills improve; R = You’re more likely to rock the LSAT. • The argument: PQ, QR ├ PR

  9. The Proof • PQ A • QR A PR • |P H for I • |Q 1,3 E • |R 2,4 E • PR 3-5 I Suppose that you major in philosophy Then your analytical skills will improve Then you’re more likely to rock the LSAT

  10. The Application of I I: Given a hypothetical derivation of ψ from Ф, end the derivation and infer (Ф ψ). • PQ A • QR A PR • |P H for I • |Q 1,3 E • |R 2,4 E • PR 3-5 I Let Ф = P Let ψ = R Lines 3-5 are the hypothetical derivation.

  11. The Las Vegas Rule… • What happens in the world of hypothesis, stays in the world of hypothesis. • In our previous proof, it would be invalid to assert anything inside the world of hypothesis outside of the world of hypothesis.

  12. Example of what we CAN’T infer You’ve broken the Las Vegas Rule! • PQ A • QR A • |P H for I • |Q 1,3 E • |R 2,4 E • P & R 3, 5 &I WRONG!

  13. The wrongness in plain English… • If you major in philosophy, then your analytical skills will improve. • If your analytical skills improve, then you’re more likely to rock the LSAT. • Thus you major in philosophy and you’re more likely to rock the LSAT. • Clearly INVALID! • So don’t violate the Las Vegas Rule.

  14. What we CAN infer • PQ A • QR A • |P H for I • |Q 1,3 E • |R 2,4 E • |P & R 3, 5 &I • P(P&R) 3-6 I

  15. The other example… • Let P = Khalifa is a real SOB; Q= Khalifa gives us a pop quiz every day. • PQ A • ~Q A • ~P • |P H for ~I • |Q 1, 3 E • |Q & ~Q 2, 4 &I • ~P 3-5 ~I ~I: Given the hypothetical derivation of any formula of the form (ψ & ~ψ) from Ф, infer ~Ф. Let Ф = P, ψ = Q The hypothetical derivation goes from lines 3-5.

  16. Proof Strategies—VERY IMPORTANT! • Memorize the strategies on Nolt, p. 99. • They are the key to getting partial credit on any proof exercise, since they show that you have some clue about how to go about constructing a proof. • Start tackling every proof by asking the following two questions: • What is the main operator of my conclusion? • What is the proof strategy that corresponds to that operator? Very important! Very Important! Very Important! Very Important! Very Important!

  17. Sample Exercises, Nolt 4.3.2 • (P v Q)  R A  P  R • |P H for I • | P v Q 2 vI • | R 1,3 E • P R 2-4 I

  18. Sample Exercise, Nolt 4.3.7 • (P&Q)  R A • P  (Q R) • | P H for I • | |Q H for I • | |P&Q 2,3 &I • | |R 1,4 E • | Q R 3-5 I • P  (Q R) 2-6 I

  19. 4.3.10 • ~~P v ~~Q A  P v Q • | ~~P H for I • | P 2 ~E • | P v Q 3 vI • ~~P  (P v Q) 2-4 I • | ~~Q H for I • | Q 6 ~E • | P v Q 7 vI • ~~Q  (P v Q) 6-8 I • P v Q 1,5,9 vE

  20. 4.3.16 • ~(P&Q) A P  ~Q • | P H for  I • | | Q H for ~I • | | P & Q 2,3 &I • | | (P&Q) & ~(P&Q) 1,4 &I • | ~Q 3-5 ~I • P  ~Q 2-6 I

More Related