 An early version of the deductivist approach is exemplified by Aristotle’s treatment of the argument from example  (§3.2),  the paradeigma. On this analysis, an analogical argument between source domain \(S\) and target \(T\) begins with the assumption of positive analogy \(P(S)\) and \(P(T)\), as well as the additional information \(Q(S)\). It proceeds via the generalization \(\forall x(P(x) \supset Q(x))\) to the conclusion: \(Q(T)\). Provided we can treat that intermediate generalization as an independent premise, we have a deductively valid argument. Notice, though, that the existence of the generalization renders the analogy irrelevant. We can derive \(Q(T)\) from the generalization and \(P(T)\), without any knowledge of the source domain. The literature on analogy in argumentation theory  (§2.2)  offers further perspectives on this type of analysis, and on the question of whether analogical arguments are properly characterized as deductive.