Traducción lógica

La traducción lógica es el proceso de representar un texto en el lenguaje formal de un sistema lógico . Si el texto original está formulado en lenguaje ordinario , entonces se suele utilizar el término formalización en lenguaje natural . Un ejemplo es la traducción de la oración en inglés "some men are bald" a la lógica de primer orden como${\displaystyle \exists x(M(x)\land B(x))}$. ^{[ a ]} ​​El propósito es revelar la estructura lógica de los argumentos . Esto permite utilizar las reglas precisas de la lógica formal para evaluar si estos argumentos son correctos. También puede guiar el razonamiento al llegar a nuevas conclusiones .

Muchas de las dificultades del proceso se deben a expresiones vagas o ambiguas en el lenguaje natural. Por ejemplo, la palabra inglesa "is" puede significar que algo existe , que es idéntico a otra cosa o que posee una propiedad determinada . Esto contrasta con la naturaleza precisa de la lógica formal, que evita tales ambigüedades. La formalización del lenguaje natural es relevante para diversos campos de las ciencias y las humanidades . Puede desempeñar un papel clave para la lógica en general, ya que es necesaria para establecer un vínculo entre muchas formas de razonamiento y sistemas lógicos abstractos. El uso de la lógica informal es una alternativa a la formalización, ya que analiza la coherencia de los argumentos del lenguaje ordinario en su forma original. La formalización del lenguaje natural se distingue de las traducciones lógicas que convierten fórmulas de un sistema lógico a otro, por ejemplo, de la lógica modal a la lógica de primer orden. Esta forma de traducción lógica es particularmente relevante para la programación lógica y la metalógica .

Un desafío importante en la traducción lógica es determinar la precisión de las traducciones y distinguir entre buenas y malas. El término técnico para esto es criterios de traducción adecuados . Un criterio frecuentemente citado establece que las traducciones deben preservar las relaciones inferenciales entre oraciones. Esto implica que si un argumento es válido en el texto original, el argumento traducido también debería serlo. Otro criterio es que la oración original y la traducción tengan las mismas condiciones de verdad . Otras condiciones sugeridas son que la traducción no incluya símbolos adicionales o innecesarios y que su estructura gramatical sea similar a la de la oración original. Se han propuesto varios procedimientos para traducir textos. Los pasos preparatorios incluyen comprender el significado del texto original y parafrasearlo para eliminar ambigüedades y hacer más explícita su estructura lógica. Como paso intermedio, se puede realizar una traducción a un lenguaje híbrido. Este lenguaje híbrido implementa un formalismo lógico, pero conserva el vocabulario de la expresión original. En el último paso, este vocabulario se reemplaza por símbolos lógicos. Los procedimientos de traducción no suelen ser algoritmos exactos y su aplicación depende de la comprensión intuitiva. Las traducciones de textos lógicos suelen ser criticadas porque no logran representar con precisión todos los aspectos y matices del texto original.

Una traducción lógica es la traducción de un texto a un sistema lógico . Por ejemplo, traducir la frase "todos los rascacielos son altos" como${\displaystyle \forall x(S(x)\to T(x))}$Es una traducción lógica que expresa una oración en inglés dentro del sistema lógico conocido como lógica de primer orden . El objetivo de las traducciones lógicas suele ser explicitar la estructura lógica de los argumentos del lenguaje natural . De esta manera, se pueden utilizar las reglas de la lógica formal para evaluar la validez de los argumentos . ^{[ 1 ]}

Entendida en un sentido amplio, la traducción es un proceso que asocia expresiones de una lengua de origen con expresiones de una lengua meta. ^{[ 2 ]} Por ejemplo, en una traducción frase por frase de un texto inglés al francés, las frases en inglés se vinculan con sus equivalentes en francés. La característica distintiva de las traducciones lógicas es que la lengua meta pertenece a un sistema lógico. ^{[ 3 ]} Las traducciones lógicas se diferencian de las traducciones regulares en que se centran principalmente en expresar la estructura lógica del texto original y menos en su contenido concreto. Las traducciones regulares, en cambio, tienen en cuenta diversos factores adicionales relacionados con el contenido, el significado y el estilo de la expresión original. ^{[ 4 ]} Por esta razón, algunos teóricos, como Peregrin y Svoboda, han argumentado que no se trata de una forma de traducción. Suelen utilizar otros términos, como «formalización», «simbolización» y «explicación». ^{[ 5 ]} Esta opinión no es compartida por todos los lógicos y algunos, como Mark Sainsbury , argumentan que las traducciones lógicas exitosas conservan todo el significado original al tiempo que explicitan la estructura lógica. ^{[ 6 ]}

