|
1. p v ~p 2. p-->O(E) 3. ~p-->O(E) 4. O(E) |
(Premiss: Law of the Excluded Middle) (Premiss: If it is true that E occurs at time t, then E has an occurrence-value) (Premiss: If it is true that E fails to occur at time t, then E has an occurrence-value) (1, 2, 3, Hypothetical Syllogism) |
|
1. p is not now true and p is not now false. 2. E now has occurrence-value if and only if either p is now true or p is now false. 3. It is not the case that either p is now true or p is now false. 4. Therefore, it is not the case that E now has occurrence-value. |
(Premiss: Anti-fatalism) (Premiss: Truth-content correlation) (1, de Morgan's Law) (2, 3, Modus tollens) |