tag:blogger.com,1999:blog-3891434218564545511.post5038916216152852716..comments2024-03-28T19:56:42.305-05:00Comments on Alexander Pruss's Blog: Pascal's wager and infinityAlexander R Prusshttp://www.blogger.com/profile/05989277655934827117noreply@blogger.comBlogger12125tag:blogger.com,1999:blog-3891434218564545511.post-85228658455972997182009-07-28T06:39:07.941-05:002009-07-28T06:39:07.941-05:00Dr Pruss
Along with the Hedonistic Paradox, I won...Dr Pruss<br /><br />Along with the Hedonistic Paradox, I wonder if Nozick's experience machines couldn't help us evaluate rewards? <br />They might also help us envision what infinite loss might be like for humans. <br /> <br />I've been having a little trouble with googlemail. Someone seems to have accessed my account. <br />If you can continue the conversation I can be reached at <br />gveale720@c2kni.net<br /><br /> Graham VealeMr Vealehttps://www.blogger.com/profile/12931446615905211560noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-12710050053743254142009-07-11T13:44:03.105-05:002009-07-11T13:44:03.105-05:00Whether the technical features of something can be...Whether the technical features of something can be realized in ZFC does not determine its truth. After all, the technical features of assigning to the existence of God a probability of zero can be realized in ZFC as well. I don't think btw one even needs Choice to accomplish this.<br /><br />If one is going to allow infinite surreals in one's model, one might as well also allow infinitesimals. The infinitesimals of signifance would be those that are greater than zero but less than any ordinary real greater than zero. This too has a mathematics.<br /><br />Then, one might as well say that the probability of an infinite payoff is mapped to such an infinitesimal.<br /><br />It does not seem ontologically possible for a finite being to possess an infinite good for in possessing an infinite good (such as infinite joy), one would in that respect not be finite.<br /><br />If one wants to say that the payoff is not truly infinite but only incommensurate with other finite payoffs, i.e. transfinite, then it is not clear why life in heaven would be the only case of such incommensurability. The payoff from sex with certain women for some men may be incommensurate with the payoff from eating ice cream, i.e. they would prefer one night with certain women to any amount of ice cream of any kind for the rest of their lives, even if their lives were immortal. So here, even though the latter be of infinite duration, the former is incommensurably greater (for some people).<br /><br />In claiming that the payoff is transfinite one can say that any frequency of the payoff is transfinite or that an instance of the payoff is itself finite but that the frequency (eternity of heaven) makes it transfinite. In the former case we have an ontological problem similar to the one I mentioned. In either case, it does not guarantee incommensurability with payoffs in this finite life on earth.<br /><br />If God exists, it seems more plausible that she would grant people what they prefer in accordance with preference utilitarianism. Personally, I would prefer an eternity of carnal pleasure and intellectual curiousity as is tasted on earth to an eternity of worship and contemplation.<br /><br />The probability of a god that would consign someone to not being able to enjoy those things he happens to find pleasurable and would at the same time be a god worthy of worship would seem to be either zero or infinitesimal.<br /><br />The broader problem with Pascal's wager is that if God exists and the infinite payoff is to be achieved, it would seem it cannot be achieved when motivated by utility maximization and that the selfless love of God for her own sake that would give the infinite payoff is as likely to be achieved by utility maximization as it is by utility minimization.metametaticshttps://www.blogger.com/profile/14284184551051429191noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-18815246513292246012009-07-09T06:41:44.182-05:002009-07-09T06:41:44.182-05:00...a problem with applying 1/w to measurable stuff......a problem with applying 1/w to measurable stuff is <i>sliding</i>, i.e. that w things of length 1/w make up an aggregate of length 1, and yet adding another 1/w to the start of that w-sequence and shifting the other bits along to make room for it also makes up 1. The question is whether or not that is acceptable behaviour in the measurable stuff. Similarly, rearranging the stuff can change its measured value (as in Hilbert's Hotel).<br /><br />I think that similar problems arise with NSA, but there is certainly the problem that NSA is based upon the first-order logical possibility of actually impossible measures (infinite natural numbers). For measuring stuff you might need such infinitesimals as the so-called <i>irreal</i> ones that are found in lines full of 1/0 points (where 1/0 is an 'actual' cardinal number). The problem with them is that their analysis remains to be done.Martin Cookehttps://www.blogger.com/profile/11425491938517935179noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-21061579000312128582009-07-09T05:07:38.702-05:002009-07-09T05:07:38.702-05:00Hi Alex,
There is no such infinite number by defi...Hi Alex,<br /><br />There is no <i>such</i> infinite number by definition; i.e. the natural numbers are all finite, by definition. So what you say is perhaps a reason not to accept ZFC.<br /><br />The surreal numbers simply postulate algebraically such numbers as 1/w (where w is the ordinal number of the natural numbers in their natural ordering), but there is again the question of how applicable they are. A similar question arises with the standard transfinite numbers, such as w.Martin Cookehttps://www.blogger.com/profile/11425491938517935179noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-75190933243726527912009-07-08T07:22:05.724-05:002009-07-08T07:22:05.724-05:00In any case, it's the property of being most &...In any case, it's the property of being most "worthy of worship" that makes something God and not Zod. That would include something like "greatest being imaginable".<br /> And any reason for thinking that a Zod is possible -<br />(say our Zod is a spiritual, irrational being powerful enough to torture you forever for worsipping God) -<br />would be reason for thinking that God is possible.<br /> And you want to bet on the greatest being (who can give most reward). Not cheap substitutes. <br /> After all Pascal believed in Satan and demons, and presumably believed that at least some idolaters worshipped demons; but they did not show up in the wager.<br /><br />GVMr Vealehttps://www.blogger.com/profile/12931446615905211560noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-84730819901133605172009-07-08T07:14:38.258-05:002009-07-08T07:14:38.258-05:00Or parodies of God. We could call them "Zods&...Or parodies of God. We could call them "Zods" for ease of reference(-;Mr Vealehttps://www.blogger.com/profile/12931446615905211560noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-69116673019001121642009-07-07T15:00:10.822-05:002009-07-07T15:00:10.822-05:00Those would be deities that are not God. :-)Those would be deities that are not God. :-)Alexander R Prusshttps://www.blogger.com/profile/05989277655934827117noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-225978714967605512009-07-07T14:55:11.478-05:002009-07-07T14:55:11.478-05:00"It's easy to extend the table to include..."It's easy to extend the table to include deities who send everybody to hell unless they are atheists, etc."<br /><br /> I hate to go on about this - but shouldn't it be zero? <br /> It should be fairly easy to deduce a contradiction between the concept of a God worthy of worship, and a theology in which that God sends everyone to Hell. <br /> <br /> But I take it that the infinities can remain in an evidentially concerned wager. <br /> But it would be conflicting religious claims that send us to the evidence - not the possibility of an atheist universe. Is that correct? <br /> If so, that's very interesting.<br /><br />Thank you for this thread. It's been a while since I looked at the wager.Mr Vealehttps://www.blogger.com/profile/12931446615905211560noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-66599970757602025362009-07-07T08:28:58.031-05:002009-07-07T08:28:58.031-05:00enigMan:
I am not sure what you mean by "the...enigMan:<br /><br />I am not sure what you mean by "there is no infinite number by definition". <br /><br />Once one accepts ZFC, one gets the existence of nonstandard reals as a theorem. <br /><br />I suppose there is a sense in which nonstandard arithmetic is higher order, viz., that it involves ultrafilter constructions that are not numbers but set theoretic constructions from numbers. But in the very same sense, real numbers aren't first order. They are sets of rational numbers (i.e., Dedekind cuts), and rational numbers are equivalence classes (and hence sets of) ordered pairs of integers, and integers are themselves formed out of naturals.Alexander R Prusshttps://www.blogger.com/profile/05989277655934827117noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-46702388013447396032009-07-07T07:06:36.779-05:002009-07-07T07:06:36.779-05:00A very interesting introduction. And yes, I can se...A very interesting introduction. And yes, I can see that infinite values need not render the wager irrational. <br /><br />But when Pascal talked about infinities, I think he meant something akin to "incommensurable". <br /><br />And the wager becomes a little too abstract to be of practical use once we start comparing infinities.<br /><br />Of course, that's not to deny the considerable philosophical interest generated by the wager using infinities. <br />And this was a helpful post for the non-mathematician. <br /><br />Many thanks.Mr Vealehttps://www.blogger.com/profile/12931446615905211560noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-84763447890996604752009-07-07T04:11:02.664-05:002009-07-07T04:11:02.664-05:00This is all perfectly rigorous.
But what you want ...<i>This is all perfectly rigorous.</i><br />But what you want is something true, reliable or plausible. Nonstandard Analysis is based upon the first-order possibility of infinite numbers satisfying Peano's axioms for the natural numbers, for example. Go to second-order and you get falsities (e.g. there is no such infinite number by definition).Martin Cookehttps://www.blogger.com/profile/11425491938517935179noreply@blogger.comtag:blogger.com,1999:blog-3891434218564545511.post-10143468517910469812009-07-07T01:55:33.194-05:002009-07-07T01:55:33.194-05:00Thanks for this intro to the non-standard Wager.Thanks for this intro to the non-standard Wager.Vlastimil Vohánkahttps://www.blogger.com/profile/12544439495032316597noreply@blogger.com