Aristotle's original sea-battle argument (De Interpretatione 9) establishes that bivalence failure f...