Documentation

Studies.Goldberg1995

Goldberg (1995): Constructions #

This file formalizes Goldberg's account of argument structure, in which argument structure constructions carry meaning of their own and a verb's participant roles fuse with a construction's argument roles. A construction's meaning is a predicate, CAUSE-RECEIVE for the ditransitive, CAUSE-MOVE for caused motion, CAUSE-BECOME for the resultative, MOVE for intransitive motion and DIRECT-ACTION-AT for the conative, over an argument structure, a frame whose slots admit thematic roles. The verbs are the English fragment's entries, so a verb's participant roles are the slots of its lexical argument structure. The fusions the book draws follow from its Semantic Coherence and Correspondence Principles, and the constructions form a network of normal-mode inheritance links.

Main results #

Implementation notes #

Argument roles are ThetaRole labels: the cause of caused motion admits the labels whose Dowty profile entails causation, and the resultative's result-goal is a goal, change of state being change of location (pp. 81–84). A verb's participant roles are its fragment entry's argument structure, extended by the roles the book construes them as; its lexical profiling is the book's boldface. Caused motion's theme is contributable, as in Fig. 7.1 and the sneeze case, where Fig. 2.6 draws it as required.

TODO #

The conative admits a verb of its intended result only if the verb is [+motion, +contact] (Figs. 2.13–2.15, p. 63), features the book takes from Guerssel, Hale, Laughren, Levin and White Eagle (1985). Until those features are formalized the conative lists only the subtype relation, and no construction restricts a relation by features (Feature is empty). Adding the intended-result relation will not by itself admit kick at: the conative's theme is oblique and so not profiled, and the Correspondence Principle forbids a verb profiling two roles, as kick does in Fig. 2.9, from fusing one with a nonprofiled role; the book does not say how a verb of the intended result fuses. The intransitive resultative (Fig. 8.3), the passive's thematic hierarchy (p. 57), send (Fig. 2.11) and the senses of caused motion (p. 76) are not modelled.

References #

Meanings #

A TransferModality is the modality of CAUSE-RECEIVE that distinguishes a sense of the ditransitive (pp. 75–77).

