Although on opposite sides of the logic of discovery debate, Laudan and Simon share a thesis of divorce between discovery (invention) and justification (appraisal); but unlike some other authors, they do not base their respective versions of the divorce - thesis on the empirical/logical distinction. Laudan argues that, in contemporary science, invention is irrelevant to appraisal, and that this irrelevance renders epistemically pointless the inventionist program. Simon uses his divorce-thesis to defend his account of invention, which he claims to be noninductive — so evading the problem of induction. Underlying both authors' positions are inadequate conceptions of inductive inference. Laudan here ignores the role in contemporary science of plausibility arguments, which provide a crucial link between invention and appraisal, and thence an epistemic rationale for inventionism. Simon's account of invention does covertly call upon inductive principles from the context of appraisal, and this is what gives his program epistemic import; otherwise he would be vulnerable to Laudan's "no rationale" critique. The tensions in both authors reveal the falsity of the divorce-thesis,
and the essential function of induction in both appraisal and invention of hypotheses.