Groups | Search | Server Info | Login | Register

Groups > sci.logic > #254116

Re: Expressability in the notation of set theory

Newsgroups sci.logic
Date 2023-06-08 13:47 -0700
References (3 earlier) <0d9b45a0-028b-4226-befe-1e11b5a90c82n@googlegroups.com> <e4cf0f3e-2157-4e9b-ad43-22681b33ed81n@googlegroups.com> <ebbe8c64-6a01-43c1-9abc-366762d6aae1n@googlegroups.com> <6a6dbb2c-da8c-4aba-b6a1-28a4abe1bb0en@googlegroups.com> <fe12e99f-e6d3-4a6a-8ea4-a847177f0447n@googlegroups.com>
Message-ID <94a9e91f-8dad-457e-a09d-3d7ad614cb65n@googlegroups.com> (permalink)
Subject Re: Expressability in the notation of set theory
From Mild Shock <bursejan@gmail.com>

Show all headers | View raw

Your error is to connect the Drinker Paradox to
the Russell Paradox, because you only looked at
one set theoretic translation.

But there are multiple set theoretic translations.
Mostlikely the one that doesn't need the Russell
Paradox is the correct one.

Because the original second order logic version
like here, doesn't need the Russell Paradox either.
This is provable without it:

/* Drinker Paradox */
∀D∃x(Dx → ∀yDy)

Dan Christensen schrieb am Donnerstag, 8. Juni 2023 um 21:34:06 UTC+2:
> > Its not a formalization that has anything to do 
> > with the Drinker Paradox.

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

Thread

Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-07 20:25 -0700
  Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-07 22:11 -0700
    Re: Expressability in the notation of set theory Julio Di Egidio <julio@diegidio.name> - 2023-06-07 23:34 -0700
      Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 07:31 -0700
  Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 00:51 -0700
    Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 01:03 -0700
      Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 01:19 -0700
      Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 08:04 -0700
        Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 11:10 -0700
          Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 11:40 -0700
          Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 11:51 -0700
            Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 12:16 -0700
              Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 12:34 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 13:47 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 13:57 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 14:11 -0700
                Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 14:42 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 14:45 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 14:51 -0700
                Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 14:57 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 15:04 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 15:09 -0700
                Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 15:28 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 15:48 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-08 15:54 -0700
                Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 19:43 -0700
                Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 19:32 -0700
                Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 14:38 -0700
  Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-08 21:19 -0700
    Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-09 00:21 -0700
      Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-09 00:28 -0700
        Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-09 00:34 -0700
          Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-09 00:48 -0700
      Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-09 06:57 -0700
        Re: Expressability in the notation of set theory Mild Shock <janburse@fastmail.fm> - 2023-06-09 21:04 +0200
          Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-09 13:28 -0700
            Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-09 15:42 -0700
              Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-09 15:58 -0700
                Re: Expressability in the notation of set theory Ross Finlayson <ross.a.finlayson@gmail.com> - 2023-06-10 13:36 -0700
              Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-09 18:17 -0700
              Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-09 18:20 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-10 04:30 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-10 04:46 -0700
                Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-10 10:52 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-10 11:06 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-10 11:11 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-10 11:17 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-12 00:37 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-12 00:38 -0700
                Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-12 07:22 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-12 08:17 -0700
                Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-10 11:21 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-10 11:27 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-10 15:10 -0700
                Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-11 02:02 -0700
    Re: Expressability in the notation of set theory Dan Christensen <Dan_Christensen@sympatico.ca> - 2023-06-09 12:03 -0700
      Re: Expressability in the notation of set theory Mild Shock <janburse@fastmail.fm> - 2023-06-09 21:12 +0200
        Re: Expressability in the notation of set theory Mild Shock <janburse@fastmail.fm> - 2023-06-09 21:22 +0200
          Re: Expressability in the notation of set theory Mild Shock <bursejan@gmail.com> - 2023-06-09 12:33 -0700

csiph-web