Argument

Inference to the Best Explanation in Bio Origins Argument

Intro

In 1960, Charles Sanders Peirce had been dead for 46 years. His ideas about a third form of reasoning, alongside deduction and induction, were quietly resurfacing in philosophy of science. He called it abduction: inference to the best explanation. Given a body of data, identify candidate causes that could have produced it, evaluate the candidates on standard criteria (explanatory power, scope, parsimony, consilience), and infer the best one as the most warranted hypothesis.

Abductive reasoning is what archaeologists do when they conclude an arrowhead was made by an intelligent agent rather than a freak geological process. It is what forensic scientists do when they conclude the residue patterns at a crime scene point to a specific cause. It is what SETI researchers would do if they detected a narrow-band radio signal from another star system: identify candidate sources (natural astrophysical processes, instrumental artifacts, intelligent transmission), evaluate them on the IBE criteria, and infer the best-supported one.

Abductive reasoning is also what evolutionary biology itself uses. Universal common ancestry is an abductive inference from comparative biology, biogeography, and genetics; the inference is "this body of data is best explained by descent from a common ancestor". The reasoning is not deductive. It is the same shape as the design inference.

Stephen Meyer's argument in Signature in the Cell (2009) is that the design inference in biological origins uses the same logical structure as accepted historical sciences. Applying it to biology is consistent epistemic practice, not special pleading. Refusing to apply it requires rejecting the inference form used in every other historical science.

This argument is the methodological backbone of the design-inference family. It does not argue for design directly; it argues that the kind of reasoning design uses is the same kind of reasoning mainstream historical sciences use, and that excluding design while accepting the others is inconsistent. Combined with the Methodological Naturalism Critique (which questions the rule that excludes design) and the empirical OOL arguments (which provide the evidence design candidates explain), this argument completes the methodological case.

