User:Phlsph7/Logic translation

Translation of an English sentence to first-order logic

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 as $\exists x(M(x)\land B(x))$. In this regard, 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.

Many of the difficulties associated with the process are caused by vague or ambiguous expressions in natural language. For example, the English word "is" can mean that something exists, that it is identical to something else, or that it has a certain property. This contrasts with the precise nature of formal logic, which avoids such ambiguities. Natural language formalization is relevant to various fields in the sciences and humanities. Some theorists claim that it plays a key role for logic in general since it is needed to establish a link between many forms of reasoning and abstract logical systems. The use of informal logic is an alternative to formalization since it analyzes the cogency of ordinary language arguments in their original form. Natural language formalization is distinguished from logic translations that convert formulas from one logical system into another. An example is the translation of the modal logic formula $\Box A(x)$ into first-order logic as $\forall y(R(x,y)\land A(y))$. This form of logic translation is specifically relevant for logic programming and metalogic.

Criteria of adequacy specify whether a logic translation is accurate and how to distinguish good from bad translations. An often-cited criterion states that translations should preserve the inferential relations between sentences. This implies that if an argument is valid in the original text then the translated argument should also be valid. Other suggested criteria are that the original sentence and the translation have the same truth conditions, that a translation does not include additional or unnecessary symbols, and that its grammatical structure is similar to the original sentence. Various procedures for translating texts have been suggested. Preparatory steps include understanding the meaning of the original text and paraphrasing it to remove ambiguities and make its logical structure more explicit. As an intermediary step, a translation may happen into a hybrid language that implements a logical formalism while retaining the vocabulary of the original expressions. In the last step, this vocabulary is replaced by logical symbols. Logic translations are often criticized on the grounds that they are unable to accurately represent all the aspects and nuances of the original text.

Definition

A logic translation is a translation of a text into a logical system. For example, translating the sentence "all skyscrapers are tall" as $\forall x(S(x)\to T(x))$ is a logic translation that expresses an English language sentence in the logical system known as first-order logic. The aim of logic translations is usually to make the logical structure of natural language arguments explicit. This way, the rules of formal logic can be used to assess whether the arguments are valid.

Understood in a wide sense, a translation is a process that associates expressions belonging to a source language with expressions belonging to a target language. For example, in a sentence-by-sentence translation of an English text into French, English sentences are associated with their French counterparts. The hallmark of logic translations is that the target language belongs to a logical system. However, logic translations differ from regular translations in that they are mainly concerned with expressing the logical structure of the original text and less with its concrete content. Regular translations, on the other hand, take various additional factors into account pertaining to the content, meaning, and style of the original expression. For this reason, some theorists have argued that, strictly speaking, it is not a form of translation. They tend to use other terms, such as "formalization", "symbolization", and "explication". However, this opinion is not shared by all logicians and some argue that successful logical translations preserve all the original meaning while making the logical structure explicit.

Discussions on logic translations usually focus on the problem of expressing the logical structure of ordinary language sentences in a formal logical system. However, the term also covers cases where the translation happens from one logical system into another.

Basic concepts

Through logic translation it is possible to evaluate whether ordinary language arguments follow a valid rule of inference, like modus ponens.

Various basic concepts are employed in the study and analysis of logic translations. Logic as a discipline is the study of correct reasoning. Reasoning happens in the form of inferences or arguments. An argument is a set of premises together with a conclusion. An argument is deductively valid if it is impossible for its conclusion to be false if all its premises are true. Valid arguments follow a rule of inference, which prescribes how the premises and the conclusion have to be structured. A prominent rule of inference is modus ponens. It states that arguments of the form "(1) p; (2) if p then q; (3) therefore q" are valid. An example of an argument following modus ponens is: "(1) today is Sunday; (2) if today is Sunday then I don't have to go to work today; (3) therefore I don't have to go to work today".

A logical system is a theoretical framework for assessing which arguments are valid. Logical systems differ from each other concerning the formal language and the rules of inference they use. In this regard, they are designed to capture different inferential relations between propositions. For example, propositional logic only focuses on inferences based on logical connectives, like "and" or "if...then". First-order logic, on the other hand, also includes additional inferential patterns associated with expressions like "every" or "some". Extended logics cover further inferences, for example, in relation to what is possible and necessary or regarding temporal relations. This means that logical systems usually do not capture all inferential patterns. This is relevant for logic translation since they may miss patterns for which they were not intended. For example, propositional logic can be used to show that the following ordinary language argument is correct: "(1) John is not a pilot; (2) John is a pilot or Bill is a poet; (3) therefore Bill is a poet". However, it fails to show that the argument "(1) John is a pilot; (2) therefore John can aviate" is correct since it is unable to capture the inferential relation between the terms "Pilot" and "can aviate". If a logical system is applied to cases beyond its limited scope, it is unable to assess the validity of natural language arguments. The advantage of this limitation is that the vagueness and ambiguity of natural language arguments are avoided by making some of the inferential patterns very clear.

