Groups | Search | Server Info | Login | Register

Groups > sci.logic > #253271

Re: Smullyan's Proof of the Drinkers Principle V3

Newsgroups sci.logic
Date 2023-05-21 06:59 -0700
References (14 earlier) <57223d3e-8b1e-4365-b53f-aab25b11eba3n@googlegroups.com> <57f74166-4096-4d9a-89c4-46a6fe8da770n@googlegroups.com> <b5a0b313-6e00-456b-a54a-319224932608n@googlegroups.com> <u3l2ve$gb4s$1@solani.org> <7a8f9c8f-3ee8-4ef2-bf30-e4d5e2f383e3n@googlegroups.com>
Message-ID <a05e76db-1b0b-4e9d-90a9-3f09522e169an@googlegroups.com> (permalink)
Subject Re: Smullyan's Proof of the Drinkers Principle V3
From Mostowski Collapse <bursejan@gmail.com>

Show all headers | View raw

What makes you think your nonsense of a generalized 
drinker paradox has even the slightest relevance to
Smullyans Drinker paradox. Lets say s are the drinkers

and U is the house, and lets say both are sets. Then
drinkers in the house is naturally Subset(s,U). And what
is non-drinker, we would still look at the house.

Ultimately you cannot prove:

ALL(U):ALL(s):[Set(s) & Set(U) & Subset(s,U) => EXIST(a):[a e U & ~a e s]]

There is no Russell Paradox for the Smullyan Riddle.

Dan Christensen schrieb am Freitag, 12. Mai 2023 um 16:12:05 UTC+2:
> On Friday, May 12, 2023 at 6:06:00 AM UTC-4, Mostowski Collapse wrote: 
> > IWell in this you should rename it to generalized drinker paradox. 
> > Also this here: 
> > 
> > ~P => [P => Q]
> > Material Implication 
> > https://www.dcproof.com/IfPigsCanFly.html 
> > 
> 
> ALL(p):[Set(p) => EXIST(x):[ x in p => Q]] 
> 
> Not the same thing at all, Mr. Collapse. What makes you think they are?
> Dan 
> 
> Download my DC Proof 2.0 freeware at http://www.dcproof.com 
> Visit my Math Blog at http://www.dcproof.wordpress.com

Back to sci.logic | Previous | Next — Previous in thread | Next in thread | Find similar

Thread

Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-06 10:29 -0700
  Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-05-07 02:41 -0700
    Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-07 06:59 -0700
      Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-05-07 08:31 -0700
        Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-07 11:19 -0700
          Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <janburse@fastmail.fm> - 2023-05-07 20:34 +0200
            Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <janburse@fastmail.fm> - 2023-05-07 20:41 +0200
              Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <janburse@fastmail.fm> - 2023-05-07 20:47 +0200
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <janburse@fastmail.fm> - 2023-05-07 20:48 +0200
            Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-07 11:51 -0700
              Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-05-08 05:36 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-05-08 07:22 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-11 14:34 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-05-11 16:10 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-11 17:00 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <janburse@fastmail.fm> - 2023-05-12 12:04 +0200
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-05-12 03:13 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-12 07:12 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-05-21 06:59 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-05-21 07:10 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-21 08:22 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-05-21 12:14 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-05-21 12:16 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-05-21 12:17 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-21 12:50 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-05-21 12:56 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-21 15:45 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-21 16:01 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-05-21 16:29 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-05-21 16:56 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-05-21 16:59 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-21 17:51 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <janburse@fastmail.fm> - 2023-05-22 02:51 +0200
                Re: Smullyan's Proof of the Drinkers Principle V3 Mostowski Collapse <bursejan@gmail.com> - 2023-05-26 14:13 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mild Shock <bursejan@gmail.com> - 2023-05-29 08:53 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mild Shock <bursejan@gmail.com> - 2023-05-29 08:56 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mild Shock <bursejan@gmail.com> - 2023-05-29 09:03 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 09:34 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mild Shock <bursejan@gmail.com> - 2023-05-29 09:38 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mild Shock <bursejan@gmail.com> - 2023-05-29 09:39 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 10:24 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mild Shock <janburse@fastmail.fm> - 2023-05-29 19:49 +0200
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 11:10 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mild Shock <bursejan@gmail.com> - 2023-05-29 13:39 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mild Shock <bursejan@gmail.com> - 2023-05-29 13:58 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 15:17 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 15:24 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mild Shock <bursejan@gmail.com> - 2023-05-29 17:39 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 18:52 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 19:04 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 19:34 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mild Shock <bursejan@gmail.com> - 2023-05-30 15:18 -0700

csiph-web