Appendix: the claims and their sources
The texts every party reads, the readings each party gives them, and the conclusion that divides them. The texts are kept apart from the readings, so that a reader can see which claims are what John, Paul and Luke 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 after a search for one.
The claims, numbered
| claim | kind | held | source | |
|---|---|---|---|---|
| \(P_{1}\) | John 15:26 — the Spirit of truth, who proceeds from the Father ※ | textual | Christian, hist.-gramm., consensus | John 15:26 |
| \(P_{2}\) | John 15:26; 16:7 — the Son sends the Spirit, from the Father ※ | textual | Christian, hist.-gramm., consensus | John 15:26; John 16:7 |
| \(P_{3}\) | Galatians 4:6; Romans 8:9 — the Spirit of his Son, the Spirit of Christ ※ | textual | Christian, hist.-gramm., consensus | Gal 4:6; Rom 8:9 |
| \(P_{4}\) | Acts 2:33 — the exalted Son receives the promised Spirit and pours him out ※ | textual | Christian, hist.-gramm., consensus | Acts 2:33 |
| \(P_{5}\) | John 16:14 — the Spirit will take what is the Son's and declare it ※ | textual | Christian, hist.-gramm., consensus | John 16:14 |
| \(P_{6}\) | The Spirit is related to the Son as well as to the Father | theological | Christian, hist.-gramm., well supported | Kibbey 2026, §3, The Triune God; Photius 1987; Aquinas 1920, §I, q. 36, a. 2 |
| \(P_{7}\) | In John 16:14 what the Spirit takes from the Son is his being, not only his word | interpretive | Roman Catholic, disputed | Aquinas 1920, §I, q. 36, a. 2 |
| \(P_{8}\) | The Son's sending of the Spirit rests on an eternal relation of Spirit to Son | theological | Roman Catholic, disputed | Aquinas 1920, §I, q. 36, a. 2; Vischer 1981, p. 165 |
| \(P_{9}\) | John 14:16 — the Son and the Spirit are two persons: "another Helper" | theological | Christian, hist.-gramm., well supported | John 14:16; Kibbey 2026, §3, The Triune God |
| \(P_{10}\) | The divine persons are distinguished only by opposed relations of origin | theological | Roman Catholic, disputed | Aquinas 1920, §I, q. 36, a. 2 |
| \(P_{11}\) | The Son is not from the Spirit: "which no one says" | theological | Roman Catholic, well supported | Aquinas 1920, §I, q. 36, a. 2 |
| \(P_{12}\) | John 15:26 "proceeds" speaks of the Spirit's eternal origin, not only of mission | interpretive | Christian, hist.-gramm., disputed | Aquinas 1920, §I, q. 36, a. 2; Photius 1987 |
| \(P_{13}\) | In John 15:26 Jesus names the Spirit's source, the Father, and no other | interpretive | Eastern Orthodox, disputed | Photius 1987; Ware 1993 |
| \(P_{14}\) | The Father is the one cause of the Son and of the Spirit | theological | Eastern Orthodox, disputed | Photius 1987; Ware 1993 |
| \(P_{15}\) | The Spirit proceeds eternally from the Father and the Son | theological | Roman Catholic, disputed | Tanner 1990, §Florence, Session 6 (1439), Laetentur caeli; Westminster Assembly 1647, §II.3 |
| \(P_{16}\) | John 5:19, 30 — the Son does nothing of his own accord, but the sender's will ※ | textual | Christian, hist.-gramm., consensus | John 5:19; John 5:30 |
| \(P_{17}\) | John 14:28 — "the Father is greater than I" ※ | textual | Christian, hist.-gramm., consensus | John 14:28 |
| \(P_{18}\) | John 20:17 — the risen Jesus: "my God and your God" ※ | textual | Christian, hist.-gramm., consensus | John 20:17 |
| \(P_{19}\) | 1 Corinthians 11:3 — "the head of Christ is God" ※ | textual | Christian, hist.-gramm., consensus | 1 Cor 11:3 |
| \(P_{20}\) | 1 Corinthians 15:28 — "the Son himself will also be subjected to him" ※ | textual | Christian, hist.-gramm., consensus | 1 Cor 15:28 |
| \(P_{21}\) | Philippians 2:6 — "though he was in the form of God" ※ | textual | Christian, hist.-gramm., consensus | Phil 2:6 |
| \(P_{22}\) | There is a real order of Father and Son in the work of salvation | theological | Christian, hist.-gramm., well supported | Kibbey 2026, §3, The Triune God |
| \(P_{23}\) | In John 14:28 "greater" means the Son is less in his divinity | interpretive | Christian, hist.-gramm., disputed | Schaff and Wace 1892, §De Synodis 28; Schaff 1887, §On the Trinity I.7.14; Calvin 1847, p. 102 |
| \(P_{24}\) | In John 14:28 the Son is less in the form of a servant, not in the form of God | interpretive | Christian, hist.-gramm., disputed | Schaff 1887, §On the Trinity I.7.14 |
| \(P_{25}\) | The Father is "greater" as the one the Son is begotten from | interpretive | Christian, hist.-gramm., disputed | Schaff and Wace 1892, §Against the Arians I.13.58 |
| \(P_{26}\) | In John 14:28 Christ compares his humbled state as Mediator with his glory | interpretive | Reformed Protestant, disputed | Calvin 1847, pp. 102–103 |
| \(P_{27}\) | The sending and obeying are the outworking of an eternal authority and submission | theological | Christian, hist.-gramm., disputed | Grudem 2015, p. 40; Grudem 2016; Ware 2005 |
| \(P_{28}\) | The Son is equal to the Father in power: "of one substance, power, and eternity" | theological | Reformed Protestant, well supported | Westminster Assembly 1647, §II.3 |
| \(P_{29}\) | Eternal subordination in authority would deny the Son's equality in power | theological | Christian, hist.-gramm., disputed | Giles 2008, p. 323; Giles 2006 |
| \(P_{30}\) | The Son is less than the Father in his divinity | theological | Christian, hist.-gramm., disputed | Schaff and Wace 1892, §Theodoret, Ecclesiastical History I.4 |
| \(P_{31}\) | There is an eternal relationship of authority and submission of Father and Son | theological | Christian, hist.-gramm., disputed | Grudem 2016; Ware 2005 |
※ 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
LST §3, The Triune God. The renderer adds the section sign.
def lstOnTheTriuneGod : Bib.Locus :=
Bib.Locus.sectionRef "3, The Triune God"
Aquinas on whether the Spirit proceeds from the Son.
def aquinasOnTheSon : Bib.Locus :=
Bib.Locus.sectionRef "I, q. 36, a. 2"
Florence's definition of the procession.
def florenceOnTheProcession : Bib.Locus :=
Bib.Locus.sectionRef "Florence, Session 6 (1439), Laetentur caeli"
Ratings for inference steps
The step from the texts to a relation between the Spirit and the Son is well supported. LST draws it: the texts "establish a real relation of the Spirit to both Father and Son". It was audited for a reader who grants the texts and denies that the Spirit is related to the Son, and none was found. The Eastern readers affirm the relation in their own terms. Photius grants that the Spirit is the "Spirit of His Son" (Galatians 4:6), "because He is in the Son" and of one substance with him. Staniloae writes that "in the East, it is not denied that at the origin of the sending of the Spirit by the Son there is a special eternal relationship between the Son and the Spirit". What they deny is that the relation is one of origin, and the claim the step delivers does not say that it is.
def onTheRelation : Source :=
{
primary :=
Reference.work kibbeyLivingSystematicTheology lstOnTheTriuneGod,
supporting :=
[Reference.work photiusMystagogy,
Reference.work vischerSpiritOfGod (Bib.Locus.page 178),
Reference.work aquinasSumma aquinasOnTheSon],
tradition := Tradition.christianHistoricalGrammatical,
confidence := Confidence.wellSupported }
The step from John 16:14 is rated disputed, conservatively. Aquinas
holds it (reply to objection 1). The Eastern readers reject its conclusion by
denying a ground: that what the Spirit takes from the Son is his being, and not
what he declares. No reader was sought who grants that ground and still denies
the Filioque, so the step is not rated above the bottom.
def onTheReceiving : Source :=
{ primary := Reference.work aquinasSumma aquinasOnTheSon,
supporting := [Reference.work photiusMystagogy],
tradition := Tradition.romanCatholic, confidence := Confidence.disputed }
The step from mission to origin is disputed. Its grounds are that the Son sends the Spirit, that the Spirit is named for him, and that the sending rests on an eternal relation of the Spirit to the Son. Three readers grant all three and deny that the Spirit is from the Son. Moltmann holds that "there must be an inner-trinitarian basis for the temporal sending of the Spirit through Christ", and that the Spirit "receives from the Father his own perfect divine existence (hypostasis), and obtains from the Son his relational form". Bobrinskoy speaks of the Spirit "resting on the Son from all eternity". Staniloae, following Gregory of Cyprus: "though the Spirit's manifestation is by the Son, his coming into existence is not by the Son". Aquinas reaches origin from the relation because "there cannot be in God any relations opposed to each other, except relations of origin" (I, q. 36, a. 2). He does not hold that every sending shows origin: a person sent proceeds from the sender when the sender is "designated as the principle of the person sent" (I, q. 43, a. 8).
def onTheMission : Source :=
{ primary := Reference.work vischerSpiritOfGod (Bib.Locus.pages 165 169),
supporting :=
[Reference.work vischerSpiritOfGod (Bib.Locus.page 144),
Reference.work vischerSpiritOfGod (Bib.Locus.pages 183 184),
Reference.work aquinasSumma (Bib.Locus.sectionRef "I, q. 43, a. 8")],
tradition := Tradition.easternOrthodox, confidence := Confidence.disputed }
The step from distinction is well supported, once its unstated premise is written in. Aquinas argues that "if He were not from Him, He could in no wise be personally distinguished from Him", because the persons are distinguished "only by the relations" and only opposed relations distinguish. It was audited for a reader who grants that, and that the Son is not from the Spirit, and still denies the Filioque, and none was found. Its rejecters deny a ground. Scotus denies that only opposed relations distinguish: a relation, he says, "distinguishes not only from the opposite relation but also from any disparate relation" (Ordinatio I, d. 11, q. 2), though he holds the Filioque on other grounds. Gregory of Nazianzus names each person by "the very fact of being Unbegotten or Begotten, or Proceeding" (Oration 31.9), which distinguishes the Son and the Spirit by their relations to the Father. Neither Scotus nor Gregory is yet in this library's bibliography, so the rating cites Aquinas alone.
def onTheOpposition : Source :=
{ primary := Reference.work aquinasSumma aquinasOnTheSon,
tradition := Tradition.romanCatholic,
confidence := Confidence.wellSupported }
The Eastern step from John 15:26 is rated disputed, conservatively.
Photius holds it. The Western readers reject its conclusion by denying a
ground: that the verse, naming the Father, names the whole of the Spirit's
source. Augustine asks why the Son said "he proceeds from the Father", and
answers, "so as not to imply, He proceeds not from me" (Tractates on John
99.8): he grants the verse and denies that it excludes the Son. The step has
not been audited for a reader who grants that ground and still holds the
Filioque, as the Western step from distinction was; until it is, it stays at
the bottom.
def onTheWords : Source :=
{ primary := Reference.work photiusMystagogy,
supporting := [Reference.work aquinasSumma aquinasOnTheSon],
tradition := Tradition.easternOrthodox, confidence := Confidence.disputed }
The Eastern step from the monarchy is disputed. Florence denies its ground as it stands: the Father is "the source and principle of all deity", but the Spirit "has his essence and his subsistent being from the Father together with the Son", and the Greek fathers' "through the Son" signifies the Son "as cause". The Pontifical Council for Promoting Christian Unity (1995) grants the ground almost word for word, the Father "the sole Trinitarian Cause (Aitia) or principle (principium) of the Son and the Holy Spirit", and still confesses the Father, "with the Son, the single principle from which the Spirit proceeds". It does so by distinguishing two senses of "proceed": the Greek ἐκπόρευσις, origin from the Father alone, and the Latin processio, which may be from the Son.
def onTheMonarchy : Source :=
{ primary := Reference.work tannerDecrees florenceOnTheProcession,
supporting :=
[Reference.work pcpcuGreekAndLatinTraditions,
Reference.work photiusMystagogy],
tradition := Tradition.romanCatholic, confidence := Confidence.disputed }
The order texts
Augustine on John 14:28.
def augustineOnJohn14 : Bib.Locus :=
Bib.Locus.sectionRef "On the Trinity I.7.14"
Athanasius on John 14:28.
def athanasiusOnJohn14 : Bib.Locus :=
Bib.Locus.sectionRef "Against the Arians I.13.58"
Ratings for the steps over the order texts
The step from the order texts to a real order is well supported. LST draws it: the texts "establish real personal and mediatorial order". It was audited for a reader who grants the texts and denies the order, and none was found. The nearest is the Oneness writer David Bernard (The Oneness of God, 1983, ch. 8), who grants every text, and the sending, the obedience and the final subjection, and reads "Father" and "Son" as the deity and the humanity of one person: "The flesh was subject to the Spirit." The order as stated here does not say whether Father and Son are two persons, so he grants it too. That they are is LST's next question.
def onTheOrder : Source :=
{
primary :=
Reference.work kibbeyLivingSystematicTheology lstOnTheTriuneGod,
tradition := Tradition.christianHistoricalGrammatical,
confidence := Confidence.wellSupported }
The Arian step is well supported: the reading it starts from already says
the Son is less in divinity, and no reader was found who grants the reading and
denies that. The dissent is from the reading, which is rated disputed.
def onTheArianReading : Source :=
{ primary := Reference.work npnf1v3 augustineOnJohn14,
supporting :=
[Reference.work calvinJohn2 (Bib.Locus.page 102),
Reference.work npnf2v3
(Bib.Locus.sectionRef "Theodoret, Ecclesiastical History I.4")],
tradition := Tradition.christianHistoricalGrammatical,
confidence := Confidence.wellSupported }
Augustine's step is well supported: his reading already says the Son is equal in the form of God, and no reader was found who grants it and holds him less in divinity. Gregory of Nazianzus grants the reading: "to say that he is greater than the Son considered as man, is true indeed, but is no great thing" (Oration 30.7).
def onTheTwoForms : Source :=
{ primary := Reference.work npnf1v3 augustineOnJohn14,
supporting :=
[Reference.work npnfCyrilGregory
(Bib.Locus.sectionRef "Gregory of Nazianzus, Oration 30.7")],
tradition := Tradition.christianHistoricalGrammatical,
confidence := Confidence.wellSupported }
Athanasius's step is well supported, because his reading says "not in
greatness". Readers who grant only that the Father is greater as the one the
Son is from, and still hold him greater in divinity, deny that clause. The
creed of Sirmium (357) says the Father is "greater in honour and dignity and
Godhead, and in the very name of Father, the Son Himself testifying, 'The Father
that sent Me is greater than I'" (Athanasius, De Synodis 28). Gregory of
Nazianzus reports opponents who, granting that "in respect of being the Cause
the Father is greater than the Son", "deduce the conclusion that He is greater by
Nature also", and calls the inference a fallacy (Oration 29.15). So the
dispute sits in the reading, which is rated disputed.
def onTheBegetter : Source :=
{ primary := Reference.work npnf2v4 athanasiusOnJohn14,
supporting :=
[Reference.work npnf2v4 (Bib.Locus.sectionRef "De Synodis 28"),
Reference.work npnfCyrilGregory
(Bib.Locus.sectionRef "Gregory of Nazianzus, Oration 29.15")],
tradition := Tradition.christianHistoricalGrammatical,
confidence := Confidence.wellSupported }
Calvin's step is well supported: no reader was found who grants that the verse compares the Mediator's humbled state with his glory and holds that it says the Son is less in divinity.
def onTheMediatorsState : Source :=
{ primary := Reference.work calvinJohn2 (Bib.Locus.pages 102 103),
tradition := Tradition.reformedProtestant,
confidence := Confidence.wellSupported }
Calvin against the Fathers' reply: reading the verse of the Mediator's
state, he denies that it speaks of the Son's human nature, and calls the
Fathers' reply "neither correct nor appropriate". Rated wellSupported: his
reading says that the comparison is of states, not natures, and no reader was
found who grants that and reads the verse of the human nature.
def onCalvinAgainstTheFathers : Source :=
{ primary := Reference.work calvinJohn2 (Bib.Locus.page 102),
tradition := Tradition.reformedProtestant,
confidence := Confidence.wellSupported }
The step from the order to an eternal order of authority is well supported: its reading already says the order is the outworking of an eternal relationship, and no reader was found who grants that and denies the relationship. The dissent is from the reading. Augustine grants the order and reads it otherwise: the Son "was not sent in virtue of some disparity of power or substance … but in virtue of the Son being from the Father" (On the Trinity IV.20.27, as Grudem quotes it, 2016).
def onTheEternalOrder : Source :=
{ primary := Reference.work grudemDoctrinalDeviations (Bib.Locus.page 40),
supporting :=
[Reference.work grudemEts2016, Reference.work wareFatherSonSpirit],
tradition := Tradition.christianHistoricalGrammatical,
confidence := Confidence.wellSupported }
Giles's step is well supported: no reader was found who grants both its
grounds and still affirms an eternal submission. Grudem grants the first, the
Son's equality in power: the Evangelical Theological Society, of which he was
president, confesses the persons "equal in power and glory", and he "zealously"
guards "against greater ontological power" for the Father (2016, I.A.4). He
denies the second, that eternal submission would deny that equality. Giles
concedes that the second is his reading: "I cannot see how anyone could
distinguish these terms" (2008, p. 327). So the dispute sits in the reading,
which is rated disputed.
def onEqualPower : Source :=
{ primary := Reference.work gilesEtsTrinity (Bib.Locus.page 327),
supporting :=
[Reference.work gilesJesusAndTheFather, Reference.work grudemEts2016],
tradition := Tradition.christianHistoricalGrammatical,
confidence := Confidence.wellSupported }
Citations
Citation and classification for every atom. Total, so nothing is uncited.
def cite : Claim → AtomMeta