From: Brian Holtz [brian@holtz.org] Sent: Friday, August 02, 2002 7:57 AM To: Alt.Atheism.Moderated Subject: Re: Science & atheism are cultures. "Paul Holbach" wrote: > > If you assume that "for all x" implies at least one binding of x, > > then you haven't demonstrated that there must be at least one binding > [..] > how could any (Ex)Px be possibly true in case the > bound variable x had not at least one value?! I didn't say it could. I disputed whether "for all x" implies "at least one", not whether "for some x" does. Did you not read what I wrote? > "There is something that isnīt there and has P." would be absurd Nothing I've said implies otherwise. "There is something" is not the same as "for all things". Your argument blatantly assumes its conclusion (as others have also pointed out here). > So it seems that logic can only deal with kinds of being but > not with absolute non-being. Non sequitor. > > but this stipulation certainly does not impose on the multiverse > > the requirement that at least one thing must have ontological > > existence. I'm afraid that the multiverse just doesn't pay attention > > to us in this way. > > even the notion of a > "multiverse" cannot flout the restrictions logic imposes. I agree that the multiverse cannot flout logic, but it certainly can ignore your assumption that at least one thing must exist. -- brian@holtz.org http://humanknowledge.net