  Logic as a discipline starts with the transition from the more or less unreflective use of logical methods and argument patterns to the reflection on and inquiry into these methods and patterns and their elements, including the syntax and semantics of sentences. In Greek and Roman antiquity, discussions of some elements of logic and a focus on methods of inference can be traced back to the late 5th century BCE.  The Sophists, and later Plato (early 4th c.) displayed an interest in sentence analysis, truth, and fallacies, and Eubulides of Miletus (mid-4th c.) is on record as the inventor of both the Liar and the Sorites paradox. But logic as a fully systematic discipline begins with Aristotle, who systematized much of the logical inquiry of his predecessors. His main achievements were his theory of the logical interrelation of affirmative and negative existential and universal statements and, based on this theory, his syllogistic, which can be interpreted as a system of deductive inference.  Aristotle’s logic is known as term-logic, since it is concerned with the logical relations between terms, such as ‘human being’, ‘animal’, ‘white’. It shares elements with both set theory and predicate logic. Aristotle’s successors in his school, the Peripatos, notably Theophrastus and Eudemus, widened the scope of deductive inference and improved some aspects of Aristotle’s logic.