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

claimkindheldsource
\(P_{1}\)John 15:26 — the Spirit of truth, who proceeds from the Father ※textualChristian, hist.-gramm., consensusJohn 15:26
\(P_{2}\)John 15:26; 16:7 — the Son sends the Spirit, from the Father ※textualChristian, hist.-gramm., consensusJohn 15:26; John 16:7
\(P_{3}\)Galatians 4:6; Romans 8:9 — the Spirit of his Son, the Spirit of Christ ※textualChristian, hist.-gramm., consensusGal 4:6; Rom 8:9
\(P_{4}\)Acts 2:33 — the exalted Son receives the promised Spirit and pours him out ※textualChristian, hist.-gramm., consensusActs 2:33
\(P_{5}\)John 16:14 — the Spirit will take what is the Son's and declare it ※textualChristian, hist.-gramm., consensusJohn 16:14
\(P_{6}\)The Spirit is related to the Son as well as to the FathertheologicalChristian, hist.-gramm., well supportedKibbey 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 wordinterpretiveRoman Catholic, disputedAquinas 1920, §I, q. 36, a. 2
\(P_{8}\)The Son's sending of the Spirit rests on an eternal relation of Spirit to SontheologicalRoman Catholic, disputedAquinas 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"theologicalChristian, hist.-gramm., well supportedJohn 14:16; Kibbey 2026, §3, The Triune God
\(P_{10}\)The divine persons are distinguished only by opposed relations of origintheologicalRoman Catholic, disputedAquinas 1920, §I, q. 36, a. 2
\(P_{11}\)The Son is not from the Spirit: "which no one says"theologicalRoman Catholic, well supportedAquinas 1920, §I, q. 36, a. 2
\(P_{12}\)John 15:26 "proceeds" speaks of the Spirit's eternal origin, not only of missioninterpretiveChristian, hist.-gramm., disputedAquinas 1920, §I, q. 36, a. 2; Photius 1987
\(P_{13}\)In John 15:26 Jesus names the Spirit's source, the Father, and no otherinterpretiveEastern Orthodox, disputedPhotius 1987; Ware 1993
\(P_{14}\)The Father is the one cause of the Son and of the SpirittheologicalEastern Orthodox, disputedPhotius 1987; Ware 1993
\(P_{15}\)The Spirit proceeds eternally from the Father and the SontheologicalRoman Catholic, disputedTanner 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 ※textualChristian, hist.-gramm., consensusJohn 5:19; John 5:30
\(P_{17}\)John 14:28 — "the Father is greater than I" ※textualChristian, hist.-gramm., consensusJohn 14:28
\(P_{18}\)John 20:17 — the risen Jesus: "my God and your God" ※textualChristian, hist.-gramm., consensusJohn 20:17
\(P_{19}\)1 Corinthians 11:3 — "the head of Christ is God" ※textualChristian, hist.-gramm., consensus1 Cor 11:3
\(P_{20}\)1 Corinthians 15:28 — "the Son himself will also be subjected to him" ※textualChristian, hist.-gramm., consensus1 Cor 15:28
\(P_{21}\)Philippians 2:6 — "though he was in the form of God" ※textualChristian, hist.-gramm., consensusPhil 2:6
\(P_{22}\)There is a real order of Father and Son in the work of salvationtheologicalChristian, hist.-gramm., well supportedKibbey 2026, §3, The Triune God
\(P_{23}\)In John 14:28 "greater" means the Son is less in his divinityinterpretiveChristian, hist.-gramm., disputedSchaff 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 GodinterpretiveChristian, hist.-gramm., disputedSchaff 1887, §On the Trinity I.7.14
\(P_{25}\)The Father is "greater" as the one the Son is begotten frominterpretiveChristian, hist.-gramm., disputedSchaff and Wace 1892, §Against the Arians I.13.58
\(P_{26}\)In John 14:28 Christ compares his humbled state as Mediator with his gloryinterpretiveReformed Protestant, disputedCalvin 1847, pp. 102–103
\(P_{27}\)The sending and obeying are the outworking of an eternal authority and submissiontheologicalChristian, hist.-gramm., disputedGrudem 2015, p. 40; Grudem 2016; Ware 2005
\(P_{28}\)The Son is equal to the Father in power: "of one substance, power, and eternity"theologicalReformed Protestant, well supportedWestminster Assembly 1647, §II.3
\(P_{29}\)Eternal subordination in authority would deny the Son's equality in powertheologicalChristian, hist.-gramm., disputedGiles 2008, p. 323; Giles 2006
\(P_{30}\)The Son is less than the Father in his divinitytheologicalChristian, hist.-gramm., disputedSchaff and Wace 1892, §Theodoret, Ecclesiastical History I.4
\(P_{31}\)There is an eternal relationship of authority and submission of Father and SontheologicalChristian, hist.-gramm., disputedGrudem 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

lstOnTheTriuneGod

LST §3, The Triune God. The renderer adds the section sign.

def lstOnTheTriuneGod : Bib.Locus :=
  Bib.Locus.sectionRef "3, The Triune God"

aquinasOnTheSon

Aquinas on whether the Spirit proceeds from the Son.

def aquinasOnTheSon : Bib.Locus :=
  Bib.Locus.sectionRef "I, q. 36, a. 2"

florenceOnTheProcession

Florence's definition of the procession.

def florenceOnTheProcession : Bib.Locus :=
  Bib.Locus.sectionRef "Florence, Session 6 (1439), Laetentur caeli"

Ratings for inference steps

onTheRelation

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 }

onTheReceiving

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 }

onTheMission

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 }

onTheOpposition

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 }

onTheWords

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 }

onTheMonarchy

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

augustineOnJohn14

Augustine on John 14:28.

def augustineOnJohn14 : Bib.Locus :=
  Bib.Locus.sectionRef "On the Trinity I.7.14"

athanasiusOnJohn14

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

onTheOrder

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 }

onTheArianReading

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 }

onTheTwoForms

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 }

onTheBegetter

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 }

onTheMediatorsState

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 }

onCalvinAgainstTheFathers

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 }

onTheEternalOrder

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 }

onEqualPower

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

cite

Citation and classification for every atom. Total, so nothing is uncited.

def cite : Claim → AtomMeta