Re: Why? [was Re: Cantor`s powerset theorem is false?]


Patricia Shanahan wrote:

Cantor's power set
theorem is clearly falsifiable. All it takes is a pair of sets S and P,
with a function f:S->P, such that P is the power set of S and f is a
bijection.

Indeed, but it is not this aspect of Cantor's proof that David is
saying is not falsifiable (if I understand him, which I'm not sure I
do). He seems to be claiming that the assumption of a power set of N
exists is not falsifiable, therefore it is meaningless.

My objection is that his claim is so wide-reaching that it rules out
many things as meaningless which many people would count as meaningful
(including the assertion that there exists a set containing every
subset of N, which is not on the face of it meaningless).

.

Relevant Pages

  • Re: Why? [was Re: Cantor`s powerset theorem is false?]
    ... Cantor's proof of the uncountablity of the reals fall down? ... in another post that the assertion that the power set of N exists is ... A power set of a set is just a set containing ... He was suggesting that the assumption was meaningless. ...
    (sci.logic)
  • Re: Why? [was Re: Cantor`s powerset theorem is false?]
    ... Cantor's proof of the uncountablity of the reals fall down? ... in another post that the assertion that the power set of N exists is ... meaningless. ... A power set of a set is just a set containing ...
    (sci.logic)
  • Re: Why? [was Re: Cantor`s powerset theorem is false?]
    ... Newberry wrote: ... Ockham: if the claim that there is a power set of N is meaningless, ...
    (sci.logic)
  • Re: Classic Mussina
    ... It was cloudy yesterday. ... Absent context, its meaningless. ... :>> your assertion that he tends to cough up the lead. ... :> assuming that baseball players are unemotional, brainless, automatons. ...
    (alt.sports.baseball.ny-yankees)
  • Re: Godels theorem is invalid?
    ... What exactly do you mean by the assertion ... meaningless. ... an infinite process that can never be completed *in principle*; ... holds in my proposed logic NAFL and follows from its postulates. ...
    (sci.logic)