Los debates sobre traducciones lógicas suelen centrarse en el problema de expresar la estructura lógica de las oraciones del lenguaje ordinario en un sistema lógico formal. El término también abarca los casos en que la traducción se produce de un sistema lógico a otro. ^{[ 7 ]}

En el estudio y análisis de las traducciones lógicas se emplean diversos conceptos básicos. La lógica se interesa por el razonamiento correcto, que se manifiesta en forma de inferencias o argumentos. Un argumento es un conjunto de premisas junto con una conclusión. ^{[ 8 ]} Un argumento es deductivamente válido si es imposible que su conclusión sea falsa si todas sus premisas son verdaderas. ^{[ 9 ]} Los argumentos válidos siguen una regla de inferencia , que prescribe cómo deben estructurarse las premisas y la conclusión. ^{[ 10 ]} Una regla de inferencia prominente es el modus ponens , que establece que los argumentos de la forma "(1) p ; (2) si p entonces q ; (3) por lo tanto q " son válidos. ^{[ 11 ]} Un ejemplo de un argumento que sigue el modus ponens es: "(1) hoy es domingo; (2) si hoy es domingo entonces no tengo que ir a trabajar hoy; (3) por lo tanto no tengo que ir a trabajar hoy". ^{[ 12 ]}

Existen diferentes sistemas lógicos para evaluar la validez de los argumentos. ^{[ 13 ]} Por ejemplo, la lógica proposicional se centra únicamente en inferencias basadas en conectores lógicos , como «y» o «si...entonces». La lógica de primer orden, por otro lado, también incluye patrones inferenciales pertenecientes a expresiones como «todo» o «algunos». Las lógicas extendidas abarcan inferencias adicionales, por ejemplo, en relación con lo que es posible y necesario o con las relaciones temporales. ^{[ 14 ]}

Esto significa que los sistemas lógicos generalmente no capturan todos los patrones inferenciales. Esto es relevante para la traducción lógica, ya que pueden pasar por alto patrones para los que no fueron diseñados. Por ejemplo, la lógica proposicional puede usarse para demostrar que el siguiente argumento en lenguaje ordinario es correcto: "(1) Juan no es piloto; (2) Juan es piloto o Bill es poeta; (3) por lo tanto, Bill es poeta". Sin embargo, no logra demostrar que el argumento "(1) Juan es piloto; (2) por lo tanto, Juan puede volar" sea correcto, ya que no puede capturar la relación inferencial entre los términos "piloto" y "puede volar". ^{[ 15 ]} Si un sistema lógico se aplica a casos que exceden su alcance limitado, no puede evaluar la validez de los argumentos en lenguaje natural. La ventaja de esta limitación es que se evita la vaguedad y la ambigüedad de los argumentos en lenguaje natural al hacer que algunos de los patrones inferenciales sean muy claros. ^{[ 16 ]}

Los sistemas lógicos formales utilizan lenguajes formales precisos para expresar sus fórmulas e inferencias. En el caso de la lógica proposicional, letras como${\displaystyle A}$y${\displaystyle B}$se utilizan para representar proposiciones simples. Se pueden combinar en proposiciones más complejas utilizando conectores proposicionales como${\displaystyle \land }$para expresar que ambas proposiciones son verdaderas y${\displaystyle \lor }$para expresar que al menos una de las proposiciones es verdadera. Entonces, si${\displaystyle A}$significa "Adam es atlético" y${\displaystyle B}$significa "Barbara es atlética", luego la fórmula${\displaystyle A\land B}$representa la afirmación de que "Adán es atlético, y también Bárbara es atlética". ^{[ 17 ]} La lógica de primer orden también incluye conectores proposicionales, pero introduce símbolos adicionales. Las letras mayúsculas se utilizan para los predicados y las minúsculas para los individuos. Por ejemplo, si${\displaystyle A}$representa el predicado "está enojado" y${\displaystyle e}$representa a la Elsa individual, luego la fórmula${\displaystyle A(e)}$expresa la proposición "Elsa está enfadada". Otra innovación de la lógica de primer orden es el uso de cuantificadores como${\displaystyle \exists }$y${\displaystyle \forall }$para representar los significados de términos como "algunos" y "todos". ^{[ 18 ]}

