{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Statement\n\nWhen the AGM form of the Ramsey test is combined with the standard AGM postulates for rational belief revision, one obtains strong constraints on the interaction between conditionals and revision. Gärdenfors showed that combining (i) the Ramsey-test link between an epistemic conditional and revision, (ii) standard AGM postulates, and (iii) the assumption that conditionals can appear as ordinary beliefs and as inputs to revision, yields \"triviality\" or \"impossibility\" results: the only revision operators satisfying all constraints behave degenerately or collapse distinctions between belief states.\n\nIn subsequent work, Gärdenfors proposed weakened versions of the test and explored further triviality theorems, including results for negative conditionals (\"the negative Ramsey test\").\n\nA large literature investigates how to preserve the explanatory appeal of Ramsey testing while avoiding triviality. Prominent strategies include:\n\n- Restricting the language so that conditionals are not themselves items that can be straightforwardly revised upon (or limiting which embeddings are allowed).\n- Weakening or modifying revision postulates (for example, weakening strong preservation/minimal-change requirements for conditionals).\n- Weakening the Ramsey test itself, such as by limiting it to certain classes of conditionals (for example, epistemic rather than metaphysical conditionals), or reinterpreting the test as an assertability norm rather than as defining truth conditions for a conditional proposition.\n- Replacing belief sets with richer epistemic states, such as plausibility orderings or ranking functions, allowing more fine-grained \"minimal change\" dynamics compatible with the Ramsey test.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "7SJ5S1EFCR"
    ],
    "kind": "statement",
    "name": "Triviality theorem in belief revision",
    "role": "theorem",
    "sources": [
      {
        "locator": "Ramsey test, section Triviality theorem in belief revision",
        "mention": "wikipedia://en/44316374#GZJ9",
        "note": "adopted",
        "sections": [
          "Statement"
        ],
        "wikipedia": "en:44316374@r1373780575"
      }
    ],
    "tag": "WMZ1QP7KQY"
  },
  "kind": "statement",
  "link": "https://math2.tamnd.com/node/WMZ1QP7KQY/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/WMZ1QP7KQY.md",
  "msc": null,
  "name": "Triviality theorem in belief revision",
  "prov": null,
  "role": "theorem",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/WMZ/WMZ1QP7KQY.md",
  "status": null,
  "tag": "WMZ1QP7KQY",
  "uri": "m2://WMZ1QP7KQY",
  "url": "https://math2.tamnd.com/wiki/triviality-theorem-in-belief-revision/",
  "writing": {
    "tag": "WMZ1QP7KQY",
    "kind": "statement",
    "level": "W0",
    "next": [
      {
        "what": "edge uses out",
        "note": "each definition that the statement needs",
        "have": 0,
        "want": 1
      }
    ]
  }
}