{
  "aliases": [
    "autoformalization",
    "english-to-logic",
    "first-order-logic-translation",
    "formalization-in-logic",
    "formalizations",
    "formulation-logic",
    "higher-order-logic-translation",
    "logic-formalization",
    "logic-formalizations",
    "logic-translations",
    "logical-analysis",
    "logical-formalization",
    "logical-formalizations",
    "logical-translation",
    "logical-translations",
    "modal-logic-translation",
    "natural-language-formalization",
    "natural-language-formalizations",
    "ordinary-language-formalization",
    "ordinary-language-formalizations",
    "predicate-logic-translation",
    "propositional-logic-translation",
    "translation-in-logic"
  ],
  "backlinks": null,
  "body": "\n## Summary\n\n**Logic translation** is the process of representing a text in the formal language of a logical system. If the original text is formulated in ordinary language then the term **natural language formalization** is often used. An example is the translation of the English sentence \"some men are bald\" into [[first-order logic|086QKPF0A6]] as $\\exists x (M(x) \\land B(x))$. The purpose is to reveal the logical structure of arguments. This makes it possible to use the precise rules of formal logic to assess whether these arguments are correct. It can also guide reasoning by arriving at new conclusions.\n",
  "commit": "4a3290d299c8b2cd6493fce2296920ba7f82d942",
  "front": {
    "aliases": [
      "autoformalization",
      "english-to-logic",
      "first-order-logic-translation",
      "formalization-in-logic",
      "formalizations",
      "formulation-logic",
      "higher-order-logic-translation",
      "logic-formalization",
      "logic-formalizations",
      "logic-translations",
      "logical-analysis",
      "logical-formalization",
      "logical-formalizations",
      "logical-translation",
      "logical-translations",
      "modal-logic-translation",
      "natural-language-formalization",
      "natural-language-formalizations",
      "ordinary-language-formalization",
      "ordinary-language-formalizations",
      "predicate-logic-translation",
      "propositional-logic-translation",
      "translation-in-logic"
    ],
    "inventory": [
      "1PSNN1KCMR"
    ],
    "kind": "concept",
    "name": "Logic translation",
    "same_as": {
      "wikidata": "Q117337220",
      "wikipedia": "Logic translation"
    },
    "sources": [
      {
        "locator": "Logic translation",
        "mention": "wikipedia://en/73032003",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:73032003@r1261697697"
      }
    ],
    "tag": "EB9D8HAKBW"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/EB9D8HAKBW/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/EB9D8HAKBW.md",
  "msc": null,
  "name": "Logic translation",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/EB9/EB9D8HAKBW.md",
  "status": null,
  "tag": "EB9D8HAKBW",
  "uri": "m2://EB9D8HAKBW",
  "url": "https://math2.tamnd.com/wiki/logic-translation/",
  "writing": {
    "tag": "EB9D8HAKBW",
    "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
      }
    ]
  }
}