Las traducciones lógicas se pueden clasificar según el idioma de origen del texto original. Para muchas traducciones lógicas, el texto original pertenece a un idioma natural, como el inglés o el francés. En este caso, se suele utilizar el término "formalización en lenguaje natural". ^{[ 19 ]} Por ejemplo, la oración "Dana es una lógica y Dana es una buena persona" se puede formalizar en lógica proposicional utilizando la fórmula lógica.${\displaystyle L\land N}$. ^{[ 20 ]} Otro tipo de traducción lógica se produce entre dos sistemas lógicos. Esto significa que el texto fuente está compuesto por fórmulas lógicas pertenecientes a un sistema lógico y el objetivo es asociarlas con fórmulas lógicas pertenecientes a otro sistema lógico. ^{[ 21 ]} Por ejemplo, la fórmula${\displaystyle \Box A(x)}$En lógica modal se puede traducir a lógica de primer orden usando la fórmula${\displaystyle \forall y(R(x,y)\to A(y))}$. ^{[ 22 ]}

Formalización del lenguaje natural

La formalización del lenguaje natural es una forma de análisis semántico ^{[ b ]} que parte de una oración en lenguaje natural y la traduce a una fórmula lógica. ^{[ 3 ]} Su objetivo es explicitar la estructura lógica de las oraciones y argumentos en lenguaje natural. ^{[ 25 ]} Se centra principalmente en su forma lógica, mientras que su contenido específico suele ignorarse. ^{[ 26 ]} El análisis lógico es un término estrechamente relacionado que se refiere al proceso de descubrir la forma o estructura lógica de una oración. ^{[ 27 ]} La ​​formalización del lenguaje natural permite utilizar la lógica formal para analizar y evaluar argumentos en lenguaje natural. Esto es especialmente relevante para argumentos complejos, que a menudo son difíciles de evaluar sin herramientas formales. La traducción lógica también puede utilizarse para buscar nuevos argumentos y, por lo tanto, guiar el proceso de razonamiento. ^{[ 28 ]} El proceso inverso de la formalización se denomina a veces "verbalización". Ocurre cuando las fórmulas lógicas se traducen de nuevo al lenguaje natural. Este proceso es menos matizado y los debates sobre la relación entre el lenguaje natural y la lógica suelen centrarse en el problema de la formalización. ^{[ 29 ]}

El éxito de las aplicaciones de la lógica formal al lenguaje natural requiere que la traducción sea correcta. ^{[ 30 ]} Una formalización es correcta si sus características lógicas explícitas coinciden con las características lógicas implícitas de la oración original. ^{[ 31 ]} La forma lógica de las oraciones del lenguaje ordinario a menudo no es obvia, ya que existen muchas diferencias entre los lenguajes naturales y los lenguajes formales utilizados por los lógicos. ^{[ 32 ]} Esto plantea diversas dificultades para la formalización. Por ejemplo, las expresiones ordinarias frecuentemente incluyen expresiones vagas y ambiguas. Por esta razón, la validez de un argumento a menudo depende no solo de las expresiones en sí mismas, sino también de cómo se interpretan. ^{[ 33 ]} Por ejemplo, la oración "los burros tienen orejas" podría significar que todos los burros (sin excepción) tienen orejas o que los burros suelen tener orejas . La segunda traducción no excluye la existencia de algunos burros sin orejas. Esta diferencia es importante para determinar si se puede utilizar un cuantificador universal para traducir la oración. Tales ambigüedades no se encuentran en las formulaciones precisas de los lenguajes lógicos artificiales y deben resolverse antes de que sea posible la traducción. ^{[ 34 ]}