Types

Logic translations can be classified based on the source language of the original text. For many logic translations, the original text belongs to a natural language, like English or French. In this case, the term "natural language formalization" is often used. For example, the sentence "Dana is a logician and Dana is a nice person" can be formalized into propositional logic using the logical formula $L\land N$. A further type of logic translation happens between two logical systems. This means that the source text is composed of logical formulas belonging to one logical system and the goal is to associate them with logical formulas belonging to another logical system. For example, the formula $\Box A(x)$ in modal logic can be translated into first-order logic using the formula $\forall y(R(x,y)\land A(y))$.

Natural language formalization

To assess the validity of an ordinary language argument, each of its statements can be translated into a logical system.

Natural language formalization starts with a sentence in natural language and translates it into a logical formula. Its goal is to make the logical structure of natural language sentences and arguments explicit. It is mainly concerned with their logical form while their specific content is usually ignored. Logical analysis is a closely related term that refers to the process of uncovering the logical form or structure of a sentence. Natural language formalization makes it possible to use formal logic to analyze and evaluate natural language arguments. This is especially relevant for complex arguments, which are often difficult to evaluate without formal tools. Logic translation can also be used to look for new arguments and thereby guide the reasoning process. Closely connected to formalization is the reverse process of translating logical formulas back into natural language sentences. This is sometimes referred to as "verbalization". However, this issue is not as controversial and discussions concerning the relation between natural language and logic usually focus on the problem of formalization.

The success of applications of formal logic to natural language requires that the translation is correct. A formalization is correct if its explicit logical features fit the implicit logical features of the original sentence. However, the logical form of ordinary language sentences is often not obvious and there are many differences between natural languages and the formal languages used by logicians. This poses various difficulties for formalization. For example, ordinary expressions often include vague and ambiguous expressions. For this reason, the validity of an argument often depends not just on the expressions themselves but also on how they are interpreted. For example, the sentence "donkeys have ears" could mean that all donkeys (without exception) have ears or that donkeys typically have ears, which does not exclude the existence of some donkeys without ears. This difference matters for whether a universal quantifier can be used to translate the sentence. Such ambiguities are not found in the precise formulations of artificial logical languages and have to be solved before translation is possible.

The problem of natural language formalization has various implications for the sciences and humanities, especially for the fields of linguistics, cognitive science, and computer science. In the field of formal linguistics, for example, Richard Montague provides various suggestions for how to formalize English language expressions in his theory of universal grammar. Formalization is also discussed in the philosophy of logic in relation to its role in understanding and applying logic. If logic is understood as the theory of valid inferences in general then formalization plays a central role in it since many of these inferences are formulated in ordinary language. Logic translation is needed to link formal systems of logic to arguments expressed in ordinary language. A related claim is that all logical languages, including highly abstract ones like model logic and many-valued logic, have to be "anchored in the structures of natural language". However, one difficulty in this regard is that logic is usually understood as a formal science. But a theory of its relation to empirical matters pertaining to ordinary languages goes beyond this purely formal conception. For this reason, some theorists identify a pure branch of logic and contrast it with applied logic, which includes the problem of formalization.

Some theorists draw the conclusion from these considerations that informal reasoning takes precedence over formal reasoning and that formal logic can only succeed to the extent that it is based on correct formalizations. For example, Baumgartner and Lampert hold that "there are no informal fallacies" but only "misunderstanding of informal arguments expressed by inadequate formalizations" . This position is rejected by Peregrin and Svoboda, who argue that informal reasoning is not always accurate and may be corrected through the application of formal logic.

An alternative to formalization is to use informal logic, which analyzes the cogency of natural language arguments in their original form. This has many advantages by avoiding the difficulties associated with logic translations. However, it also comes with various drawbacks. For example, informal logic lacks the precision found in formal logic for distinguishing between good arguments and fallacies.

Examples

For propositional logic, the sentence "Tiffany sells jewelry, and Gucci sells cologne" can be translated as $T\land G$ and the sentence "Notre Dame raises tuition if Purdue does" corresponds to the formula $P\to N$.

