Journal of Confessional Bibliology — Scripture Alone, Preserved by Providence
Confessional Bibliology Article

The Martin Rule of Exact Doctrinal Entailment

The Martin Rule of Exact Doctrinal Entailment

A text may be useful to a heretic without teaching his heresy. A text may cease to state one orthodox proposition without denying the larger doctrine. A doctrine may remain recoverable elsewhere while a particular witness to it has nevertheless been taken away.

Those three statements are easy to repeat and hard to keep together.

Modern textual debate often breaks apart at precisely this point. One side says that no doctrine is lost because the doctrine can still be proved from other passages. The other says that every omission of an orthodox phrase teaches the corresponding heresy. The first confuses the survival of a doctrine with the preservation of every testimony by which Scripture teaches it. The second confuses a loss of testimony with a positive denial.

The Martin Rule was adopted to prevent both errors:

A doctrinal judgment must state the exact proposition, identify its indispensable elements, and assign to the reading no stronger consequence than its words and necessary implications prove.

It is named for David Martin because his defense of forced an exact question. Scripture outside the disputed clause bears abundant witness to the Father, the Son, and the Holy Ghost. But does that other testimony state merely that there are at least three divine persons, or does it expressly number the persons and unite those three in one proposition? Martin would not permit the general truth of the Trinity to swallow the exact testimony of the verse.1

The rule is broader than the Comma Johanneum. It governs every Arian and Gnostic dossier in this series.

Necessary Consequence, Not Possible Association

The Westminster Confession says that the whole counsel of God is either expressly set down in Scripture or may be deduced from Scripture “by good and necessary consequence.”2 That sentence authorizes reasoning from Scripture. It does not authorize imaginative association.

A consequence is necessary when the conclusion must follow if the premises are true. It is not enough that the conclusion could follow, that someone historically drew it, or that the wording sounds more comfortable in one theological system than another. A consequence is good when the premises have been correctly read and the inference agrees with Scripture’s own complete teaching.

This distinction bears directly upon textual criticism.

Suppose a reading says that the Son was sent, obeyed, suffered, grew, or did not know something in his assumed humanity. Arians have used economic and incarnational statements to argue for ontological inferiority. Their use does not make the statements Arian. To reach the Arian conclusion, one must add a premise: whatever is true of the incarnate Son in his mediatorial office is true of his divine essence. Orthodox Christology rejects that premise.

The same problem appears in Gnostic arguments. A sentence about spiritual knowledge does not teach salvation by an esoteric deposit. A call to fasting does not condemn matter. A distinction between Christ’s divine and human properties does not divide Jesus from Christ into two personal subjects. Each heresy requires additional elements that the sentence may not contain.

Historical use is evidence of use. It is not a substitute for entailment.

State the Proposition Before Examining the Variant

The most important step occurs before opening an apparatus. The doctrinal proposition must be written in a form that could, in principle, be proved or disproved.

“This reading is Arian” is not such a proposition. Arianism, as defined in Packet One, contains several distinguishable claims:

  • the Son began to exist;
  • the Son is a creature made from nothing;
  • the Son is not eternal;
  • the Son does not share the Father’s divine essence;
  • the Son is ontologically unequal to the Father;
  • the Son is not fully and truly God.

One reading might touch one of these without containing the others. A wording that could be made to suggest temporal beginning does not therefore assert creation from nothing. A wording that speaks of mediatorial subordination does not therefore deny consubstantial deity.

The Gnostic propositions require the same discipline. “A lower maker created the visible world” is not identical to “matter is intrinsically evil.” “The Savior did not possess true flesh” is not identical to “a heavenly Christ departed from the man Jesus before the passion.” “The body will not rise” is not identical to “marriage and food must be rejected.” Related errors remain separate propositions.

The rule is simple: if the alleged heresy cannot be stated exactly, the reading cannot be convicted of teaching it.

Identify the Indispensable Elements

Once the proposition is stated, it must be divided into the elements without which it would become a different claim.

Consider the proposition:

