Groups | Search | Server Info | Login | Register

Groups > sci.logic > #254044

Re: A Paradox of Equality?

Newsgroups sci.logic
Date 2023-06-06 10:08 -0700
References (25 earlier) <90c89e89-760c-48b4-8fad-778117af1506n@googlegroups.com> <ac8b58f5-8b43-41c4-bac0-eef13b0a6c96n@googlegroups.com> <5ecec8d2-8114-4b99-9dda-65dd1c37d1d2n@googlegroups.com> <06783e2d-97de-413c-8df6-1f36a32f8f1bn@googlegroups.com> <54a2668b-4a56-4878-bd0c-df8032158bb5n@googlegroups.com>
Message-ID <2f4d9338-a1ab-4ca2-9bc0-285141120e46n@googlegroups.com> (permalink)
Subject Re: A Paradox of Equality?
From Dan Christensen <Dan_Christensen@sympatico.ca>

Show all headers | View raw

(Correction)

On Tuesday, June 6, 2023 at 1:38:42 AM UTC-4, Mild Shock wrote:
> Its not that difficult to correctly translate second order logic
> to first order logic.

[snip]

I see the need to quantify over sets and functions as in DC Proof and most advanced math textbooks. (Some say, that in itself is SOL.) However, I haven't come across any pressing need to quantify over logical propositions OR PREDICATES. I think it would only lead to confusion. Thanks anyway.

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

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

csiph-web