El problema de la formalización del lenguaje natural tiene diversas implicaciones para las ciencias y las humanidades , especialmente para los campos de la lingüística , la ciencia cognitiva y la informática . ^{[ 35 ]} En el campo de la lingüística formal , por ejemplo, Richard Montague ofrece varias sugerencias sobre cómo formalizar las expresiones del idioma inglés en su teoría de la gramática universal . ^{[ 36 ]} La formalización también se discute en la filosofía de la lógica en relación con su papel en la comprensión y aplicación de la lógica. ^{[ 37 ]} Si la lógica se entiende como la teoría de las inferencias válidas en general, entonces la formalización juega un papel central en ella, ya que muchas de estas inferencias se formulan en el lenguaje ordinario. La traducción lógica es necesaria para vincular los sistemas formales de lógica con los argumentos expresados ​​en el lenguaje ordinario. ^{[ 38 ]} Una afirmación relacionada es que todos los lenguajes lógicos, incluidos los altamente abstractos como la lógica modal y la lógica multivaluada , tienen que estar "anclados en las estructuras del lenguaje natural". ^{[ 39 ]} Una dificultad en este sentido es que la lógica se suele entender como una ciencia formal , pero una teoría de su relación con cuestiones empíricas propias de los lenguajes ordinarios va más allá de esta concepción puramente formal. ^{[ 40 ]} Por esta razón, algunos teóricos como Georg Brun identifican una rama pura de la lógica y la contrastan con la lógica aplicada, que incluye el problema de la formalización. ^{[ 41 ]}

Algunos teóricos concluyen, a partir de estas consideraciones, que el razonamiento informal tiene prioridad sobre el razonamiento formal. Esto implicaría que la lógica formal solo puede tener éxito si se basa en una formalización correcta. ^{[ 42 ]} Por ejemplo, Michael Baumgartner y Timm Lampert sostienen que «no existen falacias informales », sino solo «malentendidos de argumentos informales expresados ​​por formalizaciones inadecuadas». ^{[ 43 ]} Esta postura es rechazada por Jaroslav Peregrin y Vladimír Svoboda, quienes argumentan que el razonamiento informal no siempre es preciso y puede corregirse mediante la aplicación de la lógica formal. ^{[ 44 ]}

Una alternativa a la formalización es el uso de la lógica informal , que analiza la solidez de los argumentos en lenguaje natural en su forma original. Esto presenta muchas ventajas al evitar las dificultades asociadas con las traducciones lógicas, pero también conlleva varios inconvenientes. Por ejemplo, la lógica informal carece de la precisión que se encuentra en la lógica formal para distinguir entre buenos argumentos y falacias . ^{[ 45 ]}

Ejemplos

Para la lógica proposicional , la oración "Tiffany vende joyas y Gucci vende colonia" se puede traducir como${\displaystyle T\land G}$. En este ejemplo,${\displaystyle T}$representa la afirmación "Tiffany vende joyas",${\displaystyle G}$significa "Gucci vende colonia" y${\displaystyle \land }$es la conjunción lógica correspondiente a "y". Otro ejemplo es la oración "Notre Dame aumenta la matrícula si Purdue lo hace", que puede formalizarse como${\displaystyle P\to N}$. ^{[ 46 ]}

Para la lógica de predicados , la oración "Ann ama a Ben" se puede traducir como${\displaystyle L(a,b)}$. En este ejemplo,${\displaystyle L}$significa "amor",${\displaystyle a}$significa Ann y${\displaystyle b}$significa Ben. ^{[ 47 ]} Otros ejemplos son "algunos hombres son calvos" como${\displaystyle \exists x(M(x)\land B(x))}$, ^{[ 48 ]} "todos los ríos tienen una cabecera" como${\displaystyle \forall x(R(x)\to H(x))}$, ^{[ 49 ]} "ninguna rana es un pájaro" como${\displaystyle \forall x(F(x)\to \lnot B(x))}$, ^{[ 50 ]} y "si Elizabeth es historiadora, entonces algunas mujeres son historiadoras" como${\displaystyle H(e)\to \exists x(W(x)\land H(x))}$. ^{[ 51 ]}

Expresiones problemáticas

