This preview shows page 1. Sign up to view the full content.
Unformatted text preview: of the pair is equal to the sum of the Prvalues of the disjuncts. So Axiom 3 is true on this interpretation. Axiom (1): It is not the case that on this interpretation the Prvalue of every proposition is nonnegative. So Axiom (1) is false on this interpretation. Step 3. Derivation is transitive. Given that Skyrmss six rules can be derived from our Axioms (2) and (3), then if Axiom (1) could be derived from the six rules, it could be derived from Axioms (2) and (3). But we just showed that Axiom (1) cant be derived from Axioms (2) and (3). Therefore Axiom (1) cant be derived from Skyrmss six rules. QED . An interesting exercise: Convince yourself that Kolmogorovs axioms are all independent. This wil require showing for each of the three axioms that it cant be derived from the other two....
View Full
Document
 Spring '08
 FITELSON

Click to edit the document details