---
tag: EB9D8HAKBW
kind: concept
name: Logic translation
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]
sources:
  - wikipedia: en:73032003@r1261697697
    locator: Logic translation
    note: adopted
    mention: wikipedia://en/73032003
    sections: [Summary]
same_as:
  wikidata: Q117337220
  wikipedia: Logic translation
inventory: [1PSNN1KCMR]
---

## Summary

**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.