Re: arithmetic in ZF

What do you mean, "heretic"?

That's pretty modern, in just barely introducing myself to Priest's
views, that's some interesting stuff. I think the "dialetheism", or
characteristics of paraconsistency, applies to the ur-element, where
that is basically "dually self intraconsistent", and not inconsistent.
Please present a well-ordering of the reals, and reread the thread "On
Well-Ordering(s) and Sets Dense in the Reals, Infinity".

How am I supposed to compete, i.e. to disagree and proffer my own
better alternative, with world-renowned and widely published and
respected logical luminaries like "Georg Cantor" or "Graham Priest",
and you? Uh oh, a 3'rd dan karateka. I'm interested in that. Coat
Jacket Grappling: streetfighting in suits.

http://www.st-andrews.ac.uk/academic/philosophy/gp.html

I'll tell you how: very directly, in terms of logic.

So, like I was saying, quantification over sets implies a universal
set. Immanuel Kant agrees, as do Cantor, and Priest. Stop fooling
yourself.

If that does not sit well with you, then I encourage you to address the
other points there that illustrate ZF's inconsistency, basically
because of irregularity.

If "Not Con(ZF)", that is, ZF is inconsistent, then all the forcing
results based upon "Con(ZF)" would reflect that.

Ross

.

Relevant Pages

  • Re: Skolems Paradox
    ... implies quantification, or basically a choice function with a natural ... it's rational for you to expect a universal set in a theory of sets, ... sci.logic_20050725_b.rtf:ZF is inconsistent. ... As the reals are complete, a bijective mapping from any other ...
    (sci.logic)
  • Re: RAF: Rational numbers, irrational numbers: each dense in real numbers
    ... Goedel can't separate consistent and inconsistent statements. ... set of characters allowed on the tape, ... clearly document the bug. ... Give the reals their clock definition between the integers. ...
    (sci.math)
  • Re: infinity
    ... ZF is inconsistent. ... If you want a unit interval of reals that can be sequenced, ... Real Numbers, and is now called Cantor's first proof, nested intervals, ... there are adjacent points in the normal ordering of the real numbers, ...
    (sci.math)
  • Re: An uncountable countable set
    ... show where I am being inconsistent, not with set theory, but within my ... intervals each containing Big'un reals, ... the Finlayson system. ... He calls it iota, which is finite) to the naturals in. ...
    (sci.math)
Quantcast