جملة حمار

في علم الدلالة ، تُعرف جملة الحمار بأنها جملة تحتوي على ضمير مرتبط دلاليًا ولكنه حر نحويًا. تُعدّ هذه الجمل لغزًا كلاسيكيًا في الدلالة الرسمية وفلسفة اللغة، لأنها صحيحة نحويًا تمامًا ، ومع ذلك تتحدى المحاولات المباشرة لإيجاد مكافئاتها في اللغة الرسمية . ولتفسير كيفية فهم المتحدثين لها، اقترح علماء الدلالة مجموعة متنوعة من الصيغ الرسمية، بما في ذلك أنظمة الدلالة الديناميكية مثل نظرية تمثيل الخطاب . يُستمد اسمها من جملة المثال "Every farmer who owns a donkey beats it"، حيث يعمل الضمير "it" كضمير حمار لأنه مرتبط دلاليًا، وليس نحويًا، بالعبارة الاسمية غير المحددة ^{" a donkey "} . تُعرف هذه الظاهرة باسم الإحالة الضمنية للحمار .

الجمل التالية هي أمثلة على جمل الحمير.

• Omne Homo Habens Asinum Videt Illum. ("كل رجل يملك حمارًا يراه.") - والتر بيرلي (1328)، De Puritate artis logicaetractatus longior ^{[ 3 ] [ 4 ]}
• كل مزارع يمتلك حمارًا يقوم بضربه. ^{[ 5 ]}
• إذا كان المزارع يمتلك حماراً، فإنه يضربه.
• كل ضابط شرطة ألقى القبض على قاتل أهانه.

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

تُترجم عبارة "امرأة تدخن" إلى:${\displaystyle \exists x\,({\text{WOMAN}}(x)\land {\text{SMOKES}}(x))}$^{[ 7 ]}

تتطلب الجملة النموذجية عن الحمار، "كل مزارع يملك حمارًا يضربه"، دراسة متأنية لوصفها بدقة (مع أن استخدام "كل" بدلًا من "كل" يُبسط التحليل الرسمي). ضمير الحمار في هذه الحالة هو " هو" . تتطلب الترجمة الصحيحة لهذه الجملة استخدام مُحدد كمي عام لعبارة الاسم غير المحدد "حمار"، بدلًا من المُحدد الكمي الوجودي المتوقع.

إن المحاولة الأولى الساذجة للترجمة الواردة أدناه ليست جملة سليمة، لأن المتغير${\displaystyle y}$يُترك حراً في المسند${\displaystyle {\text{BEAT}}(x,y)}$[ ^{8 ]​}

${\displaystyle \forall x\,({\text{FARMER}}(x)\land \exists y\,({\text{DONKEY}}(y)\land {\text{OWNS}}(x,y))\rightarrow {\text{BEAT}}(x,y))}$

قد يُحاول توسيع نطاق المُكمِّم الوجودي لتقييد الحالة الحرة لـ${\displaystyle y}$لكنها لا تزال لا تقدم ترجمة صحيحة. ^{[ 8 ]}

${\displaystyle \forall x\,\exists y\,({\text{FARMER}}(x)\land {\text{DONKEY}}(y)\land {\text{OWNS}}(x,y)\rightarrow {\text{BEAT}}(x,y))}$

هذه الترجمة غير صحيحة لأنها صحيحة بالفعل إذا وُجد أي شيء ليس حمارًا: بافتراض وجود أي شيء يُراد استبداله${\displaystyle x}$، واستبدال أي كائن غير حمار بـ${\displaystyle y}$يجعل الشرط المادي صحيحًا (لأن مقدمته خاطئة)، وبالتالي فإن العبارة الوجودية صحيحة لكل اختيار من${\displaystyle x}$.

يبدو أن الترجمة الصحيحة لجملة الحمار إلى منطق الرتبة الأولى هي

${\displaystyle \forall x\,\forall y\,(({\text{FARMER}}(x)\land {\text{DONKEY}}(y)\land {\text{OWNS}}(x,y))\rightarrow {\text{BEAT}}(x,y))}$،

يشير ذلك إلى أنه يجب أحيانًا تفسير الكلمات غير المحددة على أنها أدوات تحديد وجودية، وفي أحيان أخرى على أنها أدوات تحديد شاملة. ^{[ 8 ]}

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

