Longobardi (2005): Toward a Unified Grammar of Reference

@cite{longobardi-2005} @cite{longobardi-1994}

Zeitschrift für Sprachwissenschaft 24(1): 5--44.

Core Contribution

A syntax-semantics mapping theory reducing reference to nominal head position: a nominal refers to an individual (constant) iff its D position contains referential content. This unifies object reference and kind reference under a single structural generalization.

The theory layer (TopologicalMapping.lean) formalizes the axioms, derived theorems, and noun taxonomy. This study file:

1. Instantiates N-to-D raising as HeadToHeadMovement on the nominal extended projection (N → D)
2. Records Italian diagnostic data (solo paradigm, expletive articles)
3. Bridges to @cite{longobardi-2001}'s DPParameter and ArgumentType
4. Derives Last Resort: proper names MUST raise (convergence); common nouns must NOT raise (economy)

structure Phenomena.Reference.Studies.Longobardi2005.NtoDRaising : Type

N-to-D raising is head-to-head movement within the nominal extended projection.

@cite{longobardi-2005} §5: proper names in Romance undergo N-to-D raising — the noun head moves from N to D, crossing intervening material (adjectives, modifiers in α). This is the nominal analogue of V-to-T raising (@cite{pollock-1989}).

The movement is head-to-head (not head-to-spec): the noun stays minimal and reprojects in D. Evidence: the raised name forms a morphological unit with D, not a phrasal specifier.

• nHead : Interfaces.SyntaxSemantics.TopologicalMapping.NominalHeadClass

  The N head (proper name or special common noun)

• dpParam : Longobardi2001.DPParameter

  Language parametric setting

• raises : Bool

  Raising actually occurs

• obligatory : Bool

  Raising is obligatory (convergence requires it)

def Phenomena.Reference.Studies.Longobardi2005.italianPN : NtoDRaising

Italian proper names raise obligatorily to D.

@cite{longobardi-2005} §5: Gianni ha telefonato vs *Ha telefonato Gianni (in neutral intonation). The name must precede adjectives and modifiers that intervene between N and D.

Equations

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

def Phenomena.Reference.Studies.Longobardi2005.italianCN : NtoDRaising

Italian common nouns do NOT raise to D.

Equations

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

def Phenomena.Reference.Studies.Longobardi2005.englishPN : NtoDRaising

English proper names: D is weak, so raising is vacuous (no overt D to target). Names occur bare in argument position.

Equations

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

structure Phenomena.Reference.Studies.Longobardi2005.SoloDiagnostic : Type

@cite{longobardi-2005} §2: the solo paradigm. Solo 'only' is an adverb that must c-command its associate. When solo precedes a proper name but follows a common noun, this diagnoses the structural position of the noun head.

• Solo Gianni... — name has raised past solo (N-to-D)
• Il solo tavolo... — common noun stays below solo

This asymmetry is the primary diagnostic for N-to-D.

• headClass : Interfaces.SyntaxSemantics.TopologicalMapping.NominalHeadClass

  The noun tested

• precedesSolo : Bool

  Does the noun precede solo?

def Phenomena.Reference.Studies.Longobardi2005.soloPN : SoloDiagnostic

Proper names precede solo (they have raised past it).

Equations

• Phenomena.Reference.Studies.Longobardi2005.soloPN = { headClass := Interfaces.SyntaxSemantics.TopologicalMapping.NominalHeadClass.properName, precedesSolo := true }

def Phenomena.Reference.Studies.Longobardi2005.soloCN : SoloDiagnostic

Common nouns follow solo (they remain in situ).

Equations

• Phenomena.Reference.Studies.Longobardi2005.soloCN = { headClass := Interfaces.SyntaxSemantics.TopologicalMapping.NominalHeadClass.commonNoun, precedesSolo := false }

theorem Phenomena.Reference.Studies.Longobardi2005.solo_diagnoses_raising : soloPN.precedesSolo = true ∧ soloCN.precedesSolo = false

The solo diagnostic confirms raising iff precedesSolo.

structure Phenomena.Reference.Studies.Longobardi2005.ExpletiveArticleDatum : Type

@cite{longobardi-2005} §8: Italian proper names optionally appear with a definite article (la Maria, il Gianni). This article is expletive — semantically vacuous, serving only as a phonological placeholder for D.

Evidence: la Maria behaves identically to bare Maria:

• Wide scope only (no narrow scope under quantifiers)
• Rigid reference (same individual at every world)
• No kind/generic reading This contrasts with genuine definite articles (il tavolo 'the table'), which CAN have narrow scope and kind readings.

• form : String

  The nominal expression

• articleType : Interfaces.SyntaxSemantics.TopologicalMapping.ArticleType

  Article type

