الترجمة المنطقية

الترجمة المنطقية هي عملية تمثيل نص بلغة رسمية لنظام منطقي . إذا كان النص الأصلي مكتوبًا بلغة عادية ، يُستخدم مصطلح " صياغة اللغة الطبيعية" . مثال على ذلك ترجمة الجملة الإنجليزية "some men are bald" إلى منطق الرتبة الأولى .${\displaystyle \exists x(M(x)\land B(x))}$[ ^{أ ]} الهدف هو الكشف عن البنية المنطقية للحجج . وهذا يُتيح استخدام القواعد الدقيقة للمنطق الصوري لتقييم صحة هذه الحجج. كما يُمكن أن يُرشد ^{الاستدلال} بالتوصل إلى استنتاجات جديدة .

تنشأ العديد من صعوبات هذه العملية من التعبيرات المبهمة أو الغامضة في اللغة الطبيعية. فعلى سبيل المثال، قد تعني كلمة "is" في اللغة الإنجليزية أن شيئًا ما موجود ، أو أنه مطابق لشيء آخر، أو أنه يمتلك خاصية معينة . وهذا يتناقض مع الطبيعة الدقيقة للمنطق الصوري، الذي يتجنب مثل هذه الغموضات. يُعدّ التعبير الصوري باللغة الطبيعية ذا صلة بمجالات متنوعة في العلوم والإنسانيات . وقد يلعب دورًا محوريًا في المنطق عمومًا، إذ إنه ضروري لربط العديد من أشكال الاستدلال بالأنظمة المنطقية المجردة. ويُعدّ استخدام المنطق غير الرسمي بديلًا للتعبير الصوري ، لأنه يحلل مدى وجاهة حجج اللغة العادية في صورتها الأصلية. ويختلف التعبير الصوري باللغة الطبيعية عن ترجمات المنطق التي تحوّل الصيغ من نظام منطقي إلى آخر، كالتحويل من المنطق الموجه إلى منطق الرتبة الأولى. ويُعدّ هذا النوع من ترجمة المنطق ذا صلة خاصة ببرمجة المنطق والمنطق الفوقي .

يُعدّ تحديد دقة الترجمات وتمييز الترجمات الجيدة عن الرديئة تحديًا رئيسيًا في الترجمة المنطقية. ويُطلق على هذا المصطلح التقني " معايير الترجمات الكافية" . ينص أحد المعايير الشائعة على ضرورة أن تحافظ الترجمات على العلاقات الاستدلالية بين الجمل. وهذا يعني أنه إذا كانت الحجة صحيحة في النص الأصلي، فيجب أن تكون الحجة المترجمة صحيحة أيضًا. ومن المعايير الأخرى أن تتطابق شروط الصدق في الجملة الأصلية والترجمة . كما تُقترح شروط أخرى، منها ألا تتضمن الترجمة رموزًا إضافية أو غير ضرورية، وأن يكون تركيبها النحوي مشابهًا للجملة الأصلية. وقد طُرحت إجراءات متنوعة لترجمة النصوص. تشمل الخطوات التحضيرية فهم معنى النص الأصلي وإعادة صياغته لإزالة الغموض وجعل تركيبه المنطقي أكثر وضوحًا. وكخطوة وسيطة، قد تتم الترجمة إلى لغة هجينة. تُطبّق هذه اللغة الهجينة شكلية منطقية مع الاحتفاظ بمفردات التعبير الأصلي. وفي الخطوة الأخيرة، تُستبدل هذه المفردات برموز منطقية. عادةً ما لا تكون إجراءات الترجمة خوارزميات دقيقة، ويعتمد تطبيقها على الفهم البديهي. كثيراً ما تتعرض الترجمات المنطقية للانتقاد على أساس أنها غير قادرة على تمثيل جميع جوانب وفروق النص الأصلي بدقة.

الترجمة المنطقية هي ترجمة نص إلى نظام منطقي . على سبيل المثال، ترجمة جملة "جميع ناطحات السحاب طويلة" إلى${\displaystyle \forall x(S(x)\to T(x))}$الترجمة المنطقية هي ترجمة تعبر عن جملة إنجليزية باستخدام النظام المنطقي المعروف باسم منطق الرتبة الأولى . يهدف هذا النوع من الترجمة عادةً إلى توضيح البنية المنطقية للحجج اللغوية الطبيعية . وبهذه الطريقة، يمكن استخدام قواعد المنطق الصوري لتقييم صحة هذه الحجج . ^{[ 1 ]}