Para diversas expresiones del lenguaje natural, no está claro cómo deben traducirse y la traducción correcta puede diferir de un caso a otro. La vaguedad y ambigüedad del lenguaje ordinario, en contraste con la naturaleza precisa de la lógica, suele ser responsable de estos problemas. Por esta razón, ha resultado difícil encontrar un algoritmo general que cubra todos los casos de traducción. ^{[ 52 ]} Por ejemplo, el significado de expresiones básicas del inglés como "and", "or" y "if...then" puede variar de un contexto a otro. Los operadores lógicos correspondientes en lógica simbólica (${\displaystyle \land }$,${\displaystyle \lor }$,${\displaystyle \to }$), por otro lado, tienen significados definidos con mucha precisión. En este sentido, solo capturan algunos aspectos del significado original. ^{[ 53 ]}

La palabra inglesa "is" plantea otra dificultad, ya que tiene muchos significados. Puede expresar existencia (como en "there is a Santa Claus"), identidad (como en "Superman is Clark Kent") y predicación (como en "Venus is a planet"). Cada uno de estos significados se expresa de manera diferente en sistemas lógicos como la lógica de primer orden. ^{[ 54 ]} Otra dificultad es que los cuantificadores a menudo no se expresan explícitamente en el lenguaje común. Por ejemplo, la oración "emeralds are green" no indica directamente el cuantificador universal "all", es decir, "all emeralds are green". Sin embargo, algunas oraciones con una estructura similar, como "children live next door", implican el cuantificador existencial "some", es decir, "some children live next door". ^{[ 55 ]}

Un problema estrechamente relacionado se encuentra en algunos argumentos válidos del lenguaje natural cuyas traducciones más obvias son inválidas en la lógica formal. Por ejemplo, el argumento "(1) Fury es un caballo; (2) por lo tanto Fury es un animal" es válido, pero el argumento correspondiente en lógica formal de${\displaystyle H(f)}$a${\displaystyle A(f)}$es inválido. Una solución es agregar al argumento una premisa adicional que indique que "todos los caballos son animales". Otra es traducir la oración "Furia es un caballo" como${\displaystyle H(f)\land A(f)}$Estas soluciones presentan nuevos problemas. ^{[ 56 ]} Otras expresiones problemáticas son las descripciones definidas , las oraciones condicionales y los adjetivos atributivos , así como los sustantivos incontables y la anáfora . ^{[ 57 ]}

Los criterios de traducción adecuada especifican cómo distinguir las buenas de las malas traducciones. Determinan si una fórmula lógica representa con precisión la estructura lógica de la oración que traduce. De esta manera, ayudan a los lógicos a decidir entre traducciones contrapuestas de la misma oración. ^{[ 67 ]} En la literatura académica se discuten varios criterios. ^{[ 68 ]} Según varios teóricos, como Peregrin y Svoboda, el criterio más básico es que las traducciones deben preservar las relaciones inferenciales entre oraciones. Este principio a veces se denomina criterio de corrección sintáctica o criterio de fiabilidad . ^{[ 69 ]} Estipula que si un argumento es válido en el texto original, entonces el argumento traducido también lo es. ^{[ 70 ]} Una dificultad en este sentido es que la misma oración puede formar parte de varios argumentos, a veces como premisa y a veces como conclusión. Una traducción de una oración solo es correcta si en todos o casi todos estos casos, se preservan las relaciones inferenciales. ^{[ 71 ]} Según la perspectiva del holismo , esto implica que no se pueden evaluar las traducciones de oraciones individualmente. Esta postura sostiene que la corrección de la traducción de una oración depende de cómo se traduzcan otras oraciones para asegurar la correspondencia en las relaciones inferenciales. Esta visión es rechazada por los atomistas, quienes afirman que la corrección de las traducciones de oraciones puede evaluarse individualmente. ^{[ 72 ]}