• wideScopeOnly : Bool

  Has wide scope only (rigid)

• kindReading : Bool

  Admits kind/generic reading

def Phenomena.Reference.Studies.Longobardi2005.laMaria : ExpletiveArticleDatum

Equations

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

def Phenomena.Reference.Studies.Longobardi2005.ilTavolo : ExpletiveArticleDatum

Equations

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

theorem Phenomena.Reference.Studies.Longobardi2005.expletive_vs_operator : Interfaces.SyntaxSemantics.TopologicalMapping.expletiveBlocksKindReading laMaria.articleType = true ∧ Interfaces.SyntaxSemantics.TopologicalMapping.expletiveBlocksKindReading ilTavolo.articleType = false

Expletive articles block kind readings; operator articles allow them.

theorem Phenomena.Reference.Studies.Longobardi2005.expletive_preserves_rigidity : laMaria.wideScopeOnly = true ∧ laMaria.kindReading = false

Expletive articles preserve rigidity (wide scope only).

def Phenomena.Reference.Studies.Longobardi2005.argumentTypeToConfig (at_ : Longobardi2001.ArgumentType) : Interfaces.SyntaxSemantics.TopologicalMapping.NominalConfig

Map @cite{longobardi-2001}'s ArgumentType to the topological mapping's constant/variable distinction.

Referential arguments = constants (D has referential content). Quantificational arguments = variables (D is empty, operator-bound).

Equations

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

theorem Phenomena.Reference.Studies.Longobardi2005.referential_is_constant : Interfaces.SyntaxSemantics.TopologicalMapping.isConstant (argumentTypeToConfig Longobardi2001.ArgumentType.referential) = true

Referential arguments are constants in the topological mapping.

theorem Phenomena.Reference.Studies.Longobardi2005.quantificational_is_variable : Interfaces.SyntaxSemantics.TopologicalMapping.isVariable (argumentTypeToConfig Longobardi2001.ArgumentType.quantificational) = true

Quantificational arguments are variables in the topological mapping.

theorem Phenomena.Reference.Studies.Longobardi2005.last_resort_proper_names (nc : Interfaces.SyntaxSemantics.TopologicalMapping.NominalConfig) : nc.namingType = Interfaces.SyntaxSemantics.TopologicalMapping.LexicalNamingType.objectNaming → nc.isArgument = true → Interfaces.SyntaxSemantics.TopologicalMapping.argumentLicensed nc = true → Interfaces.SyntaxSemantics.TopologicalMapping.isConstant nc = true

@cite{longobardi-2005} §10: N-to-D raising is a Last Resort operation.

Convergence side: Object-naming nouns (proper names) MUST raise because they cannot satisfy (54b) — they name objects, not kinds, so variable interpretation is unavailable. Their only path to argumenthood is constant interpretation via (54a), requiring D content. Since they are bare, they must raise to fill D.

Economy side: Kind-naming nouns (common nouns) must NOT raise because they CAN satisfy (54b) — variable interpretation suffices. Raising would be a gratuitous operation violating economy.

theorem Phenomena.Reference.Studies.Longobardi2005.last_resort_common_nouns (nc : Interfaces.SyntaxSemantics.TopologicalMapping.NominalConfig) : nc.namingType = Interfaces.SyntaxSemantics.TopologicalMapping.LexicalNamingType.kindNaming → nc.isArgument = true → nc.dHasReferentialContent = false → Interfaces.SyntaxSemantics.TopologicalMapping.isVariable nc = true

Common nouns with empty D receive variable interpretation. Variable interpretation suffices for argumenthood (bound by Ex/Gen), so no raising is needed — raising would violate economy.

theorem Phenomena.Reference.Studies.Longobardi2005.strong_d_bridge : Longobardi2001.pnRequiresOvertD Longobardi2001.romance = true ∧ Longobardi2001.pnRequiresOvertD Longobardi2001.english = false ∧ Longobardi2001.bnCanBeReferential Longobardi2001.romance = false ∧ Longobardi2001.bnCanBeReferential Longobardi2001.english = true

@cite{longobardi-2001}'s strongD parameter corresponds to the topological mapping's requirement for overt referential content in D.

When D is strong (Romance), referential interpretation requires visible association with D — either N-to-D raising or an overt determiner. When D is weak (English), the association can be covert.

theorem Phenomena.Reference.Studies.Longobardi2005.greek_confirms : Longobardi2001.pnRequiresOvertD Longobardi2001.greek = true ∧ Longobardi2001.bnCanBeReferential Longobardi2001.greek = false

Greek confirms the prediction: strong D + opaque α forces overt articles on all referential arguments including proper names.