بمفهومها الواسع، تُعرَّف الترجمة بأنها عملية ربط تعابير من لغة المصدر بتعابير من لغة الهدف. ^{[ 2 ]} فعلى سبيل المثال، في الترجمة جملةً بجملة لنص إنجليزي إلى الفرنسية، تُربط الجمل الإنجليزية بنظيراتها الفرنسية. وتتميز الترجمات المنطقية بأن اللغة الهدف تنتمي إلى نظام منطقي. ^{[ 3 ]} وتختلف الترجمات المنطقية عن الترجمات العادية في أنها تُعنى أساسًا بالتعبير عن البنية المنطقية للنص الأصلي، وأقل اهتمامًا بمحتواه الملموس. أما الترجمات العادية، فتأخذ في الحسبان عوامل إضافية متنوعة تتعلق بمحتوى النص الأصلي ومعناه وأسلوبه. ^{[ 4 ]} ولهذا السبب، جادل بعض المنظرين، مثل بيرغرين وسفوبودا، بأنها ليست شكلًا من أشكال الترجمة، بل يميلون إلى استخدام مصطلحات أخرى، مثل "الصياغة الرسمية" و"الترميز" و"الشرح". ^{[ 5 ]} لا يتفق جميع علماء المنطق مع هذا الرأي، ويجادل البعض، مثل مارك سينسبري ، بأن الترجمات المنطقية الناجحة تحافظ على كل المعنى الأصلي مع توضيح البنية المنطقية. ^{[ 6 ]}

تركز المناقشات حول الترجمات المنطقية عادةً على مشكلة التعبير عن البنية المنطقية لجمل اللغة العادية في نظام منطقي رسمي. ويشمل المصطلح أيضًا الحالات التي تتم فيها الترجمة من نظام منطقي إلى آخر. ^{[ 7 ]}

تُستخدم مفاهيم أساسية متنوعة في دراسة وتحليل الترجمات المنطقية. يهتم المنطق بالاستدلال الصحيح، الذي يحدث في صورة استنتاجات أو حجج. الحجة هي مجموعة من المقدمات متبوعة بنتيجة. ^{[ 8 ]} تكون الحجة صحيحة استنتاجياً إذا كان من المستحيل أن تكون نتيجتها خاطئة إذا كانت جميع مقدماتها صحيحة. ^{[ 9 ]} تتبع الحجج الصحيحة قاعدة استدلال ، تحدد كيفية بناء المقدمات والنتيجة. ^{[ 10 ]} من أبرز قواعد الاستدلال قاعدة القياس المنطقي للمقدمات (modus ponens) ، التي تنص على أن الحجج التي تأخذ الشكل "(1) ص ؛ (2) إذا كان ص فإن ق ؛ (3) إذن ق " صحيحة. ^{[ 11 ]} مثال على حجة تتبع القياس المنطقي للمقدمات: "(1) اليوم هو الأحد؛ (2) إذا كان اليوم هو الأحد، فلا يجب عليّ الذهاب إلى العمل اليوم؛ (3) إذن لا يجب عليّ الذهاب إلى العمل اليوم". ^{[ 12 ]}

توجد أنظمة منطقية مختلفة لتقييم صحة الحجج. ^{[ 13 ]} فعلى سبيل المثال، يركز منطق القضايا فقط على الاستدلالات القائمة على الروابط المنطقية ، مثل "و" أو "إذا...إذن". أما منطق الرتبة الأولى، فيشمل أيضًا أنماط الاستدلال التي تنتمي إلى تعابير مثل "كل" أو "بعض". وتغطي المنطق الموسع استدلالات أخرى، على سبيل المثال، فيما يتعلق بما هو ممكن وضروري أو فيما يتعلق بالعلاقات الزمنية. ^{[ 14 ]}

هذا يعني أن الأنظمة المنطقية لا تستوعب عادةً جميع أنماط الاستدلال. وهذا مهمٌّ لترجمة المنطق، إذ قد تغفل أنماطًا لم تُصمَّم من أجلها. على سبيل المثال، يمكن استخدام منطق القضايا لإثبات صحة الحجة التالية في اللغة العادية: "(1) جون ليس طيارًا؛ (2) جون طيار أو بيل شاعر؛ (3) إذن بيل شاعر". مع ذلك، يعجز هذا المنطق عن إثبات صحة الحجة "(1) جون طيار؛ (2) إذن جون يستطيع الطيران" لأنه لا يستطيع استيعاب العلاقة الاستدلالية بين مصطلحي "طيار" و"يستطيع الطيران". ^{[ 15 ]} إذا طُبِّق نظام منطقي على حالات تتجاوز نطاقه المحدود، فإنه يعجز عن تقييم صحة حجج اللغة الطبيعية. وتكمن ميزة هذا القيد في تجنُّب غموض حجج اللغة الطبيعية والتباسها ، وذلك بجعل بعض أنماط الاستدلال واضحةً جدًّا. ^{[ 16 ]}

