 This is not the place for a detailed analysis of deduction. For present purposes, this notion will be presumed to be fairly straightforward, at least in principle. A deduction is any sequence of statements each of which is derived from some initial set of statements (the premises) or from a prior statement in the sequence. However, one issue that does need to be addressed is the relationship between deduction and formalization (see, e.g., Azzouni 2013).