Logophoric Roles [Sel87]

[Sel87] identifies three logophoric roles that govern the licensing of logophoric pronouns and long-distance reflexives cross-linguistically:

• Pivot: the individual whose point of view the event is described from. The most general logophoric role. In matrix clauses, the speaker is the default pivot; in embedded clauses, the attitude holder whose perspective is adopted.
• Self: the individual whose mental state (thought, belief, knowledge) is reported. An attitude holder. The speaker is a self by definition.
• Source: the individual who makes the report — the "one who makes the report." The speaker is a source by definition; the addressee is a self (forms an attitude toward propositional content) but not a source.

These roles form an implicational hierarchy: source → self → pivot

That is, a source is necessarily a self and a pivot; a self is necessarily a pivot; but a pivot need not be a self or source.

Connection to Perspectival Phenomena

The same logophoric roles govern:

• Logophoric pronouns (Ewe yè): antecedent must be at least a self
• Long-distance reflexives (Japanese zibun): antecedent must be a pivot
• Point-of-view verbs (Japanese yar- vs kure-): lexically encode pivot
• The Clitic Logophoric Restriction (CLR): 3P IO clitic interpreted as point-of-view center blocks de se reading of accusative clitic

The bridge to Minimalist P-Prominence ([PZ18]) is in PanchevaZubizarreta2018.

inductive Features.Logophoricity.LogophoricRole : Type

Logophoric roles from [Sel87].

The roles capture different dimensions of perspectival centering: who is the narrator (source), who is thinking/believing (self), and whose viewpoint structures the description (pivot).

Ordered by entailment: pivot ≤ self ≤ source. Being a source entails being a self, which entails being a pivot.

• pivot : LogophoricRole

  The individual whose point of view the event is described from. Most general role. Bottom of the hierarchy.

• self : LogophoricRole

  The individual whose mental state is reported. An attitude holder. Entails pivot.

• source : LogophoricRole

  The individual who makes the report. Entails both self and pivot. Top of the hierarchy.

@[implicit_reducible]

instance Features.Logophoricity.instDecidableEqLogophoricRole : DecidableEq LogophoricRole

Equations

• Features.Logophoricity.instDecidableEqLogophoricRole x✝ y✝ = if h : x✝.ctorIdx = y✝.ctorIdx then isTrue ⋯ else isFalse ⋯

@[implicit_reducible]

instance Features.Logophoricity.instReprLogophoricRole : Repr LogophoricRole

Equations

• Features.Logophoricity.instReprLogophoricRole = { reprPrec := Features.Logophoricity.instReprLogophoricRole.repr }

def Features.Logophoricity.instReprLogophoricRole.repr : LogophoricRole → ℕ → Std.Format

Equations

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

def Features.Logophoricity.LogophoricRole.toNat : LogophoricRole → ℕ

Numeric embedding into ℕ preserving the entailment order.

Equations

• Features.Logophoricity.LogophoricRole.pivot.toNat = 0
• Features.Logophoricity.LogophoricRole.self.toNat = 1
• Features.Logophoricity.LogophoricRole.source.toNat = 2

@[implicit_reducible]

instance Features.Logophoricity.instLinearOrderLogophoricRole : LinearOrder LogophoricRole

Equations

• Features.Logophoricity.instLinearOrderLogophoricRole = LinearOrder.lift' Features.Logophoricity.LogophoricRole.toNat Features.Logophoricity.instLinearOrderLogophoricRole._proof_1

theorem Features.Logophoricity.pivot_le_self : LogophoricRole.pivot ≤ LogophoricRole.self

A self entails a pivot.

theorem Features.Logophoricity.self_le_source : LogophoricRole.self ≤ LogophoricRole.source

A source entails a self.

theorem Features.Logophoricity.pivot_le_source : LogophoricRole.pivot ≤ LogophoricRole.source

A source entails a pivot (transitivity).

theorem Features.Logophoricity.hierarchy : LogophoricRole.pivot < LogophoricRole.self ∧ LogophoricRole.self < LogophoricRole.source

The full hierarchy as a conjunction.

