{"messages":[{"id":2367504,"content":"Ou bien on rentre malgré nous dans des guerres d'ego qui n'intéressent personne, ou bien on doit répondre à une doxa qui nous force dans des archétypes prédéfinis.","originalContent":null,"files":[],"villageId":"village","topic":{"id":135209,"title":"On ne peut jamais parler de rien avec vous","slug":"on-ne-peut-jamais-parler-de-rien-avec-vous","messagesCount":111,"villageId":"village"},"user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"f22341e3-e7ad-4bad-bd31-7821602c181a.jpeg","villages_members":[{"userId":"9f554502-6d9f-4caf-b689-0aa45cd838f1","villageId":"village","points":1474,"kickedUntil":null,"disabled":false,"emoji":{"code":"dance","url":"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/eefc5928-dbb7-466a-85ab-e2820fc361e1.gif","surrogates":":village_dance_1783588702319:"}}],"groups_members":[{"group":{"id":223,"name":"C'est terminé","icon":"436c18b3-1a9c-4ad6-986e-b63dd405dfc2.png"}}]},"reactions":[],"createdAt":"2026-09-04T21:35:02.565Z","updatedAt":null,"deleted":false,"first":true,"updater":null,"repliedMessageId":null,"repliedMessage":null,"embeds":[],"poll":null,"rawContent":"Ou bien on rentre malgré nous dans des guerres d'ego qui n'intéressent personne, ou bien on doit répondre à une doxa qui nous force dans des archétypes prédéfinis."},{"id":2367511,"content":"J'ai rien compris à ton topic perso&nbsp;<img src=\"https://risibank.fr/cache/medias/0/17/1798/179874/full.png\" alt=\"https://risibank.fr/cache/medias/0/17/1798/179874/full.png\" data-id=\"179874\" width=\"64\" height=\"48\" class=\"sticker\">","originalContent":null,"files":[],"villageId":"village","topic":{"id":135209,"title":"On ne peut jamais parler de rien avec vous","slug":"on-ne-peut-jamais-parler-de-rien-avec-vous","messagesCount":111,"villageId":"village"},"user":{"id":"4d7aeb4c-c0a7-40be-82b7-87c7b16f381b","username":"TohruKobayashi","avatar":"6dc09e1f-afa1-41e9-9003-859ce951ce2b.jpeg","villages_members":[{"userId":"4d7aeb4c-c0a7-40be-82b7-87c7b16f381b","villageId":"village","points":719,"kickedUntil":null,"disabled":false,"emoji":null}],"groups_members":[{"group":{"id":395,"name":"Kiwi gang ","icon":"8f27448f-3f17-4fef-8b89-7db662f563bc.png"}}]},"reactions":[],"createdAt":"2026-09-04T21:35:26.140Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":null,"repliedMessage":null,"embeds":[],"poll":null,"rawContent":"J'ai rien compris à ton topic perso <img src=\"https://risibank.fr/cache/medias/0/17/1798/179874/full.png\" alt=\"https://risibank.fr/cache/medias/0/17/1798/179874/full.png\" data-id=\"179874\" width=\"64\" height=\"48\" class=\"sticker\" />"},{"id":2367513,"content":"<img alt=\"blob:https://village.cx/824a9760-e335-4d67-9078-78e713914962\" class=\"picture\" src=\"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/9be75c45-3940-4185-ba17-24191f561a4d.jpeg\" width=\"720\" height=\"720\">","originalContent":null,"files":["9be75c45-3940-4185-ba17-24191f561a4d.jpeg"],"villageId":"village","topic":{"id":135209,"title":"On ne peut jamais parler de rien avec vous","slug":"on-ne-peut-jamais-parler-de-rien-avec-vous","messagesCount":111,"villageId":"village"},"user":{"id":"62648fe1-8133-4085-bc55-32ac7c76ae7f","username":"PARANOlA","avatar":"a36cfbf2-ff3c-47b9-8601-337e65a3c75a.jpeg","villages_members":[{"userId":"62648fe1-8133-4085-bc55-32ac7c76ae7f","villageId":"village","points":717,"kickedUntil":null,"disabled":false,"emoji":null}],"groups_members":[]},"reactions":[],"createdAt":"2026-09-04T21:35:54.361Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":null,"repliedMessage":null,"embeds":[],"poll":null,"rawContent":"<img alt=\"blob:https://village.cx/824a9760-e335-4d67-9078-78e713914962\" class=\"picture\" src=\"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/9be75c45-3940-4185-ba17-24191f561a4d.jpeg\" width=\"720\" height=\"720\" />"},{"id":2367515,"content":"Alyosha did nothing wrong&nbsp;","originalContent":null,"files":[],"villageId":"village","topic":{"id":135209,"title":"On ne peut jamais parler de rien avec vous","slug":"on-ne-peut-jamais-parler-de-rien-avec-vous","messagesCount":111,"villageId":"village"},"user":{"id":"62648fe1-8133-4085-bc55-32ac7c76ae7f","username":"PARANOlA","avatar":"a36cfbf2-ff3c-47b9-8601-337e65a3c75a.jpeg","villages_members":[{"userId":"62648fe1-8133-4085-bc55-32ac7c76ae7f","villageId":"village","points":717,"kickedUntil":null,"disabled":false,"emoji":null}],"groups_members":[]},"reactions":[],"createdAt":"2026-09-04T21:36:05.349Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":null,"repliedMessage":null,"embeds":[],"poll":null,"rawContent":"Alyosha did nothing wrong "},{"id":2367516,"content":"Et pourtant si t'avais pas les hormones flingués tu comprendrais&nbsp;<img src=\"https://risibank.fr/cache/medias/0/21/2140/214057/full.png\" alt=\"https://risibank.fr/cache/medias/0/21/2140/214057/full.png\" data-id=\"214057\" width=\"64\" height=\"48\" class=\"sticker\">","originalContent":null,"files":[],"villageId":"village","topic":{"id":135209,"title":"On ne peut jamais parler de rien avec vous","slug":"on-ne-peut-jamais-parler-de-rien-avec-vous","messagesCount":111,"villageId":"village"},"user":{"id":"67b14557-f055-4d51-a867-f87ee58531b2","username":"Paz.McQueen","avatar":"a53c886d-d8c3-4456-bbd7-3216123c31ce.jpeg","villages_members":[{"userId":"67b14557-f055-4d51-a867-f87ee58531b2","villageId":"village","points":152,"kickedUntil":null,"disabled":false,"emoji":null}],"groups_members":[]},"reactions":[],"createdAt":"2026-09-04T21:36:08.712Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":null,"repliedMessage":null,"embeds":[],"poll":null,"rawContent":"Et pourtant si t'avais pas les hormones flingués tu comprendrais <img src=\"https://risibank.fr/cache/medias/0/21/2140/214057/full.png\" alt=\"https://risibank.fr/cache/medias/0/21/2140/214057/full.png\" data-id=\"214057\" width=\"64\" height=\"48\" class=\"sticker\" />"},{"id":2367518,"content":"Ba oe btg&nbsp;<img src=\"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/581c988d-3317-4940-934f-65a3074065e4.png\" alt=\"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/581c988d-3317-4940-934f-65a3074065e4.png\" data-id=\"373279\" width=\"64\" height=\"48\" class=\"sticker\">","originalContent":null,"files":[],"villageId":"village","topic":{"id":135209,"title":"On ne peut jamais parler de rien avec vous","slug":"on-ne-peut-jamais-parler-de-rien-avec-vous","messagesCount":111,"villageId":"village"},"user":{"id":"0564c8ed-bd9f-4273-a38a-589f1029df90","username":"PendezLesBlancs","avatar":null,"villages_members":[{"userId":"0564c8ed-bd9f-4273-a38a-589f1029df90","villageId":"village","points":669,"kickedUntil":"2026-09-04T16:28:17.147Z","disabled":false,"emoji":null}],"groups_members":[]},"reactions":[],"createdAt":"2026-09-04T21:36:12.231Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":null,"repliedMessage":null,"embeds":[],"poll":null,"rawContent":"Ba oe btg <img src=\"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/581c988d-3317-4940-934f-65a3074065e4.png\" alt=\"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/581c988d-3317-4940-934f-65a3074065e4.png\" data-id=\"373279\" width=\"64\" height=\"48\" class=\"sticker\" />"},{"id":2367526,"content":"<img alt=\"blob:https://village.cx/53486275-38af-4369-92cf-c98f1794d67f\" class=\"picture\" src=\"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/8bce3a7d-245f-4c7c-bd28-72892449d171.png\" width=\"508\" height=\"386\"><img alt=\"blob:https://village.cx/305b7307-b6ac-4cf0-9ebd-997ceae21c6a\" class=\"picture\" src=\"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/9a3ec804-9a9c-465c-bec7-14f7bda3f0fb.png\" width=\"605\" height=\"464\"><img alt=\"blob:https://village.cx/97a2805a-944e-4e60-ae97-cafc4e12d2b7\" class=\"picture\" src=\"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/58e89518-bb13-4719-b59c-e861c8074880.png\" width=\"603\" height=\"385\"><img alt=\"blob:https://village.cx/e5a80151-2135-42aa-8094-cc9c96423062\" class=\"picture\" src=\"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/501b70f7-1ffa-4251-9409-a3c8144e299f.png\" width=\"764\" height=\"665\"><img alt=\"blob:https://village.cx/db15be21-4e07-4828-9968-67f3e9d97309\" class=\"picture\" src=\"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/d9bad5d9-03e6-49d8-b5c3-52811cacb2b1.png\" width=\"664\" height=\"329\"><img alt=\"blob:https://village.cx/5fc1d1f1-c88f-4272-ab0d-858243aef43e\" class=\"picture\" src=\"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/1c622612-fd3b-4a5f-ae2b-3f655b7a93ad.png\" width=\"468\" height=\"634\"><img alt=\"blob:https://village.cx/707dd2b4-0a2f-4df7-b3ec-ac37bef438c6\" class=\"picture\" src=\"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/84f193f3-6f16-4534-a31a-f9e97aba09ba.png\" width=\"304\" height=\"524\">","originalContent":null,"files":["8bce3a7d-245f-4c7c-bd28-72892449d171.png","9a3ec804-9a9c-465c-bec7-14f7bda3f0fb.png","58e89518-bb13-4719-b59c-e861c8074880.png","501b70f7-1ffa-4251-9409-a3c8144e299f.png","d9bad5d9-03e6-49d8-b5c3-52811cacb2b1.png","1c622612-fd3b-4a5f-ae2b-3f655b7a93ad.png","84f193f3-6f16-4534-a31a-f9e97aba09ba.png"],"villageId":"village","topic":{"id":135209,"title":"On ne peut jamais parler de rien avec vous","slug":"on-ne-peut-jamais-parler-de-rien-avec-vous","messagesCount":111,"villageId":"village"},"user":{"id":"ac433cd6-d8cc-40c3-9560-4a052281710c","username":"JSB-gentil","avatar":null,"villages_members":[{"userId":"ac433cd6-d8cc-40c3-9560-4a052281710c","villageId":"village","points":27161,"kickedUntil":null,"disabled":false,"emoji":null}],"groups_members":[{"group":{"id":223,"name":"C'est terminé","icon":"436c18b3-1a9c-4ad6-986e-b63dd405dfc2.png"}},{"group":{"id":321,"name":"Moi et mes associés","icon":"ff719d26-f885-463d-b9e3-c00be0d9fa89.png"}},{"group":{"id":287,"name":"aphextw","icon":"4d5d050c-7002-4339-9184-1b684da02524.jpeg"}}]},"reactions":[],"createdAt":"2026-09-04T21:36:42.033Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":null,"repliedMessage":null,"embeds":[],"poll":null,"rawContent":"<img alt=\"blob:https://village.cx/53486275-38af-4369-92cf-c98f1794d67f\" class=\"picture\" src=\"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/8bce3a7d-245f-4c7c-bd28-72892449d171.png\" width=\"508\" height=\"386\" /><img alt=\"blob:https://village.cx/305b7307-b6ac-4cf0-9ebd-997ceae21c6a\" class=\"picture\" src=\"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/9a3ec804-9a9c-465c-bec7-14f7bda3f0fb.png\" width=\"605\" height=\"464\" /><img alt=\"blob:https://village.cx/97a2805a-944e-4e60-ae97-cafc4e12d2b7\" class=\"picture\" src=\"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/58e89518-bb13-4719-b59c-e861c8074880.png\" width=\"603\" height=\"385\" /><img alt=\"blob:https://village.cx/e5a80151-2135-42aa-8094-cc9c96423062\" class=\"picture\" src=\"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/501b70f7-1ffa-4251-9409-a3c8144e299f.png\" width=\"764\" height=\"665\" /><img alt=\"blob:https://village.cx/db15be21-4e07-4828-9968-67f3e9d97309\" class=\"picture\" src=\"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/d9bad5d9-03e6-49d8-b5c3-52811cacb2b1.png\" width=\"664\" height=\"329\" /><img alt=\"blob:https://village.cx/5fc1d1f1-c88f-4272-ab0d-858243aef43e\" class=\"picture\" src=\"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/1c622612-fd3b-4a5f-ae2b-3f655b7a93ad.png\" width=\"468\" height=\"634\" /><img alt=\"blob:https://village.cx/707dd2b4-0a2f-4df7-b3ec-ac37bef438c6\" class=\"picture\" src=\"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/84f193f3-6f16-4534-a31a-f9e97aba09ba.png\" width=\"304\" height=\"524\" />"},{"id":2367527,"content":"pareil&nbsp;<img src=\"https://risibank.fr/cache/medias/0/2/257/25771/full.png\" alt=\"https://risibank.fr/cache/medias/0/2/257/25771/full.png\" data-id=\"25771\" width=\"64\" height=\"48\" class=\"sticker\">","originalContent":null,"files":[],"villageId":"village","topic":{"id":135209,"title":"On ne peut jamais parler de rien avec vous","slug":"on-ne-peut-jamais-parler-de-rien-avec-vous","messagesCount":111,"villageId":"village"},"user":{"id":"62648fe1-8133-4085-bc55-32ac7c76ae7f","username":"PARANOlA","avatar":"a36cfbf2-ff3c-47b9-8601-337e65a3c75a.jpeg","villages_members":[{"userId":"62648fe1-8133-4085-bc55-32ac7c76ae7f","villageId":"village","points":717,"kickedUntil":null,"disabled":false,"emoji":null}],"groups_members":[]},"reactions":[],"createdAt":"2026-09-04T21:36:42.201Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2367511,"repliedMessage":{"id":2367511,"content":"J'ai rien compris à ton topic perso <img src=\"https://risibank.fr/cache/medias/0/17/1798/179874/full.png\" alt=\"https://risibank.fr/cache/medias/0/17/1798/179874/full.png\" data-id=\"179874\" width=\"64\" height=\"48\" class=\"sticker\" />","user":{"id":"4d7aeb4c-c0a7-40be-82b7-87c7b16f381b","username":"TohruKobayashi","avatar":"6dc09e1f-afa1-41e9-9003-859ce951ce2b.jpeg"}},"embeds":[],"poll":null,"rawContent":"pareil <img src=\"https://risibank.fr/cache/medias/0/2/257/25771/full.png\" alt=\"https://risibank.fr/cache/medias/0/2/257/25771/full.png\" data-id=\"25771\" width=\"64\" height=\"48\" class=\"sticker\" />"},{"id":2367528,"content":"Peut-être qu'il devrait écrire le raisonnement mathématique en narratif compréhensible par tous sans nous perdre dans les symboles","originalContent":null,"files":[],"villageId":"village","topic":{"id":135209,"title":"On ne peut jamais parler de rien avec vous","slug":"on-ne-peut-jamais-parler-de-rien-avec-vous","messagesCount":111,"villageId":"village"},"user":{"id":"59f55d1a-a466-46a8-9a4a-a9df68283daf","username":"Plum","avatar":"ee487366-58a9-47e0-8099-1be665c56c1a.png","villages_members":[{"userId":"59f55d1a-a466-46a8-9a4a-a9df68283daf","villageId":"village","points":133,"kickedUntil":null,"disabled":false,"emoji":{"code":"leaves","url":"https://cdn.jsdelivr.net/gh/jdecked/twemoji@15.1.0/assets/72x72/1f343.png","surrogates":"🍃"}}],"groups_members":[]},"reactions":[],"createdAt":"2026-09-04T21:36:42.894Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2367511,"repliedMessage":{"id":2367511,"content":"J'ai rien compris à ton topic perso <img src=\"https://risibank.fr/cache/medias/0/17/1798/179874/full.png\" alt=\"https://risibank.fr/cache/medias/0/17/1798/179874/full.png\" data-id=\"179874\" width=\"64\" height=\"48\" class=\"sticker\" />","user":{"id":"4d7aeb4c-c0a7-40be-82b7-87c7b16f381b","username":"TohruKobayashi","avatar":"6dc09e1f-afa1-41e9-9003-859ce951ce2b.jpeg"}},"embeds":[],"poll":null,"rawContent":"Peut-être qu'il devrait écrire le raisonnement mathématique en narratif compréhensible par tous sans nous perdre dans les symboles"},{"id":2367535,"content":"Je constate surtout que ça n'intéresse personnes.","originalContent":null,"files":[],"villageId":"village","topic":{"id":135209,"title":"On ne peut jamais parler de rien avec vous","slug":"on-ne-peut-jamais-parler-de-rien-avec-vous","messagesCount":111,"villageId":"village"},"user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"f22341e3-e7ad-4bad-bd31-7821602c181a.jpeg","villages_members":[{"userId":"9f554502-6d9f-4caf-b689-0aa45cd838f1","villageId":"village","points":1474,"kickedUntil":null,"disabled":false,"emoji":{"code":"dance","url":"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/eefc5928-dbb7-466a-85ab-e2820fc361e1.gif","surrogates":":village_dance_1783588702319:"}}],"groups_members":[{"group":{"id":223,"name":"C'est terminé","icon":"436c18b3-1a9c-4ad6-986e-b63dd405dfc2.png"}}]},"reactions":[],"createdAt":"2026-09-04T21:37:36.055Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2367511,"repliedMessage":{"id":2367511,"content":"J'ai rien compris à ton topic perso <img src=\"https://risibank.fr/cache/medias/0/17/1798/179874/full.png\" alt=\"https://risibank.fr/cache/medias/0/17/1798/179874/full.png\" data-id=\"179874\" width=\"64\" height=\"48\" class=\"sticker\" />","user":{"id":"4d7aeb4c-c0a7-40be-82b7-87c7b16f381b","username":"TohruKobayashi","avatar":"6dc09e1f-afa1-41e9-9003-859ce951ce2b.jpeg"}},"embeds":[],"poll":null,"rawContent":"Je constate surtout que ça n'intéresse personnes."},{"id":2367541,"content":"J'ai pris toutes les mauvaises décisions mais c'est encore un autre sujet.","originalContent":null,"files":[],"villageId":"village","topic":{"id":135209,"title":"On ne peut jamais parler de rien avec vous","slug":"on-ne-peut-jamais-parler-de-rien-avec-vous","messagesCount":111,"villageId":"village"},"user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"f22341e3-e7ad-4bad-bd31-7821602c181a.jpeg","villages_members":[{"userId":"9f554502-6d9f-4caf-b689-0aa45cd838f1","villageId":"village","points":1474,"kickedUntil":null,"disabled":false,"emoji":{"code":"dance","url":"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/eefc5928-dbb7-466a-85ab-e2820fc361e1.gif","surrogates":":village_dance_1783588702319:"}}],"groups_members":[{"group":{"id":223,"name":"C'est terminé","icon":"436c18b3-1a9c-4ad6-986e-b63dd405dfc2.png"}}]},"reactions":[],"createdAt":"2026-09-04T21:38:02.446Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2367515,"repliedMessage":{"id":2367515,"content":"Alyosha did nothing wrong ","user":{"id":"62648fe1-8133-4085-bc55-32ac7c76ae7f","username":"PARANOlA","avatar":"a36cfbf2-ff3c-47b9-8601-337e65a3c75a.jpeg"}},"embeds":[],"poll":null,"rawContent":"J'ai pris toutes les mauvaises décisions mais c'est encore un autre sujet."},{"id":2367542,"content":"Ça m'intéressait j'avais gardé ton texte de côté pour essayer de comprendre&nbsp;<img src=\"https://risibank.fr/cache/medias/0/17/1798/179874/full.png\" alt=\"https://risibank.fr/cache/medias/0/17/1798/179874/full.png\" data-id=\"179874\" width=\"64\" height=\"48\" class=\"sticker\"><div><br></div><div><div>Prenez cette formule&nbsp;∃y.(A(y)&nbsp;-&gt;&nbsp;∀x.A(x)).</div><div><br></div><div>Dans un domaine non vide, elle est classiquement valide. Avec A(x) = \"x boit\", elle donne le fameux paradoxe du buveur : \"Il existe quelqu'un tel que, s'il boit, alors tout le monde boit.\"</div><div><br></div><div>La preuve repose exactement sur la bivalence classique. Si&nbsp;∀x.A(x), n'importe quel individu convient sinon&nbsp;¬∀x.A(x)&nbsp;=&gt;&nbsp;∃y.¬A(y) et pour cet individu l'antécédent A(y) est faux, de sorte que A(y) -&gt;&nbsp;∀x.A(x) est matériellement vrai.</div><div><br></div><div>Bien sûr le paradoxe ne révèle aucune inconsistance dans la logique classique, il montre plutôt l'écart entre conditions de vérité extensionnelles et contenu inférentiel.</div><div><br></div><div>Dans la tradition réaliste, la logique reçoit sa signification d'une structure extérieure : un modèle, un monde, une sémantique préalablement donnée. Les connecteurs sont compris par la manière dont ils sont réalisés dans cette structure. Mais si la signification de -&gt; dépend de X, pourquoi sont interprétation dans X serait-elle la même que dans un autre modèle Y ? Et comment justifier l'universalité de la logique si celle-ci est toujours dérivée d'une réalisation particulière ?</div><div><br></div><div>Dans l'autre tradition antiréaliste, les constantes logiques possèdent une signification interne déterminée par la logique elle-même, les modèles ne font ensuite que réaliser cette structure : la signification d'un connecteur est donc déterminé prioritairement par ses règles d'usage, typiquement ses règles d'introduction et d'élimination.</div><div><br></div><div>Dans une catégorie cartésienne fermée, l'implication est interprétée par l'exponentielle B^A car on dispose de l'ajonction Hom(G x A, B) ≃ Hom(G, B^A).</div><div><br></div><div>La règle d'introduction de l'implication G, A |- B =&gt; G |- A -&gt; B devient exactement la curryfication d'un morphisme G x A -&gt; B en un morphisme G -&gt; B^A.</div><div><br></div><div>Il existerait donc une catégorie \"universelle\" dans laquelle dans laquelle les flèches expriment les relations avant toute la réalisation particulière : on construit une catégorie syntaxique C(T) d'une théorie T et les modèles de T dans une catégorie sémantique appropriée correspondent alors à certains foncteurs C(T) -&gt; D.</div><div><br></div><div>Le sens de l'implication est donc la donnée des flèches de la catégorie syntaxique universelle et en cela l'implication est l'adjoint droit de (_ x A):&nbsp;</div><div><br></div><div>(_ x A) -| (_)^A.</div><div><br></div><div>C'est beaucoup plus substantiel que simplement&nbsp;A&nbsp;-&gt;&nbsp;B&nbsp;=&nbsp;¬A&nbsp;v&nbsp;B.</div></div>","originalContent":null,"files":[],"villageId":"village","topic":{"id":135209,"title":"On ne peut jamais parler de rien avec vous","slug":"on-ne-peut-jamais-parler-de-rien-avec-vous","messagesCount":111,"villageId":"village"},"user":{"id":"4d7aeb4c-c0a7-40be-82b7-87c7b16f381b","username":"TohruKobayashi","avatar":"6dc09e1f-afa1-41e9-9003-859ce951ce2b.jpeg","villages_members":[{"userId":"4d7aeb4c-c0a7-40be-82b7-87c7b16f381b","villageId":"village","points":719,"kickedUntil":null,"disabled":false,"emoji":null}],"groups_members":[{"group":{"id":395,"name":"Kiwi gang ","icon":"8f27448f-3f17-4fef-8b89-7db662f563bc.png"}}]},"reactions":[],"createdAt":"2026-09-04T21:38:04.242Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2367535,"repliedMessage":{"id":2367535,"content":"Je constate surtout que ça n'intéresse personnes.","user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"f22341e3-e7ad-4bad-bd31-7821602c181a.jpeg"}},"embeds":[],"poll":null,"rawContent":"Ça m'intéressait j'avais gardé ton texte de côté pour essayer de comprendre <img src=\"https://risibank.fr/cache/medias/0/17/1798/179874/full.png\" alt=\"https://risibank.fr/cache/medias/0/17/1798/179874/full.png\" data-id=\"179874\" width=\"64\" height=\"48\" class=\"sticker\" /><div><br /></div><div><div>Prenez cette formule ∃y.(A(y) -&gt; ∀x.A(x)).</div><div><br /></div><div>Dans un domaine non vide, elle est classiquement valide. Avec A(x) = \"x boit\", elle donne le fameux paradoxe du buveur : \"Il existe quelqu'un tel que, s'il boit, alors tout le monde boit.\"</div><div><br /></div><div>La preuve repose exactement sur la bivalence classique. Si ∀x.A(x), n'importe quel individu convient sinon ¬∀x.A(x) =&gt; ∃y.¬A(y) et pour cet individu l'antécédent A(y) est faux, de sorte que A(y) -&gt; ∀x.A(x) est matériellement vrai.</div><div><br /></div><div>Bien sûr le paradoxe ne révèle aucune inconsistance dans la logique classique, il montre plutôt l'écart entre conditions de vérité extensionnelles et contenu inférentiel.</div><div><br /></div><div>Dans la tradition réaliste, la logique reçoit sa signification d'une structure extérieure : un modèle, un monde, une sémantique préalablement donnée. Les connecteurs sont compris par la manière dont ils sont réalisés dans cette structure. Mais si la signification de -&gt; dépend de X, pourquoi sont interprétation dans X serait-elle la même que dans un autre modèle Y ? Et comment justifier l'universalité de la logique si celle-ci est toujours dérivée d'une réalisation particulière ?</div><div><br /></div><div>Dans l'autre tradition antiréaliste, les constantes logiques possèdent une signification interne déterminée par la logique elle-même, les modèles ne font ensuite que réaliser cette structure : la signification d'un connecteur est donc déterminé prioritairement par ses règles d'usage, typiquement ses règles d'introduction et d'élimination.</div><div><br /></div><div>Dans une catégorie cartésienne fermée, l'implication est interprétée par l'exponentielle B^A car on dispose de l'ajonction Hom(G x A, B) ≃ Hom(G, B^A).</div><div><br /></div><div>La règle d'introduction de l'implication G, A |- B =&gt; G |- A -&gt; B devient exactement la curryfication d'un morphisme G x A -&gt; B en un morphisme G -&gt; B^A.</div><div><br /></div><div>Il existerait donc une catégorie \"universelle\" dans laquelle dans laquelle les flèches expriment les relations avant toute la réalisation particulière : on construit une catégorie syntaxique C(T) d'une théorie T et les modèles de T dans une catégorie sémantique appropriée correspondent alors à certains foncteurs C(T) -&gt; D.</div><div><br /></div><div>Le sens de l'implication est donc la donnée des flèches de la catégorie syntaxique universelle et en cela l'implication est l'adjoint droit de (_ x A): </div><div><br /></div><div>(_ x A) -| (_)^A.</div><div><br /></div><div>C'est beaucoup plus substantiel que simplement A -&gt; B = ¬A v B.</div></div>"},{"id":2367544,"content":"Bah t'es sur le .cx tu t'attendais à quoi","originalContent":null,"files":[],"villageId":"village","topic":{"id":135209,"title":"On ne peut jamais parler de rien avec vous","slug":"on-ne-peut-jamais-parler-de-rien-avec-vous","messagesCount":111,"villageId":"village"},"user":{"id":"bcb51446-4404-478b-af09-1103da99dff8","username":"sus","avatar":null,"villages_members":[{"userId":"bcb51446-4404-478b-af09-1103da99dff8","villageId":"village","points":213,"kickedUntil":null,"disabled":false,"emoji":null}],"groups_members":[]},"reactions":[],"createdAt":"2026-09-04T21:38:27.087Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":null,"repliedMessage":null,"embeds":[],"poll":null,"rawContent":"Bah t'es sur le .cx tu t'attendais à quoi"},{"id":2367547,"content":"tohru veut vraiment la bite de yoneda pour s'infliger ça&nbsp;<img src=\"https://risibank.fr/cache/medias/0/25/2512/251297/full.png\" alt=\"https://risibank.fr/cache/medias/0/25/2512/251297/full.png\" data-id=\"251297\" width=\"64\" height=\"48\" class=\"sticker\">","originalContent":null,"files":[],"villageId":"village","topic":{"id":135209,"title":"On ne peut jamais parler de rien avec vous","slug":"on-ne-peut-jamais-parler-de-rien-avec-vous","messagesCount":111,"villageId":"village"},"user":{"id":"ac433cd6-d8cc-40c3-9560-4a052281710c","username":"JSB-gentil","avatar":null,"villages_members":[{"userId":"ac433cd6-d8cc-40c3-9560-4a052281710c","villageId":"village","points":27161,"kickedUntil":null,"disabled":false,"emoji":null}],"groups_members":[{"group":{"id":223,"name":"C'est terminé","icon":"436c18b3-1a9c-4ad6-986e-b63dd405dfc2.png"}},{"group":{"id":321,"name":"Moi et mes associés","icon":"ff719d26-f885-463d-b9e3-c00be0d9fa89.png"}},{"group":{"id":287,"name":"aphextw","icon":"4d5d050c-7002-4339-9184-1b684da02524.jpeg"}}]},"reactions":[],"createdAt":"2026-09-04T21:38:33.912Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":null,"repliedMessage":null,"embeds":[],"poll":null,"rawContent":"tohru veut vraiment la bite de yoneda pour s'infliger ça <img src=\"https://risibank.fr/cache/medias/0/25/2512/251297/full.png\" alt=\"https://risibank.fr/cache/medias/0/25/2512/251297/full.png\" data-id=\"251297\" width=\"64\" height=\"48\" class=\"sticker\" />"},{"id":2367550,"content":"Si tu veux parler de théologie réformée","originalContent":null,"files":[],"villageId":"village","topic":{"id":135209,"title":"On ne peut jamais parler de rien avec vous","slug":"on-ne-peut-jamais-parler-de-rien-avec-vous","messagesCount":111,"villageId":"village"},"user":{"id":"efbeebf9-896a-4528-a54e-954451989c9d","username":"Dordrecht","avatar":"27cff08b-e825-4637-9b03-5495de3be934.png","villages_members":[{"userId":"efbeebf9-896a-4528-a54e-954451989c9d","villageId":"village","points":2189,"kickedUntil":null,"disabled":false,"emoji":null}],"groups_members":[{"group":{"id":55,"name":"Les ami·e·s d'Hayoung","icon":"61c75f40-8c5f-441a-b1b0-3ac2d6563394.png"}},{"group":{"id":264,"name":"   JHS","icon":"b624d946-b858-4887-b892-7b91bd3271a1.jpeg"}}]},"reactions":[],"createdAt":"2026-09-04T21:38:45.155Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":null,"repliedMessage":null,"embeds":[],"poll":null,"rawContent":"Si tu veux parler de théologie réformée"},{"id":2367553,"content":"c'est beau l'amour","originalContent":null,"files":[],"villageId":"village","topic":{"id":135209,"title":"On ne peut jamais parler de rien avec vous","slug":"on-ne-peut-jamais-parler-de-rien-avec-vous","messagesCount":111,"villageId":"village"},"user":{"id":"efbeebf9-896a-4528-a54e-954451989c9d","username":"Dordrecht","avatar":"27cff08b-e825-4637-9b03-5495de3be934.png","villages_members":[{"userId":"efbeebf9-896a-4528-a54e-954451989c9d","villageId":"village","points":2189,"kickedUntil":null,"disabled":false,"emoji":null}],"groups_members":[{"group":{"id":55,"name":"Les ami·e·s d'Hayoung","icon":"61c75f40-8c5f-441a-b1b0-3ac2d6563394.png"}},{"group":{"id":264,"name":"   JHS","icon":"b624d946-b858-4887-b892-7b91bd3271a1.jpeg"}}]},"reactions":[],"createdAt":"2026-09-04T21:39:01.272Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2367547,"repliedMessage":{"id":2367547,"content":"tohru veut vraiment la bite de yoneda pour s'infliger ça <img src=\"https://risibank.fr/cache/medias/0/25/2512/251297/full.png\" alt=\"https://risibank.fr/cache/medias/0/25/2512/251297/full.png\" data-id=\"251297\" width=\"64\" height=\"48\" class=\"sticker\" />","user":{"id":"ac433cd6-d8cc-40c3-9560-4a052281710c","username":"JSB-gentil","avatar":null}},"embeds":[],"poll":null,"rawContent":"c'est beau l'amour"},{"id":2367554,"content":"noooooooooonnnnn&nbsp;","originalContent":null,"files":[],"villageId":"village","topic":{"id":135209,"title":"On ne peut jamais parler de rien avec vous","slug":"on-ne-peut-jamais-parler-de-rien-avec-vous","messagesCount":111,"villageId":"village"},"user":{"id":"62648fe1-8133-4085-bc55-32ac7c76ae7f","username":"PARANOlA","avatar":"a36cfbf2-ff3c-47b9-8601-337e65a3c75a.jpeg","villages_members":[{"userId":"62648fe1-8133-4085-bc55-32ac7c76ae7f","villageId":"village","points":717,"kickedUntil":null,"disabled":false,"emoji":null}],"groups_members":[]},"reactions":[],"createdAt":"2026-09-04T21:39:15.549Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2367541,"repliedMessage":{"id":2367541,"content":"J'ai pris toutes les mauvaises décisions mais c'est encore un autre sujet.","user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"f22341e3-e7ad-4bad-bd31-7821602c181a.jpeg"}},"embeds":[],"poll":null,"rawContent":"noooooooooonnnnn "},{"id":2367557,"content":"N'exagérons rien, il n'y avait rien d'extraordinaire en dehors des opérateurs logiques. Vous voulez juste un prétexte pour faire ma psychanalyse&nbsp;<img src=\"https://risibank.fr/cache/medias/0/11/1157/115785/full.png\" alt=\"https://risibank.fr/cache/medias/0/11/1157/115785/full.png\" data-id=\"115785\" width=\"64\" height=\"48\" class=\"sticker\">","originalContent":null,"files":[],"villageId":"village","topic":{"id":135209,"title":"On ne peut jamais parler de rien avec vous","slug":"on-ne-peut-jamais-parler-de-rien-avec-vous","messagesCount":111,"villageId":"village"},"user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"f22341e3-e7ad-4bad-bd31-7821602c181a.jpeg","villages_members":[{"userId":"9f554502-6d9f-4caf-b689-0aa45cd838f1","villageId":"village","points":1474,"kickedUntil":null,"disabled":false,"emoji":{"code":"dance","url":"https://pub-edb0c2460d754c5eb19e4f23b232496e.r2.dev/eefc5928-dbb7-466a-85ab-e2820fc361e1.gif","surrogates":":village_dance_1783588702319:"}}],"groups_members":[{"group":{"id":223,"name":"C'est terminé","icon":"436c18b3-1a9c-4ad6-986e-b63dd405dfc2.png"}}]},"reactions":[],"createdAt":"2026-09-04T21:39:24.768Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2367528,"repliedMessage":{"id":2367528,"content":"Peut-être qu'il devrait écrire le raisonnement mathématique en narratif compréhensible par tous sans nous perdre dans les symboles","user":{"id":"59f55d1a-a466-46a8-9a4a-a9df68283daf","username":"Plum","avatar":"ee487366-58a9-47e0-8099-1be665c56c1a.png"}},"embeds":[],"poll":null,"rawContent":"N'exagérons rien, il n'y avait rien d'extraordinaire en dehors des opérateurs logiques. Vous voulez juste un prétexte pour faire ma psychanalyse <img src=\"https://risibank.fr/cache/medias/0/11/1157/115785/full.png\" alt=\"https://risibank.fr/cache/medias/0/11/1157/115785/full.png\" data-id=\"115785\" width=\"64\" height=\"48\" class=\"sticker\" />"},{"id":2367559,"content":"Réel&nbsp;","originalContent":null,"files":[],"villageId":"village","topic":{"id":135209,"title":"On ne peut jamais parler de rien avec vous","slug":"on-ne-peut-jamais-parler-de-rien-avec-vous","messagesCount":111,"villageId":"village"},"user":{"id":"62648fe1-8133-4085-bc55-32ac7c76ae7f","username":"PARANOlA","avatar":"a36cfbf2-ff3c-47b9-8601-337e65a3c75a.jpeg","villages_members":[{"userId":"62648fe1-8133-4085-bc55-32ac7c76ae7f","villageId":"village","points":717,"kickedUntil":null,"disabled":false,"emoji":null}],"groups_members":[]},"reactions":[],"createdAt":"2026-09-04T21:39:32.174Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2367547,"repliedMessage":{"id":2367547,"content":"tohru veut vraiment la bite de yoneda pour s'infliger ça <img src=\"https://risibank.fr/cache/medias/0/25/2512/251297/full.png\" alt=\"https://risibank.fr/cache/medias/0/25/2512/251297/full.png\" data-id=\"251297\" width=\"64\" height=\"48\" class=\"sticker\" />","user":{"id":"ac433cd6-d8cc-40c3-9560-4a052281710c","username":"JSB-gentil","avatar":null}},"embeds":[],"poll":null,"rawContent":"Réel "},{"id":2367564,"content":"Euh non c'est juste pas lisible c'est comme un alphabet étranger&nbsp;<img src=\"https://risibank.fr/cache/medias/0/2/227/22728/full.png\" alt=\"https://risibank.fr/cache/medias/0/2/227/22728/full.png\" data-id=\"22728\" width=\"64\" height=\"48\" class=\"sticker\"><div><br></div><div>Moi je lis pas les kanjis&nbsp;<img src=\"https://risibank.fr/cache/medias/0/2/227/22728/full.png\" alt=\"https://risibank.fr/cache/medias/0/2/227/22728/full.png\" data-id=\"22728\" width=\"64\" height=\"48\" class=\"sticker\"></div>","originalContent":null,"files":[],"villageId":"village","topic":{"id":135209,"title":"On ne peut jamais parler de rien avec vous","slug":"on-ne-peut-jamais-parler-de-rien-avec-vous","messagesCount":111,"villageId":"village"},"user":{"id":"59f55d1a-a466-46a8-9a4a-a9df68283daf","username":"Plum","avatar":"ee487366-58a9-47e0-8099-1be665c56c1a.png","villages_members":[{"userId":"59f55d1a-a466-46a8-9a4a-a9df68283daf","villageId":"village","points":133,"kickedUntil":null,"disabled":false,"emoji":{"code":"leaves","url":"https://cdn.jsdelivr.net/gh/jdecked/twemoji@15.1.0/assets/72x72/1f343.png","surrogates":"🍃"}}],"groups_members":[]},"reactions":[],"createdAt":"2026-09-04T21:40:03.434Z","updatedAt":null,"deleted":false,"first":false,"updater":null,"repliedMessageId":2367557,"repliedMessage":{"id":2367557,"content":"N'exagérons rien, il n'y avait rien d'extraordinaire en dehors des opérateurs logiques. Vous voulez juste un prétexte pour faire ma psychanalyse <img src=\"https://risibank.fr/cache/medias/0/11/1157/115785/full.png\" alt=\"https://risibank.fr/cache/medias/0/11/1157/115785/full.png\" data-id=\"115785\" width=\"64\" height=\"48\" class=\"sticker\" />","user":{"id":"9f554502-6d9f-4caf-b689-0aa45cd838f1","username":"Alyosha","avatar":"f22341e3-e7ad-4bad-bd31-7821602c181a.jpeg"}},"embeds":[],"poll":null,"rawContent":"Euh non c'est juste pas lisible c'est comme un alphabet étranger <img src=\"https://risibank.fr/cache/medias/0/2/227/22728/full.png\" alt=\"https://risibank.fr/cache/medias/0/2/227/22728/full.png\" data-id=\"22728\" width=\"64\" height=\"48\" class=\"sticker\" /><div><br /></div><div>Moi je lis pas les kanjis <img src=\"https://risibank.fr/cache/medias/0/2/227/22728/full.png\" alt=\"https://risibank.fr/cache/medias/0/2/227/22728/full.png\" data-id=\"22728\" width=\"64\" height=\"48\" class=\"sticker\" /></div>"}],"hasPrevMessage":false,"hasNextMessage":true}