|
|
george wrote:
> JEEzus; just go yourself.
> Q: How many legs does a dog have, if you call its tail a leg?
> A: Four. Calling a tail a leg doesn't make it one.
> And calling m and n not-variables here doesn't make them not
> variables. It doesn't even make them non-quantified; in fact,
> they are universally quantified bound variables, and this
> treatment IS NOT quantifier-free. If you have books that say
> otherwise then you are perfectly welcome to burn them for all I care.
Oh dear. Another sad rant. And in this case an elementary failure to
distinguish (i) metalinguistic schemata with "schematic variables" or
placeholders, giving us an abbreviated way of specifying an infinite
family of objectlanguage wffs containing numerals but no quantifiers or
variables from (ii) object language quantified sentences. You might
possibly try reading some of those books and understanding before
sounding off so offensively.
|
|