Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > sci.logic > #211195

Re: LOGIC WITHOUT QUANTIFIERS

From Ben Bacarisse <ben.usenet@bsb.me.uk>
Newsgroups sci.logic
Subject Re: LOGIC WITHOUT QUANTIFIERS
Date 2019-09-23 20:04 +0100
Organization A noiseless patient Spider
Message-ID <87h852u949.fsf@bsb.me.uk> (permalink)
References <e9d73774-f8f8-4723-bcad-a9338d26ab5c@googlegroups.com> <f80566ec-bfc0-eaa9-c984-5715bb20cc30@att.net> <82ef41eb-e34f-4f4b-8f07-2811e48ed9db@googlegroups.com> <9a52b1a0-99df-d498-4ceb-15b81da32fff@att.net> <8fa44d69-c387-484a-a3e8-6ec0041de5af@googlegroups.com>

Show all headers | View raw

Khong Dong <khongdongphong@gmail.com> writes:

> On Sunday, 22 September 2019 19:41:44 UTC-6, Jim Burns  wrote:
>
>> Using standard notation,
>> I want to able to tell
>> | forall x, exists y, y > x
>> from
>> | exists y, forall x, y > x
>> 
>> Those are clearly different. For the naturals,
>> the first is true, 
>
> Right.
>
>> the second is false.
>
> Right. Though, then, would you acknowledge that saying that if Goldbach
> conjecture is false it'd be provable in PA is invalid?

Are you feeling left out?

-- 
Ben.

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

Thread

LOGIC WITHOUT QUANTIFIERS grahamcooper7@gmail.com - 2019-09-22 08:29 -0700
  Re: LOGIC WITHOUT QUANTIFIERS Python <python@invalid> - 2019-09-22 17:32 +0200
    Re: LOGIC WITHOUT QUANTIFIERS grahamcooper7@gmail.com - 2019-09-22 08:54 -0700
  Re: LOGIC WITHOUT QUANTIFIERS Jim Burns <james.g.burns@att.net> - 2019-09-22 19:52 -0400
    Re: LOGIC WITHOUT QUANTIFIERS grahamcooper7@gmail.com - 2019-09-22 17:17 -0700
      Re: LOGIC WITHOUT QUANTIFIERS Jim Burns <james.g.burns@att.net> - 2019-09-22 21:41 -0400
        Re: LOGIC WITHOUT QUANTIFIERS Khong Dong <khongdongphong@gmail.com> - 2019-09-23 08:51 -0700
          Re: LOGIC WITHOUT QUANTIFIERS Ben Bacarisse <ben.usenet@bsb.me.uk> - 2019-09-23 20:04 +0100
            Re: LOGIC WITHOUT QUANTIFIERS Khong Dong <khongdongphong@gmail.com> - 2019-09-23 12:17 -0700
              Re: LOGIC WITHOUT QUANTIFIERS Khong Dong <khongdongphong@gmail.com> - 2019-09-23 13:28 -0700
                Re: LOGIC WITHOUT QUANTIFIERS Khong Dong <khongdongphong@gmail.com> - 2019-09-23 15:42 -0700
      Re: LOGIC WITHOUT QUANTIFIERS Fred <Fred@nowhere.invalid> - 2019-09-23 08:17 +0100
        Re: LOGIC WITHOUT QUANTIFIERS Peter Percival <peterxpercival@hotmail.com> - 2019-09-23 12:56 +0100
        Re: LOGIC WITHOUT QUANTIFIERS grahamcooper7@gmail.com - 2019-09-23 18:56 -0700
  Re: LOGIC WITHOUT QUANTIFIERS Dan Christensen <Dan_Christensen@sympatico.ca> - 2019-09-23 10:20 -0700
    Re: LOGIC WITHOUT QUANTIFIERS grahamcooper7@gmail.com - 2019-09-23 14:14 -0700
      Re: LOGIC WITHOUT QUANTIFIERS George Greene <greeneg@email.unc.edu> - 2019-09-23 17:38 -0700
        Re: LOGIC WITHOUT QUANTIFIERS grahamcooper7@gmail.com - 2019-09-23 17:50 -0700
      Re: LOGIC WITHOUT QUANTIFIERS George Greene <greeneg@email.unc.edu> - 2019-09-23 17:39 -0700
        Re: LOGIC WITHOUT QUANTIFIERS grahamcooper7@gmail.com - 2019-09-23 17:48 -0700
      Re: LOGIC WITHOUT QUANTIFIERS Dan Christensen <Dan_Christensen@sympatico.ca> - 2019-09-23 20:20 -0700
      Re: LOGIC WITHOUT QUANTIFIERS Dan Christensen <Dan_Christensen@sympatico.ca> - 2019-09-23 20:25 -0700
      Re: LOGIC WITHOUT QUANTIFIERS Dan Christensen <Dan_Christensen@sympatico.ca> - 2019-09-23 20:28 -0700
        Re: LOGIC WITHOUT QUANTIFIERS grahamcooper7@gmail.com - 2019-09-23 22:16 -0700
          Re: LOGIC WITHOUT QUANTIFIERS Dan Christensen <Dan_Christensen@sympatico.ca> - 2019-09-24 06:26 -0700
            Re: LOGIC WITHOUT QUANTIFIERS grahamcooper7@gmail.com - 2019-09-24 07:08 -0700
              Re: LOGIC WITHOUT QUANTIFIERS Dan Christensen <Dan_Christensen@sympatico.ca> - 2019-09-24 09:18 -0700
                Re: LOGIC WITHOUT QUANTIFIERS grahamcooper7@gmail.com - 2019-09-24 15:48 -0700
                Re: LOGIC WITHOUT QUANTIFIERS Dan Christensen <Dan_Christensen@sympatico.ca> - 2019-09-24 20:42 -0700
              Re: LOGIC WITHOUT QUANTIFIERS Fred <Fred@nowhere.invalid> - 2019-09-25 13:58 +0100
                Re: LOGIC WITHOUT QUANTIFIERS grahamcooper7@gmail.com - 2019-09-25 07:54 -0700
                Re: LOGIC WITHOUT QUANTIFIERS Fred <Fred@nowhere.invalid> - 2019-09-25 16:26 +0100

csiph-web