Aristotle's sea-battle argument in De Interpretatione 9 establishes that bivalence need not apply to...