Aristotle's sea-battle argument (De Interpretatione 9) establishes that bivalence for future conting...