تستخدم الأنظمة المنطقية الرسمية لغات رسمية دقيقة للتعبير عن صيغها واستنتاجاتها. في حالة منطق القضايا، تُستخدم حروف مثل${\displaystyle A}$و${\displaystyle B}$تُستخدم لتمثيل القضايا البسيطة. ويمكن دمجها في قضايا أكثر تعقيدًا باستخدام روابط القضايا مثل${\displaystyle \land }$للتعبير عن أن كلا الافتراضين صحيحان و${\displaystyle \lor }$للتعبير عن أن إحدى القضايا على الأقل صحيحة. لذا إذا${\displaystyle A}$يرمز إلى "آدم رياضي" و${\displaystyle B}$يرمز إلى "باربرا رياضية"، ثم الصيغة${\displaystyle A\land B}$يمثل هذا الادعاء أن "آدم رياضي، وكذلك باربرا رياضية". ^{[ 17 ]} يتضمن منطق الرتبة الأولى أيضًا روابط القضايا، ولكنه يُدخل رموزًا إضافية. تُستخدم الأحرف الكبيرة للمسندات، بينما تُستخدم الأحرف الصغيرة للأفراد. على سبيل المثال، إذا${\displaystyle A}$يرمز إلى المسند "غاضب" و${\displaystyle e}$تمثل إلسا الفردية، ثم الصيغة${\displaystyle A(e)}$يعبّر عن القضية "إلسا غاضبة". ومن الابتكارات الأخرى لمنطق الرتبة الأولى استخدام أدوات التحديد الكمي مثل${\displaystyle \exists }$و${\displaystyle \forall }$لتمثيل معاني مصطلحات مثل "بعض" و"كل". ^{[ 18 ]}

يمكن تصنيف الترجمات المنطقية بناءً على لغة المصدر للنص الأصلي. في كثير من الترجمات المنطقية، ينتمي النص الأصلي إلى لغة طبيعية، مثل الإنجليزية أو الفرنسية. في هذه الحالة، يُستخدم مصطلح "صياغة اللغة الطبيعية" غالبًا. ^{[ 19 ]} على سبيل المثال، يمكن صياغة الجملة "دانا منطقية ودانا شخص لطيف" في منطق القضايا باستخدام الصيغة المنطقية${\displaystyle L\land N}$[ ^{20 ]} ثمة نوع آخر من الترجمة المنطقية يحدث بين نظامين منطقيين. وهذا يعني أن النص الأصلي يتكون من صيغ منطقية تنتمي إلى نظام منطقي واحد، والهدف هو ربطها بصيغ منطقية تنتمي إلى نظام منطقي آخر. ^{[ 21 ] على} سبيل المثال، الصيغة${\displaystyle \Box A(x)}$يمكن ترجمة المنطق الموجه إلى منطق الرتبة الأولى باستخدام الصيغة${\displaystyle \forall y(R(x,y)\to A(y))}$[ ^{22 ]​}

صياغة اللغة الطبيعية

تُعدّ الصياغة الرسمية للغة الطبيعية شكلاً من أشكال التحليل الدلالي ^{[ ب ]} الذي يبدأ بجملة في اللغة الطبيعية ويترجمها إلى صيغة منطقية. ^{[ 3 ]} يهدف هذا الأسلوب إلى توضيح البنية المنطقية لجمل اللغة الطبيعية وحججها. ^{[ 25 ]} وهو يهتم بشكل أساسي بشكلها المنطقي، بينما يُتجاهل محتواها المحدد عادةً. ^{[ 26 ]} يُعدّ التحليل المنطقي مصطلحًا وثيق الصلة، ويشير إلى عملية الكشف عن الشكل أو البنية المنطقية للجملة. ^{[ 27 ]} تُمكّن الصياغة الرسمية للغة الطبيعية من استخدام المنطق الصوري لتحليل حجج اللغة الطبيعية وتقييمها. وهذا ذو أهمية خاصة للحجج المعقدة، التي يصعب تقييمها غالبًا دون أدوات صورية. كما يُمكن استخدام الترجمة المنطقية للبحث عن حجج جديدة، وبالتالي توجيه عملية الاستدلال. ^{[ 28 ]} تُسمى العملية العكسية للصياغة الرسمية أحيانًا "التعبير اللفظي". وتحدث هذه العملية عندما تُترجم الصيغ المنطقية مرة أخرى إلى اللغة الطبيعية. هذه العملية أقل دقة، وعادةً ما تركز المناقشات المتعلقة بالعلاقة بين اللغة الطبيعية والمنطق على مشكلة الصياغة الرسمية. ^{[ 29 ]}

