G*, G, arithmetical hypostases, PA, ZF? I must not know the lingo round here
On Wednesday, May 14, 2014, Bruno Marchal <[email protected]> wrote: > > On 14 May 2014, at 06:05, Dennis Ochei wrote: > > Under Daniel Kolak's open > individualism<http://en.m.wikipedia.org/wiki/Open_individualism> there > exists one numerically distinct person who is everyone at all times. What I > want to explore is the implications of this theory for a self interested > individual. For those unfamiliar with Open Individualism, you might instead > imagine a demon appears to you, and informs you that after you die you will > experience what it is like to be every person that ever lived. > > > I think that is consitent, and perhaps true with comp, but perhaps not > communicable, so, like many good religious idea, to present them can be too > much, and prevent people to discover that by themselves. > > It would be a proposition belonging to G* minus G. What can be justified, > is that if comp is true then it follows. > > > The only rational course of action seems to be to maximize utility across > lives. Meaning if $1 will buy you in your current life 1 unit of utility, > but would afford another person 10 units, it would be rationally self > interested to donate the money, if you expect to experience what they shall > experience. This is essentially Singer's Effective Altruism at work. Are > there any other rational courses of action if Open Individualism is true > (or if the hypothetical demon appeared) and one is self interested? > > > When amoebas does that, it gives mold, mixomycete. > > I am not sure, because it depends what people do with the money, and with > the short term, middle term, long term conflicts. > > Social amoebas lives a selfish life until they starve, and then they make > sacrifice and assure the next generations: > > https://www.youtube.com/watch?v=5h8WOWEqP6o<https://www.youtube.com/watch?v=bkVhLJLG7ug> > > "We are all the same person" is close to spoiling the end of the movie, > somehow. > > And which "we"? I assume you take all living creatures in arithmetic from > the jumping spider to "divinities" (non computable sets, oracles). > > But OK, the arithmetical hypostases describes an abstract ideally correct > machines instanciated into its infinitely many variants or extensions. It > is a universal person. But with different beliefs and experiences, and that > has its role too. > > It is a process of recognition. I recognize myself in PA and ZF, in some > sense. > > Bruno > > > > -- > You received this message because you are subscribed to the Google Groups > "Everything List" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to > [email protected]<javascript:_e(%7B%7D,'cvml','everything-list%[email protected]');> > . > To post to this group, send email to > [email protected]<javascript:_e(%7B%7D,'cvml','[email protected]');> > . > Visit this group at http://groups.google.com/group/everything-list. > For more options, visit https://groups.google.com/d/optout. > > > http://iridia.ulb.ac.be/~marchal/ > > > > -- > You received this message because you are subscribed to a topic in the > Google Groups "Everything List" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/everything-list/S5Qi3Q_2TTI/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > [email protected]<javascript:_e(%7B%7D,'cvml','everything-list%[email protected]');> > . > To post to this group, send email to > [email protected]<javascript:_e(%7B%7D,'cvml','[email protected]');> > . > Visit this group at http://groups.google.com/group/everything-list. > For more options, visit https://groups.google.com/d/optout. > -- Sent from Gmail Mobile -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/everything-list. For more options, visit https://groups.google.com/d/optout.
