Re: Smullyan's Proof of the Drinkers Principle V3

From	Mild Shock <janburse@fastmail.fm>
Newsgroups	sci.logic
Subject	Re: Smullyan's Proof of the Drinkers Principle V3
Date	2023-05-29 19:49 +0200
Message-ID	<u52ojt$kerp$1@solani.org> (permalink)
References	(12 earlier) <e395e059-7550-4269-9d55-9a253f7c81fcn@googlegroups.com> <2b51c3a9-c774-4515-97dd-874e32212300n@googlegroups.com> <8832c5a6-b855-4423-b477-f66031c40aecn@googlegroups.com> <e6d1a290-5611-4d23-8018-dace389318c8n@googlegroups.com> <3783e5e7-3944-4141-866e-3230ba68436cn@googlegroups.com>

Show all headers | View raw

It leads to an error, nonsensical conclusion, caused by over
generalization. Over generalization is also a problem
in machine learning of artificial intelligence:

For example this AI cannot distinguish a Chihuahua from a Muffin:

Chihuahua or muffin? My search for the best computer vision API
https://www.freecodecamp.org/news/chihuahua-or-muffin-my-search-for-the-best-computer-vision-api-cbda4d6b425d/

But here, by Dans GDP,  we have a case where natural
intelligence makes a blooper and cannot fix it. Maybe
a job in a Cheese Cake factory would be more suited?

Dan Christensen schrieb:
> On Monday, May 29, 2023 at 12:39:51 PM UTC-4, Mild Shock (aka Mr. Collapse) wrote:
>> Similarly you can prove these two now:
>> EXIST(x):[x in d => p=d]
>> EXIST(x):[x in d => ~p=d]
>>
> 
> Yes. Sadly, for you Mr. Collapse, this apparently does NOT lead to any inconsistency. Just try prove from this that p=d & ~p=d.
> 
> This shows why you should avoid pathological constructs of the form EXIST(x):[x in s => P]. They really tell you nothing useful.
> 
> 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 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
                Re: Smullyan's Proof of the Drinkers Principle V3 Mild Shock <bursejan@gmail.com> - 2023-06-05 11:39 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mild Shock <bursejan@gmail.com> - 2023-06-05 15:56 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-05 18:53 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mild Shock <bursejan@gmail.com> - 2023-06-05 22:40 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mild Shock <bursejan@gmail.com> - 2023-06-05 22:48 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mild Shock <bursejan@gmail.com> - 2023-06-05 22:57 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-06 07:37 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mild Shock <bursejan@gmail.com> - 2023-06-06 09:13 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-06 10:13 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mild Shock <bursejan@gmail.com> - 2023-06-07 13:31 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mild Shock <bursejan@gmail.com> - 2023-06-07 13:37 -0700
                Re: Smullyan's Proof of the Drinkers Principle V3 Mild Shock <bursejan@gmail.com> - 2023-06-07 13:42 -0700

csiph-web