For predicate logic, the sentence "Ann loves Ben" can be translated as $L(a,b)$. In this example, $L$ stands for "loves", $a$ stands for Ann and $b$ stands for Ben. Other examples are "some men are bald" as $\exists x(M(x)\land B(x))$,, "all animals have a head" as $\forall x(A(x)\to H(x))$, "no frogs are birds" as $\forall x(F(x)\to \lnot B(x))$, and "if Elizabeth is a historian, then some women are historians" as $H(e)\to \exists x(W(x)\land H(x))$.

Problematic expressions

For various natural language expressions, it is not clear how they should be translated and the right translation may differ from case to case. The vagueness and ambiguity of ordinary language, in contrast to the precise nature of logic, is often responsible for these problems. For this reason, it has proven difficult to find a general algorithm to cover all cases of translation. For example, the meaning of basic English expressions like "and", "or", and "if...then" can vary from context to context. The corresponding logical operators in symbolic logic ($\land$, $\lor$, $\to$), on the other hand, have very precisely defined meanings. In this regard, they only capture certain aspects of the original meaning.

The English word "is" poses another such difficulty since it carries different meanings. It can express existence (as in "there is a Santa Claus"), identity (as in "Superman is Clark Kent"), and predication (as in "Venus is a planet"). Each one of these meanings is expressed differently in logical systems like first-order logic. Another difficulty is that quantifiers are often not explicitly expressed in ordinary language. For example, the sentence "emeralds are green" does not directly state the universal quantifier "all", i.e. "all emeralds are green". However, some sentences with a similar structure, such as the "children live next door", imply the existential quantifier "some", i.e. "some children live next door".

A closely related problem is found in certain valid natural language arguments whose most obvious translations are invalid in formal logic. For example, the argument "(1) Fury is a horse; (2) therefore Fury is an animal" is valid but the corresponding argument in formal logic from $H(f)$ to $A(f)$ is invalid. One solution is to add to the argument an additional premise stating that "all horses are animals". Another is to translate the sentence "Fury is a horse" as $H(f)\land A(f)$. However, these solutions come with new problems of their own. Further problematic expressions are definite descriptions, conditional sentence, and attributive adjectives, as well as mass nouns and anaphora.

Translation between logics

A different type of logic translation takes place between logical systems. A translation between two logical systems can be defined in a formal sense as a certain type of function. This function maps sentences of the first system to sentences of the second system while obeying the entailment relations between the original sentences. This means that if a sentence entails another sentence in the first logic, then the translation of the first sentence should entail the translation of the second sentence in the second logic. This way, a translation from one logic to another represents the formulas, proofs, and models of the first logic in terms of the second. This is sometimes referred to as a conservative translation in contrast to a rough translation, which only maps the sentences of the first logic to sentences of the second logic without regard to their entailment relations.

A preliminary of logic translations is that there is not one logic but many logics. These logics differ from each other concerning the languages they use as well as the rules of inference they see as valid. For example, intuitionistic logic differs from classical logic since it rejects certain rules of inference, such as the double negation elimination. This rule states that if a sentence is not not true, then it is true, i.e. that $A$ follows from $\lnot \lnot A$. One way to translate intuitionistic logic into non-intuitionistic logic is by using a modal operator. This is based on the idea that intuitionistic logic expresses not just what is true but what is knowable. For example, the formula $\lnot p$ in intuitionistic logic can be translated as $K\lnot p$ where $K$ is a model operator expressing that the following formula is knowable.

Another example is the translation of modal logic to regular predicate logic. Modal logic contains additional symbols for possibility ($\diamond$) and necessity ($\Box$) not found in regular predicate logic. One way to translate them is to introduce new predicates, such as the predicate R, which indicates that one possible world is accessible from another possible world. For example, the modal logic expression $\lfloor \diamond p\rfloor _{\iota }$ (it is possible that p is true in the actual world) can be translated as $\exists vR(\iota ,v)\land \lfloor p\rfloor _{v}$ (there exists a possible world that is accessible from the actual world and p is true in it).

Translations between logics are relevant for metalogic and logic programming. In metalogic, they can be used to study the properties of logical systems and the relations between them. In logic programming, they make it possible for programs limited to one type of logic to be applied to many additional cases. With their help, programs like Prolog can be used to solve problems in modal logic and temporal logic. A closely related issue concerns the question of how to translate a formal language like Controlled English into a logical system. Controlled English is a controlled language that limits grammar and vocabulary with the goal of reducing ambiguity and complexity. In this regard, the advantage of Controlled English is that every sentence has a unique interpretation. This makes it possible to use algorithms to translate them into formal logic, which is generally not possible for natural languages.

