Abstract

Not until the early 1920’s was it possible to distinguish Aristotelian or traditional logic from Aristotle’s own ancient logic. We can now recognize many aspects of his logical investigations that are themselves modern, in the sense that modern logicians are making discoveries that Aristotle had already made or had anticipated. Here we gather five salient features of Aristotle’s logical investigations that reveal a striking philosophical modernity: 1) Aristotle took logic to be that part of epistemology used to establish knowledge of logical consequence; 2) Prior Analytics is a metalogical treatise on the syllogistic deduction system; 3) Aristotle recognized the epistemic efficacy of certain elemental argument patterns, and he explicitly formulated them as rules of natural deduction in corresponding sentences; 4) Prior Analytics is a proof-theoretic treatise in which Aristotle describes a natural deduction system and demonstrates certain of the logical relationships among syllogistic deduction rules ; and finally, 5) Aristotle worked with a notion of substitution sufficient for distinguishing logical syntax and semantics. In this connection he also distinguished validity from deducibility sufficiently well to note the completeness of his logic.