Concept

Problème de généralité multiple

Résumé
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 La syntaxe de la logique traditionnelle autorise exactement quatre types de phrases: « Tout As sont Bs », « Aucun As n'est Bs », « Certains As sont Bs » et « Certains As ne sont pas Bs ». Chaque type est une phrase quantifiée contenant exactement un quantificateur. Étant donné que les phrases ci-dessus contiennent chacune deux quantificateurs (« certains » et « toutes » dans la première phrase, et « toutes » et « au moins un » dans la seconde phrase), ils ne peuvent pas être représentés adéquatement en logique traditionnelle. La meilleure chose que peut faire la logique traditionnelle peut être le fait d'incorporer le deuxième quantificateur de chaque phrase dans le deuxième terme, ce qui rend les termes « font-peur-à-toutes-les-souris » et « peur-d'au-moins-un-chat ». Par conséquent, la phrase « Certains chats font peur à toutes les souris » est attribuée à la même forme logique que la phrase « Certains chats ont faim ». Et donc, la forme logique en logique traditionnelle est : Certains As sont Bs Tout Cs sont Ds Le premier calcul logique capable de faire face à de telles inférences a été le Begriffsschrift de Gottlob Frege (1879), l'ancêtre de la logique des prédicats moderne, qui portait sur les quantificateurs au moyen de liaisons variables. Frege n'a pas soutenu que sa logique était plus expressive que les calculs logiques existants, mais les commentateurs sur la logique de Frege considèrent ce fait comme l'une de ses principales réalisations. 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.
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Publications associées

Chargement

Personnes associées

Chargement

Unités associées

Chargement

Concepts associés

Chargement

Cours associés

Chargement

Séances de cours associées

Chargement

MOOCs associés

Chargement