From: MoeBlee on
Tony Orlow wrote:
> stephen(a)nomail.com wrote:

> > The point is, there are different types of numbers, and statements
> > that are true of one type of number need not be true of other
> > types of numbers.

> Well, then, you must be of the opinion that set theory is NOT the
> foundation for all mathematics, but only some particular system of
> numbers and ideas: a theory. That's good.

Whether he thinks set theory is or is not a foundation, it doesn't
follow that he should not think it is a foundation simply because there
are different kinds of numbers.

MoeBlee

From: MoeBlee on
Tony Orlow wrote:
> I am beginning to realize just how much trouble the axiom of
> extensionality is causing here.

Oh, now the axiom of extensionality.

When you buy into Robinson's non-standard analysis you buy into the
axiom of extensionality, and all the other axioms of set theory, and
mathematical logic - the whole kit and kaboodle - including the axiom
of choice, ordinals, and uncountable cardinals, and all the
"transfinitology" (even if not with platonistic committments) you so
strenuously disclaim.

MoeBlee

From: MoeBlee on
Lester Zick wrote:
> On 27 Oct 2006 11:43:47 -0700, "MoeBlee" <jazzmobe(a)hotmail.com> wrote:
>
> >Lester Zick wrote:
> >> >By having read a proof.
> >>
> >> A proof that there can be "no consistent theory . . .". Truly
> >> fascinating. Do tell us more about this proof.
> >
> >I said no such thing as that there is a proof that there is no
> >consistent theory.
>
> Especially considering your judicious pruning of the comments
> involved.

There's nothing I left out that justifies representing me as having
claimed that there is a proof that there is no consistent theory.

MoeBlee

From: MoeBlee on
Lester Zick wrote:
> On 27 Oct 2006 14:30:27 -0700, "MoeBlee" <jazzmobe(a)hotmail.com> wrote:
>
> >Lester Zick wrote:
> >> According to MoeBlee's recent lectures on the subject of exhaustive
> >> mathematical definitions one cannot simply define IN and OUT, one must
> >> use a placeholder such as IN(x) and OUT(x) to establish the domain of
> >> discourse.
> >
> >Please stop mangling what I've said and then representing your mangled
> >versions as if they are what I said.
>
> What's mangled about what I said? Did you or did you not say
> mathematical definitions require "domain of discourse" placeholder
> variables

No, I did not. I explained to you that variables may be used in certain
mathematical definitions to range over the domain of discourse of a
given model of the theory. I didn't say that the variables "establish"
the domain of discourse (which is nonsense), nor did I say that we
cannot make definitions without variables (some defintions may not
require variables), nor did I say that variables should be appended the
way you append them and the way you've been misrepresenting the
particular definition I gave.

Please stop it already.

MoeBlee

From: MoeBlee on
Tony Orlow wrote:

> > Do you agree that there is no logical contradiction between the fact
> > that there is a least infinite ordinal and the fact that there is no
> > least non-standard real number?
>
> I think that the concept of a least infinite number in any real sense
> violates the fact that one can always remove 1 from it and it will still
> be infinite. Robinson directly uses this idea. Limit ordinals directly
> violate it. Is it true or not? Does removal of a nonzero quantity always
> result in a smaller value, or not? That's the issue.
>
> So, yes, there is no deductive contradiction between the two, because
> they have a difference of axiomatic assumptions to begin with.

No, they don't. Robinson works in set theory and mathematical logic.
And an axiomatization, such as Nelson's is a conservative extension of
set theory.

You are COMPLETELY mixed up. The reason infinite elements in a
nonstandard model don't contradict a least infinite ordinal is that, as
I've told you about a dozen times already, the word 'infinite' is being
used in a different sense in the two different contexts. This is not a
matter of "different axiomatic assumptions to begin with".

> That
> difference causes a contradiction BETWEEN the two.

Wrong. Robinson works in set theory and mathematical logic. Nonstandard
analysis is a result OF set theory and mathematical logic. Nonstandard
analysis is not a contradiction with set theory and mathematical logic.
And IST (Nelson's axiomatization of non-standard analysis) is a
CONSERVATIVE extension of set theory. So any theorem of set theory is
also a theorem of IST. And Robinson also talks about such things as the
transfer principle. What you did was to find the words 'there is no
smallest infinite number" and, without having a ghost of clue as to the
actual mathematics involved and the very specific set theoretical and
mathematical logical context, you seized on that as some kind of
vindication of your criticisms of set theory, when actually nonstandard
analysis is, quite the contrary, more credit onto the fruitfulness of
set theory and mathematical logic.

And you are clueless as to this, even though Robinsion says himself IN
THE VERY FIRST WORDS of the book:

"[...] the concepts and methods of contemporary Mathematical Logic are
capable of providing a suitable framework for the development of the
Differential and Integral Calculus by means of infinitely small and
infinitely large numbers."

And lately you've been spouting incorrectly that intuitionistic logic
rejects the principle that false implies anything. Of course that is
incorrect and what is the point of your even taking refuge in
intuitionistic logic (of which you know nothing) if you're endorsing
Robinson who uses classical logic and who avowedly rejects the
restrictions of intuitionistic logic for meta-theoretic reasoning.

MoeBlee