Problem of multiple generality

Le problème de généralité multiple désigne un échec, en logique traditionnelle, de description de certaines inférences intuitivement valables. Par exemple, il est intuitivement clair que si : Certains chats font peur à toutes les souris alors il suit logiquement que : Toutes les souris ont peur d'au moins un chat Certains As sont BsTout Cs sont Ds En utilisant le calcul des prédicats, nous découvrons rapidement que la proposition est ambiguë. Certains chats font peur à toutes les souris peut signifier Toutes les souris (ont peur d'au moins un chat), i.e. auquel cas la conclusion est triviale.

Problem of multiple generality

Le problème de généralité multiple désigne un échec, en logique traditionnelle, de description de certaines inférences intuitivement valables. Par exemple, il est intuitivement clair que si : Certains chats font peur à toutes les souris alors il suit logiquement que : Toutes les souris ont peur d'au moins un chat Certains As sont BsTout Cs sont Ds En utilisant le calcul des prédicats, nous découvrons rapidement que la proposition est ambiguë. Certains chats font peur à toutes les souris peut signifier Toutes les souris (ont peur d'au moins un chat), i.e. auquel cas la conclusion est triviale.