The heavenly Christ descended upon the man Jesus at baptism and departed before the passion.


  1. David Martin’s argument is introduced in “The Genuineness of 1 John 5.7” and the project’s Martin-Emlyn source page records the exact-number consequence in “David Martin Refutes Unitarian Thomas Emlyn on 1 John 5:7”. The historical works themselves remain the primary controls. ↩
  2. Westminster Confession of Faith 1.6, in The Westminster Confession. C. J. Williams explains the “good” and “necessary” requirements in “Good and Necessary Consequence in the Westminster Confession”, especially pp. 48-51. ↩

Its indispensable elements include:

  1. Jesus and Christ are distinct personal subjects.
  2. Their association begins after Jesus already exists.
  3. Their association is temporary.
  4. The heavenly Christ leaves before the suffering of the cross.

A reading that appears to distinguish a title from a personal name does not contain all four elements. A reading that weakens the confession that Jesus Christ came in the flesh may remove anti-separationist testimony, but removal is not the same as formal assertion of the Cerinthian system.

This analysis also prevents doctrinal minimization. If a received reading contains several indispensable elements in one grammatical statement and the critical reading does not, it is not enough to say that the broad doctrine appears elsewhere. The exact proposition and its exact loss must be recorded.

Read the Grammar Before the Theology

The order of work matters.

First transcribe the Hebrew or Greek. Then establish the syntax, punctuation, referents, and ordinary semantic range. Translate the competing forms as literally as possible. Only then ask what each reading says about the defined proposition.

Theological instinct cannot be allowed to repair the grammar before the grammar has been heard. Nor may a critical editor’s English rendering be treated as though it were the textual datum. Translation, punctuation, and explanatory supplements must be separated from the underlying words.

At , for example, the variation between “only begotten Son” and forms commonly rendered “only begotten God” raises serious questions of wording, construction, patristic use, and theological meaning. The phrase “only begotten God” has been used in Arian and Valentinian discussion. That history opens an inquiry. It does not itself prove that every grammatical construal of the reading asserts a created lesser deity. The reading must be parsed, its referent fixed, its predicates stated, and every imported premise exposed before a D2 or D3 classification can be given.

At , the Hebrew, Greek version, personification of Wisdom, canonical identification, and Arian reception must likewise be kept distinct. The Greek verb often rendered “created” cannot simply be placed beside the word Arian and treated as a completed argument.

Record Both Assertion and Removal

Every dossier must answer two different questions.

What does the critical reading positively assert?

What explicit testimony present in the received reading is absent or reduced?

The first question detects D2 and D3 effects: positive accommodation or formal entailment. The second detects D1: weakened or removed testimony without positive assertion of the heresy.

This is where David Martin’s argument supplies the house rule with its clearest illustration. The received wording of names the Father, the Word, and the Holy Ghost as three heavenly witnesses and states that “these three are one.” If that clause is removed, the resulting text does not say, “The Son is a creature,” “there is no Trinity,” or “there are four divine persons.” It therefore does not formally entail Arianism or Unitarianism.

Yet something exact has been removed. The verse no longer places the three named heavenly witnesses and their unity within one express statement. Other passages establish the deity and distinction of Father, Son, and Spirit. They supply powerful orthodox counterevidence. But the question whether the remaining corpus expressly limits the divine persons to exactly three cannot be answered by saying only, “The Trinity is taught elsewhere.” The difference between at least three and these three are one is a difference in proposition.3

That conclusion does not settle the authenticity of the Comma in this methodological packet. It shows how the rule prevents two opposite overclaims.

Expose Every Imported Premise

Most exaggerated doctrinal claims depend upon concealed premises. The dossier must make them visible.

If a critic argues:

  1. the wording can describe Christ as subordinate;
  2. Arianism describes Christ as subordinate;
  3. therefore the wording teaches Arianism;

the middle term has changed. The first premise may concern office, incarnation, or relation of origin. The second concerns essence. The conclusion does not follow until identity between those kinds of subordination is proved.

If an advocate argues:

  1. the doctrine remains elsewhere;
  2. therefore no doctrinal testimony is affected here;

the conclusion also fails. Corpus survival does not restore a removed local assertion.

The imported-premise column in the research ledger is therefore not optional. It records every theological, grammatical, historical, and transmissional assumption needed to move from the words on the page to the proposed verdict.

The Eight-Step Test

