Treffer: Comparing exhaustivity operators

Dans cet article, j'étudie les relations formelles entre deux types d'opérateurs d'exhaustivité qui ont été discutés dans la littérature, l'un basé sur des mondes/modèles minimaux, noté exh-mw (van Rooij & Schulz 2004, Schulz & van Rooij 2006, Spector 2003, 2006, avec des racines dans Szabolcsi 1983, Groenendijk & Stokhof 1984), et un autre basé sur la notion d'exclusion innocente, noté exh-ie (Fox 2007). Entre autres, je prouve que chaque fois que l'ensemble des alternatives relatives auxquelles l'épuisement a lieu est fermé sémantiquement sous conjonction, les deux opérateurs sont nécessairement équivalents. Avec d'autres résultats, cela fournit une méthode pour simplifier, dans certains cas, le calcul associé à l'exh-ie, et, en particulier, pour réduire considérablement le nombre d'alternatives à envisager. Outre leur pertinence pratique, ces résultats clarifient les relations formelles entre les deux types d'opérateurs. BibTeX info
En este artículo, investigo las relaciones formales entre dos tipos de operadores de exhaustividad que se han discutido en la literatura, uno basado en mundos/modelos mínimos, notado exh-mw (van Rooij & Schulz 2004, Schulz & van Rooij 2006, Spector 2003, 2006, con raíces en Szabolcsi 1983, Groenendijk & Stokhof 1984), y otro basado en la noción de exclusión inocente, notado exh-ie (Fox 2007). Entre otros, demuestro que siempre que el conjunto de alternativas con respecto al cual se produce la agotación se cierra semánticamente bajo conjunción, los dos operadores son necesariamente equivalentes. Junto con otros resultados, esto proporciona un método para simplificar, en algunos casos, el cálculo asociado con exh-ie y, en particular, para reducir drásticamente el número de alternativas a considerar. Además de su relevancia práctica, estos resultados aclaran las relaciones formales entre ambos tipos de operadores. BibTeX info
In this paper, I investigate the formal relationships between two types of exhaustivity operators that have been discussed in the literature, one based on minimal worlds/models, noted exh-mw (van Rooij & Schulz 2004, Schulz & van Rooij 2006, Spector 2003, 2006, with roots in Szabolcsi 1983, Groenendijk & Stokhof 1984), and one based on the notion of innocent exclusion, noted exh-ie (Fox 2007). Among others, I prove that whenever the set of alternatives relative to which exhaustification takes place is semantically closed under conjunction, the two operators are necessarily equivalent. Together with other results, this provides a method to simplify, in some cases, the computation associated with exh-ie, and, in particular, to drastically reduce the number of alternatives to be considered. Besides their practical relevance, these results clarify the formal relationships between both types of operators. BibTeX info
في هذه الورقة، أقوم بالتحقيق في العلاقات الرسمية بين نوعين من عوامل الشمولية التي تمت مناقشتها في الأدبيات، أحدهما يعتمد على الحد الأدنى من العوالم/النماذج، التي لوحظت على سبيل المثال (فان رويج وشولز 2004، شولز وفان رويج 2006، سبيكتور 2003، 2006، مع جذور في زابولكسي 1983، جروينينديك وستوخوف 1984)، والآخر يعتمد على مفهوم الإقصاء البريء، لاحظ على سبيل المثال (فوكس 2007). من بين أمور أخرى، أثبت أنه كلما تم إغلاق مجموعة البدائل المتعلقة بالإرهاق من الناحية الدلالية في إطار الاقتران، يكون المشغلان متساويين بالضرورة. إلى جانب النتائج الأخرى، يوفر هذا طريقة لتبسيط، في بعض الحالات، الحساب المرتبط بالحساب، وعلى وجه الخصوص، لتقليل عدد البدائل التي يجب مراعاتها بشكل كبير. إلى جانب أهميتها العملية، توضح هذه النتائج العلاقات الرسمية بين كلا النوعين من المشغلين. معلومات BibTeX