Dan Cryan, Sharron Shatil, EDP Sciences, 2015.<\/p>\n\n\n\n
https:\/\/laboutique.edpsciences.fr\/produit\/798\/9782759819027\/la-logique-en-images<\/a><\/p>\n\n\n\n D\u00e9finition initiale, page 3 : \u00ab la logique est tout simplement l\u2019\u00e9tude des arguments qui pr\u00e9servent la v\u00e9rit\u00e9. \u00bb \u00ab Tout simplement \u00bb, peut-\u00eatre, mais cela ne concerne que la logique du langage humain, et il faudrait une autre d\u00e9finition pour les machines\u2009! Pourquoi faudrait-il \u00e9tudier la logique, alors que l\u2019immense majorit\u00e9 des humains raisonnent, et que m\u00eame les logiciens ne sont pas \u00e0 l\u2019abri d\u2019erreurs de raisonnement communes\u2009? Faut-il \u00e9tudier la rh\u00e9torique pour faire des discours\u2009? La narratologie pour raconter\u2009? Quelle bizarre id\u00e9e, d\u00e8s Aristote, de vouloir raisonner pour d\u00e9montrer que Socrate est mortel\u2009! Si \u00e7a n\u2019est pas un jeu de langage : triturer des mots pour d\u00e9couvrir des v\u00e9rit\u00e9s \u00e9videntes pour un enfant. Un point d\u2019orgue au Moyen \u00c2ge : \u00ab L<\/em>e logicien \u00e9tait une sorte d\u2019alchimiste qui jouait avec des concepts pour obtenir des arguments solides.<\/em> \u00bb Questions \u00e0 renvoyer \u00e0 tous les lettr\u00e9s d\u00e9connect\u00e9s de l\u2019activit\u00e9 laborieuse : votre usage du langage n\u2019est-il pas un peu artificiel\u2009?<\/p>\n\n\n\n Bascule avec Leibniz : le premier \u00e0 recourir au formalisme math\u00e9matique. Le premier aussi avoir la pr\u00e9tention extraordinaire de formuler, et pourquoi pas d\u00e9couvrir, les r\u00e8gles du raisonnement juste. Fil \u00e0 suivre jusqu\u2019\u00e0 Frege, puis Russell : des philosophes encore ancr\u00e9s dans le langage, mais qui tentent de recourir \u00e0 un formalisme r\u00e9current du c\u00f4t\u00e9 des math\u00e9matiques. D\u2019o\u00f9 peut-\u00eatre deux branches \u00e0 distinguer :<\/p>\n\n\n\n Page 35. Distinction entre trois \u00ab projets \u00bb dans la logique moderne : math\u00e9matique (avec le fantasme d\u2019unifier, voire de fonder les diff\u00e9rents champs math\u00e9matiques), philosophique (parler de fa\u00e7on coh\u00e9rente du r\u00e9el), symbolique (tableaux de v\u00e9rit\u00e9 du Tractatus)<\/p>\n\n\n\n Page 50. Probl\u00e8me de Russell : \u00ab avec le mod\u00e8le s\u00e9mantique th\u00e9orique, nous pouvons savoir dans quel mod\u00e8le la proposition \u201cSocrate est un homme\u201d est vraie. \u00bb Mais est-ce bien n\u00e9cessaire\u2009?\u2026<\/p>\n\n\n\n La crise des paradoxes est une charni\u00e8re de la scission entre logique formelle et analyse du langage. C\u0153ur du paradoxe du menteur : \u00ab cette phrase est fausse \u00bb. Pour celui de Russell : le mot \u00ab h\u00e9t\u00e9ro logique \u00bb et h\u00e9t\u00e9ro logique.<\/p>\n\n\n\n M\u00eame le paradoxe de Z\u00e9non oblige \u00e0 recourir \u00e0 des artifices du langage : limite, infini.<\/p>\n\n\n\n Est-il bien n\u00e9cessaire de comprendre (\u00e9laborer\u2009!) le th\u00e9or\u00e8me de G\u00f6del pour \u00eatre convaincu que les math\u00e9matiques ne peuvent couvrir le r\u00e9el, que le langage, m\u00eame formel, est faillible\u2009? Qu\u2019est-ce qu\u2019aurait apport\u00e9 la d\u00e9monstration inverse\u2009?<\/p>\n\n\n\n Paradoxe sorite : une proposition peut-elle \u00eatre presque vrai\u2009?<\/p>\n\n\n\n Argument du diable : la s\u00e9quence 666 apparait-elle parmi les d\u00e9cimales depuis\u2009?<\/p>\n\n\n\n Relire le Tractatus \u00e0 la lumi\u00e8re de cette id\u00e9e\u2009? L\u2019\u00e9chelle qu\u2019il s\u2019agit de retirer, ce pourrait \u00eatre celle qui permet de franchir le mur s\u00e9parant la philosophie de l\u2019\u00e9tude des m\u00e9canismes artificiels chers \u00e0 ceux qui veulent faire parler les machines.<\/p>\n\n\n\n Un m\u00e9rite de ce livre : aborder un grand nombre de penseurs, embrasser un large champ d\u2019\u00e9tudes, en laissant le lecteur prendre la mesure de ce paysage.<\/p>\n\n\n\n Question d\u00e9cid\u00e9ment extraordinairement myst\u00e9rieuse, en tout cas fondamentale : comment se fait-ce qu\u2019on puisse \u00e9voquer le monde en produisant des sons\u2009?<\/p>\n\n\n\n Ce qui n\u2019emp\u00eache pas de chercher \u00e0 comprendre des particularit\u00e9s du langage math\u00e9matique de langage humain : Brouwer.<\/p>\n\n\n\n D\u00e9veloppement final : logique par exp\u00e9rimentation (induction ou d\u00e9duction) : comment passer \u00e0 la g\u00e9n\u00e9ralit\u00e9\u2009?<\/p>\n\n\n\n Quine : les croyances (connaissances\u2026) constituent un r\u00e9seau, avec des parties plus ou moins serr\u00e9es, plus ou moins molles. Relativisme, jusqu\u2019\u00e0 Feyerabend.<\/p>\n\n\n\n Le mot de la fin pour Wittgenstein : \u00ab S\u2019<\/em>il y avait une \u201csolution\u201d au probl\u00e8me logique, alors nous devrions simplement garder \u00e0 l\u2019esprit qu\u2019\u00e0 une \u00e9poque, il n\u2019avait pas \u00e9t\u00e9 r\u00e9solu (et aussi qu\u2019on devait pouvoir vivre et penser).<\/em> \u00bb<\/p>\n","protected":false},"excerpt":{"rendered":" Dan Cryan, Sharron Shatil, EDP Sciences, 2015. https:\/\/laboutique.edpsciences.fr\/produit\/798\/9782759819027\/la-logique-en-images D\u00e9finition initiale, page 3 : \u00ab la logique est tout simplement l\u2019\u00e9tude des arguments qui pr\u00e9servent la v\u00e9rit\u00e9. \u00bb \u00ab Tout simplement \u00bb, peut-\u00eatre, mais cela ne concerne que la logique du langage humain, et il faudrait une autre d\u00e9finition pour les machines\u2009! Pourquoi faudrait-il \u00e9tudier la logique, alors que l\u2019immense majorit\u00e9 des humains … Continuer la lecture de « La logique en images »<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"closed","ping_status":"","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[517,12],"tags":[503,505,504],"class_list":["post-959","post","type-post","status-publish","format-standard","hentry","category-logique","category-sciences","tag-dan-cryan","tag-edp-sciences","tag-sharron-shatil"],"_links":{"self":[{"href":"https:\/\/ecridures.xyz\/index.php?rest_route=\/wp\/v2\/posts\/959","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ecridures.xyz\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/ecridures.xyz\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/ecridures.xyz\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/ecridures.xyz\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=959"}],"version-history":[{"count":2,"href":"https:\/\/ecridures.xyz\/index.php?rest_route=\/wp\/v2\/posts\/959\/revisions"}],"predecessor-version":[{"id":1002,"href":"https:\/\/ecridures.xyz\/index.php?rest_route=\/wp\/v2\/posts\/959\/revisions\/1002"}],"wp:attachment":[{"href":"https:\/\/ecridures.xyz\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=959"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/ecridures.xyz\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=959"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/ecridures.xyz\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=959"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}\n