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 a