Criteria of adequate translations

Criteria of adequate translations specify how to distinguish good from bad translations. They determine whether a logical formula accurately represents the logical structure of the sentence it translates and help logicians decide between competing translations of the same sentence. Various criteria are discussed in the academic literature. According to various theorists, like Peregrin and Svoboda, the most basic criterion is that translations should preserve the inferential relations between sentences. This principle is sometimes called the criterion of syntactic correctness or the criterion of reliability. It stipulates that if an argument is valid in the original text then the translated argument is also valid. One difficulty in this regard is that the same sentence may form part of several arguments, sometimes as a premise and sometimes as a conclusion. A translation of a sentence is only correct if in all or nearly all these cases, the inferential relations are preserved. Some theorists argue that this implies that translations are holistic. This means that one cannot evaluate sentence translations individually. Instead, the correctness of a translation of one sentence depends on how other sentences are translated to ensure correspondence in the inferential relations.

A closely related criterion focuses on the truth conditions of sentences. A truth condition of a sentence is what the world must be like for that sentence to be true. This criterion states that for adequate translations, the truth conditions of the original sentence are identical to the truth conditions of the translated sentence. The mere fact that the sentence and its translation have the same truth value is not sufficient. Instead, it implies that whenever one is true, the other is also true, i.e. they have to have the same truth value in all possible circumstances. This criterion is not universally accepted. It has been criticized based on the claim that logical formulas do not have truth conditions. According to this view, the symbols they use are meaningless by themselves and only have the purpose of expressing the logical form of a sentence without implying any concrete content. Another problem with this approach is that all tautologies have the same truth conditions: they are true independently of the circumstances. This would imply that any tautology is a correct translation of any other tautology.

Besides these core criteria, various additional criteria are usually discussed in the academic literature. Their goal is usually to exclude bad translations that nonetheless comply with the other criteria. For example, according to the first two criteria, the sentence "it rains" could be formalized as $p$ or as $\lnot \lnot \lnot \lnot \lnot \lnot p$ since both formulas have the same truth conditions and the same inferential patterns even though the second formula is a bad translation. One additional criterion is that translations should not include symbols that do not correspond to expressions in the original sentence. According to it, the translation of "it rains" should not include the symbol for logical negation ($\lnot$) since a corresponding expression is not found in the original sentence. Another criterion holds that the order of symbols in the translation should reflect the order of the expressions in the original sentence. For example, the sentence "Pete went up the hill and Quinn went up the hill" should be translated as $p\land q$ and not as $q\land p$. A closely related criterion is the principle of transparency, which states that translations should aim to be similar to the original expression. This concerns, for example, that a translation reflects the grammatical structure of the original sentence as closely as possible. The principle of parsimony states that simple translations (i.e. logical formulas that use as few symbols as possible) are to be preferred. One way to test whether a formalization is correct is to translate it back into natural language and see if this second translation matches the original.

The problem of the criteria of adequate translations is often not discussed in detail in introductions to logic. One reason for this is that some theorists see logic translation as an art or an intuitive practice. According to this view, it is based on a practical skill learned from experience with many examples and guided by some rough rules of thumb. This outlook implies that there are no strict rules of adequate formalization. Against this position, it has been argued that, without clear criteria of adequacy, it becomes very difficult to decide between competing formalizations of the same sentence.

Translation procedures

Various logicians have proposed translation procedures employing several steps to arrive at correct translations. Some only constitute rough guidelines to help translators in the process while others consist of detailed and effective procedures covering all the steps needed to arrive at a translation. In either case, they are usually not exact algorithms that could be blindly followed but rather tools to simplify the process.

Certain preparatory steps may be taken within natural language before the actual translation starts. An initial step is usually to understand the meaning of the original text, for example, by analyzing the different claims made in it. This includes identifying which arguments are made and whether a certain claim acts as a premise or as a conclusion. At this stage, some logicians recommend paraphrasing the sentences to make the claims more explicit, remove ambiguities, and highlight their logical structure. For example, the sentence "John Paul II is infallible" could be paraphrased as "it is not the case that John Paul II is fallible". This can involve identifying truth-functional connectives, like "and", "if...then", or "not", and decomposing the text accordingly. Each of the units analyzed this way is an individual claim that is either true or false. A closely related step is to group the individual expressions into logical units and classify them according to their logical role. In the sentence above, for example, "is fallible" is a predicate and the expression "it is not the case that" corresponds to the logical connective for negation.

