Rupert
Posts:
3,810
Registered:
12/6/04


Re: another boring critisism of Cantor's Theorem
Posted:
Apr 16, 2004 10:22 PM


"Herman Jurjus" <h.jurjus@hetnet.nl> wrote in message news:<c5o47o$3ei9o$1@ID110648.news.uniberlin.de>... > "Rupert" <rupertmccallum@yahoo.com> wrote in message news://d6af759.0404141902.4ca869e@posting.google.com... > > david_lawrence_petry@yahoo.com (David Petry) wrote in message news:<25bac3c0.0404141222.7c584b80@posting.google.com>... > > > rupertmccallum@yahoo.com (Rupert) wrote > > > > > > > david_lawrence_petry@yahoo.com (David Petry) wrote > > > > > > Could you explain why V can't be countable? Certainly you can't > > > > > prove that in any consistent first order formalism for which the > > > > > Loewenheim Skolem theorem applies. > > > > > > > > It's a triviality to prove V can't be countable in ZFC. The > > > > LoewenheimSkolem theorem says that if ZFC is consistent, it has a > > > > countable model. But that's not V. > > > > > > > > Philosophically speaking, if we are discorsing in the firstorder > > > > language of set theory and uttering theorems of ZFC, we can always > > > > suppose, without making any of our theorems false, that our discourse > > > > is relative to a countable model. But as I say, that's different to > > > > saying V can be countable. > > > > > > Somehow, I don't think you explained anything. You merely restated > > > what you said the first time. > > > > > > If you can prove V exists, you can prove that it is countable > > > relative to some metalanguage. But you claim otherwise. Why? > > > > > > I suppose I should admit that I don't know a great deal about > > > this topic, but you have hardly increased my knowledge of it. > > > > If ZFC is consistent, and we are uttering theorems of ZFC in the > > firstorder language of set theory, we can always entertain the > > possibility, without making any of our theorems false, that our > > discourse, let's call it the object language, is relative to some > > countable model. Then a metalanguage will be available in which what > > we referred to as V in our object language, will now in fact be > > countable. This possibility *may* hold of our language, I don't think > > it *has* to hold, this may be a point of difference between us. > > > > But in any case, you have to decide what language you're talking in. > > Whether you're talking in the object language or the metalanguage, it > > won't be true that V is countable. In both the object language and the > > metalanguage, all theorems of ZFC are true, and it's a trivial theorem > > of ZFC that V is not countable. > > But then, just like the original thing only _seemed_ uncountable, > but in reality countable, your 'meta world' could also be only > seemingly uncountable, but be 'metameta' countable. > Or do i miss something? > > Cheers, > Herman Jurjus
We can always entertain the *possibility* of any language that its semantics is relative to a model which is correctly called "countable" in some metalanguage. I don't think this possibility always has to hold.

