Re: Skolem's Paradox and why is math the way it is?

From: KRamsay (kramsay_at_aol.com)
Date: 09/28/04 

Date: 28 Sep 2004 14:21:27 GMT

In article <39d6e584.0409220634.5a5142b1@posting.google.com>,
troubled6man@yahoo.com (J.E.) writes:
>Then let's use IF logic instead, since you seem to be aware of it.

Well, I read about it one afternoon from Hintikka's book.
I wasn't very favorably impressed so I didn't go further
with it.

>I'll define a class of objects to be "intuitively infinite" if the
>objects of the class make the following statement true (in the
>game-theoretical symantics sense).

I don't remember how one would say such things as "there
exists a countable model of ZFC". Is there a way that you
know of, or do you base such statements on something
else besides IF logic?

Keith Ramsay

Relevant Pages

  • Re: Is the Empty Set a member of itself?
    ... Er, well, yeah. ... Perhaps your question is whether, in ZFC, there is a difference between ... Is the following statement true? ... Az(zey -> zex) ...
    (sci.logic)
  • Re: Is the Empty Set a member of itself?
    ... There are no elements of x satisfying that condition. ... Perhaps your question is whether, in ZFC, there is a difference between ... Is the following statement true? ... Az(zey -> zex) ...
    (sci.logic)