Class Notes (836,128)
United States (324,350)
Philosophy (78)
PHIL 2020 (24)
Lecture 5

PHIL 2020 Lecture 5: PHIL 2020 Unit 6 Notes

9 Pages
Unlock Document

PHIL 2020
Sean Meslar

PHIL 2020 Unit 6 Subproofs We have two or more rules of inference to introduce to our system. These rules will involve creating subproofs, proofs within a proof, so their citation and application will need to work differently. Indirect Proof (IP) Formal equivalent: reduction ad absurdum o Begins by assuming opposite of what it tries to prove o Assume what you want to disprove Assumption within Proofs There is an important rule to remember about how to proceed with a proof once you make an assumption: support only works one way Ex: o 1. (A v B) (asm) o 2. A (asm) o 3.1. B (asm for IP) o 3.2. A (3.1 and 1, DS) o 3.3. (A A) (2 and 3.3, Conj) o 4. B (3.13.3, IP) Support only works one way You can use propositions shown earlier in your proof if you move them into a subproof, but not if you move them out of your subproof. The rules for IP The major operator of an inference justified by IP will always be negation The first step for IP is to begin a new sub proof (with corresponding subnumeration) with the assumption of what you want to prove, only without the negation. The proof continues until you produce a formal contradiction (i.e., something of the form (p ~p). The inferences cites the whole range of steps involved in the subproof. Conditional Proof (CP) Conditional proof functions similarly to indirect proof, but the major operator of a proposition inferred from CP will always be a conditional. One begins a conditional proof by assuming the antecedent of the conditional one wishes to prove. Ex: o 1. (A B) (asm) o 2.1. C (asm for CP) o 2.2. B (1, Simp) o 3. (C B) (2.12.2, CP)
More Less

Related notes for PHIL 2020

Log In


Join OneClass

Access over 10 million pages of study
documents for 1.3 million courses.

Sign up

Join to view


By registering, I agree to the Terms and Privacy Policies
Already have an account?
Just a few more details

So we can recommend you notes for your school.

Reset Password

Please enter below the email address you registered with and we will send you a link to reset your password.

Add your courses

Get notes from the top students in your class.