The page is written as live debate prep. It walks through the standard IBE criteria, the SETI parallel, and the strongest objections (van Fraassen's constructive-empiricist critique of IBE generally; the "design has no predictions" move).

In full

The IBE-in-bio-origins argument defends the inference structure used by design arguments for the origin of life and biological complexity. Inference to the Best Explanation (IBE), also called abduction (Peirce), is the standard inference form used in historical sciences (archaeology, paleontology, forensic science, SETI, evolutionary biology itself). The argument: when the candidate causes for biological-origin data are evaluated on standard IBE criteria (explanatory power, scope, parsimony, consilience, predictive depth), intelligent agency wins, it is the only observed cause of complex specified information (CSI); it explains origin-of-life chemistry where undirected processes fail; it predicts the Cambrian explosion pattern; it explains molecular-machine complexity. Excluding intelligent agency from the candidate-cause list (per methodological naturalism) is a philosophical move, not a scientific move, and it produces systematically incorrect explanations in domains where the actual cause was an agent. The design inference in biological origins is therefore standard scientific practice, not special pleading; rejecting it requires rejecting the IBE inference form used in every other historical science. The argument is transcendental: it does not argue for design directly; it argues for the legitimacy of the inference form design uses. Companion to Methodological Naturalism Critique (which questions the rule that excludes design); together they form the methodological case for the empirical design arguments. This page is structured as debate prep, each premise carries a second-order positive case, anticipated objections, rebuttals, a live-cite kit, and tactical notes.

Argument structure

Form

Transcendental: the argument defends the inference structure used by the empirical design arguments. It does not argue for design directly. It argues that the kind of inference design uses is the same kind of inference mainstream historical sciences use, and that consistency requires extending the inference structure to biological-origin data when the evidence supports it. The argument's soundness is contemporary and defensible: IBE is widely recognized as the inference form of historical sciences (Lipton, Inference to the Best Explanation, 2004, is the mainstream textbook; not ID), and the consistency point is structural. The contested step is whether the empirical case for design actually wins on the IBE criteria; that is defended in the companion empirical arguments (Argument from Origin of Life, Signature in the Cell Argument, Cambrian Explosion Argument, etc.).

P1, Historical sciences use abductive inference

Affirmative case (second-order arguments)

1. Peirce's foundational work on abduction. Charles Sanders Peirce (1839-1914) identified three forms of inference: deduction (necessary conclusion from premises), induction (general pattern from specific instances), and abduction (best-explanation inference from observed effects to probable causes). His Collected Papers (1931-58) are the foundational text. Abduction is the inference form of detective work, medical diagnosis, archaeology, and historical reconstruction.

2. Lipton's mainstream-philosophy-of-science formulation. Peter Lipton's Inference to the Best Explanation (Routledge, 2nd ed. 2004) is the standard textbook treatment, written by a mainstream philosopher of science with no ID commitments. Lipton lays out the standard IBE criteria: explanatory power (does the hypothesis account for the data?), scope (how much does it explain?), parsimony (how few auxiliary assumptions?), consilience (does it integrate with independent data?), and predictive depth (does it predict additional data?). These criteria are the standard.

3. William Whewell's consilience criterion. Whewell (Philosophy of the Inductive Sciences, 1840) developed the consilience criterion: an explanation gains strength when it integrates independent lines of evidence. Darwin's Origin explicitly cites consilience as part of its evidence base; the same criterion applies to design inferences.

4. Archaeology is the cleanest precedent. When an archaeologist finds a piece of worked flint with regular fracture patterns, ground edges, and a haftable shape, the inference to intelligent manufacture is abductive: alternative causes (random geological fracture, animal modification) are evaluated, and the intelligent-manufacture hypothesis is inferred as the best explanation. No mainstream archaeologist contests this inference structure. The data pattern (specified complexity, function-relevant shape) supports the inference.

5. SETI uses the same inference structure explicitly. SETI's framework is: detect narrow-band radio signals, evaluate candidate sources (natural astrophysical processes, instrumental artifacts, intelligent transmission), and infer the best-supported source. Carl Sagan's Contact (1985) dramatizes the inference; the actual SETI research at the Allen Telescope Array and elsewhere implements it. The structure is identical to ID's reasoning about CSI.

6. Evolutionary biology itself uses IBE. Universal common ancestry is not deductively proven; it is abductively inferred from comparative anatomy, embryology, biogeography, and genomic data. The inference is "this data is best explained by descent from a common ancestor". Mainstream evolutionary biology defends this inference as scientific. The MN Critique notes the inconsistency: the same inference structure is rejected for design when applied to biological-origin data.

Anticipated objections

1. "Abduction isn't really a separate inference form; it's just a kind of induction." Bas van Fraassen, constructive-empiricist position.
2. "IBE is fine for science, but only when the candidate causes are all natural." Pennock-style move.

Rebuttals

1. Whether abduction is metaphysically distinct from induction is irrelevant to the methodological point. Peirce and Lipton treat them as distinct; van Fraassen and other constructive empiricists collapse them. Either way, the inference form used in archaeology, SETI, forensics, and historical biology is the same form; the dispute is over whether to call it abduction or sophisticated induction. Calling it different names does not change the methodological structure. Failure mode: changing the label without changing the reasoning.

2. Restricting candidate causes to natural is the methodological-naturalism stipulation in another form. Conceded; this is exactly the question. The MN Critique addresses why that restriction is philosophical, not scientific. The IBE-in-bio-origins argument addresses why, if the restriction is dropped, the design candidate wins on the criteria. The two arguments work together; this objection bounces between them without engaging either. Failure mode: shuttle defense without engaging either argument seriously.

Live-cite kit

• Scholarly: Charles Sanders Peirce (Collected Papers, 1931-58; "Pragmatism as a Principle and Method of Right Thinking", 1903 Harvard lectures); Peter Lipton (Inference to the Best Explanation, Routledge 2nd ed. 2004); William Whewell (Philosophy of the Inductive Sciences, 1840); Stephen C. Meyer (Signature in the Cell, ch. 17-19; Return of the God Hypothesis, ch. on methodology); Carl Sagan (Contact, 1985; The Demon-Haunted World, 1995).
• Aphorism: "Abduction is what every detective, every doctor, every historian, and every SETI researcher already does. The question is whether biology gets to use it too."

Tactical notes

• Cite Lipton, not Meyer, for the IBE textbook claim. Lipton is mainstream philosophy of science; using him blocks the "ID is making up its own methodology" deflection.
• Use the SETI parallel as the lead illustration. It is the cleanest case of mainstream science using design-inference reasoning without controversy.
• Be ready for the constructive-empiricist deflection ("IBE isn't real inference"). Acknowledge the philosophical debate, redirect to the structural point.

P2, Intelligent agency wins on standard IBE criteria for biological-origin data

Affirmative case (second-order arguments)

1. Intelligent agency is the only observed cause of CSI. Computer programs, books, blueprints, engineering specifications, archaeological artifacts: wherever we observe complex specified information, the verified cause is intelligence. The empirical generalization is broad and well-evidenced. Stephen Meyer (Signature in the Cell, ch. 17-19) walks through the inference systematically.

2. It explains origin-of-life chemistry where undirected processes fail. The cumulative case (see Argument from Origin of Life): chirality problem, sequence-specificity problem, chicken-and-egg problem, membrane problem, energy-coupling problem. After seventy years of work, no undirected mechanism has solved any of these at biological scale. Intelligent agency explains all of them straightforwardly, agents routinely select chirally pure starting materials, design sequences, integrate subsystems.

3. It predicts the Cambrian explosion pattern. Meyer's Darwin's Doubt (2013): 20+ animal phyla appear in 5-10 million years with no plausible precursors. Top-down explosive origin of body plans fits design (rapid implementation of integrated information-rich systems); slow-bottom-up origin of body plans (Darwinian gradualism) does not fit the data. Design predicts the pattern; Darwinian gradualism is surprised by it.

4. It explains molecular machines. ATP synthase as a literal rotary motor; ribosomes as programmable peptide-assembly machines; kinesin as a walking nano-robot. Each of these is a coordinated multi-component system that, on standard IBE criteria, fits the design hypothesis (engineered systems with function-specific components) better than the slow-accumulation-of-mutations hypothesis (which faces Behe's edge-of-evolution limits).

5. It scores on consilience across multiple data sets. Origin-of-life chemistry, the Cambrian explosion, molecular machines, the genetic code, fine-tuning of physical constants, all independent data sets that converge on the design hypothesis. Whewell's consilience criterion is satisfied. This is what mainstream historical sciences look for: independent lines of evidence pointing to a single best explanation.

Anticipated objections

1. "Design has no testable predictions; you can't do IBE on something untestable." Pennock-Forrest.
2. "You're treating absence of naturalistic explanation as evidence for design; God-of-the-gaps."
3. "Even if design wins on some criteria, it loses on parsimony, naturalism is simpler."
4. "The empirical case for design at OOL is contested; you can't appeal to it as established."

Rebuttals

1. Design has testable predictions; they have been articulated. Behe (The Edge of Evolution, 2007) predicts the limits of evolutionary processes (~2-3 coordinated mutations) and has produced data supporting the prediction. Meyer predicts CSI sources (intelligence in every uncontested case) and the empirical generalization is confirmed. Axe predicts protein-functional rarity (~1 in 10^77) and the prediction is confirmed. The "design has no predictions" objection is a slogan, not an engagement with the literature. Same shape as archaeology, archaeology doesn't predict specific natural-mechanism details; it predicts artifact patterns. Failure mode: demanding mechanism-level predictions from a cause-type-level theory.

2. The argument is not from ignorance, it is from positive evidence. We do not say "we don't know how naturalism could produce CSI, therefore design." We say "we know naturalism has never been observed to produce CSI; we know intelligence has been observed to produce it; the inference to intelligent cause is positive." Same structure as inferring human agency from a written sentence. Meyer treats this systematically in Signature in the Cell, ch. 17. Failure mode of objection: conflating inference-to-known-cause with inference-from-ignorance.

3. Parsimony is one of several IBE criteria, not the only one. Naturalism may be simpler in some sense (one cause-type, physical processes); design may be simpler in another sense (one cause-type, intelligent agency, that we have direct experience of). The IBE adjudication is not won by counting cause-types; it is won by integrating all five criteria. On scope, consilience, and explanatory power, design wins on the OOL data; on parsimony at the macro level, naturalism may win. The overall judgment is a weighted balance, not a single-criterion victory. The objection treats parsimony as decisive, which is not standard IBE practice. Failure mode: single-criterion privileging.

4. The empirical case for design at OOL is contested but defensible. The codex does not claim the design conclusion is universally accepted; it claims the empirical case is strong enough to make design a serious candidate that wins on standard IBE criteria when the candidates are honestly compared. The MN Critique addresses why the candidates are not honestly compared in mainstream practice. Failure mode of the objection if treated as defeating: demanding consensus rather than engaging the argument.

Live-cite kit

• Scripture: Romans 1:20 (invisible attributes seen in what has been made, the IBE inference from creation is biblical); Psalm 19:1 (heavens declare the glory; design-inference from cosmic data); Job 38 (God interrogates Job from natural order; design framing is biblical).
• Scholarly: Stephen C. Meyer (Signature in the Cell, ch. 17-19; Darwin's Doubt, 2013; Return of the God Hypothesis, 2021); Michael Behe (Darwin's Black Box, 1996; The Edge of Evolution, 2007; Darwin Devolves, 2019); William Dembski (The Design Inference, Cambridge 1998; No Free Lunch, Rowman & Littlefield 2002); Douglas Axe (Undeniable, 2016).
• Aphorism: "Codes from minds. That is the inference, in every uncontested case. The genome doesn't get a special exemption from a generalization that good."

Tactical notes

• Lead with the empirical generalization (CSI from intelligence in every uncontested case). It is the cleanest version of the inference.
• Use the SETI parallel for force. Carl Sagan's Contact dramatizes the inference structure perfectly; if SETI is good science, biological-design inference is good science.
• Don't try to defend every empirical sub-argument in this argument. Reference Argument from Origin of Life, Signature in the Cell Argument, Cambrian Explosion Argument for the empirical case; the methodological argument's job is to defend the inference form.

P3, Excluding intelligent agency is philosophical, not scientific, and produces systematically wrong explanations when the cause was an agent

Affirmative case (second-order arguments)

1. The exclusion is the MN stipulation. See Methodological Naturalism Critique for the philosophical case that MN is a stipulation, not a finding. The IBE argument inherits this; if MN excludes design candidates before the evidence is examined, the IBE adjudication is rigged.

2. The exclusion produces systematic blind spots when agents are involved. If you apply MN to forensic science, you can never conclude "murder", only "natural-causes death"; if applied to archaeology, you can never conclude "artifact", only "geological pattern". The inconsistency of applying MN to biology while exempting these other domains is itself evidence the MN exclusion is special pleading.

3. The honest cost of denying design as a candidate is denying historical-science inference structure generally. If CSI-from-intelligence is rejected as inference for biology, the same inference is unavailable for archaeology, SETI, and forensics. Naturalists rarely accept this cost; they reject the inference only in the OOL case, which is selective. Meyer (Signature in the Cell, ch. 17) makes this point sharply.

4. The mainstream-historical-sciences precedent is the strongest evidence the inference structure is sound. Evolutionary biology itself, paleontology, geology (in its historical-reconstruction aspects), historical linguistics, archaeology all use IBE with non-naturalistic candidates allowed in their respective domains (intelligent agency in archaeology and SETI; non-physical formal entities in mathematics; mental causes in psychology). The IBE form is not committed to MN at the structural level.

Anticipated objections

1. "Forensic science and archaeology are different; we have direct evidence of the agent-type (human beings) producing the patterns." Pennock's reply.
2. "SETI hasn't actually detected anything; it's a hypothesis, not a science." Mainstream skeptic move.
3. "Methodological naturalism has produced real science; abandoning it risks regression."

Rebuttals

1. The "direct evidence of agent-type" criterion is exactly what biological design has. We have direct evidence of intelligent agents (human beings) producing CSI in computer code, books, blueprints, engineering. The empirical generalization is "CSI traces to intelligent agency", and the inference to biological-origin CSI is the same. Pennock's reply works only if there is a relevant disanalogy between human intelligence (as causal type) and the inferred biological-origin intelligence; that disanalogy is not established, it is assumed. The inference is to intelligent agency as a cause-type, not to a specific identifiable agent. Same as SETI, which infers "intelligent transmitter", not "this specific alien". Failure mode: demanding identification of the specific agent rather than identification of the cause-type.

2. SETI's research status doesn't change its inference structure. SETI hasn't yet detected a confirmed intelligent signal; but the methodology SETI uses (candidate-cause evaluation, IBE criteria, specified-pattern recognition) is scientifically respectable and would be persuasive if a signal were detected. The same methodology applied to biological-origin data is what ID does. The empirical question is whether the data is there; the methodological question is whether the inference would be sound if the data is there. The objection conflates the two. Failure mode: using lack-of-data on a sister inference to attack the inference form.

3. MN's track record is the pragmatic argument; it doesn't generalize. Yes, MN has produced real science in domains where the causes are in fact physical. The MN Critique handles this directly (see Methodological Naturalism Critique P2). The pragmatic argument doesn't generalize to domains where the cause-type is the contested question. The objection assumes the conclusion (MN works universally) to defend the methodology (MN should be applied universally). Failure mode: circular pragmatic defense.

Live-cite kit

• Scripture: Romans 1:20 (the design inference from creation is biblically licit and pre-modern); Acts 17.24-28 (Paul's natural-theology reasoning on Mars Hill); Acts 14.17 (witness of natural order); Psalm 19:1.
• Scholarly: Phillip E. Johnson (Darwin on Trial, 1991); Alvin Plantinga (Where the Conflict Really Lies, 2011); Stephen C. Meyer (Signature in the Cell, ch. 17-19); J. P. Moreland (Christianity and the Nature of Science, 1989); Larry Laudan ("The Demise of the Demarcation Problem", 1983, mainstream philosopher cited by MN critics).
• Aphorism: "Rules that forbid the answer before the question is asked don't find truth. They protect commitments."

Tactical notes

• Connect this premise to Methodological Naturalism Critique. P3 inherits the MN-Critique case; do not try to redefend it from scratch in this argument.
• Use the consistency argument as the lead. If archaeology and SETI use the inference, so should biology; if biology can't, neither can archaeology or SETI.
• Force-commit move, "If we found a narrow-band radio signal from another star encoding the digits of pi, would you infer intelligent transmission? If yes, why is the same inference forbidden for the genetic code?"

Conclusion

The design inference in biological origins is standard scientific practice, not special pleading; rejecting it requires rejecting the IBE inference form used in every other historical science. Historical sciences use abductive reasoning to infer causes from observed effects, weighing candidate explanations on standard criteria. Intelligent agency, evaluated on those criteria for biological-origin data, wins, it is the only observed cause of CSI; it explains the OOL chemistry where undirected processes fail; it predicts the Cambrian explosion; it explains molecular machines. Excluding intelligent agency from the candidate-cause list is the methodological-naturalism stipulation, which is philosophical, not empirical. The honest methodological position is pluralism: extend the inference structure consistently, evaluate candidates on the criteria, follow the evidence. This argument and Methodological Naturalism Critique together form the methodological backbone of the design-inference family; the empirical case is defended in the companion arguments (Argument from Origin of Life, Signature in the Cell Argument, Cambrian Explosion Argument, Molecular Machines Argument).

Master objections to the argument as a whole

1. "You're smuggling design into the methodology by stacking the IBE criteria.", Reply: the IBE criteria (explanatory power, scope, parsimony, consilience, predictive depth) are mainstream Lipton-textbook standards, not ID-customized. The MN Critique addresses the exclusion that prevents honest application.
2. "This argument depends on the empirical case for design at OOL being strong, which is contested.", Reply: yes; the methodological argument and the empirical arguments work together. The methodological argument shows the inference form is legitimate; the empirical arguments defend the data. Neither is complete alone.
3. "You're confusing scientific reasoning with philosophical reasoning.", Reply: the demarcation problem is widely recognized as unsolved (Laudan, 1983). The relationship between scientific reasoning and philosophical reasoning is itself a philosophical question; treating them as cleanly separable is the contested position.
4. "SETI and archaeology have a track record of restraint; ID doesn't.", Reply: ID has produced peer-reviewed work (Behe, Axe, Dembski, Meyer) with specific empirical claims that have been engaged in mainstream venues. The "restraint" framing is partisan; engage the published work on its merits.

Tactical opening / closing

Opening line: "Every historical science uses the same inference form: identify candidate causes for the data, weigh them on explanatory power, parsimony, scope, and consilience, infer the best one. Archaeology does it. SETI does it. Forensic science does it. Evolutionary biology does it for common ancestry. The question on the table is whether the same inference form, applied to biological-origin data, can also identify intelligent agency as the best explanation, or whether it gets a special exemption."

Closing landing strip: "Inference to the best explanation in biology isn't fringe methodology. It is the same reasoning Carl Sagan used in Contact, the same reasoning every archaeology textbook teaches, the same reasoning forensic scientists deploy in court. The only difference is that in those cases, the conclusion is allowed to be 'intelligent agency'. In biology, methodological naturalism filters that conclusion out before the evidence is examined. The argument here is not for design; it is for letting the inference run honestly, on the standard criteria, with the candidates honestly compared. If design wins, that is what the evidence says. If naturalism wins, that is also what the evidence says. The rule that decides in advance is the problem."

Connection to Scripture

• Romans 1:20, "His invisible attributes, namely, His eternal power and divine nature, have been clearly perceived, ever since the creation of the world, in the things that have been made"; the design inference from creation is biblical, and the IBE structure underwrites it.
• Psalm 19:1, "The heavens declare the glory of God"; cosmic data as evidence for divine artistry; IBE-shape reasoning is the natural-theology mode.
• Acts 14.17, "He did not leave Himself without witness, in that He did good and gave you rains from heaven and fruitful seasons"; natural order as evidential witness.
• Acts 17.24-28, Paul on Mars Hill, deploying natural-theology reasoning with Greek philosophers; MN would forbid this reasoning, the New Testament endorses it.
• Job 38, God interrogates Job from the natural order; design framing is biblically authoritative.

Patristic / scholarly note

Classical / patristic / medieval:

• Augustine (City of God, books 8-11; De Genesi ad Litteram), natural theology as a valid mode of inference from creation to Creator.
• Thomas Aquinas (Summa Theologiae I, q. 2, art. 3, the Five Ways), the design inference (Fifth Way) is paradigmatically abductive: "we see that things which lack knowledge…act for an end, and this is evident from their acting always, or nearly always, in the same way." The reasoning is IBE-shape.
• William Paley (Natural Theology, 1802), the watchmaker analogy is a clean IBE: given the watch, infer the watchmaker as the best explanation.

Modern philosophy-of-science foundations:

• Charles Sanders Peirce (Collected Papers, 1931-58; Harvard lectures 1903), founder of abductive reasoning as a distinct inference form.
• William Whewell (Philosophy of the Inductive Sciences, 1840), consilience criterion.
• Peter Lipton (Inference to the Best Explanation, Routledge 1991; 2nd ed. 2004), standard mainstream textbook on IBE; not ID-affiliated.
• Larry Laudan ("The Demise of the Demarcation Problem", 1983), mainstream philosopher arguing demarcation criteria are weak; cited by ID's methodological defenders.
• Bas van Fraassen (The Scientific Image, Oxford 1980), constructive-empiricist critique of IBE generally; cited as the strongest mainstream objection.

Contemporary intelligent-design tradition:

• Stephen C. Meyer (Signature in the Cell, HarperOne 2009, ch. 17-19, the methodological case; Darwin's Doubt, 2013; Return of the God Hypothesis, 2021), the systematic IBE-based design argument.
• William Dembski (The Design Inference, Cambridge 1998; No Free Lunch, Rowman & Littlefield 2002), the formal explanatory-filter version.
• Phillip E. Johnson (Darwin on Trial, InterVarsity 1991; Reason in the Balance, 1995), launched the modern methodological debate.
• J. P. Moreland (Christianity and the Nature of Science, Baker 1989), early systematic philosophical engagement.
• Alvin Plantinga (Where the Conflict Really Lies, Oxford 2011), the deepest philosophical formulation.
• Del Ratzsch (Nature, Design, and Science, SUNY 2001), non-ID-movement but sympathetic philosophical engagement.

Mainstream critics:

• Bas van Fraassen (constructive empiricism; argues IBE is not as objective as Lipton claims).
• Eugenie C. Scott (NCSE), MN-based gatekeeping; design has no scientific predictions.
• Robert T. Pennock (Tower of Babel, MIT 1999), MN as anti-bias methodology.
• Michael Ruse (pragmatic MN defense).

See also

• Methodological Naturalism Critique, companion methodological argument; addresses the rule that excludes design candidates
• Argument from Origin of Life, the master empirical case the IBE inference adjudicates
• Signature in the Cell Argument, the CSI evidence the IBE inference weighs
• Cambrian Explosion Argument, paleontological data the IBE inference handles
• Molecular Machines Argument, molecular-scale data the IBE inference handles
• Specified Complexity Argument, Dembski's formal version of the inference
• Universal Probability Bound, Dembski's quantitative threshold
• Intelligent Design, the broader ID framework
• Natural Theology, the broader tradition
• Stephen Meyer, modern systematizer
• John Lennox, engages IBE-in-bio-origins in God's Undertaker
• Origins, master argument-category index
• Arguments, top-level master index