Un criterio estrechamente relacionado se centra en las condiciones de verdad de las oraciones. ^{[ 73 ]} Una condición de verdad de una oración es cómo debe ser el mundo para que esa oración sea verdadera. ^{[ 74 ]} Este criterio establece que, para traducciones adecuadas, las condiciones de verdad de la oración original son idénticas a las condiciones de verdad de la oración traducida. El mero hecho de que la oración y su traducción tengan el mismo valor de verdad no es suficiente. En cambio, implica que siempre que una sea verdadera, la otra también lo es, es decir, deben tener el mismo valor de verdad en todas las circunstancias posibles. ^{[ 75 ]} Este criterio no es universalmente aceptado y ha sido criticado basándose en la afirmación de que las fórmulas lógicas no tienen condiciones de verdad. Según esta visión, los símbolos que utilizan carecen de significado por sí mismos y solo tienen el propósito de expresar la forma lógica de una oración sin implicar ningún contenido concreto. ^{[ 31 ]} Otro problema con este enfoque es que todas las tautologías tienen las mismas condiciones de verdad: son verdaderas independientemente de las circunstancias. Esto implicaría que cualquier tautología es una traducción correcta de cualquier otra tautología. ^{[ 76 ]}

Además de estos criterios básicos, en la literatura académica se suelen discutir varios criterios adicionales. Su objetivo suele ser excluir las malas traducciones que, no obstante, cumplen con los demás criterios. Por ejemplo, según los dos primeros criterios, la oración "llueve" podría formalizarse como${\displaystyle p}$o como${\displaystyle \lnot \lnot \lnot \lnot \lnot \lnot p}$. La razón es que ambas fórmulas tienen las mismas condiciones de verdad y los mismos patrones inferenciales. Sin embargo, la segunda fórmula es una mala traducción. Un criterio adicional es que las traducciones no deben incluir símbolos que no correspondan a expresiones en la oración original. Según esto, la traducción de "llueve" no debe incluir el símbolo de negación lógica (${\displaystyle \lnot }$) ya que no se encuentra una expresión correspondiente en la oración original. ^{[ 77 ]}

Otro criterio sostiene que el orden de los símbolos en la traducción debe reflejar el orden de las expresiones en la oración original. Por ejemplo, la oración "Pete subió la colina y Quinn subió la colina" debe traducirse como${\displaystyle p\land q}$y no como${\displaystyle q\land p}$[ ^{77 ] Un} criterio estrechamente relacionado es el principio de transparencia , que establece que las traducciones deben procurar ser similares a la expresión original. Esto se refiere, por ejemplo, a que una traducción refleje la estructura gramatical de la oración original con la mayor fidelidad posible. ^{[ 78 ]} El principio de parsimonia establece que se deben preferir las traducciones simples (es decir, fórmulas lógicas que utilizan la menor cantidad de símbolos posible). ^{[ 79 ]} Una forma de comprobar si una formalización es correcta es traducirla de nuevo al lenguaje natural y ver si esta segunda traducción coincide con el original. ^{[ 80 ]}

El problema de los criterios de traducción adecuada a menudo no se aborda en detalle en las introducciones a la lógica. Una razón para ello es que algunos teóricos, como Herbert E. Hendry, consideran la traducción lógica como un arte o una práctica intuitiva. Según esta perspectiva, se basa en una habilidad práctica adquirida a través de la experiencia con numerosos ejemplos y guiada por algunas reglas generales. Este enfoque implica que no existen reglas estrictas de formalización adecuada. Los críticos de esta idea argumentan que, sin criterios claros de traducción adecuada, resulta muy difícil decidir entre formalizaciones contrapuestas de la misma oración. ^{[ 81 ]}

Diversos lógicos han propuesto procedimientos de traducción que emplean varios pasos para llegar a traducciones correctas. Algunos constituyen solo pautas generales para ayudar a los traductores en el proceso, mientras que otros consisten en procedimientos detallados y eficaces que abarcan todos los pasos necesarios para llegar a una traducción. En cualquier caso, no suelen ser algoritmos exactos que puedan seguirse a ciegas, sino más bien herramientas para simplificar el proceso. ^{[ 82 ]}