يتطلب نجاح تطبيقات المنطق الصوري على اللغة الطبيعية أن تكون الترجمة صحيحة. ^{[ 30 ]} تكون الصياغة الصورية صحيحة إذا توافقت سماتها المنطقية الصريحة مع السمات المنطقية الضمنية للجملة الأصلية. ^{[ 31 ]} غالبًا ما يكون الشكل المنطقي لجمل اللغة العادية غير واضح نظرًا لوجود اختلافات عديدة بين اللغات الطبيعية واللغات الصورية التي يستخدمها علماء المنطق. ^{[ 32 ]} يطرح هذا الأمر صعوبات متنوعة أمام الصياغة الصورية. على سبيل المثال، تتضمن التعبيرات العادية في كثير من الأحيان عبارات غامضة وملتبسة. لهذا السبب، غالبًا ما تعتمد صحة الحجة ليس فقط على التعبيرات نفسها، بل أيضًا على كيفية تفسيرها. ^{[ 33 ]} على سبيل المثال، قد تعني جملة "للحمير آذان" أن جميع الحمير (بدون استثناء) لها آذان، أو أن الحمير عادةً ما يكون لها آذان . لا تستبعد الترجمة الثانية وجود بعض الحمير بدون آذان. هذا الاختلاف مهم لتحديد ما إذا كان من الممكن استخدام مُكمِّم كلي لترجمة الجملة. لا توجد مثل هذه الغموضات في الصياغات الدقيقة للغات المنطقية الاصطناعية، ويجب حلها قبل أن يصبح الترجمة ممكنة. ^{[ 34 ]}

تُثير مشكلة صياغة اللغة الطبيعية دلالاتٍ عديدة في العلوم الإنسانية والطبيعية ، لا سيما في مجالات اللغويات ، والعلوم المعرفية ، وعلوم الحاسوب . ^{[ 35 ]} ففي مجال اللغويات الصورية ، على سبيل المثال، يُقدّم ريتشارد مونتاغيو اقتراحاتٍ مُتعددة حول كيفية صياغة تعابير اللغة الإنجليزية في نظريته عن القواعد النحوية العالمية . ^{[ 36 ]} كما تُناقش الصياغة في فلسفة المنطق، نظرًا لدورها في فهم المنطق وتطبيقه. ^{[ 37 ]} وإذا ما فُهم المنطق على أنه نظرية الاستدلالات الصحيحة عمومًا، فإن الصياغة تلعب دورًا محوريًا فيه، إذ إن العديد من هذه الاستدلالات تُصاغ بلغةٍ عادية. وتُعدّ الترجمة المنطقية ضرورية لربط الأنظمة المنطقية الصورية بالحجج المُعبّر عنها باللغة العادية. ^{[ 38 ]} ومن الادعاءات ذات الصلة أن جميع اللغات المنطقية، بما فيها اللغات شديدة التجريد كالمنطق الموجه والمنطق متعدد القيم ، يجب أن تكون "مُرتكزة على بنى اللغة الطبيعية". ^{[ 39 ]} تكمن إحدى الصعوبات في هذا الصدد في أن المنطق يُفهم عادةً على أنه علم صوري ، لكن نظرية علاقته بالمسائل التجريبية المتعلقة باللغات العادية تتجاوز هذا المفهوم الصوري البحت. ^{[ 40 ]} لهذا السبب، يُعرّف بعض المنظرين، مثل جورج برون، فرعًا بحتًا من المنطق ويقارنونه بالمنطق التطبيقي، الذي يشمل مشكلة الصياغة الصورية. ^{[ 41 ]}

يستنتج بعض المنظرين من هذه الاعتبارات أن الاستدلال غير الرسمي له الأولوية على الاستدلال الرسمي. وهذا يعني ضمناً أن المنطق الرسمي لا ينجح إلا إذا استند إلى صياغة رسمية صحيحة. ^{[ 42 ]} فعلى سبيل المثال، يرى مايكل بومغارتنر وتيم لامبرت أنه "لا توجد مغالطات غير رسمية " وإنما "سوء فهم للحجج غير الرسمية ناتج عن صياغات رسمية غير كافية". ^{[ 43 ]} ويرفض هذا الموقف ياروسلاف بيرغرين وفلاديمير سفوبودا، اللذان يجادلان بأن الاستدلال غير الرسمي ليس دقيقاً دائماً، ويمكن تصحيحه من خلال تطبيق المنطق الرسمي. ^{[ 44 ]}

