{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nThe distinction between free and bound variables provides a powerful explanation for certain ambiguities that arise under VP-ellipsis. Consider the following sentence:\n\nJohn loves his mother, and Bill does too.\n\nThis sentence has two distinct interpretations:\n\n1. **Strict identity:** Bill loves *John's* mother.\n1. **Sloppy identity:** Bill loves *Bill's* mother.\n\nThis ambiguity can be explained by the status of the pronoun *his* in the first clause.\n\n- If *his* is treated as a **free variable** referring to John, the elided (or \"missing\") verb phrase is interpreted as \"loves John's mother\". When this is applied to Bill, the result is the **strict** reading.\n- If *his* is treated as a **bound variable** bound by the subject of its clause (i.e., *John*), the verb phrase is interpreted as a lambda-abstracted property: `λx.x loves x's mother`. When this property is applied to Bill, the result is the **sloppy** reading.\n\nThe existence of the sloppy identity reading is considered strong evidence for the psychological reality of bound variable interpretations in the grammar of natural languages.\n\nThus, the distribution and interpretation of pronouns and other referring expressions in natural languages are not random but are governed by a sophisticated syntactic and semantic system.\n\nThe distinction between free and bound variables is a cornerstone of modern linguistic theory, providing the analytical tools necessary to account for coreference, quantification, question formation, and ellipsis.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "C0PXRNGVQD"
    ],
    "kind": "statement",
    "name": "Sloppy versus strict identity in ellipsis",
    "role": "proposition",
    "sources": [
      {
        "locator": "Free variables and bound variables, section Natural language \u003e Sloppy versus strict identity in ellipsis",
        "mention": "wikipedia://en/147460#H5IR",
        "note": "adopted",
        "sections": [
          "Statement"
        ],
        "wikipedia": "en:147460@r1376140548"
      }
    ],
    "tag": "KWEV8CBKC9"
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/KWEV8CBKC9/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/KWEV8CBKC9.md",
  "msc": null,
  "name": "Sloppy versus strict identity in ellipsis",
  "prov": null,
  "role": "proposition",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/KWE/KWEV8CBKC9.md",
  "status": null,
  "tag": "KWEV8CBKC9",
  "uri": "m2://KWEV8CBKC9",
  "url": "https://math2.tamnd.com/wiki/sloppy-versus-strict-identity-in-ellipsis/",
  "writing": {
    "tag": "KWEV8CBKC9",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "edge uses out",
        "note": "each definition that the statement needs",
        "have": 0,
        "want": 1
      }
    ]
  }
}