Se pueden tomar medidas preparatorias en lenguaje natural antes de que comience la traducción propiamente dicha. Un primer paso suele ser comprender el significado del texto original, por ejemplo, analizando las afirmaciones que contiene. Esto incluye identificar qué argumentos se presentan y si una afirmación actúa como premisa o como conclusión. ^{[ 83 ]} En esta etapa, se recomienda parafrasear las oraciones para hacer más explícitas las afirmaciones, eliminar ambigüedades y resaltar su estructura lógica. Por ejemplo, la oración "Juan Pablo II es infalible" podría parafrasearse como "no es cierto que Juan Pablo II sea falible". ^{[ 84 ]} Esto puede implicar identificar conectores veritativos-funcionales , como "y", "si...entonces" o "no", y descomponer el texto en consecuencia. Cada una de las unidades analizadas de esta manera es una afirmación individual que es verdadera o falsa. ^{[ 85 ]} Un paso estrechamente relacionado es agrupar las expresiones individuales en unidades lógicas y clasificarlas según su función lógica. En la oración anterior, por ejemplo, "es falible" es un predicado y la expresión "no es el caso que" corresponde al conector lógico de negación . ^{[ 86 ]}

Una vez realizados estos preparativos, algunos teóricos, como Peregrino y Svoboda, recomiendan la traducción a un lenguaje híbrido. Estas expresiones híbridas ya contienen un formalismo lógico, pero conservan nombres regulares para los predicados y los nombres propios. Por ejemplo, la oración "Todos los ríos tienen cabezas" podría traducirse como${\displaystyle \forall x((River(x))\to HasHead(x))}$La idea detrás de este paso es que los términos regulares conservan su significado original y, por lo tanto, facilitan la comprensión de las fórmulas y la visualización de su relación con el texto original. El vocabulario del lenguaje natural generalmente no está definido con precisión y, por lo tanto, carece de la exactitud que exige la lógica formal. ^{[ 87 ]} Como último paso, estos términos regulares se reemplazan por símbolos lógicos. Para la expresión anterior, esto daría como resultado la fórmula${\displaystyle \forall x((R(x))\to H(x))}$De esta forma, se corta la conexión con los significados del lenguaje ordinario. Las fórmulas se convierten en una expresión puramente formal de la estructura lógica del texto original y se elimina cualquier contenido específico. ^{[ 88 ]}

La formalización de un argumento completo consta de varios pasos, ya que el argumento está compuesto por varias proposiciones. ^{[ 89 ]} Una vez completada la traducción, se pueden emplear las herramientas formales del sistema lógico, como sus reglas de inferencia, para evaluar si el argumento es válido. ^{[ 90 ]}

La crítica a las traducciones lógicas se centra principalmente en las limitaciones y el rango de aplicaciones válidas, así como en la forma en que se discuten en la literatura académica. La traducción lógica es un proceso ampliamente aceptado y utilizado en lógica y otros campos, incluso entre teóricos que critican algunos aspectos de la misma. ^{[ 91 ]} En algunos casos, las traducciones lógicas individuales se critican con base en la afirmación de que no pueden representar con precisión todos los aspectos y matices del texto original. Por ejemplo, el vocabulario lógico generalmente no puede capturar cosas como el sarcasmo , la insinuación indirecta o el énfasis . En este sentido, muchos aspectos del significado de la expresión original que van más allá del valor de verdad, la validez y la estructura lógica se ignoran con frecuencia. ^{[ 92 ]} A nivel de inferencias informales, hay varias expresiones que no se pueden representar fácilmente utilizando los lenguajes precisos pero limitados de la lógica formal. ^{[ 93 ]} Por estas razones, a veces es controvertido si una traducción lógica específica es correcta. Cuando una traducción lógica se utiliza para defender la conclusión de un argumento en lenguaje natural, una forma de socavar dicha defensa es afirmar que la traducción lógica es incorrecta. Esto implica que las ideas obtenidas del análisis lógico formal no tienen ningún peso para el argumento original. ^{[ 90 ]}

Otro tipo de crítica no se dirige a las traducciones lógicas en sí mismas, sino a cómo se abordan en muchas obras y cursos estándar de lógica. En este sentido, teóricos como Georg Brun, Peregrin y Svoboda argumentan que dichas obras no ofrecen un análisis adecuado del papel y las limitaciones de las traducciones lógicas. En cambio, se afirma que simplemente tratan este tema como una nota al margen. Pueden proporcionar algunos ejemplos, pero su enfoque principal está en los sistemas formales en sí mismos. De esta manera, no se profundiza en cómo se aplican estos sistemas a los argumentos ordinarios. ^{[ 94 ]}

• Lógica común
• Traducción de doble negación
• Traducción estándar