{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nStrong paraconsistency is the view that there are possible worlds where contradictions are true, or where some statements are both true and false. Compare weak paraconsistency, the view that true contradictions, and worlds that contain them, are merely a formal tool used to study reasoning.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "AE0FK50D1M"
    ],
    "kind": "concept",
    "name": "Strong paraconsistency",
    "sources": [
      {
        "locator": "Glossary of logic, section S",
        "mention": "wikipedia://en/76765067#GVHC",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:76765067@r1368301704"
      }
    ],
    "tag": "GYCRTA2TN9"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/GYCRTA2TN9/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/GYCRTA2TN9.md",
  "msc": null,
  "name": "Strong paraconsistency",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/GYC/GYCRTA2TN9.md",
  "status": null,
  "tag": "GYCRTA2TN9",
  "uri": "m2://GYCRTA2TN9",
  "url": "https://math2.tamnd.com/wiki/strong-paraconsistency/",
  "writing": {
    "tag": "GYCRTA2TN9",
    "kind": "concept",
    "level": "W1",
    "next": [
      {
        "what": "edge defines in",
        "note": "at least one definition",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge instance_of in",
        "note": "at least two examples",
        "have": 0,
        "want": 2
      },
      {
        "what": "edge not_instance_of in",
        "note": "at least one non-example",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge specializes both",
        "note": "the more general notions and the special cases",
        "have": 0,
        "want": 1
      }
    ]
  }
}