Future Contingents, Bivalence, and the Excluded Middle in Aristotle

The principle of bivalence (PB) states that every declarative sentence is either true or false, and the principle of excluded middle (PEM) states that one member of any contradictory pair must be true. According to the standard interpretation of Int . 9, PB fails for future contingents. Moreover, some standardists believe that PEM fails for pairs of contradictory future contingents, whereas other standardists attempt to rescue PEM by applying the method of supervaluations. I argue that PB and PEM are not suspended and that the method of supervaluations fails to explain how PEM holds. I propose an interpretation of Int . 9 according to which neither PB nor PEM fails.