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 Pr-values of the disjuncts. So Axiom 3 is true on this interpretation. Axiom (1): It is not the case that on this interpretation the Pr-value of every proposition is non-negative. So Axiom (1) is false on this interpre-tation. 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