قد توجد عدة طرق متكافئة لوصف هذه العملية. في الواقع، اقترح كل من هانز كامب (1981) وإيرين هايم (1982) بشكل مستقل تفسيرات متشابهة للغاية بمصطلحات مختلفة، أطلقوا عليها اسم نظرية تمثيل الخطاب (DRT) ودلالات تغيير الملف (FCS)، على التوالي.

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

قدم والتر بيرلي ، وهو فيلسوف مدرسي من العصور الوسطى، جمل الحمير في سياق نظرية الافتراض ، وهي المكافئ القروسطي لنظرية الإحالة.

أعاد بيتر جيتش تقديم جمل الحمير كمثال مضاد لاقتراح ريتشارد مونتاجو لتمثيل رسمي معمّم للكمية في اللغة الطبيعية . ^{[ 5 ]} وقد أعيد استخدام مثاله من قبل ديفيد لويس (1975)، ^{[ 17 ]} وغاريث إيفانز (1977) ^{[ 11 ]} والعديد من الآخرين، ولا يزال يُستشهد به في المنشورات الحديثة.

• حساب إبسيلون – توسيع للغة رسمية بواسطة عامل إبسيلون 
• الجملة المضللة – الجملة التي تبدأ بطريقة تجعل تفسير القارئ المحتمل خاطئًا 
• السوابق العامة – ممثلو الفئات في موقف يكون فيه الجنس غير معروف عادةً 
• حساب لامدا – نظام رياضي منطقي 
• قواعد مونتاجو – مدخل إلى دلالات اللغة الطبيعية 
• ضمير الجمع "هم" (they) - ضمير إنجليزي محايد جنسياً 

• دليل المنطق الفلسفي
• نظرية تمثيل الخطاب
• مقدمة في نظرية تمثيل الخطاب
• دخول سبتمبر
• أرشيف مناقشة جملة الحمار في الحلقة 5386 من مسلسل CSI
• باركر، كريس. "تفسير قائم على الافتراضات المسبقة للغموض النسبي". في وقائع المؤتمر الثالث لنظرية الدلالة واللغوية (SALT) . إيثاكا، نيويورك: جامعة كورنيل ، 1993. الصفحات 1-18.
• براسوفينو، أدريان. “تعددية الحمير: دول المعلومات التعددية مقابل الأفراد غير الذرية”. في وقائع Sinn und Bedeutung 11 . حرره E. Puig-Waldmüller. برشلونة: جامعة بومبيو فابرا ، 2007. الصفحات 106-120.
• إيفانز، غاريث . "الضمائر، وأدوات التحديد الكمي، والجمل الموصولة (1)". المجلة الكندية للفلسفة 7 (1977): 467-536.
• جورتس، بارت. "أعمال الحمير". اللغويات والفلسفة 25 (2002): 129-156.
• هوانغ، سي تي جيمس. "الشكل المنطقي". الفصل الثالث في كتاب "الحكومة ونظرية الربط والبرنامج التبسيطي: المبادئ والمعايير في النظرية النحوية" من تحرير جيرت ويبيلهوث. أكسفورد وكامبريدج: دار بلاكويل للنشر ، 1995. الصفحات 127-177.
• كامب، هانز . "نظرية الحقيقة والتمثيل الدلالي". في ج. غرونيندايك وآخرون (محررون). الأساليب الرسمية في دراسة اللغة . أمستردام: مركز الرياضيات، 1981.
• كيتاغاوا، يوشيهيسا. "نسخ المتغيرات". الفصل الثاني من كتاب "البنية الوظيفية، والشكل، والتفسير: منظورات من لغات شرق آسيا" . حرره ين-هوي أودري لي وآخرون. روتليدج ، 2003. الصفحات 28-64.
• لويس، ديفيد . "ظروف التحديد الكمي". في الدلالات الرسمية للغة الطبيعية . حرره إدوارد ل. كينان. كامبريدج: مطبعة جامعة كامبريدج ، 1975. الصفحات 3-15.
• مونتاغ، ريتشارد . "المعالجة الصحيحة للكمية في اللغة الإنجليزية العادية". في: كي جيه جيه هينتيكا وآخرون (محررون). وقائع ورشة عمل ستانفورد لعام 1970 حول القواعد والدلالات . دوردريخت: ريدل، 1973. الصفحات 212-242.