  This and other problematic cases were already disputed in antiquity, and more recently have sparked a host of complex formalized reconstructions of Aristotle’s modal syllogistic. As Aristotle’s theory is conceivably internally inconsistent, the formal models that have been suggested may all be unsuccessful.