Path: ...!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Ross Clark Newsgroups: sci.lang Subject: =?UTF-8?Q?Re:_Kommen_drei_Logiker_in_eine_Bar._Der_Kellner_fragt:_?= =?UTF-8?Q?=22Na=2c_was_darfs_sein=2c_die_Herren=3f_Drei_Bier=3f=22_Sagt_der?= =?UTF-8?Q?_erste_Logiker_=22Ich_wei=c3=9f_nicht=22?= Date: Mon, 24 Jun 2024 10:59:55 +1200 Organization: A noiseless patient Spider Lines: 61 Message-ID: References: <8734p59c11.fsf@fatphil.org> <5mnf7j1e5brur43mf78gq82v1htdrhncbj@4ax.com> <87le2w7xko.fsf@fatphil.org> <4a13b7f6629c2a54da336bebcb14052a@www.novabbs.com> Reply-To: r.clark@auckland.ac.nz MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 8bit Injection-Date: Mon, 24 Jun 2024 01:00:10 +0200 (CEST) Injection-Info: dont-email.me; posting-host="92720b06afdfc5478c27ed60da523b74"; logging-data="595840"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1+F1/+LVnXWN+FAtuK0dYthxAibpYcw/8A=" User-Agent: Mozilla/5.0 (Windows NT 6.0; rv:52.0) Gecko/20100101 Thunderbird/52.9.1 Cancel-Lock: sha1:GE38Mhw9I7hE8WvmIr0VOnKhiM4= In-Reply-To: <4a13b7f6629c2a54da336bebcb14052a@www.novabbs.com> Content-Language: en-GB Bytes: 3978 On 24/06/2024 1:56 a.m., jerryfriedman wrote: > Antonio Marques wrote: > >> Phil Carmody wrote: >>> Ruud Harmsen writes: >>>> Sat, 22 Jun 2024 19:29:14 +0300: Phil Carmody >>>> scribeva: >>>> >>>>> Ruud Harmsen writes: >>>>>> Mon, 17 Jun 2024 11:18:24 -0700: HenHanna >>>>>> scribeva: >>>>>> >>>>>>> >>>>>>> Kommen drei Logiker in eine Bar. Der Kellner fragt: "Na, was darfs >>>>>>> sein, >>>>>>> >>>>>>> die Herren? Drei Bier?" Sagt der erste Logiker "Ich weiß nicht", >>>>>>> der zweite auch "Ich weiß nicht" und der Dritte sagt "Ja" >>>>>>> >>>>>>> ------ is this funny?   i don't really get it. >>>>>> >>>>>> 0 | 0 | 1 = 1, in Boolean logic. >>>>> >>>>> True but irrelevant. >>>>> >>>>> ~0 & ~0 & 1 = 1 is the boolean logic that applies. >>>> >>>> What do you mean by ~? Not? How is don't know a not. >>> >>> ~ is indeed not. >>> >>> Saying "don't know" is the *exclusion* of "no" as a possible state, >>> because if "no" was this guy's intention he would have correctly >>> answered "no" rather than "don't know". > >> ....except that 'don't know' usually means 'still deciding'. > > That misdirection is part of the puzzle (which I didn't get the first > time > I saw it).  But they're logicians, which is a clue that ordinary > interpretation doesn't work. > > I think this one can be worked out if it's presented as a puzzle, > ending "How did he know?"  In that case "I don't know" can't > mean "I'm still deciding."  It has to mean "I know what I want, but > I don't know what the others want."  For the third logician to > answer confidently, he has to be able to assume that the other > two know what they want, but three people walking into a bar > together might know each other that well. Thank you, Jerry. This brings it within reach of my groping mind at last. So...the whole sequence has to be understood as individual answers to the question addressed to the group: Do you want three beers? If either of the first two had _not_ wanted a beer, he would have been able (in fact required) to say "no" to the group question, even without knowing what the other two wanted. So "don't know" for the first two implies "I want a beer, but...". Once two such (individual, implicit) affirmatives have been given, the third guy knows the answer to the group question. I agree, better puzzle than joke.