يُعدّ استخدام المنطق غير الرسمي بديلاً عن الصياغة الرسمية ، إذ يُحلّل هذا المنطق مدى وجاهة الحجج اللغوية الطبيعية في صورتها الأصلية. ولهذا الأسلوب مزايا عديدة، منها تجنّب الصعوبات المرتبطة بالترجمة المنطقية، ولكنه ينطوي أيضاً على عيوبٍ مختلفة. فعلى سبيل المثال، يفتقر المنطق غير الرسمي إلى الدقة الموجودة في المنطق الرسمي في التمييز بين الحجج السليمة والمغالطات . ^{[ 45 ]}

أمثلة

في منطق القضايا ، يمكن ترجمة الجملة "تيفاني تبيع المجوهرات، وغوتشي تبيع الكولونيا" إلى:${\displaystyle T\land G}$في هذا المثال،${\displaystyle T}$يمثل هذا الادعاء "تيفاني تبيع المجوهرات".${\displaystyle G}$يرمز إلى "غوتشي تبيع الكولونيا"، و${\displaystyle \land }$هي أداة الربط المنطقي المقابلة لـ "و". مثال آخر هو الجملة "جامعة نوتردام ترفع الرسوم الدراسية إذا فعلت جامعة بيردو ذلك"، والتي يمكن صياغتها على النحو التالي:${\displaystyle P\to N}$[ ^{46 ]​}

