Groups | Search | Server Info | Login | Register

Groups > sci.logic > #254045

Re: Smullyan's Proof of the Drinkers Principle V3

Newsgroups sci.logic
Date 2023-06-06 10:13 -0700
References (23 earlier) <59591d0d-ff24-402a-89fb-61d36058f344n@googlegroups.com> <478c25c6-698f-497c-97ed-5e944b14305cn@googlegroups.com> <cce648fc-09ed-438c-8f33-b17fb6baf8fen@googlegroups.com> <7c58e275-c63c-429a-96ce-b4e3b4da9459n@googlegroups.com> <a04a8804-7bbe-4648-a53b-fc5dbf966b04n@googlegroups.com>
Message-ID <57320b66-5f6a-4e0d-97dc-d5058dc765d5n@googlegroups.com> (permalink)
Subject Re: Smullyan's Proof of the Drinkers Principle V3
From Dan Christensen <Dan_Christensen@sympatico.ca>

Show all headers | View raw

(Correction)

On Tuesday, June 6, 2023 at 1:40:51 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

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