Documentation

Studies.GarassinoJacob2018

Garassino and Jacob (2018): Polarity focus and non-canonical syntax in Italian, French and Spanish #

This file formalizes [GJ18]'s account of clitic left dislocation and the sì che ~ sí que constructions as realizations of polarity focus. Polarity focus is focus whose background is the whole proposition and whose alternatives are the proposition and its negation, so a polarity-focus utterance is a congruent answer to a polar question under discussion (orbit_eq_alt_query). The chapter's corpus passages are read as discourse trees in the manner of [Bur03] and [Rob12]: a wh-question such as who has been sitting back? is pursued through the polar question for each candidate, each answered with a polarity-focus utterance, and a polar question about a hyperonymous proposition through the polar questions of its instances. Both strategies are complete: jointly resolving the subquestions resolves the question (agentStrategy_isComplete, scalarStrategy_isComplete), the former because the polar questions of a family are its partition question.

The rows are the chapter's examples with the lexical and syntactic means they use, the kind of antecedent, the dislocated constituent and, where the chapter says, whether the utterance stands to its antecedent in situational identity or analogy and whether it answers a subquestion. In situational identity a positive answer contradicts the negative proposition the context gives; in situational analogy it does not exclude its truth. Whether polarity focus reacts to a denial of the proposition is a separate criterion of the chapter, and the rows attest denials in both relations (rows_denies_identity_and_analogy). French si is limited to answering a preceding opposite turn: every attested si is a response of the kind [FB10] say it marks, [reverse, +] (rows_si_mem_reversePositive), while sì che and sí que are attested in responses outside it (rows_siChe_siQue_not_mem_reversePositive).

Implementation notes #

References #

Polarity focus as a polar question under discussion #

theorem GarassinoJacob2018.orbit_eq_alt_query {W : Type u_1} {p : Set W} (hp : p.Nonempty) (hpc : pᶜ.Nonempty) :
MulAction.orbit Polarity p = (Question.ofSet p).query.alt

A polarity-focus utterance is a congruent answer to the polar question of its proposition: its focus value, the polarity alternatives of the proposition, is the set of alternatives of that question.

Discourse strategies of polar subquestions #

def GarassinoJacob2018.agentStrategy {W : Type u_1} {F : Type u_2} (agents : List F) (P : F → Set W) :

The tree of the sitting-back passage pursues a wh-question over candidates through the polar question for each candidate.

Equations
Instances For
    theorem GarassinoJacob2018.agentStrategy_isComplete {W : Type u_1} {F : Type u_2} {agents : List F} (hcov : ∀ (f : F), f ∈ agents) (P : F → Set W) :

    The polar subquestions for all candidates jointly resolve the wh-question.

    The tree of the treaty passage pursues a polar question about a disjunction of instances through the polar questions of the instances.

    Equations
    Instances For

      The chapter's examples #

      The lexical and syntactic means of polarity focus the chapter surveys.

      Instances For
        @[instance_reducible]
        Equations
        def GarassinoJacob2018.instReprMeans.repr :
        Means → ℕ → Std.Format
        Equations
        • One or more equations did not get rendered due to their size.
        Instances For

          What the polarity-focus utterance reacts to.

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

              The dislocated constituent, if any.

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

                  Whether the utterance's situation is the antecedent's or an analogous one.

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

                      The antecedent is a previous denial of the proposition, explicit or inferable: polarity focus after it presupposes the negation rather than an open question or a given affirmation.

                      Equations
                      Instances For
                        @[instance_reducible]
                        Equations
                        • One or more equations did not get rendered due to their size.
                        Instances For
                          def GarassinoJacob2018.instDecidableEqRow.decEq (x✝ x✝¹ : Row) :
                          Decidable (x✝ = x✝¹)
                          Equations
                          • One or more equations did not get rendered due to their size.
                          Instances For
                            def GarassinoJacob2018.instReprRow.repr :
                            Row → ℕ → Std.Format
                            Equations
                            • One or more equations did not get rendered due to their size.
                            Instances For
                              Equations
                              • One or more equations did not get rendered due to their size.
                              Instances For

                                Polarity focus after a denial of the proposition is attested in situational identity and in situational analogy alike: presupposing the negation does not decide the relation to the antecedent.

                                Every attested French si answers a preceding opposite turn: it is a [reverse, +] response.

                                Sì che and sí que are attested in responses that are not [reverse, +], after a polar question and after a positive statement: they are not limited to answering an opposite turn.

                                Every utterance the chapter reads as answering a subquestion stands in situational analogy to its antecedent, the interrelation of its criteria it states; the converse fails.