Path: ...!weretis.net!feeder8.news.weretis.net!proxad.net!feeder1-2.proxad.net!usenet-fr.net!.POSTED!not-for-mail From: Olivier Miakinen Newsgroups: fr.sci.maths Subject: Re: Le paradoxe du buveur Date: Thu, 9 Jun 2022 13:17:08 +0200 Organization: There's no cabale Lines: 41 Message-ID: References: <62a1d1c6$0$24782$426a74cc@news.free.fr> NNTP-Posting-Host: 220.12.205.77.rev.sfr.net Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-15 Content-Transfer-Encoding: 8bit X-Trace: cabale.usenet-fr.net 1654773428 27962 77.205.12.220 (9 Jun 2022 11:17:08 GMT) X-Complaints-To: abuse@usenet-fr.net NNTP-Posting-Date: Thu, 9 Jun 2022 11:17:08 +0000 (UTC) User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Firefox/52.0 SeaMonkey/2.49.4 In-Reply-To: <62a1d1c6$0$24782$426a74cc@news.free.fr> Bytes: 2219 Le 09/06/2022 12:56, ast a écrit : > Il s'énonce ainsi: > > Dans un bar, il existe une personne telle que, si cette > personne boit alors tout le monde dans le bar boit. > > Mathématiquement c'est vrai > > > - S'il existe une personne qui n'est pas en train de boire, > alors cette personne convient et l'implication: > > "si cette personne boit alors tout le monde dans le bar boit" > > est vraie car le premier membre est faux > > > - et si tout le monde boit, alors l'implication est trivialement > vraie > > > Mais en français, dans le langage courant, cette affirmation > n'a aucun sens. Etes vous d'accord avec moi ? La difficulté vient que la notion de temps n'est pas explicitée, alors qu'elle est implicite dans la compréhension « naturelle » de la phrase. La phrase vraie est : « À tout moment, il existe une personne telle que si cette personne boit alors tout le monde boit. » La phrase comprise implicitement (et fausse) est : « Il existe une personne telle que, à tout moment, si cette personne boit alors tout le monde boit. » Une remarque quand même : la première phrase aussi peut être fausse, et c'est lorsque le bar est vide. -- Olivier Miakinen