Recent content by Philomancer

I've also assumed B and C, with the C sub-derivation ending with A, and the final three lines of the B sub-derivation ending with the following: W| C => A X| B => ~(C =>A) Y| ~(C =>A) This allows ~I for the conclusion of ~B through the B assumption (line 4), and the contradictory pair on...

I think that potential would exist as long as there is a probability of its happening. So, potential can exist without a proof of the future.