Groups | Search | Server Info | Login | Register

Groups > sci.logic > #253738

Re: Erroneous conclusions from applying material conditionals?

Newsgroups sci.logic
Date 2023-05-29 13:38 -0700
References (7 earlier) <96a1f35a-d729-4792-a22a-46d65dabefban@googlegroups.com> <c7e9f27e-7f7a-4370-b135-e3c798029115n@googlegroups.com> <u52p06$kerp$2@solani.org> <0859132a-8801-45b4-acea-202b52092a56n@googlegroups.com> <dc66328f-40fb-48d9-96c1-7b5881d6d22cn@googlegroups.com>
Message-ID <7374c86c-9b4b-4cea-8cca-126f657dd93bn@googlegroups.com> (permalink)
Subject Re: Erroneous conclusions from applying material conditionals?
From Mild Shock <bursejan@gmail.com>

Show all headers | View raw

But your blooper is understandable, distinguishing
Chihuahuas from Muffins requires very good eye sight.
Artificial intelligence has similar struggles:

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/

In the present case one needs eye sight to
see that we have "invalid" and "valid", two different
words already, even with opposite meaning:

> **Muffin:** ∃x¬Dx is invalid. 
> https://www.umsu.de/trees/#~7x~3Dx 

> **Chihuahua:** EXIST(x):[~x in s] is valid. 
> http://www.dcproof.com/UniversalSet.htm 

Mild Shock schrieb am Montag, 29. Mai 2023 um 22:32:46 UTC+2:
> For a good natural intelligence you need to 
> distinguish Chihuahuas from Muffins. 
> 
> Well if you can prove something which is the 
> analogue to ∃x¬Dx, then something went wrong 
> in your model. You did some over generalization, 
> 
> or some other blooper. Basically before your over 
> generalization or other blooper, we had, 
> from D is a predicate assumption: 
> 
> **Chihuahua:** ∃x(Dx → ∀yDy) is valid. 
> https://www.umsu.de/trees/#~7x(Dx~5~6yDy) 
> **Muffin:** ∃x(Dx → ¬∀yDy) is invalid. 
> https://www.umsu.de/trees/#~7x(Dx~5~3~6yDy) 
> 
> Now with your over generalization we have, 
> from Set(s) assumption: 
> 
> **Chihuahua:** EXIST(x):[x in s => ALL(y):[y in d]]] is valid 
> http://www.dcproof.com/STGeneralizedDrinkersThm.htm 
> **Chihuahua:** EXIST(x):[x in s => ~ALL(y):[y in d]]] is valid 
> http://www.dcproof.com/STGeneralizedDrinkersThm.htm 
> 
> So suddently there are two Chihuahua, whereas we 
> had before one Chihuahua and one Muffin. The 
> second Chihuaha is usually called a false positive. 
> 
> So what is the difference between predicates and 
> unrestricted sets, such as the absolute infinite? 
> Well in predicates we have: 
> 
> **Muffin:** ∃x¬Dx is invalid. 
> https://www.umsu.de/trees/#~7x~3Dx 
> 
> Whereas in sets we have: 
> 
> **Chihuahua:** EXIST(x):[~x in s] is valid. 
> http://www.dcproof.com/UniversalSet.htm 
> 
> So I guess your false positive happened because 
> in one place you replaced Muffin by Chihuahua.
> Dan Christensen schrieb am Montag, 29. Mai 2023 um 20:43:52 UTC+2: 
> > Again, in "standard" FOL we have: 
> > ∃x¬Dx → ∃x(Dx → ¬∀yDy) 
> > Dan

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

Thread

Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-27 12:04 -0700
  Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-27 13:25 -0700
    Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-27 19:42 -0700
  Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 08:39 -0700
    Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 11:50 -0700
    Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 12:01 -0700
      Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 13:47 -0700
        Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 13:57 -0700
          Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 14:02 -0700
          Re: Erroneous conclusions from applying material conditionals? olcott <polcott2@gmail.com> - 2023-05-28 16:12 -0500
          Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 15:39 -0700
            Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 15:56 -0700
              Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 16:04 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 16:14 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 16:24 -0700
              Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 16:49 -0700
              Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 16:52 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <janburse@fastmail.fm> - 2023-05-29 02:25 +0200
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <janburse@fastmail.fm> - 2023-05-29 02:31 +0200
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <janburse@fastmail.fm> - 2023-05-29 02:45 +0200
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 17:59 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 17:46 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 17:51 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 18:01 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 18:07 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 18:12 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 18:15 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 18:17 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 18:23 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-28 18:28 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 18:46 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-28 21:51 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-28 22:14 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 22:33 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 22:36 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-29 09:01 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 09:27 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 09:32 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 09:35 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 10:03 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <janburse@fastmail.fm> - 2023-05-29 19:45 +0200
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-30 05:52 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-30 15:16 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-29 11:14 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-29 22:53 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-30 17:45 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-05-31 08:23 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-31 13:22 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-31 13:31 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-31 13:38 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-31 13:51 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-01 19:56 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-01 21:35 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 21:44 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-01 18:54 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-01 19:55 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-01 21:13 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 21:19 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 21:23 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-01 21:30 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-01 22:02 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 22:28 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 22:31 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 22:34 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 22:39 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-01 23:29 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-03 14:14 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-03 14:23 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-01 23:26 -0700
                Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-02 09:42 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 20:41 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 20:58 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-01 21:24 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 21:28 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 21:31 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-01 21:34 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-01 22:49 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-03 04:49 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-03 04:51 -0700
        Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-28 15:33 -0700
    Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 02:52 -0700
      Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 02:58 -0700
        Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 03:03 -0700
          Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 07:35 -0700
            Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 08:23 -0700
              Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 08:30 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 08:33 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 09:56 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <janburse@fastmail.fm> - 2023-05-29 19:56 +0200
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 11:40 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 11:43 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 13:32 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 13:38 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 13:59 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 15:19 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 15:21 -0700
                Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-05-29 17:37 -0700
                Re: Erroneous conclusions from applying material conditionals? Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-05-29 19:00 -0700
  Re: Erroneous conclusions from applying material conditionals? Mild Shock <janburse@fastmail.fm> - 2023-06-02 09:41 +0200
    Re: Erroneous conclusions from applying material conditionals? Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-02 09:42 -0700
      Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-02 11:00 -0700
        Re: Erroneous conclusions from applying material conditionals? Mild Shock <bursejan@gmail.com> - 2023-06-02 11:14 -0700

csiph-web