theorem Features.Logophoricity.pivot_le (r : LogophoricRole) : LogophoricRole.pivot ≤ r

Pivot is the bottom of the hierarchy.

theorem Features.Logophoricity.le_source (r : LogophoricRole) : r ≤ LogophoricRole.source

Source is the top of the hierarchy.

def Features.Logophoricity.pointOfViewPrinciple (hasAttitudeHolder povIsAttitudeHolder : Bool) : Bool

The Point-of-View Principle ([PZ18], (48)):

Within a logophoric domain marking point of view, if there are attitude holders among the event participants, one of them has to be the point-of-view center.

This principle is a semantic requirement that individual grammars can enforce at different points in the derivation. For the PCC, the relevant domain is the ApplP. For the CLR, the domain is evaluated at the semantics.

Equations

• Features.Logophoricity.pointOfViewPrinciple hasAttitudeHolder povIsAttitudeHolder = (!hasAttitudeHolder || povIsAttitudeHolder)

theorem Features.Logophoricity.pov_trivial_no_attitude : pointOfViewPrinciple false false = true

If there is no attitude holder, the principle is trivially satisfied.

theorem Features.Logophoricity.pov_satisfied : pointOfViewPrinciple true true = true

If there is an attitude holder and the POV center IS the attitude holder, the principle is satisfied.

theorem Features.Logophoricity.pov_violated : pointOfViewPrinciple true false = false

If there is an attitude holder but the POV center is NOT the attitude holder, the principle is violated.

class Features.Logophoricity.Logophoric (α : Type u_1) : Type u_1

A carrier whose every element is logophoric — oriented toward a perspectival centre rather than to the utterance situation. requiredRole is the minimum [Sel87] role an antecedent must fill to license the form: a self for an Ewe yè-type logophoric pronoun (the antecedent must be an attitude holder), a pivot for a zibun-type long-distance reflexive (any point-of-view centre suffices).

Word-class-neutral, like Indefinite/Demonstrative: logophoric pronouns, exempt reflexives, and verbal logophoric marking are sibling carriers, each supplying its own instance and read by the same [Logophoric α] generic code. Orthogonal to Bound (Syntax/Pronoun/Capabilities.lean): perspectival orientation is not the Principle A/B/C binding role — [Sel87]'s point that logophoric anaphora is role-oriented, licensed by a discourse role, not configurationally bound.

• requiredRole : α → LogophoricRole

  The minimum [Sel87] role an antecedent must fill to license the form.

def Features.Logophoricity.Logophoric.LicensedBy {α : Type u_1} [Logophoric α] (a : α) (antecedentRole : LogophoricRole) : Prop

The form a is licensed by an antecedent filling role antecedentRole: the antecedent reaches at least the form's requiredRole on the pivot ≤ self ≤ source hierarchy. Derived from the order (§ 2), not stipulated — a form requiring self is licensed by a source antecedent because self ≤ source.

Equations

• Features.Logophoricity.Logophoric.LicensedBy a antecedentRole = (Features.Logophoricity.Logophoric.requiredRole a ≤ antecedentRole)

@[implicit_reducible]

instance Features.Logophoricity.instDecidableLicensedBy {α : Type u_1} [Logophoric α] (a : α) (r : LogophoricRole) : Decidable (Logophoric.LicensedBy a r)

Equations

• Features.Logophoricity.instDecidableLicensedBy a r = Features.Logophoricity.instDecidableLicensedBy._aux_1 a r

theorem Features.Logophoricity.Logophoric.source_licenses {α : Type u_1} [Logophoric α] (a : α) : LicensedBy a LogophoricRole.source

Every logophoric form is licensed by a source antecedent — the reporter sits at the top of the hierarchy, so it meets any form's requirement (le_source). A generic fact over the capability, independent of carrier or requiredRole.

theorem Features.Logophoricity.Logophoric.LicensedBy.mono {α : Type u_1} [Logophoric α] {a : α} {r r' : LogophoricRole} (h : LicensedBy a r) (hr : r ≤ r') : LicensedBy a r'

Licensing is monotone in the antecedent's role: a stronger centre still licenses whatever a weaker one does (transitivity of the hierarchy).