Path: ...!weretis.net!feeder8.news.weretis.net!eternal-september.org!feeder3.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Ross Clark <benlizro@ihug.co.nz>
Newsgroups: sci.lang,soc.culture.german
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: Sun, 23 Jun 2024 23:56:07 +1200
Organization: A noiseless patient Spider
Lines: 34
Message-ID: <v592gv$b1ld$1@dont-email.me>
References: <v4pulh$ro4o$1@dont-email.me>
 <jit47j5uj2q0t0hg6iltf7a22cd07tvcoc@4ax.com> <8734p59c11.fsf@fatphil.org>
 <5mnf7j1e5brur43mf78gq82v1htdrhncbj@4ax.com> <87le2w7xko.fsf@fatphil.org>
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: Sun, 23 Jun 2024 13:56:16 +0200 (CEST)
Injection-Info: dont-email.me; posting-host="d8f48262008e91cb310028af150ffde4";
	logging-data="362157"; mail-complaints-to="abuse@eternal-september.org";	posting-account="U2FsdGVkX1+ZUjjMFRMoIHz8QrjafQbNea+8g6pM0Os="
User-Agent: Mozilla/5.0 (Windows NT 6.0; rv:52.0) Gecko/20100101
 Thunderbird/52.9.1
Cancel-Lock: sha1:fbyF/cTw0m6KccjqDe7pRlMY/i0=
Content-Language: en-GB
In-Reply-To: <87le2w7xko.fsf@fatphil.org>
Bytes: 2554

On 23/06/2024 10:39 p.m., Phil Carmody wrote:
> Ruud Harmsen <rh@rudhar.com> writes:
>> Sat, 22 Jun 2024 19:29:14 +0300: Phil Carmody <pc+usenet@asdf.org>
>> scribeva:
>>
>>> Ruud Harmsen <rh@rudhar.com> writes:
>>>> Mon, 17 Jun 2024 11:18:24 -0700: HenHanna <HenHanna@devnull.tb>
>>>> 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".
> 
> Phil
> 

But it also excludes "yes". So is ~1 equivalent to ~0? Why not just ~?