Re: Cantor's circular "proof" that evens = integers
- From: Aatu Koskensilta <aatu.koskensilta@xxxxxxxxx>
- Date: Sun, 13 May 2007 15:50:45 GMT
On 2007-05-09, in sci.logic, herbzet wrote:
Whether "THAT infinite set was PRODUCED BY *the axiom of infinity*!"
or had some existence "prior" to the axioms, my personal opinion
is that, assuming consistency of the axioms of ZFC, that infinite
set is a logically possible entity, whatever its status as an
actually existent entity, or as a conditionally existent entity.
Before addressing your other comments, let me ask you a question. Are
infinite sets logically possible entitites if ZFC is consistent but proves
"ZFC is inconsistent"? What about if ZFC proves "ZFC proves a false
statement about the omega_omega'th level of the cumulative hierarchy"?
--
Aatu Koskensilta (aatu.koskensilta@xxxxxxxxx)
"Wovon man nicht sprechen kann, daruber muss man schweigen"
- Ludwig Wittgenstein, Tractatus Logico-Philosophicus
.
- Follow-Ups:
- Re: Cantor's circular "proof" that evens = integers
- From: herbzet
- Re: Cantor's circular "proof" that evens = integers
- References:
- Re: Cantor's circular "proof" that evens = integers
- From: Phil
- Re: Cantor's circular "proof" that evens = integers
- From: Jesse F. Hughes
- Re: Cantor's circular "proof" that evens = integers
- From: Phil
- Re: Cantor's circular "proof" that evens = integers
- From: MoeBlee
- Re: Cantor's circular "proof" that evens = integers
- From: Phil
- Re: Cantor's circular "proof" that evens = integers
- From: george
- Re: Cantor's circular "proof" that evens = integers
- From: R. Srinivasan
- Re: Cantor's circular "proof" that evens = integers
- From: G . Frege
- Re: Cantor's circular "proof" that evens = integers
- From: herbzet
- Re: Cantor's circular "proof" that evens = integers
- Prev by Date: Re: Cantor's circular "proof" that evens = integers
- Next by Date: Re: Modal logic example
- Previous by thread: Re: Cantor's circular "proof" that evens = integers
- Next by thread: Re: Cantor's circular "proof" that evens = integers
- Index(es):
Relevant Pages
|