Instances For
    @[instance_reducible]
    Equations
    @[instance_reducible]
    Equations
    • One or more equations did not get rendered due to their size.
    Equations
    • One or more equations did not get rendered due to their size.
    Instances For

      Predicate enumerates the constructions' predicates; the ditransitive's carries the modality of its sense.

      Instances For
        def Goldberg1995.instDecidableEqPredicate.decEq (x✝ x✝¹ : Predicate) :
        Decidable (x✝ = x✝¹)
        Equations
        Instances For
          Equations
          • One or more equations did not get rendered due to their size.
          Instances For
            @[reducible, inline]

            Feature is the type of verb features that can restrict a relation, empty until the features the conative uses are formalized.

            Equations
            Instances For

              The meaning of an argument structure construction is a predicate over an argument structure, with the relations a verb's event may bear to the construction's, each restricted to the verbs with some features (§2.4.2, p. 64).

              Instances For
                def Goldberg1995.instDecidableEqSem.decEq (x✝ x✝¹ : Sem) :
                Decidable (x✝ = x✝¹)
                Equations
                • One or more equations did not get rendered due to their size.
                Instances For

                  A construction admits a verb with features k under the relation R.

                  Equations
                  Instances For

                    causers is the set of labels whose Dowty profile entails causation, the roles a cause admits: "a putter is a type of cause" (p. 52).

                    Equations
                    Instances For

                      A fusion satisfies the Correspondence Principle when each profiled participant role fuses with a profiled argument role, except that a verb profiling three roles may fuse one with a nonprofiled argument role (p. 50).

                      Equations
                      Instances For
                        @[instance_reducible]
                        Equations
                        • One or more equations did not get rendered due to their size.

                        The argument structure constructions #

                        The ditransitive [Subj V Obj Obj₂] in the sense m means CAUSE-RECEIVE ⟨agt rec pat⟩, with the recipient contributable and the verb an instance or the means (Fig. 2.4; Pat faxed Bill the letter). In the benefactive sense the verb designates a precondition (Fig. 3.2), and the other senses keep the central sense's relations.

                        Equations
                        • One or more equations did not get rendered due to their size.
                        Instances For

                          The caused-motion construction [Subj V Obj Obl] means CAUSE-MOVE ⟨cause goal theme⟩, with goal and theme contributable (Fig. 7.1), so that sneeze acquires motion and causation from it (Pat sneezed the napkin off the table).

                          Equations
                          • One or more equations did not get rendered due to their size.
                          Instances For

                            The resultative [Subj V Obj Xcomp] means CAUSE-BECOME ⟨agt pat result-goal⟩, with patient and result-goal contributable (Fig. 8.1; She hammered the metal flat).

                            Equations
                            • One or more equations did not get rendered due to their size.
                            Instances For

                              The intransitive motion construction [Subj V Obl] means MOVE ⟨theme goal⟩, with the goal contributable (Fig. 7.2; The fly buzzed into the room).

                              Equations
                              • One or more equations did not get rendered due to their size.
                              Instances For

                                The conative [Subj V Obl_at] means DIRECT-ACTION-AT ⟨agt theme⟩ (Figs. 2.13–2.15; Sam kicked at Bill); its at-phrase marks the target without entailing contact.

                                Equations
                                • One or more equations did not get rendered due to their size.
                                Instances For

                                  The goal of caused motion is not profiled: "we can tell because it is linked to an oblique function" (p. 53).

                                  Verbs in constructions (§2.4) #

                                  Each verb is a fragment entry. Where the entry records the entailments of its arguments the book's roles are derived from them; otherwise the book's construal extends the entry's argument structure.

                                  The argument structure of kick, ⟨kicker kicked⟩ (Fig. 2.9).

                                  Equations
                                  • One or more equations did not get rendered due to their size.
                                  Instances For

                                    The fragment's kick derives exactly the book's construal: "the kicker role can only fuse with the agent role ... the kicked role is an instance of the patient role but not an instance of the recipient role" (p. 54).

                                    def Goldberg1995.kickFusion (f : Fin 2 → Option (Fin 3)) :

                                    kickFusion f fuses kick's two slots with the ditransitive's three by f.

                                    Equations
                                    • One or more equations did not get rendered due to their size.
                                    Instances For

                                      kick fuses with the ditransitive in only one way: "The participant roles cannot fuse with the argument roles in any other way" (p. 54).

                                      The ditransitive contributes the recipient to kick: "Crucially, the recipient role is contributed by the construction" (p. 54).

                                      The identity correspondence on three slots.

                                      Equations
                                      • One or more equations did not get rendered due to their size.
                                      Instances For

                                        hand profiles all three of its participant roles, each an instance of one argument role of the ditransitive (Fig. 2.5).

                                        Equations
                                        • One or more equations did not get rendered due to their size.
                                        Instances For

                                          put profiles all three roles: the putter is "a type of cause", the put.place role "is a type of goal", and the put-thing is compatible with the theme (pp. 52–53).

                                          Equations
                                          • One or more equations did not get rendered due to their size.
                                          Instances For
                                            def Goldberg1995.putFusion (f : Fin 3 → Option (Fin 3)) :

                                            putFusion f fuses put's three slots with caused motion's by f.

                                            Equations
                                            • One or more equations did not get rendered due to their size.
                                            Instances For

                                              put fuses with caused motion only through the three-role exception: "The Correspondence Principle allows for one participant role to be linked to a nonprofiled argument role in cases in which the verb lexically profiles three participant roles" (p. 53).

                                              mail profiles only its mailer and mailed (Paul mailed a letter, p. 53); the mailee is its to-phrase.

                                              Equations
                                              • One or more equations did not get rendered due to their size.
                                              Instances For

                                                mailFusion fuses the mailer with the agent, the mailee with the recipient and the mailed with the patient (Fig. 2.8).

                                                Equations
                                                • One or more equations did not get rendered due to their size.
                                                Instances For

                                                  sneeze "has a single profiled participant role, a sneezer" (p. 54), which the book fuses with the cause (Fig. 2.10).

                                                  Equations
                                                  Instances For

                                                    wipe profiles its participant roles ⟨wiper wiped⟩ (p. 189). Its lexical entry leaves the wiper's agentivity to pragmatics, a subject that only moves, and the book construes it as an agent.

                                                    Equations
                                                    • One or more equations did not get rendered due to their size.
                                                    Instances For

                                                      talk profiles its single participant role ⟨talker⟩ (p. 189).

                                                      Equations
                                                      Instances For

                                                        The resultative adds only a result-goal to wipe, and a patient as well to talk: "the construction can contribute both patient and result-goal roles, as is done in the case of talk" (p. 190).

                                                        become profiles its participant roles ⟨patient result-goal⟩ (p. 190), a subject and a predicative complement.

                                                        Equations
                                                        • One or more equations did not get rendered due to their size.
                                                        Instances For

                                                          become "cannot integrate with the construction, because the construction specifies that the agent role must be fused with an independently existing participant role of the verb" (p. 190).

                                                          aim ⟨aimer target⟩ profiles only its aimer, the target not being in boldface in Fig. 2.14; it is an instance of DIRECT-ACTION-AT (p. 64).

                                                          Equations
                                                          • One or more equations did not get rendered due to their size.
                                                          Instances For

                                                            The network (§3.3) #

                                                            Node enumerates the constructions of the book's network, the ditransitive in each of its senses and the other argument structure constructions.

                                                            Instances For
                                                              def Goldberg1995.instDecidableEqNode.decEq (x✝ x✝¹ : Node) :
                                                              Decidable (x✝ = x✝¹)
                                                              Equations
                                                              Instances For
                                                                @[instance_reducible]
                                                                Equations

                                                                Every construction of the network has a slot the verb must supply.

                                                                The Shared Participant Condition holds of every construction of the network: it shares a participant with any verb fused with it (p. 65).

                                                                The senses of the ditransitive differ in meaning from its central sense (pp. 75–77).

                                                                network is the network of chapters 2 and 3, "the entire collection of constructions as forming a lattice, with individual constructions related by specific types of asymmetric normal mode inheritance links" (§3.7, p. 99). Each extension of the ditransitive inherits from the central sense by a polysemy link (pp. 75–77), intransitive motion from caused motion by a subpart link (p. 78), and the resultative from caused motion by a metaphorical link, change of state as change of location (pp. 81–84). The conative is in the book's inventory (p. 4) but in no link.

                                                                Equations
                                                                • One or more equations did not get rendered due to their size.
                                                                Instances For

                                                                  Node.rank n is the depth of n below the constructions it inherits from.

                                                                  Equations
                                                                  Instances For
                                                                    @[instance_reducible]
                                                                    Equations
                                                                    • One or more equations did not get rendered due to their size.

                                                                    Every link respects its type: the extensions of the ditransitive have its form, and intransitive motion is a proper subpart of caused motion.

                                                                    The links make caused motion the resultative's only mother.

                                                                    statedForm n is the form the construction at n states itself, none for the extensions of the ditransitive: "the syntactic specifications of the central sense are inherited by the extensions; therefore we do not need to state the syntactic realization for each extension" (p. 75).

                                                                    Equations
                                                                    Instances For