Once these preparations are done, some theorists recommend translation into a hybrid language. Such hybrid expressions already contain a logical formalism but retain regular names for predicates and proper names. For example, the sentence "All animals have heads" could be translated as $\forall x((Animal(x))\to HasHead(x))$. The idea behind this step is that the regular terms still carry their original meaning and thereby make it easier to understand the formulas and to see how they relate to the original text. However, the natural language vocabulary is usually not precisely defined and therefore lacks the exactness demanded by formal logic. As a last step, these regular terms are then replaced by logical symbols. For the expression above, this would result in the formula $\forall x((A(x))\to H(x))$. This way, the connection to the ordinary language meanings is cut and the formulas become a purely formal expression of the logical structure of the original text while abstracting from its specific content.

The formalization of a full argument consists in several steps since the argument is made up of several propositions. Once the translation is complete, the formal tools of the logical system, such as its rules of inference, can be employed to assess whether the argument is valid.

Criticism

Logic translations are often criticized based on the claim that they are unable to accurately represent all the aspects and nuances of the original text. For example, logical vocabulary is usually unable to capture things like sarcasm, indirect insinuation, or emphasis. In this regard, many aspects of the meaning of the original expression that go beyond truth value, validity, and logical structure are usually ignored. On the level of informal inferences, there are various expressions that cannot easily be represented using the precise but limited languages of formal logic. For these reasons, it is often controversial whether a logic translation is correct. When a logic translation is used to defend the conclusion of a natural language argument, a common way to undermine such a defense is to claim that the logic translation is incorrect and that insights gained from the formal logical analysis do not carry any weight for the original argument.

Another type of criticism is not directed at logic translations themselves but at how they are discussed in many standard works and courses of logic. In this regard, theorists like Brun, Peregrin, and Svoboda argue such works do not provide a proper discussion of the role and limitations of logic translations. Instead, it is claimed that they merely treat this topic as a side note by providing a few examples while having their main focus on the formal systems themselves without an in-depth discussion of how these systems are to be applied to ordinary arguments.

References

Sources

• Baumgartner, Michael; Lampert, Timm (September 2008). "Adequate formalization". Synthese. 164 (1): 93–115. doi:10.1007/s11229-007-9218-1.
• Brun, Georg (2003). Die richtige Formel : Philosophische Probleme der logischen Formalisierung. Frankfurt: Ontos Verlag. ISBN 3-937202-13-7.
• Dowden, Bradley H. (2020). Logical Reasoning (PDF). (for an earlier version, see: Dowden, Bradley Harris (1993). Logical Reasoning. Wadsworth Publishing Company. ISBN 9780534176884.)
• Fu, Tzu-Keng; Kutz, Oliver (2012). "The Analysis and Synthesis of Logic Translation". Proceedings of the Twenty-Fifth International Florida Artificial Intelligence Research Society Conference. Palo Alto, Calif.: AAAI Press. ISBN 978-1-57735-558-8.
• Hurley, Patrick J. (2018). A concise introduction to logic (Thirteenth ed.). Boston, MA: Cengage Learning. ISBN 978-1-305-95809-8.
• Magnus, P. D.; Button, Tim; Thomas-Bolduc, Aaron; Zach, Richard; Loftis, J. Robert; Trueman, Robert (2021). forall x: Calgary: An Introduction to Formal Logic (PDF). Calgary: University of Calgery. ISBN 979-8527349504.
• Mossakowski, Till; Diaconescu, Răzvan; Tarlecki, Andrzej (July 2009). "What is a Logic Translation?". Logica Universalis. 3 (1): 95–124. doi:10.1007/s11787-009-0005-2.
• Pease, Adam; Li, John (2010). "Controlled English to Logic Translation". Theory and Applications of Ontology: Computer Applications. Springer Netherlands. pp. 245–258. ISBN 978-90-481-8847-5.
• Peregrin, Jaroslav; Svoboda, Vladimír (September 2013). "Criteria for logical formalization". Synthese. 190 (14): 2897–2924. doi:10.1007/s11229-012-0104-0.
• Peregrin, Jaroslav; Svoboda, Vladimír (2016). "Logical Formalization and the Formation of Logic(s)". Logique et Analyse (233): 55–80. ISSN 0024-5836.
• Rabe, Florian (2008). Representing Logics and Logic Translations (PDF) (PhD dissertation). Bremen: Jacobs University Bremen.