 1. (Prior 1967). One could agree with Aristotle that “there will be a sea-battle tomorrow” is not true, even if it turns out that there is a sea battle; but instead of saying that it is neither true nor false, one could say that it is false. What is more, one could say that the negation, “there will not be a sea-battle tomorrow” is true. Then we could retain the law of bivalence, and the equivalence between “p” and “p is true”. Effectively we would be treating “p” as equivalent to “it is necessary that p”. And we would, no doubt, distinguish between “there will not be a sea-battle tomorrow”, where this is the negation of “there will be a sea-battle tomorrow” and “there will be no sea-battle tomorrow” which, like “there will be a sea-battle tomorrow”, is false. One might even say that “there will not be a sea-battle tomorrow” is ambiguous; it could be equivalent to “it is not necessary that there will be sea-battle tomorrow” or it could be equivalent to “it is necessary that there will be no sea-battle tomorrow”. Certainly it is in favour of this view that one would retain the law of bivalence and also the truth-functionality of “or” and “and”. But there would be a heavy price to pay. Now we should have to say what the person said about Red Rum was false.