|
|
george says...
>If Peter had just said, "Well, I don't need any variables
>in the object-language, but you will need them in the
>meta-language", then we MIGHT've clarified this
>a little sooner.
Alternatively, after reading Peter's post, *you* could
have said "Okay, I agree that you don't need variables
in the object language, but you certainly need something
equivalent to variables in the metalanguage" instead of
shouting profanities.
>But that ultimately would NOT have helped because I would
>NOT have conceded that his alleged meta-language EVEN WAS "meta".
It certainly was.
>Sure, it has two things the object-language doesn't (variables and
>implicit universal quantifiers over them).
>BUT THE DOMAIN of these variables IS THE SAME OBJECTS
>as the object language.
Actually, the metavariables range over *terms* of the
object language.
>That is simply a distinction without a difference.
The difference is that the metalanguage has variables,
and the object language does not.
>Remind me to file this under "If you curse people out in public then
>they will assume that you didn't know the stuff you got A's in when
>you majored in it.". JEEzus.
That's right. When you curse people out in public, people assume
that there is something wrong with you.
Of course, people *also* assume that there is something wrong
with you if you continue to try to have civil discussions with
someone who regularly curses people out in public.
--
Daryl McCullough
Ithaca, NY
|
|