Re: Why an inconsistent ZF may be desirable, and should be welcome.

From: george (greeneg_at_cs.unc.edu)
Date: 03/17/05 

Date: 16 Mar 2005 17:26:07 -0800

Bhupinder Singh Anand wrote:
> On Mar 14, 12:31 am, Ross A. Finlayson wrote:
>
> RAF>> ... what do you mean that ZF is inconsistent?
>
> Ross
> ===
> Thanks for your comments. What I have meta-argued is that PA+PRA is
> inconsistent,

How can you expect to be taken seriously?
PA + PRA == PA, because PA is nothing but PRA + the induction schema.
And PA is obviously consistent because there is a proof that N is a
model
for it.
> and, since both can be interpreted in ZF, ergo ZF, too,
> is inconsistent.

Both can also be interpreted in N.
Are you now going to argue that the natural numbers don't exist?

Relevant Pages

  • Re: all the incompleteness proofs are worthless untill...
    ... inconsistent, that does not in any way mitigate the correctness of the ... is excellent reason to evaluate Goedel's result as very important. ... If I prove something in ZFC and then ZFC is ... you can construct a proof of a contradiction in PRA. ...
    (sci.logic)
  • Re: Some grey areas in foundational issues
    ... ZF is inconsistent. ... segment of PRA, are, both, recursively enumerable languages, ... the proof does not appeal to any non-constructive models. ... However, any objection that appeals to Platonic, non-standard, models, ...
    (sci.logic)
  • Re: Godel misuses ZF
    ... Goedel proves in his paper (in PRA) that if ZF is ... omega-consistent it is incomplete ... but he knew ZF was inconsistent ...
    (sci.logic)
  • Re: Why an inconsistent ZF may be desirable, and should be welcome.
    ... > ZF is inconsistent. ... > philosophically arguable, assumption that PRA is a finitary theory, and ... is consistent and "PRA is a finite theory" is false? ...
    (sci.logic)
  • Re: Cantor and the binary tree
    ... > Ross A. Finlayson wrote: ... > derive a contradiction or reference an article where one is proved. ... Where the set of all set is itself a set, and regularity says it's not, ... ZF is inconsistent, because those axioms purport to describe all sets, ...
    (sci.math)
Quantcast