{
  "aliases": null,
  "backlinks": null,
  "body": "\n## Summary\n\nA system of communication that enables humans to cooperate, express ideas, emotions, and, in the context of formal languages, to construct and convey precise meanings. See formal language, metalanguage, natural language, object language, sublanguage, translation.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "inventory": [
      "5YNE29BYF0"
    ],
    "kind": "concept",
    "name": "Language",
    "sources": [
      {
        "locator": "Glossary of logic, section L",
        "mention": "wikipedia://en/76765067#NDW3",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:76765067@r1368301704"
      }
    ],
    "tag": "JW9GJVXDKE"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/JW9GJVXDKE/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/JW9GJVXDKE.md",
  "msc": null,
  "name": "Language",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/JW9/JW9GJVXDKE.md",
  "status": null,
  "tag": "JW9GJVXDKE",
  "uri": "m2://JW9GJVXDKE",
  "url": "https://math2.tamnd.com/wiki/language/",
  "writing": {
    "tag": "JW9GJVXDKE",
    "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
      }
    ]
  }
}
