Appendix: the claims and their sources
The texts each side reads, the readings each side gives them, and the three conclusions the four views reach (the two subsequence views share one). The texts are kept apart from the readings, so that a reader can see which claims are what Luke and Paul say and which are what a tradition says they mean.
Citation and classification for every atom
Every claim must name a source, or the encoding will not build (cite). Each
reading is cited to a source that holds it. Each step's rating is cited to a
reader who accepts the claims it starts from (its grounds) and still denies
where it ends, or says that no such reader was found.
The claims, numbered
| claim | kind | held | source | |
|---|---|---|---|---|
| \(P_{1}\) | 1 Corinthians 12:13 — in one Spirit we were all baptized into one body ※ | textual | Christian, hist.-gramm., consensus | 1 Cor 12:13 |
| \(P_{2}\) | Acts 8:14–17 and 19:1–7 — believers, already baptized, receive the Spirit afterwards (so the Assemblies of God; Dunn denies they were yet believers) | textual | Christian, hist.-gramm., disputed | General Presbytery of the Assemblies of God 2010; Acts 8:14-17; Acts 19:1-7 |
| \(P_{3}\) | Acts 10:44–48 — the Spirit falls on Cornelius's household before baptism ※ | textual | Christian, hist.-gramm., consensus | Acts 10:44-48 |
| \(P_{4}\) | Acts 2:38 — repent and be baptized, and you will receive the gift of the Spirit ※ | textual | Christian, hist.-gramm., consensus | Acts 2:38 |
| \(P_{5}\) | 1 Corinthians 12:13 is the baptism in the Spirit Christ gives, received by every believer at conversion | interpretive | Christian, hist.-gramm., disputed | Dunn 1970; Stott 1975 |
| \(P_{6}\) | 1 Corinthians 12:13 is baptism by the Spirit into the body, not Christ baptizing in the Spirit | interpretive | Christian, hist.-gramm., disputed | General Presbytery of the Assemblies of God 2010 |
| \(P_{7}\) | In Luke-Acts, baptism in the Spirit is prophetic empowerment, distinct from the gift Paul ties to conversion | interpretive | Christian, hist.-gramm., disputed | Menzies 2017; Menzies 1994; Stronstad 1984 |
| \(P_{8}\) | Luke's narratives of receiving the Spirit are a pattern for believers today | interpretive | Christian, hist.-gramm., disputed | Stronstad 1984; General Presbytery of the Assemblies of God 2010 |
| \(P_{9}\) | The episodes of Acts 8, 10 and 19 are unrepeatable steps in the gospel's spread, not a pattern | interpretive | Christian, hist.-gramm., disputed | Stott 1975 |
| \(P_{10}\) | Entire sanctification is a second work of grace after justification | theological | Christian, hist.-gramm., disputed | Church of the Nazarene 2023, §Articles of Faith, X, ¶10; Wesley 1931, §to Joseph Benson, 28 December 1770; Bassett et al. 2010 |
| \(P_{11}\) | The Spirit is given in water baptism: new birth in the Holy Spirit | theological | Roman Catholic, disputed | Catholic Church 2000, §1262; Catholic Church 2000, §1265; Kolb and Wengert 2000, §Small Catechism, Baptism, third part |
| \(P_{12}\) | Confirmation gives the full outpouring of the Spirit, as at Pentecost and in Samaria | theological | Roman Catholic, disputed | Catholic Church 2000, §1302; Catholic Church 2000, §1288 |
| \(P_{13}\) | Every believer is baptized in the Spirit at conversion | theological | Christian, hist.-gramm., disputed | Dunn 1970; Stott 1975 |
| \(P_{14}\) | A baptism in the Spirit distinct from and after conversion is to be sought | theological | Christian, hist.-gramm., disputed | General Presbytery of the Assemblies of God 2010; Church of the Nazarene 2023, §Articles of Faith, X, ¶10 |
| \(P_{15}\) | The Spirit is given in baptism and confirmation, not in a second baptism beyond the sacraments | theological | Roman Catholic, disputed | Catholic Church 2000, §1302 |
※ grounded in scripture alone: the reading is assumed, not argued for.
How this is checked
The positions, steps and results behind this chapter, each with the formula or the Lean that checks it
Ratings for inference steps
The step from 1 Corinthians 12:13 to Spirit baptism at conversion is rated
disputed, conservatively. Dunn and Stott hold it. The Assemblies of God
reject its conclusion, but by denying a ground — that the verse speaks of Christ
baptizing in the Spirit: "'by' is the best translation, indicating that the Holy
Spirit is the instrument" — so they do not contest the step itself. No reader
was sought who grants both grounds and denies the conclusion, so the step is not
rated above the bottom.
def onTheConversionStep : Source :=
{ primary := Reference.work dunnBaptismInTheHolySpirit,
supporting :=
[Reference.work stottBaptismAndFullness,
Reference.work agBaptismPositionPaper],
tradition := Tradition.christianHistoricalGrammatical,
confidence := Confidence.disputed }
The step from Spirit baptism at conversion to "no second to seek" is contested, by Menzies. He grants that Paul's baptism in the Spirit at 1 Corinthians 12:13 is tied to conversion, and holds that Luke's is a different, prophetic gift, to be sought after it. Whether that is granting the ground and denying the conclusion, or reading "baptism in the Spirit" in two senses, is the question of Paul's word and Luke's, which this argument does not yet encode.
def menziesAgainstNoSecond : Source :=
{ primary := Reference.work menziesLukesUnderstanding,
supporting := [Reference.work menziesEmpoweredForWitness],
tradition := Tradition.christianHistoricalGrammatical,
confidence := Confidence.disputed }
The step from the Pentecostal reading of 1 Corinthians 12:13 is rated
disputed, conservatively. The Assemblies of God hold it. Dunn and Stott
reject its conclusion, but by denying a ground — they read the verse as the
baptism in the Spirit that Christ gives, not the Spirit as instrument — so they
do not contest the step itself. No reader was sought who grants both grounds and
denies the conclusion, so the step is not rated above the bottom.
def onTheInstrumentalStep : Source :=
{ primary := Reference.work agBaptismPositionPaper,
supporting :=
[Reference.work dunnBaptismInTheHolySpirit,
Reference.work stottBaptismAndFullness],
tradition := Tradition.christianHistoricalGrammatical,
confidence := Confidence.disputed }
The step from the Acts narratives to a second Spirit baptism is well supported: grant that believers in Samaria and Ephesus received the Spirit later, that Luke's Spirit baptism is empowerment, and that his narratives are a pattern, and the conclusion follows. Unlike the steps rated conservatively here, this one was audited for a reader who grants all three grounds and denies the conclusion, and none was found: the readers who reject it deny a ground — Dunn, that the Samaritans were yet Christians; Stott and Fee, that the narratives are a pattern. The other steps were not audited in their encoded form, so they stay at the bottom.
def actsToSubsequence : Source :=
{ primary := Reference.work agBaptismPositionPaper,
supporting := [Reference.work stronstadCharismaticTheology],
tradition := Tradition.christianHistoricalGrammatical,
confidence := Confidence.wellSupported }
The holiness step is contested, from within the Wesleyan tradition. The Church of the Nazarene holds it (Manual 2023, Article X). Wesley grants the "second change, whereby they shall be saved from all sin and perfected in love", and denies that it is Spirit baptism: "If they like to call this 'receiving the Holy Ghost,' they may: only the phrase in that sense is not scriptural and not quite proper; for they all 'received the Holy Ghost' when they were justified" (to Joseph Benson, 28 December 1770). The Nazarene seminary faculty, keeping entire sanctification, "no longer view the American holiness hermeneutic of the 'baptism of the Spirit' as exegetically tenable" (2010).
def wesleyAgainstTheHolinessName : Source :=
{
primary :=
Reference.work wesleyLetters
(Bib.Locus.sectionRef "to Joseph Benson, 28 December 1770"),
supporting := [Reference.work nazareneWhitePaper],
tradition := Tradition.christianHistoricalGrammatical,
confidence := Confidence.disputed }
The sacramental step is rated disputed, conservatively. Rome holds it
(Catechism 1302). Westminster rejects the sacramental view, but by denying a
ground — that the Spirit is given in the rite as Rome says: baptism's efficacy
"is not tied to that moment of time wherein it is administered" (XXVIII.6) — so
it does not contest the step itself. No reader was sought who grants the
grounds and denies the conclusion, so the step is not rated above the bottom.
def onTheRite : Source :=
{
primary :=
Reference.work catechismCatholicChurch (Bib.Locus.sectionRef "1302"),
supporting :=
[Reference.work westminsterConfession (Bib.Locus.sectionRef "XXVIII.6")],
tradition := Tradition.romanCatholic, confidence := Confidence.disputed }
The step from the Spirit given in the sacraments to "no second baptism to
seek" is rated disputed, conservatively. Rome holds it (Catechism 1302). The
natural contester is the Catholic charismatic renewal, which keeps the
sacramental gift and speaks of a "baptism in the Spirit" of its own; its texts
were not verified, so it is not cited, and the step is not rated above the
bottom.
def onTheSacramentalExclusion : Source :=
{
primary :=
Reference.work catechismCatholicChurch (Bib.Locus.sectionRef "1302"),
tradition := Tradition.romanCatholic, confidence := Confidence.disputed }
The step from the variety of Acts is contested, by the Assemblies of God. They grant Acts 10 and 2:38 and still read Acts as a pattern: their paper lists Acts 10:44–46 among the evidence for a subsequent experience.
def agAgainstTheVariety : Source :=
{ primary := Reference.work agBaptismPositionPaper,
tradition := Tradition.christianHistoricalGrammatical,
confidence := Confidence.disputed }
The step from the transitions reading is rated disputed, conservatively.
If the episodes of Acts are unrepeatable, they set no norm for believers today,
Stott argues. No reader was sought who grants the transitions reading and still
holds a second Spirit baptism to be the norm, so the step is not rated above the
bottom.
def stottOnTheTransitions : Source :=
{ primary := Reference.work stottBaptismAndFullness,
tradition := Tradition.christianHistoricalGrammatical,
confidence := Confidence.disputed }
Citations
Citation and classification for every atom. Total, so nothing is uncited.
def cite : Claim → AtomMeta