Packet Zero ratified the operational form of the Martin Rule:

  1. State the exact orthodox or heretical proposition.
  2. Identify every indispensable element.
  3. Transcribe and translate the reading in context.
  4. State what the grammar positively asserts.
  5. State what explicit testimony is removed or strengthened.
  6. Identify every premise imported from outside the reading.
  7. test the immediate context, the same book, and the complete corpus.
  8. Assign the lowest doctrinal-effect class the evidence proves.

The final step is intentionally conservative in form, not in loyalty. Choosing the lowest proven class does not favor the critical text. It prevents an easily refuted exaggeration from obscuring a real loss. A D1 finding that is fully demonstrated is stronger than a D3 accusation that depends upon an equivocation.

The same discipline can also yield D4. If a newer critical reading strengthens an orthodox title or makes divine agency more explicit, the project must say so. Truth does not need an incomplete ledger.

Verdict

The Martin Rule does not ask whether a reading feels orthodox or heretical. It asks what proposition the words assert, what testimony they remove, which premises must be supplied, and how far the necessary consequence reaches.

This rule protects every part of the investigation:

  • received readings are not dismissed merely because a doctrine survives elsewhere;
  • critical readings are not accused of formally teaching what they only fail to state;
  • historical heretical use is not confused with grammatical entailment;
  • economic subordination is not confused with ontological inferiority;
  • local effect is not confused with complete-corpus doctrine;
  • orthodox counterevidence is not hidden.

The result may be more exact than either slogan in the modern debate. That is its purpose.

What This Does Not Prove

This article does not adjudicate the authenticity of , , , or any other variation unit. It does not claim that the critical corpus is doctrinally sufficient merely because it retains orthodox passages, nor that every omission of an orthodox clause was intentionally produced by a heretic.

It establishes the inferential rule by which later dossiers will distinguish loss, accommodation, entailment, and counterevidence.

Text and Edition Record

  • English Scripture: Authorized Version.
  • Confessional control: Westminster Confession of Faith 1.6 and 1.9.
  • Project control: Packet Zero, Governing Rules 5, 7, 9, 10, and 11.
  • Illustrative pilots only: , , and .
  • No NA28, UBS6/intended-NA29, Bomberg, BHS, BHQ, HBCE, or Septuagint reading is closed in this article.

Bibliography

  • Martin, David. A Critical Dissertation Upon the Seventh Verse of the Fifth Chapter of St. John’s First Epistle. Translated by Samuel Jebb. London, 1717.
  • Westminster Assembly. The Westminster Confession of Faith, chapter 1.
  • Whitaker, William. A Disputation on Holy Scripture. First Controversy.
  • Williams, C. J. “Good and Necessary Consequence in the Westminster Confession.” Reformed Presbyterian Theological Journal 1.2.
  • The Critical Text and the Two Ancient Heresies: Packet Zero. Confessional Bibliology Research Center, 2026.

Revision History

  • 2026-07-24: First Packet Three draft; fixed the exact-proposition, indispensable-element, grammatical-assertion, imported-premise, and lowest-proven-class tests.

Notes and Sources

Source-control note: The name “Martin Rule” and its eight-step operational form are project terminology derived from David Martin’s exact doctrinal argument and the Westminster rule of good and necessary consequence. Historical use, grammatical entailment, textual authenticity, and scribal motive remain separate judgments.

Previous in the series: “Secret Knowledge, Spiritual Castes, and Hostility to Creation.”

Next in the series: “Five Doctrinal-Effect Classes.”


  1. David Martin’s argument is introduced in “The Genuineness of 1 John 5.7” and the project’s Martin-Emlyn source page records the exact-number consequence in “David Martin Refutes Unitarian Thomas Emlyn on 1 John 5:7”. The historical works themselves remain the primary controls. ↩
  2. Westminster Confession of Faith 1.6, in The Westminster Confession. C. J. Williams explains the “good” and “necessary” requirements in “Good and Necessary Consequence in the Westminster Confession”, especially pp. 48-51. ↩
  3. This is a proposition-level claim, not the full authenticity case. The separate Comma Johanneum project owns the manuscript, versional, patristic, grammatical, and reception dossiers. ↩
Discussion

Comments

Share a question or response to this article.

Leave a Comment

Your email address will not be published. Required fields are marked.