Documentation

Linglib.Core.Discourse.Logophoricity

Logophoric Roles @cite{sells-1987} #

@cite{pancheva-zubizarreta-2018}

@cite{sells-1987} 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 Person Features #

@cite{pancheva-zubizarreta-2018} connect logophoric roles to the interpretable person feature on Appl:

P-Prominence	Logophoric role	Eligible persons
[+proximate]	pivot	1P, 2P, 3P proximate
[+participant]	self	1P, 2P
[+author]	source	1P only

This connection is what gives the P-Constraint its semantic content: the syntactic mechanism of person-feature agreement on Appl encodes the identification of the indirect object as a point-of-view center.

Connection to Other 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

inductive Core.Logophoricity.LogophoricRole :

Logophoric roles from @cite{sells-1987}.

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).

pivot : LogophoricRole
The individual whose point of view the event is described from. Most general role.
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.

Instances For

instance Core.Logophoricity.instDecidableEqLogophoricRole :

DecidableEq LogophoricRole

Equations

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

instance Core.Logophoricity.instBEqLogophoricRole :

BEq LogophoricRole

Equations

Core.Logophoricity.instBEqLogophoricRole = { beq := Core.Logophoricity.instBEqLogophoricRole.beq }

def Core.Logophoricity.instBEqLogophoricRole.beq :

LogophoricRole → LogophoricRole → Bool

Equations

Core.Logophoricity.instBEqLogophoricRole.beq x✝ y✝ = (x✝.ctorIdx == y✝.ctorIdx)

Instances For

def Core.Logophoricity.instReprLogophoricRole.repr :

LogophoricRole → Nat → Std.Format

Equations

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

Instances For

instance Core.Logophoricity.instReprLogophoricRole :

Repr LogophoricRole

Equations

Core.Logophoricity.instReprLogophoricRole = { reprPrec := Core.Logophoricity.instReprLogophoricRole.repr }

def Core.Logophoricity.LogophoricRole.rank :

LogophoricRole → Nat

Logophoric roles form an implicational hierarchy. Rank: source (2) > self (1) > pivot (0).

Equations

Instances For

theorem Core.Logophoricity.source_entails_self :

LogophoricRole.source.rank ≥ LogophoricRole.self.rank

A source is also a self.

theorem Core.Logophoricity.self_entails_pivot :

LogophoricRole.self.rank ≥ LogophoricRole.pivot.rank

A self is also a pivot.

def Core.Logophoricity.LogophoricRole.toProminence :

LogophoricRole → Minimalism.PConstraint.PProminence

The P-Prominence setting that corresponds to a logophoric role.

This is the formal link between the syntactic mechanism of the P-Constraint and the semantic content of perspectival centering: the interpretable person feature on Appl selects for the logophoric role of the indirect object.

Equations

Instances For

def Core.Logophoricity.prominenceToRole :

Minimalism.PConstraint.PProminence → LogophoricRole

The logophoric role corresponding to a P-Prominence setting.

Equations

Instances For

theorem Core.Logophoricity.prominence_role_roundtrip (r : LogophoricRole) :

prominenceToRole r.toProminence = r

The bridge is an isomorphism.

theorem Core.Logophoricity.role_prominence_roundtrip (p : Minimalism.PConstraint.PProminence) :

(prominenceToRole p).toProminence = p

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

The Point-of-View Principle (@cite{pancheva-zubizarreta-2018}, (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

Core.Logophoricity.pointOfViewPrinciple hasAttitudeHolder povIsAttitudeHolder = (!hasAttitudeHolder || povIsAttitudeHolder)

Instances For

theorem Core.Logophoricity.pov_trivial_no_attitude :

pointOfViewPrinciple false false = true

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

theorem Core.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 Core.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.