{"id":14,"date":"2011-12-07T17:25:40","date_gmt":"2011-12-07T21:25:40","guid":{"rendered":"http:\/\/antoine.wojdyla.free.fr\/?p=14"},"modified":"2012-06-14T20:43:03","modified_gmt":"2012-06-15T00:43:03","slug":"paradoxes-linguistico-logiques","status":"publish","type":"post","link":"http:\/\/antoine.wojdyla.fr\/blog\/2011\/12\/07\/paradoxes-linguistico-logiques\/","title":{"rendered":"Paradoxes linguistico-logiques"},"content":{"rendered":"<p>Je vais essayer dans ce billet de faire un petit tour des paradoxes linguistico-logiques, sans tomber dans le la folie du <em>tractatus logico-philosophicus<\/em>.<\/p>Un certain nombre d&#8217;exemple sont tir\u00e9es du<a href=\"http:\/\/en.wikipedia.org\/wiki\/G%C3%B6del,_Escher,_Bach\" onclick=\"_gaq.push(['_trackEvent', 'outbound-article', 'http:\/\/en.wikipedia.org\/wiki\/G%C3%B6del,_Escher,_Bach', ' GEB']);\" > GEB<\/a>, et je remercie comme toujours mon fid\u00e8le destrier Wikip\u00e9dia (si un jour j&#8217;ai un chien, je l\u2019appellerai comme \u00e7a).<\/p><strong>Le paradoxe du menteur:<\/strong><!--more--><br \/>\n<em>Cette phrase est fausse<\/em> &#8211; est une phrase qui, si elle \u00e9tait vraie serait fausse, et qui serait fausse si elle \u00e9tait vraie<\/p>Dans le m\u00eame ordre d&#8217;id\u00e9e, nous avons les deux propositions suivantes:<br \/>\nCette phrase est vraie.<br \/>\nLa phrase pr\u00e9c\u00e9dente est fausse.<\/p><strong>Le paradoxe de Russell<\/strong><br \/>\nUne de mes idoles, <a href=\"http:\/\/fr.wikipedia.org\/wiki\/Bertrand_Russell\" onclick=\"_gaq.push(['_trackEvent', 'outbound-article', 'http:\/\/fr.wikipedia.org\/wiki\/Bertrand_Russell', 'Bertrand Russell']);\" >Bertrand Russell<\/a>, a mis en valeur un paradoxe qui porte son nom&#8230; : le <a href=\"http:\/\/fr.wikipedia.org\/wiki\/Paradoxe_de_Russell\" onclick=\"_gaq.push(['_trackEvent', 'outbound-article', 'http:\/\/fr.wikipedia.org\/wiki\/Paradoxe_de_Russell', 'paradoxe de Russell']);\" >paradoxe de Russell<\/a>.<br \/>\nIl s&#8217;agit de b\u00e2tir un <em>ensemble form\u00e9 de tous les ensembles qui ne se contiennent pas eux-m\u00eame<\/em>.<br \/>\nDans ce cas, est-ce que cet ensemble se contient lui-m\u00eame? Cette question apparemment anodine a eu de grandes r\u00e9percussion en logique math\u00e9matique.<br \/>\nUne mani\u00e8re peut-\u00eatre plus simple de voir la difficult\u00e9 est de consid\u00e9rer un paradoxe \u00e9quivalent, le <a href=\"http:\/\/fr.wikipedia.org\/wiki\/Paradoxe_du_barbier\" onclick=\"_gaq.push(['_trackEvent', 'outbound-article', 'http:\/\/fr.wikipedia.org\/wiki\/Paradoxe_du_barbier', 'paradoxe du barbier']);\" >paradoxe du barbier<\/a> :<\/p><em>Le conseil municipal d&#8217;un village arr\u00eate une ordonnance qui enjoint \u00e0  son barbier (masculin) de raser tous les habitants masculins du village  qui ne se rasent pas eux-m\u00eames et seulement ceux-ci.<br \/>\nLe barbier, qui est bien un habitant du village, n&#8217;a pas pu respecter cette r\u00e8gle car\u00a0:<\/em><em><br \/>\n&#8211; S&#8217;il se rase lui-m\u00eame, il enfreint la r\u00e8gle, car le barbier ne peut raser que les hommes qui ne se rasent pas eux-m\u00eames\u00a0;<\/em><em><br \/>\n&#8211; S&#8217;il ne se rase pas lui-m\u00eame (qu&#8217;il se fasse raser ou qu&#8217;il conserve  la barbe), il est en tort \u00e9galement, car il a la charge de raser les  hommes qui ne se rasent pas eux-m\u00eames.<\/em><\/p>Certaine phrase sont vraies, mais on ne comprend pas bien pourquoi :<br \/>\n<em>Cette phrase comporte cinq mots<br \/>\nCette phrase est constitu\u00e9e de cinq mots<br \/>\n<\/em>Les deux phrases pr\u00e9c\u00e9dentes disent en apparence la m\u00eame chose, et pourtant, seule l&#8217;une d&#8217;elle est vraie&#8230;<em> <\/em><\/p><strong>Paradoxe de Curry<\/strong><br \/>\nLe paradoxe de curry est une variante, puisqu&#8217;elle ne ne r\u00e9f\u00e8re plus au contenu grammatical de la phrase, mais \u00e0 l&#8217;affirmation qu&#8217;elle emet :<br \/>\n<em> Cette phrase est vraie si la Chine et la France sont des pays voisins.<\/em><\/p><strong>Paradoxe de Quine<\/strong><br \/>\nLe paradoxe de Quine est au c\u0153ur du GEB. Elle introduit un paradoxe au sein d&#8217;une boucle \u00e9trange :<br \/>\n<em>&#8220;est une phrase fausse si pr\u00e9c\u00e9d\u00e9e d&#8217;elle-m\u00eame entre guillemets&#8221; est une phrase fausse si pr\u00e9c\u00e9d\u00e9e d&#8217;elle-m\u00eame entre guillemets.<\/em><\/p><strong>Paradoxe des sceauhots :<\/strong><em><br \/>\n<\/em>-Je voudrais te dire de mots que je ne peux pas \u00e9crire :<em><br \/>\nUn sot cavalier tenait en sa main un seau, lequel contenait un sceau.<br \/>\nTout d\u2019un coup, son cheval fit un saut et les trois <strong>[so]<\/strong> tomb\u00e8rent !<br \/>\n<\/em>Il a d\u00e9j\u00e0 \u00e9t\u00e9 question de ce paradoxe dans un autre post<em> :)<\/em><\/p>Il y a toute une <a href=\"http:\/\/en.wikipedia.org\/wiki\/List_of_paradoxes\" onclick=\"_gaq.push(['_trackEvent', 'outbound-article', 'http:\/\/en.wikipedia.org\/wiki\/List_of_paradoxes', 'jolie liste de paradoxes sur wikip\u00e9dia']);\" target=\"_blank\">jolie liste de paradoxes sur wikip\u00e9dia<\/a>.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Je vais essayer dans ce billet de faire un petit tour des paradoxes linguistico-logiques, sans tomber dans le la folie du tractatus logico-philosophicus.Un certain nombre d&#8217;exemple sont tir\u00e9es du GEB, et je remercie comme toujours mon fid\u00e8le destrier Wikip\u00e9dia (si un jour j&#8217;ai un chien, je l\u2019appellerai comme \u00e7a).Le paradoxe du menteur:<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[12,8],"tags":[],"class_list":["post-14","post","type-post","status-publish","format-standard","hentry","category-francais","category-language"],"_links":{"self":[{"href":"http:\/\/antoine.wojdyla.fr\/blog\/wp-json\/wp\/v2\/posts\/14","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/antoine.wojdyla.fr\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/antoine.wojdyla.fr\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/antoine.wojdyla.fr\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/antoine.wojdyla.fr\/blog\/wp-json\/wp\/v2\/comments?post=14"}],"version-history":[{"count":6,"href":"http:\/\/antoine.wojdyla.fr\/blog\/wp-json\/wp\/v2\/posts\/14\/revisions"}],"predecessor-version":[{"id":302,"href":"http:\/\/antoine.wojdyla.fr\/blog\/wp-json\/wp\/v2\/posts\/14\/revisions\/302"}],"wp:attachment":[{"href":"http:\/\/antoine.wojdyla.fr\/blog\/wp-json\/wp\/v2\/media?parent=14"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/antoine.wojdyla.fr\/blog\/wp-json\/wp\/v2\/categories?post=14"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/antoine.wojdyla.fr\/blog\/wp-json\/wp\/v2\/tags?post=14"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}