{
  "id": "1611.00439",
  "version": "v1",
  "published": "2016-11-02T01:44:06.000Z",
  "updated": "2016-11-02T01:44:06.000Z",
  "title": "Paradox with just self-reference",
  "authors": [
    "T. Parent"
  ],
  "categories": [
    "math.LO"
  ],
  "abstract": "If a semantically open language allows self-reference, one can show there is a predicate which is both satisfied and unsatisfied by a self-referring term. The argument amounts to diagonalization on substitution instances of a definition-scheme for the predicate 'x is Lagadonian.' (The term 'Lagadonian' is adapted from David Lewis). Briefly, a self-referring term is counted as \"Lagadonian\" if the initial variable in the schema is replaced with the term itself. But the same term is not counted as Lagadonian if this variable is replaced with the quotation or other name for the term. Thus the term both satisfies and does not satisfy 'x is Lagadonian'.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2016-11-02T01:44:06.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "self-reference",
      "self-referring term",
      "david lewis",
      "semantically open language",
      "substitution instances"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}