Re: A simple question?

David Marcus wrote:
MoeBlee wrote:
David Marcus wrote:
MoeBlee wrote:
David Marcus wrote:
MoeBlee wrote:
I don't see why not. There's no modality of "can" in the formal theory.
"can" is a loose way of speaking, which is okay, but I don't know of
anything in IN the theory to distinguish 'can' from 'is'.

I think we can give a formal meaning (and I think Enderton would agree
with this): If we say "S is a well ordered set", then we really mean
"(S,R) is an ordered pair where S is a set, R is an ordering on S, and R
is a well ordering".

You left 'R' free in that formulation. But, other than 'S', there is
no free variable in 'S is a well ordered set'.

Well, just because you don't see it, doesn't mean it isn't (implicitly)
there. If S can be free, then why can't the (invisible) R?

Of course, any unbound variables will be bound by putting "for all"
around the entire statement.

'S' is implicity bound by a universal quantifier. But it doesn't work
for 'R' that way. Or, tell me what formulation you have in mind where
'R' is bound by a universal quantifier to translate, specifically, "S
is a well ordered set".

Does "S is a well ordered set" appear in the hypotheses or in the
conclusion?

Neither. Or either. "S is a well orderded set" can stand on its own.

So for your formulation
to work, it has to be, "There EXISTS an R such that <S R> is a well
ordered set" or "There EXISTS and R such that <S R> is structure in
which R is a well ordering of S."

I'd do "For all S, for all R, if <S,R> is a well ordered set, then ..."

How is it different from saying "G is an abelian group"?

First, just as a personal matter, I just don't like "<S R> is a well
ordered set." Yes, <S R> is a set, but, to me, what is well ordered is
S, not <S R> (well, actually, quite literally, <S R> is well ordered
since it is {{S} {S R}}, which is a finite set, hence it has a well
ordering; but that is not what we have in mind). So, I say S is well
ordered by R and S is a well ordered set and <S R> is a well order
structure.

I don't really follow. I suppose that technically I'm saying that a
"well ordered set" isn't a set. It is an ordered pair, etc. You seem to
want a "well ordered set" to be a set (ignoring for the moment that
formally everything is a set).

Basically that's it. Granting that the way I'd like to use the words
may not be in accord with common use, it still seems better to me to
regard statements about S to be statements about S and not with an
UNbound R that comes along with S; and statements about <S R> are then
fine onto themselvese too.

If I were the Dictator of Terminology, I'd have us say:

S is well ordered <-> ER R is a well ordering of S.

<S R> is well order structure <-> R is a well ordering of S.

And as the Dictator, also I should be free to take "S can be well
ordered" to mean "S is well ordered".

MoeBlee

.

Relevant Pages

  • Re: OT:Ssshhh meet your Left
    ... Iran" by taking down Saddam ... He has obviously changed his mind. ... is that the jobs in Afghanistan and Iraq must be completed sucessfully. ...
    (rec.audio.opinion)
  • Re: "K"
    ... "Kay", but spelled only with the letter of that name). ... If you are saying it often, ... I know that I tend to rehearse spellings as I say ... name in the forefront of your mind, preventing you from feeling at ease ...
    (alt.usage.english)
  • Re: OT:Ssshhh meet your Left
    ... Iran" by taking down Saddam ... Did you oppose the Iraq War? ... I don't think he has really changed his mind. ...
    (rec.audio.opinion)
  • Re: mainstream science getting round to the creationist view of things
    ... to be actualized amongst the multiple potential states is independent ... program, which give rise to the mind, what I called a computing memory. ... predictability then other scientists are talking about. ... The other scientists are saying ...
    (talk.origins)
  • Re: Stopped smoking
    ... but don't fool yourself into saying it is easy. ... I've got nothing to do I 'notice' that I'm not smoking. ... Provided you can get your mind away from the "notice" stage each time it ... Ooh new bike time! ...
    (uk.rec.motorcycles)