في منطق المسند ، يمكن ترجمة الجملة "آن تحب بن" إلى${\displaystyle L(a,b)}$في هذا المثال،${\displaystyle L}$يرمز إلى "يحب"،${\displaystyle a}$يرمز إلى آن و${\displaystyle b}$يرمز إلى بن. ^{[ 47 ]} ومن الأمثلة الأخرى "بعض الرجال صلع" كما${\displaystyle \exists x(M(x)\land B(x))}$[ ^{48 ] ​​"} لكل نهر رأس" كما${\displaystyle \forall x(R(x)\to H(x))}$[ ^{49 ] "لا يوجد} ضفدع من الطيور"${\displaystyle \forall x(F(x)\to \lnot B(x))}$[ ^{50 ]} و"إذا كانت إليزابيث مؤرخة، فإن بعض النساء مؤرخات ^"${\displaystyle H(e)\to \exists x(W(x)\land H(x))}$[ ^{51 ]​}

تعابير إشكالية

بالنسبة للعديد من تعابير اللغة الطبيعية، ليس من الواضح كيفية ترجمتها، وقد تختلف الترجمة الصحيحة من حالة إلى أخرى. غالبًا ما يكون غموض اللغة العادية والتباسها، على عكس دقة المنطق، مسؤولاً عن هذه المشكلات. لهذا السبب، ثبت صعوبة إيجاد خوارزمية عامة تغطي جميع حالات الترجمة. ^{[ 52 ]} على سبيل المثال، يمكن أن يختلف معنى تعابير اللغة الإنجليزية الأساسية مثل "و" و"أو" و"إذا...ثم" من سياق إلى آخر. وتختلف المعاملات المنطقية المقابلة في المنطق الرمزي (${\displaystyle \land }$،${\displaystyle \lor }$،${\displaystyle \to }$من ناحية أخرى، لها معانٍ محددة بدقة شديدة. وفي هذا الصدد، فإنها لا تعكس إلا بعض جوانب المعنى الأصلي. ^{[ 53 ]}

تُشكّل الكلمة الإنجليزية "is" صعوبةً أخرى من هذا القبيل، إذ تحمل معانيَ متعددة. فهي تُعبّر عن الوجود (كما في "يوجد بابا نويل")، والهوية (كما في "سوبرمان هو كلارك كينت")، والإسناد (كما في "الزهرة كوكب"). ويُعبّر عن كل معنى من هذه المعاني بشكلٍ مختلف في الأنظمة المنطقية، كمنطق الرتبة الأولى. ^{[ 54 ]} ومن الصعوبات الأخرى أن أدوات التحديد الكمي غالبًا ما لا تُذكر صراحةً في اللغة العادية. فعلى سبيل المثال، لا تُصرّح جملة "الزمرد أخضر" مباشرةً بأداة التحديد الكمي الشاملة "all"، أي "كل الزمرد أخضر". ومع ذلك، فإن بعض الجمل ذات البنية المشابهة، مثل "الأطفال يعيشون في الجوار"، تُشير ضمنيًا إلى أداة التحديد الكمي الوجودية "some"، أي "بعض الأطفال يعيشون في الجوار". ^{[ 55 ]}

توجد مشكلة وثيقة الصلة في بعض الحجج اللغوية الطبيعية الصحيحة التي تكون ترجماتها الأكثر وضوحًا غير صحيحة في المنطق الصوري. على سبيل المثال، الحجة "(1) فيوري حصان؛ (2) إذن فيوري حيوان" صحيحة، لكن الحجة المقابلة لها في المنطق الصوري من${\displaystyle H(f)}$ل${\displaystyle A(f)}$هذا غير صحيح. أحد الحلول هو إضافة مقدمة إضافية إلى الحجة تنص على أن "جميع الخيول حيوانات". حل آخر هو ترجمة جملة "فيوري حصان" إلى${\displaystyle H(f)\land A(f)}$تأتي هذه الحلول مصحوبة بمشاكل جديدة خاصة بها. ^{[ 56 ]} ومن التعبيرات الإشكالية الأخرى الأوصاف المحددة ، والجمل الشرطية ، والصفات الوصفية ، بالإضافة إلى الأسماء غير المعدودة والإحالة . ^{[ 57 ]}

تحدد معايير الترجمات الكافية كيفية التمييز بين الترجمات الجيدة والرديئة. فهي تحدد ما إذا كانت الصيغة المنطقية تمثل بدقة البنية المنطقية للجملة المترجمة. وبهذه الطريقة، تساعد هذه المعايير علماء المنطق على الاختيار بين الترجمات المتنافسة للجملة نفسها. ^{[ 67 ]} وتُناقش معايير مختلفة في الأدبيات الأكاديمية. ^{[ 68 ]} ووفقًا لعدد من المنظرين، مثل بيرغرين وسفوبودا، فإن المعيار الأساسي هو أن تحافظ الترجمات على العلاقات الاستدلالية بين الجمل. ويُطلق على هذا المبدأ أحيانًا معيار الصحة النحوية أو معيار الموثوقية . ^{[ 69 ]} وينص على أنه إذا كانت الحجة صحيحة في النص الأصلي، فإن الحجة المترجمة تكون صحيحة أيضًا. ^{[ 70 ]} وتكمن إحدى الصعوبات في هذا الصدد في أن الجملة نفسها قد تُشكل جزءًا من عدة حجج، أحيانًا كمقدمة وأحيانًا كنتيجة. ولا تكون ترجمة الجملة صحيحة إلا إذا حُفظت العلاقات الاستدلالية في جميع هذه الحالات أو معظمها. ^{[ 71 ]} وفقًا لمنظور الشمولية ، يعني هذا أنه لا يمكن تقييم ترجمات الجمل بشكل فردي. ويرى هذا الموقف أن صحة ترجمة جملة ما تعتمد على كيفية ترجمة الجمل الأخرى لضمان التوافق في العلاقات الاستدلالية. ويرفض أصحاب المذهب الذري هذا الرأي، إذ يزعمون أنه يمكن تقييم صحة ترجمات الجمل بشكل فردي. ^{[ 72 ]}

يركز معيار وثيق الصلة على شروط صدق الجمل. ^{[ 73 ]} شرط صدق الجملة هو ما يجب أن يكون عليه العالم لتكون تلك الجملة صحيحة. ^{[ 74 ]} ينص هذا المعيار على أنه من أجل ترجمات دقيقة، يجب أن تكون شروط صدق الجملة الأصلية مطابقة لشروط صدق الجملة المترجمة. إن مجرد كون الجملة وترجمتها لهما نفس قيمة الصدق لا يكفي. بل يعني ذلك أنه كلما كانت إحداهما صحيحة، تكون الأخرى صحيحة أيضًا، أي يجب أن يكون لهما نفس قيمة الصدق في جميع الظروف الممكنة. ^{[ 75 ]} هذا المعيار ليس مقبولًا عالميًا، وقد وُجهت إليه انتقادات بناءً على الادعاء بأن الصيغ المنطقية لا تملك شروط صدق. وفقًا لهذا الرأي، فإن الرموز المستخدمة فيها لا معنى لها في حد ذاتها، وإنما تهدف فقط إلى التعبير عن الشكل المنطقي للجملة دون الإشارة إلى أي محتوى ملموس. ^{[ 31 ]} مشكلة أخرى في هذا النهج هي أن جميع التكرارات لها نفس شروط الصدق: فهي صحيحة بغض النظر عن الظروف. وهذا يعني أن أي تكرار هو ترجمة صحيحة لأي تكرار آخر. ^{[ 76 ]}

إلى جانب هذه المعايير الأساسية، تُناقش معايير إضافية متنوعة في الأدبيات الأكاديمية. وتهدف هذه المعايير عادةً إلى استبعاد الترجمات الرديئة التي تستوفي المعايير الأخرى. على سبيل المثال، وفقًا للمعيارين الأولين، يمكن صياغة جملة "إنها تمطر" على النحو التالي:${\displaystyle p}$أو كما${\displaystyle \lnot \lnot \lnot \lnot \lnot \lnot p}$والسبب هو أن كلا الصيغتين لهما نفس شروط الصدق ونفس أنماط الاستدلال. ومع ذلك، فإن الصيغة الثانية ترجمة سيئة. ومن المعايير الإضافية ألا تتضمن الترجمات رموزًا لا تتوافق مع التعبيرات في الجملة الأصلية. وبناءً على ذلك، لا ينبغي أن تتضمن ترجمة عبارة "إنها تمطر" رمز النفي المنطقي (${\displaystyle \lnot }$) لأنه لا يوجد تعبير مماثل في الجملة الأصلية. ^{[ 77 ]}

هناك معيار آخر ينص على أن ترتيب الرموز في الترجمة يجب أن يعكس ترتيب التعبيرات في الجملة الأصلية. على سبيل المثال، يجب ترجمة الجملة "صعد بيت التل وصعد كوين التل" إلى${\displaystyle p\land q}$وليس كما${\displaystyle q\land p}$[ ^{77 ]} من المعايير ذات الصلة الوثيقة مبدأ الشفافية ، الذي ينص على أن الترجمات يجب أن تهدف إلى أن تكون مشابهة للتعبير الأصلي. ويتعلق هذا، على سبيل المثال، بأن تعكس الترجمة البنية النحوية للجملة الأصلية بأكبر قدر ممكن من الدقة. ^{[ 78 ]} وينص مبدأ الإيجاز على تفضيل الترجمات البسيطة (أي الصيغ المنطقية التي تستخدم أقل عدد ممكن من الرموز). ^{[ 79 ]} إحدى طرق اختبار صحة الصياغة الرسمية هي ترجمتها مرة أخرى إلى اللغة الطبيعية ومقارنة هذه الترجمة الثانية بالأصل ^{. [ 80 ]}

غالبًا ما لا تُناقش مشكلة معايير الترجمات الملائمة بالتفصيل في مقدمات علم المنطق. أحد أسباب ذلك هو أن بعض المنظرين، مثل هربرت إي. هندري، يرون الترجمة المنطقية فنًا أو ممارسة حدسية. ووفقًا لهذا الرأي، فهي تستند إلى مهارة عملية تُكتسب من الخبرة مع أمثلة عديدة، وتُسترشد ببعض القواعد العامة. ويشير هذا المنظور إلى عدم وجود قواعد صارمة للصياغة الملائمة. ويجادل منتقدو هذه الفكرة بأنه بدون معايير واضحة للترجمات الملائمة، يصعب جدًا التمييز بين الصياغات المتنافسة للجملة نفسها. ^{[ 81 ]}

اقترح العديد من علماء المنطق إجراءات ترجمة تتضمن عدة خطوات للوصول إلى ترجمات صحيحة. بعضها مجرد إرشادات عامة لمساعدة المترجمين في هذه العملية، بينما يتضمن البعض الآخر إجراءات مفصلة وفعالة تغطي جميع الخطوات اللازمة للوصول إلى الترجمة. في كلتا الحالتين، لا تُعدّ هذه الإجراءات عادةً خوارزميات دقيقة يمكن اتباعها بشكل أعمى، بل هي أدوات لتبسيط العملية. ^{[ 82 ]}

يمكن اتخاذ خطوات تحضيرية باستخدام اللغة الطبيعية قبل البدء بالترجمة الفعلية. تتمثل الخطوة الأولى غالبًا في فهم معنى النص الأصلي، على سبيل المثال، من خلال تحليل الادعاءات الواردة فيه. يشمل ذلك تحديد الحجج المطروحة وما إذا كان الادعاء بمثابة مقدمة أو نتيجة. ^{[ 83 ]} في هذه المرحلة، يُنصح عادةً بإعادة صياغة الجمل لجعل الادعاءات أكثر وضوحًا، وإزالة الغموض، وإبراز بنيتها المنطقية. على سبيل المثال، يمكن إعادة صياغة جملة "يوحنا بولس الثاني معصوم" لتصبح "ليس صحيحًا أن يوحنا بولس الثاني معصوم". ^{[ 84 ]} قد يتضمن ذلك تحديد الروابط المنطقية ، مثل "و"، و"إذا...إذن"، و"ليس"، وتفكيك النص وفقًا لذلك. كل وحدة يتم تحليلها بهذه الطريقة هي ادعاء فردي إما أن يكون صحيحًا أو خاطئًا. ^{[ 85 ]} تتمثل خطوة وثيقة الصلة في تجميع التعبيرات الفردية في وحدات منطقية وتصنيفها وفقًا لدورها المنطقي. في الجملة أعلاه، على سبيل المثال، "is faultible" هو مسند، والعبارة "it is not the case that" تتوافق مع الرابط المنطقي للنفي . ^{[ 86 ]}

بعد إتمام هذه التحضيرات، يوصي بعض المنظرين، مثل بيرغرين وسفوبودا، بالترجمة إلى لغة هجينة. تحتوي هذه التعبيرات الهجينة على شكلية منطقية، لكنها تحتفظ بالأسماء العادية للمسندات والأسماء العلمية. على سبيل المثال، يمكن ترجمة جملة "كل الأنهار لها رؤوس" إلى${\displaystyle \forall x((River(x))\to HasHead(x))}$تكمن الفكرة وراء هذه الخطوة في أن المصطلحات الاعتيادية لا تزال تحمل معناها الأصلي، مما يُسهّل فهم الصيغ ورؤية كيفية ارتباطها بالنص الأصلي. عادةً ما تكون مفردات اللغة الطبيعية غير مُعرّفة بدقة، وبالتالي تفتقر إلى الدقة التي يتطلبها المنطق الصوري. ^{[ 87 ]} كخطوة أخيرة، تُستبدل هذه المصطلحات الاعتيادية برموز منطقية. بالنسبة للتعبير أعلاه، سينتج عن ذلك الصيغة التالية:${\displaystyle \forall x((R(x))\to H(x))}$وبهذه الطريقة، ينقطع الارتباط بالمعاني اللغوية العادية. وتصبح الصيغ تعبيراً شكلياً بحتاً عن البنية المنطقية للنص الأصلي، ويتم حذف أي محتوى محدد. ^{[ 88 ]}

تتألف صياغة الحجة الكاملة من عدة خطوات، إذ تتكون الحجة من عدة قضايا. ^{[ 89 ]} وبمجرد اكتمال الترجمة، يمكن استخدام الأدوات الرسمية للنظام المنطقي، مثل قواعد الاستدلال، لتقييم صحة الحجة. ^{[ 90 ]}

تتركز الانتقادات الموجهة للترجمات المنطقية بشكل أساسي على قيودها ونطاق تطبيقاتها الصحيحة، بالإضافة إلى طريقة تناولها في الأدبيات الأكاديمية. تُعدّ الترجمة المنطقية عملية مقبولة وشائعة الاستخدام في المنطق وغيره من المجالات، حتى بين المنظرين الذين ينتقدون جوانب منها. ^{[ 91 ]} في بعض الحالات، تُنتقد ترجمات منطقية فردية استنادًا إلى ادعاء عدم قدرتها على تمثيل جميع جوانب النص الأصلي ودقائقه بدقة. على سبيل المثال، عادةً ما تعجز المفردات المنطقية عن استيعاب معانٍ مثل السخرية ، والتلميح غير المباشر ، أو التأكيد . في هذا الصدد، غالبًا ما يتم تجاهل العديد من جوانب معنى التعبير الأصلي التي تتجاوز قيمة الصدق، والصحة، والبنية المنطقية. ^{[ 92 ]} على مستوى الاستدلالات غير الرسمية، توجد تعابير متنوعة يصعب تمثيلها باستخدام لغات المنطق الصوري الدقيقة ولكن المحدودة. ^{[ 93 ]} لهذه الأسباب، يُثار الجدل أحيانًا حول صحة ترجمة منطقية معينة. عند استخدام ترجمة منطقية للدفاع عن استنتاج حجة مكتوبة بلغة طبيعية، فإن إحدى طرق تقويض هذا الدفاع هي الادعاء بأن الترجمة المنطقية غير صحيحة. وهذا يعني ضمناً أن الأفكار المستقاة من التحليل المنطقي الرسمي لا تُؤخذ بعين الاعتبار في الحجة الأصلية. ^{[ 90 ]}

نوع آخر من النقد لا يُوجَّه إلى الترجمات المنطقية بحد ذاتها، بل إلى كيفية تناولها في العديد من المراجع والمقررات الدراسية القياسية في المنطق. في هذا الصدد، يرى منظِّرون مثل جورج برون، وبيريغرين، وسفوبودا أن هذه الأعمال لا تُقدِّم نقاشًا وافيًا لدور الترجمات المنطقية وحدودها. بل يُزعم أنها تُعالج هذا الموضوع كملاحظة جانبية فحسب. قد تُقدِّم بعض الأمثلة، لكن تركيزها الأساسي ينصبّ على الأنظمة الصورية نفسها. وبهذه الطريقة، لا يوجد نقاش معمَّق حول كيفية تطبيق هذه الأنظمة على الحجج العادية. ^{[ 94 ]}

• المنطق المشترك
• ترجمة النفي المزدوج
• الترجمة القياسية