The ideas I will present here combine some concepts that are likely familiar to people on LessWrong (i.e., anthropic reasoning, Doomsday argument, Bayesian inference) with some that may not be (i.e., Heideggerian ontology). This combination of ideas well-grounded in rationality with some that are not is inherently somewhat unusual. Nevertheless, I am confident that people on LessWrong will not dismiss them simply because they are unusual but rather respond with rational arguments.
Summary
I’ve recently revisited the Doomsday argument and realized that some of the fundamental questions regarding sampling are very similar to the questions at the root of political philosophy. At this point, I think they are actually the same thing and that the combined knowledge of one’s birth rank and the total cumulative population reached may provide Bayesian evidence for or against the foundational assumptions of political liberalism. Specifically, I posit that liberalism is likely to be true if and only if the total cumulative population reached is implied to be highly improbable by the standard Doomsday argument.
Introduction
Many arguments in political philosophy are implicitly (or explicitly) about the existence of an original position from which arguments can be made. Liberalism (or, perhaps more accurately, left-liberalism) supposes the existence of such a prior state (that is, a state prior to the specification of existential attributes) as part of the nature of human Being. John Rawls is the most famous proponent of this position. On the other side of the argument are thinkers like Martin Heidegger who claim that the prior state of human Being is not some Rawlsian original position in which the subject exists entirely without attributes and without any connection to or relation with the world, but rather Dasein, a state in which object and subject exist together in a composite form. The nature of human Being is thus understood as possessing a certain inherent “thrownness” (German: Geworfenheit) into the world.
Understandably, the latter interpretation of Being is popular among critics of liberalism. Heidegger himself was a supporter of National Socialism and today his thought deeply influences Russian anti-liberalism (particularly the the thought of Aleksandr Dugin). The rejection of Rawlsian liberalism is also a key component of noted Chinese pro-CCP political philosopher Jiang Shigong’s thought, though his rejection of Rawls may be understood as being of a somewhat less ontological nature than Dugin’s.
The argument between these two interpretations of human Being has so far been viewed as being fundamentally beyond rationalism and positivism, being instead understood as constituting an arbitrary choice that eventually manifests itself in (geo)politics as Carl Schmitt’s friend-enemy distinction. The argument presented here is a bold attempt to bridge the gap between this debate and the realm of positivism.
The Self-Indication Assumption
The Self-Indication Assumption (SIA) is a rebuttal to the Doomsday argument that objects to its uniform prior. Instead, SIA posits that the probability of an individual existing at all depends on how many humans will ever exist. Thus the fact that an observer exists provides evidence that the total number of observers is high. Or, to directly quote Nick Bostrom:
Given the fact that people exist, people should (other things equal) favor hypotheses according to which many observers exist over hypotheses on which few observers exist.
It can be shown that this argument perfectly cancels the Doomsday argument in the case of a vague prior. The problem with the argument, however, is that it requires either reasoning from a prior state in which existence is not yet certain or from a prior state in which it is uncertain in which universe (within a multiverse) one will be placed. While the latter option is mildly more palatable (and has hence convinced some philosophers), I shall posit that both whether one exists and in which universe (i.e., in which casually disjoint domain) one exists are extremely existential properties, meaning that reasoning from a prior state before they are specified requires (Rawlsian) liberalism to be true.
Moreover, it is also worth noting that we have no evidence of the multiverse existing. If we argue that the multiverse must exist due to either the preference for larger populations in SIA or the fine-tuned nature of physical laws, this argument would require the application of reasoning from a prior state in which existence is not yet certain. Invocation of the multiverse, without external evidence of its existence, thus only provides the illusion of circumventing the need for reasoning from a prior state in which existence is not yet certain.
The Self-Sampling Assumption
The Self-Sampling Assumption (SSA) is the alternative to the SIA. In this case:
All other things equal, an observer should reason as if they are randomly selected from the set of all actually existent observers (past, present and future) in their reference class.
This very straightforwardly leads to the Doomsday argument. It is also compatible with notions of human Being that are skeptical of the existence of prior states that do not contain existentially important information. Indeed, the prior state (from which one reasons) becomes the state prior to knowing one’s absolute birth rank. The basic idea of the Doomsday argument is that the probability density of one’s fractional position remains uniformly distributed even after learning one’s absolute position. The basic argument I am making here is that absolute birth position is to be regarded as a far more incidental (i.e., far less existential) piece of information about a person relative to existence vs. non-existence (or even existence in one universe vs. existence in another parallel universe). Thus the prior state can be regarded as already possessing “thrownness” into the world (i.e., you know that you will exist and that your existence will take place in this world).
The Argument
My argument relies on two basic assumptions:
The Doomsday argument is methodologically correct.
The Self-Indication Assumption is true if and only if the (Rawlsian) liberal interpretation of human Being is correct and the Heideggerian interpretation is wrong.
Note that the second assumption is a single condition (rather than two conditions) since we regard the Rawlsian and Heideggerian interpretations as being both mutually exclusive and collectively exhaustive.
Where n is the absolute birth rank of the observer and N is the cumulative total population reached by humanity.
Meanwhile, under SIA with a vague prior, it is implied that N has to be infinite. This is because the vague prior is equivalent to randomly picking a number larger than n. Since 100% of numbers larger than n are infinite, we are certain that if liberalism is correct, then N must be infinite. Thus if N is finite, liberalism cannot be correct.
However, liberals need not despair yet, since (as we shall investigate in the next section) the conclusion given by the vague prior is unstable with respect to doubt regarding the validity of that prior. Indeed, if the vague prior used implies that it is extremely likely that the total cumulative population will be either no more than a few trillion or literally infinite, then a result of, for example, 1015 should not be interpreted as the tiny chance of reaching 1015 in the standard Doomsday argument, but rather as strong evidence that our prior was wrong. Note that criticism of SIA on the grounds that it fails under the vague prior is nothing new.
Using a Capped Prior
To restore coherence to our argument under SIA, we shall apply a cap to our vague prior. The cap is supposed to stand for the largest possible number of humans that can be born and is thus supposed to be extremely high. If an appropriately high cap is chosen it is likely that our argument under SSA will remain effectively unchanged at
Now we shall proceed to derive the probability of the correctness of Heidegger’s interpretation of Being. To do so, we shall slightly shift our notation. We shall now denote the observed total cumulative population achieved as N′. We shall denote the probability that Heidegger is correct as P(H). Given that SSA is true if Heidegger is correct, we may write,
P(N′|H)=nN′2
We now require a prior for P(H). I am going to pick 50%. This is not perfect, but given that both sides of the debate have been supported by some of the smartest philosophers in history, the outside view indicates that priors deviating far from 50% (e.g., 1% or 99%) are pretty unreasonable. Likewise, there is still substantial disagreement among the smartest philosophers about whether SIA is correct. It is also worth noting that our current world is pretty evenly split on the issue in geopolitical terms, with the West accepting Rawls (in part explicitly, in part implicitly), while Russia takes Heidegger’s side explicitly, and China does so implicitly. (Disclaimer: the last sentence expresses my personal opinion and is not important to the broader argument.)
P(H)=0.5
We may now combine our SIA and SSA versions as a probability-weighted sum to obtain,
P(N′)=P(H)nN′2+(1−P(H))1N′ln(Ωn)
P(N′)=n2N′2+12N′ln(Ωn)
Then we may use Bayes’ rule to solve for P(H|N′),
P(H|N′)=P(N′|H)P(H)P(N′)
P(H|N′)=nN′2nN′2+1N′ln(Ωn)
P(H|N′)=nln(Ωn)N′+nln(Ωn)
Finally, we determine the probability of the correctness of liberalism, denoted as P(L), using the properties of mutual exclusivity and collective exhaustion,
P(L|N′)=1−P(H|N′)=N′N′+nln(Ωn)=N′N′+nln(Ωn)
If we plug in n=1011and Ω=1030 we get the following graph:
For Ω=1030, the probability of liberalism being true would be about 2% if humanity ended tomorrow and about 96% if it endured up to a cumulative 100 trillion people.
Thankfully, the relationship is reasonably robust in Ω. The no-information point (i.e., the value of N′for which P(L|N′)=0.5) is given by
y=log10Ω−114.34∗10−12
The no-information point ranges from the low to the high single-digit trillions as we increase Ω from the very low value of 1015 to the very high value of 1050.
Estimation Before Extinction
Sticking with our capped prior example, we shall now investigate the Bayesian estimate for the probability that liberalism is correct, given that the cumulative population has progressed to a point at which humanity still endures.
The probability that a certain cumulative population C will be exceeded in the case of SSA is
P(N>C|n)=∫∞CnN2dN=nC
Note again that the integrals from C to Ω and from C to ∞ will only differ to a negligible degree since only a negligible proportion of probability is between Ω and ∞ in the standard Doomsday argument.
The probability that a certain cumulative population C will be exceeded in the case of SIA is
P(N>C|n)=∫ΩC1Nln(Ωn)dN=lnΩ−lnClnΩ−lnn
We may now solve for the probability of liberalism being true, already using n=1011,
As expected, we can see that at our current position of 100 billion, we are at our prior 50% probability of liberalism being correct. However, this probability now more rapidly increases to reach about 90% and 99% for populations of a trillion and 10 trillion, respectively. The reason for this more rapid increase is the fact that the standard Doomsday argument basically runs out of probability at population levels above a trillion, meaning that populations above that not only have a low probability in the standard Doomsday scenario but also lead us to assume that the population will keep growing for far longer (since it is likely at that point that the standard Doomsday argument is false). This also means that while our post-extinction argument was reasonably robust in Ω, our pre-extinction argument works for arbitrarily high values of Ω, allowing us to return to our uncapped prior, as we shall investigate in the next section.
Returning to the Uncapped Prior
We want to investigate the behavior of the probability of liberalism in the limiting case of Ω→∞.
This is basically the same behavior we have seen before since the limit was already closely approached when using Ω=1030.
Despite the mathematics working out neatly, I would like to caution once again against using an uncapped prior in combination with SIA. The problem is that while we are about 99% certain that liberalism is true at 1013, that is only because we are also about 99% certain that N will reach literally infinity. This seems very unreasonable.
Implications (for EAs)
I have to admit that the implications for political thought may be more significant than those for EAs, however, since I am posting this on LessWrong, I will do my best to keep it relevant.
Firstly, near-term (e.g., within the next century) human extinction may provide moderately strong (though probably far from definitive) evidence for the incorrectness of political liberalism. This may seem somewhat irrelevant since it would only become apparent after extinction; however, there may be a scenario where it could still matter. This would be the case in which a transition occurs in which humans turn into post-humans who are sufficiently different from humans to no longer fall into their reference class.
I am pretty skeptical of this. What is the chance that there wouldn’t be a remaining minority of legacy humans? What is the chance that one could be sure that such a minority would never arise in the future? Nevertheless, if such a transition were to take place in the coming decades, humans might have some evidence that liberalism is wrong as the transition takes place, and this may influence their actions.
The second point is perhaps more interesting. If humanity survives for a long time (and still greatly increases its population as it ventures out to colonize the galaxy), it may rake up a very great cumulative population. If humanity also manages to cure aging/death in the coming decades, it is possible that some humans with birth rank circa.1011 may still be alive at a late stage in this process. These humans would then have high confidence that liberalism is true, which they would not share with most humans alive then. If these pioneer humans (who would be a tiny minority) were to hold unusually large amounts of power/status relative to their number then this could have interesting implications.
Rebuttals to Possible Objections
Finally, I shall offer my responses to several possible objections that I thought of (when attempting to attack my own idea) but have not yet addressed so far. Of course, I am posting this to get further objections to either rebut or accept.
Wait, wouldn’t the Liberal and Heideggerian interpretations have different Kolmogorov complexities?
(In case it isn’t obvious, the relevance of this is that if the Kolmogorov complexities were different then the 50% prior for liberalism could no longer be justified.)
No, they would not. The reason for this is that the worlds that they describe are ontically identical. The difference between the two interpretations does not consist in the difference of beings or things, but rather that of the nature of the Being of those beings and things. See ontic-ontological distinction for more details.
Let us investigate some naïve arguments. Say one were to argue that the Kolmogorov complexity of the liberal interpretation is higher because it also contains the (even earlier) prior. This is wrong because the prior is not a thing that exists in either case but rather a designation of the nature of the Being of humans. Likewise, if one were to argue that the Kolmogorov complexity of the liberal interpretation is lower because we now only have to specify the prior, this would be wrong because the wall of existence vs. non-existence stands between the prior and the world, meaning that we cannot take a stand of indifference and have to specify the world separately.
Wait, wouldn’t this violate/resolve Hume’s is-ought Problem?
No, it would not. The reason for this is that while there are implications for certain arguments for ethical positions (such as that from Rawls’ original position), no argument emerges for the position that one ought to care about the validity of those arguments. A liberal could still support liberal ethics even if arguments for them have been shown to be false, while likewise, an anti-liberal could still support anti-liberal ethics even if liberalism has been shown to be true. On the most general level, the choices between the moral and the immoral, the just and the unjust, and the fair and the unfair are still arbitrary, though perhaps some insight may be gained regarding the nature of justice.
Wait, what about Post-Humans?
As implied by previous arguments I have made, I do not object to objections to the Doomsday argument on the grounds that it provides evidence only for humans and not for sufficiently different post-humans (who have fallen outside of the human reference class). In fact, I believe those objections to be true, and both the SSA and SIA (i.e., the Heideggerian and liberal) versions of the Doomsday argument presented here should not be interpreted as containing evidence regarding the future post-human population.
Wait, wouldn’t this violate Aumann’s Agreement Theorem?
I have previously described a scenario in which some humans from our era survive into a future in which a far greater number of humans have existed. These humans would then have different beliefs on the probability of liberalism being true from most other humans in the future. If they fail to resolve their disagreement through argumentation this would naïvely appear to be a violation of Aumann’s agreement theorem.
However, it actually is not a violation since Aumann’s agreement theorem applies only to the ontic realm, and their disagreement would be of an ontological nature. In other words, they would not disagree regarding any being or thing in the world but would rather disagree on the nature of beings and things that makes them beings and things. Stated even more simply, they would not disagree on anything concerning objective reality.
Wait, wouldn’t the Heideggerian interpretation reject even the original Doomsday Argument?
OK, I am going to be honest, this is the most serious objection I could think of. Perhaps, the absolute birth rank is only of an extremely incidental character so long as one conflates the knowledge of the absolute birth rank with the absolute birth rank itself. It could be argued that having an absolute birth rank of 50 billion instead of 100 billion would necessitate being in a medieval society rather than a modern industrial one. On the other hand, the fact that it took 100 billion people to get to a civilization as advanced as ours is an a priori highly non-obvious fact that took a large amount of historical, demographic, and anthropological research to determine. In fact, in the 1970s, the estimate was about 50 billion. This is despite the fact that a lot of (but apparently not quite enough) research had been done on the question at that point. Substantial further updates to the 100 billion estimate seem possible, if not likely. Indeed, with little information about the world and little thought, there is little knowledge regarding one’s absolute birth rank. The difference to the prior state could thus be understood as constituting the incidental knowledge of how many people were necessary to reach the current stage of civilization. (However, I am not sure if this last point isn’t simply conflating the knowledge of the absolute birth rank with the absolute birth rank itself again.)
The relevance of the previous argument notwithstanding, I believe that it is likely that even if we link absolute birth rank to something like technological development, we may still find ourselves facing a largely non-existential difference. Many of the factors tied to the specific human (e.g., gender, inherent abilities, tastes, relative wealth, relative social status, etc.) need not necessarily be left variable in the prior. These are the factors that Rawls was concerned about. Furthermore, I believe we have clearly seen changes within single people’s lifetimes that are at least on the same order of magnitude as those of the difference between technological levels at different stages in human history. For example, there are a sizeable number of people who went from being peasant children in pre-industrial China to being moderately wealthy adults in post-industrial America without losing the coherence of their selfhood.
We may also note that we should not tie ourselves too closely to Heidegger since his interpretation of human Being may be regarded as extreme. (This may be further evidenced by his previously mentioned extreme politics.) I would judge a degree of puritanism regarding priors that leads one to simply reject the Doomsday argument without needing further arguments as being obviously wrong. Whether Heidegger would have supported this remains unknowable and should be regarded as irrelevant.
Finally, we should note that even if you believe that a non-Rawlsian interpretation would have to reject the original Doomsday argument, this would not lead us to reject the idea that future population may give insight into the validity of the foundations of political liberalism, as long as a capped prior is used. Rather, it would invert the argument and force us to compare a Heideggerian no-evidence (i.e., pure prior) state with a liberal SIA Doomsday argument. In this case, the probability of liberalism would fall as the cumulative population increases. The Heideggerian interpretation would only be probable if the cumulative population were to reach a level close to the cap of the prior on a logarithmic scale. If an uncapped prior were to be used, both interpretations would imply certainty of an infinite cumulative population and thus be (obviously) fallacious.
Conclusion
There is a strong similarity in the questions regarding the reasoning from priors in political philosophy and the Doomsday argument. The difference is that the former occupies the realm of the political and ethical, whereas the latter makes predictions about the future that may be validated or invalidated in the further course of human history. This may provide a promising crack in the wall separating the ontic and ontological realms.
SSA vs. SIA: how future population may provide evidence for or against the foundations of political liberalism
Disclaimer
The ideas I will present here combine some concepts that are likely familiar to people on LessWrong (i.e., anthropic reasoning, Doomsday argument, Bayesian inference) with some that may not be (i.e., Heideggerian ontology). This combination of ideas well-grounded in rationality with some that are not is inherently somewhat unusual. Nevertheless, I am confident that people on LessWrong will not dismiss them simply because they are unusual but rather respond with rational arguments.
Summary
I’ve recently revisited the Doomsday argument and realized that some of the fundamental questions regarding sampling are very similar to the questions at the root of political philosophy. At this point, I think they are actually the same thing and that the combined knowledge of one’s birth rank and the total cumulative population reached may provide Bayesian evidence for or against the foundational assumptions of political liberalism. Specifically, I posit that liberalism is likely to be true if and only if the total cumulative population reached is implied to be highly improbable by the standard Doomsday argument.
Introduction
Many arguments in political philosophy are implicitly (or explicitly) about the existence of an original position from which arguments can be made. Liberalism (or, perhaps more accurately, left-liberalism) supposes the existence of such a prior state (that is, a state prior to the specification of existential attributes) as part of the nature of human Being. John Rawls is the most famous proponent of this position. On the other side of the argument are thinkers like Martin Heidegger who claim that the prior state of human Being is not some Rawlsian original position in which the subject exists entirely without attributes and without any connection to or relation with the world, but rather Dasein, a state in which object and subject exist together in a composite form. The nature of human Being is thus understood as possessing a certain inherent “thrownness” (German: Geworfenheit) into the world.
Understandably, the latter interpretation of Being is popular among critics of liberalism. Heidegger himself was a supporter of National Socialism and today his thought deeply influences Russian anti-liberalism (particularly the the thought of Aleksandr Dugin). The rejection of Rawlsian liberalism is also a key component of noted Chinese pro-CCP political philosopher Jiang Shigong’s thought, though his rejection of Rawls may be understood as being of a somewhat less ontological nature than Dugin’s.
The argument between these two interpretations of human Being has so far been viewed as being fundamentally beyond rationalism and positivism, being instead understood as constituting an arbitrary choice that eventually manifests itself in (geo)politics as Carl Schmitt’s friend-enemy distinction. The argument presented here is a bold attempt to bridge the gap between this debate and the realm of positivism.
The Self-Indication Assumption
The Self-Indication Assumption (SIA) is a rebuttal to the Doomsday argument that objects to its uniform prior. Instead, SIA posits that the probability of an individual existing at all depends on how many humans will ever exist. Thus the fact that an observer exists provides evidence that the total number of observers is high. Or, to directly quote Nick Bostrom:
It can be shown that this argument perfectly cancels the Doomsday argument in the case of a vague prior. The problem with the argument, however, is that it requires either reasoning from a prior state in which existence is not yet certain or from a prior state in which it is uncertain in which universe (within a multiverse) one will be placed. While the latter option is mildly more palatable (and has hence convinced some philosophers), I shall posit that both whether one exists and in which universe (i.e., in which casually disjoint domain) one exists are extremely existential properties, meaning that reasoning from a prior state before they are specified requires (Rawlsian) liberalism to be true.
Moreover, it is also worth noting that we have no evidence of the multiverse existing. If we argue that the multiverse must exist due to either the preference for larger populations in SIA or the fine-tuned nature of physical laws, this argument would require the application of reasoning from a prior state in which existence is not yet certain. Invocation of the multiverse, without external evidence of its existence, thus only provides the illusion of circumventing the need for reasoning from a prior state in which existence is not yet certain.
The Self-Sampling Assumption
The Self-Sampling Assumption (SSA) is the alternative to the SIA. In this case:
This very straightforwardly leads to the Doomsday argument. It is also compatible with notions of human Being that are skeptical of the existence of prior states that do not contain existentially important information. Indeed, the prior state (from which one reasons) becomes the state prior to knowing one’s absolute birth rank. The basic idea of the Doomsday argument is that the probability density of one’s fractional position remains uniformly distributed even after learning one’s absolute position. The basic argument I am making here is that absolute birth position is to be regarded as a far more incidental (i.e., far less existential) piece of information about a person relative to existence vs. non-existence (or even existence in one universe vs. existence in another parallel universe). Thus the prior state can be regarded as already possessing “thrownness” into the world (i.e., you know that you will exist and that your existence will take place in this world).
The Argument
My argument relies on two basic assumptions:
The Doomsday argument is methodologically correct.
The Self-Indication Assumption is true if and only if the (Rawlsian) liberal interpretation of human Being is correct and the Heideggerian interpretation is wrong.
Note that the second assumption is a single condition (rather than two conditions) since we regard the Rawlsian and Heideggerian interpretations as being both mutually exclusive and collectively exhaustive.
Under SSA with a vague prior, the Doomsday argument implies that
P(N|n)=nN2
Where n is the absolute birth rank of the observer and N is the cumulative total population reached by humanity.
Meanwhile, under SIA with a vague prior, it is implied that N has to be infinite. This is because the vague prior is equivalent to randomly picking a number larger than n. Since 100% of numbers larger than n are infinite, we are certain that if liberalism is correct, then N must be infinite. Thus if N is finite, liberalism cannot be correct.
However, liberals need not despair yet, since (as we shall investigate in the next section) the conclusion given by the vague prior is unstable with respect to doubt regarding the validity of that prior. Indeed, if the vague prior used implies that it is extremely likely that the total cumulative population will be either no more than a few trillion or literally infinite, then a result of, for example, 1015 should not be interpreted as the tiny chance of reaching 1015 in the standard Doomsday argument, but rather as strong evidence that our prior was wrong. Note that criticism of SIA on the grounds that it fails under the vague prior is nothing new.
Using a Capped Prior
To restore coherence to our argument under SIA, we shall apply a cap to our vague prior. The cap is supposed to stand for the largest possible number of humans that can be born and is thus supposed to be extremely high. If an appropriately high cap is chosen it is likely that our argument under SSA will remain effectively unchanged at
P(N|n)=nN2
However, in the case of SIA we now have
P(N|n)=1Nln(Ωn)
Where Ω is our cap.
Now we shall proceed to derive the probability of the correctness of Heidegger’s interpretation of Being. To do so, we shall slightly shift our notation. We shall now denote the observed total cumulative population achieved as N′. We shall denote the probability that Heidegger is correct as P(H). Given that SSA is true if Heidegger is correct, we may write,
P(N′|H)=nN′2
We now require a prior for P(H). I am going to pick 50%. This is not perfect, but given that both sides of the debate have been supported by some of the smartest philosophers in history, the outside view indicates that priors deviating far from 50% (e.g., 1% or 99%) are pretty unreasonable. Likewise, there is still substantial disagreement among the smartest philosophers about whether SIA is correct. It is also worth noting that our current world is pretty evenly split on the issue in geopolitical terms, with the West accepting Rawls (in part explicitly, in part implicitly), while Russia takes Heidegger’s side explicitly, and China does so implicitly. (Disclaimer: the last sentence expresses my personal opinion and is not important to the broader argument.)
P(H)=0.5
We may now combine our SIA and SSA versions as a probability-weighted sum to obtain,
P(N′)=P(H)nN′2+(1−P(H))1N′ln(Ωn)
P(N′)=n2N′2+12N′ln(Ωn)
Then we may use Bayes’ rule to solve for P(H|N′),
P(H|N′)=P(N′|H)P(H)P(N′)
P(H|N′)=nN′2nN′2+1N′ln(Ωn)
P(H|N′)=nln(Ωn)N′+nln(Ωn)
Finally, we determine the probability of the correctness of liberalism, denoted as P(L), using the properties of mutual exclusivity and collective exhaustion,
P(L|N′)=1−P(H|N′)=N′N′+nln(Ωn)=N′N′+nln(Ωn)
If we plug in n=1011and Ω=1030 we get the following graph:
For Ω=1030, the probability of liberalism being true would be about 2% if humanity ended tomorrow and about 96% if it endured up to a cumulative 100 trillion people.
Thankfully, the relationship is reasonably robust in Ω. The no-information point (i.e., the value of N′for which P(L|N′)=0.5) is given by
y=log10Ω−114.34∗10−12
The no-information point ranges from the low to the high single-digit trillions as we increase Ω from the very low value of 1015 to the very high value of 1050.
Estimation Before Extinction
Sticking with our capped prior example, we shall now investigate the Bayesian estimate for the probability that liberalism is correct, given that the cumulative population has progressed to a point at which humanity still endures.
The probability that a certain cumulative population C will be exceeded in the case of SSA is
P(N>C|n)=∫∞CnN2dN=nC
Note again that the integrals from C to Ω and from C to ∞ will only differ to a negligible degree since only a negligible proportion of probability is between Ω and ∞ in the standard Doomsday argument.
The probability that a certain cumulative population C will be exceeded in the case of SIA is
P(N>C|n)=∫ΩC1Nln(Ωn)dN=lnΩ−lnClnΩ−lnn
We may now solve for the probability of liberalism being true, already using n=1011,
P(N>C|L)=lnΩ−lnClnΩ−ln1011
P(L)=0.5
P(N>C)=lnΩ−lnC2(lnΩ−ln1011)+10112C
Applying Bayes rule,
P(L|N>C)=P(N>C|L)P(L)P(N>C)
P(L|N>C)=lnΩ−lnClnΩ−ln1011lnΩ−lnC(lnΩ−ln1011)+1011C=ln(C)−ln(Ω)ln(C)−ln(Ω)−1011C(lnΩ−ln1011)
Once again, using Ω=1030 we get:
As expected, we can see that at our current position of 100 billion, we are at our prior 50% probability of liberalism being correct. However, this probability now more rapidly increases to reach about 90% and 99% for populations of a trillion and 10 trillion, respectively. The reason for this more rapid increase is the fact that the standard Doomsday argument basically runs out of probability at population levels above a trillion, meaning that populations above that not only have a low probability in the standard Doomsday scenario but also lead us to assume that the population will keep growing for far longer (since it is likely at that point that the standard Doomsday argument is false). This also means that while our post-extinction argument was reasonably robust in Ω, our pre-extinction argument works for arbitrarily high values of Ω, allowing us to return to our uncapped prior, as we shall investigate in the next section.
Returning to the Uncapped Prior
We want to investigate the behavior of the probability of liberalism in the limiting case of Ω→∞.
limΩ→∞P(L|N>C)=limΩ→∞ln(C)−ln(Ω)ln(C)−ln(Ω)−1011C(lnΩ−ln1011)
Applying L’Hôpital’s rule,
limΩ→∞P(L|N>C)=limΩ→∞−1Ω−1Ω−1011C(1Ω)=limΩ→∞11+1011C=C1011+C
Graphically this becomes,
This is basically the same behavior we have seen before since the limit was already closely approached when using Ω=1030.
Despite the mathematics working out neatly, I would like to caution once again against using an uncapped prior in combination with SIA. The problem is that while we are about 99% certain that liberalism is true at 1013, that is only because we are also about 99% certain that N will reach literally infinity. This seems very unreasonable.
Implications (for EAs)
I have to admit that the implications for political thought may be more significant than those for EAs, however, since I am posting this on LessWrong, I will do my best to keep it relevant.
Firstly, near-term (e.g., within the next century) human extinction may provide moderately strong (though probably far from definitive) evidence for the incorrectness of political liberalism. This may seem somewhat irrelevant since it would only become apparent after extinction; however, there may be a scenario where it could still matter. This would be the case in which a transition occurs in which humans turn into post-humans who are sufficiently different from humans to no longer fall into their reference class.
I am pretty skeptical of this. What is the chance that there wouldn’t be a remaining minority of legacy humans? What is the chance that one could be sure that such a minority would never arise in the future? Nevertheless, if such a transition were to take place in the coming decades, humans might have some evidence that liberalism is wrong as the transition takes place, and this may influence their actions.
The second point is perhaps more interesting. If humanity survives for a long time (and still greatly increases its population as it ventures out to colonize the galaxy), it may rake up a very great cumulative population. If humanity also manages to cure aging/death in the coming decades, it is possible that some humans with birth rank circa.1011 may still be alive at a late stage in this process. These humans would then have high confidence that liberalism is true, which they would not share with most humans alive then. If these pioneer humans (who would be a tiny minority) were to hold unusually large amounts of power/status relative to their number then this could have interesting implications.
Rebuttals to Possible Objections
Finally, I shall offer my responses to several possible objections that I thought of (when attempting to attack my own idea) but have not yet addressed so far. Of course, I am posting this to get further objections to either rebut or accept.
Wait, wouldn’t the Liberal and Heideggerian interpretations have different Kolmogorov complexities?
(In case it isn’t obvious, the relevance of this is that if the Kolmogorov complexities were different then the 50% prior for liberalism could no longer be justified.)
No, they would not. The reason for this is that the worlds that they describe are ontically identical. The difference between the two interpretations does not consist in the difference of beings or things, but rather that of the nature of the Being of those beings and things. See ontic-ontological distinction for more details.
Let us investigate some naïve arguments. Say one were to argue that the Kolmogorov complexity of the liberal interpretation is higher because it also contains the (even earlier) prior. This is wrong because the prior is not a thing that exists in either case but rather a designation of the nature of the Being of humans. Likewise, if one were to argue that the Kolmogorov complexity of the liberal interpretation is lower because we now only have to specify the prior, this would be wrong because the wall of existence vs. non-existence stands between the prior and the world, meaning that we cannot take a stand of indifference and have to specify the world separately.
Wait, wouldn’t this violate/resolve Hume’s is-ought Problem?
No, it would not. The reason for this is that while there are implications for certain arguments for ethical positions (such as that from Rawls’ original position), no argument emerges for the position that one ought to care about the validity of those arguments. A liberal could still support liberal ethics even if arguments for them have been shown to be false, while likewise, an anti-liberal could still support anti-liberal ethics even if liberalism has been shown to be true. On the most general level, the choices between the moral and the immoral, the just and the unjust, and the fair and the unfair are still arbitrary, though perhaps some insight may be gained regarding the nature of justice.
Wait, what about Post-Humans?
As implied by previous arguments I have made, I do not object to objections to the Doomsday argument on the grounds that it provides evidence only for humans and not for sufficiently different post-humans (who have fallen outside of the human reference class). In fact, I believe those objections to be true, and both the SSA and SIA (i.e., the Heideggerian and liberal) versions of the Doomsday argument presented here should not be interpreted as containing evidence regarding the future post-human population.
Wait, wouldn’t this violate Aumann’s Agreement Theorem?
I have previously described a scenario in which some humans from our era survive into a future in which a far greater number of humans have existed. These humans would then have different beliefs on the probability of liberalism being true from most other humans in the future. If they fail to resolve their disagreement through argumentation this would naïvely appear to be a violation of Aumann’s agreement theorem.
However, it actually is not a violation since Aumann’s agreement theorem applies only to the ontic realm, and their disagreement would be of an ontological nature. In other words, they would not disagree regarding any being or thing in the world but would rather disagree on the nature of beings and things that makes them beings and things. Stated even more simply, they would not disagree on anything concerning objective reality.
Wait, wouldn’t the Heideggerian interpretation reject even the original Doomsday Argument?
OK, I am going to be honest, this is the most serious objection I could think of. Perhaps, the absolute birth rank is only of an extremely incidental character so long as one conflates the knowledge of the absolute birth rank with the absolute birth rank itself. It could be argued that having an absolute birth rank of 50 billion instead of 100 billion would necessitate being in a medieval society rather than a modern industrial one. On the other hand, the fact that it took 100 billion people to get to a civilization as advanced as ours is an a priori highly non-obvious fact that took a large amount of historical, demographic, and anthropological research to determine. In fact, in the 1970s, the estimate was about 50 billion. This is despite the fact that a lot of (but apparently not quite enough) research had been done on the question at that point. Substantial further updates to the 100 billion estimate seem possible, if not likely. Indeed, with little information about the world and little thought, there is little knowledge regarding one’s absolute birth rank. The difference to the prior state could thus be understood as constituting the incidental knowledge of how many people were necessary to reach the current stage of civilization. (However, I am not sure if this last point isn’t simply conflating the knowledge of the absolute birth rank with the absolute birth rank itself again.)
The relevance of the previous argument notwithstanding, I believe that it is likely that even if we link absolute birth rank to something like technological development, we may still find ourselves facing a largely non-existential difference. Many of the factors tied to the specific human (e.g., gender, inherent abilities, tastes, relative wealth, relative social status, etc.) need not necessarily be left variable in the prior. These are the factors that Rawls was concerned about. Furthermore, I believe we have clearly seen changes within single people’s lifetimes that are at least on the same order of magnitude as those of the difference between technological levels at different stages in human history. For example, there are a sizeable number of people who went from being peasant children in pre-industrial China to being moderately wealthy adults in post-industrial America without losing the coherence of their selfhood.
We may also note that we should not tie ourselves too closely to Heidegger since his interpretation of human Being may be regarded as extreme. (This may be further evidenced by his previously mentioned extreme politics.) I would judge a degree of puritanism regarding priors that leads one to simply reject the Doomsday argument without needing further arguments as being obviously wrong. Whether Heidegger would have supported this remains unknowable and should be regarded as irrelevant.
Finally, we should note that even if you believe that a non-Rawlsian interpretation would have to reject the original Doomsday argument, this would not lead us to reject the idea that future population may give insight into the validity of the foundations of political liberalism, as long as a capped prior is used. Rather, it would invert the argument and force us to compare a Heideggerian no-evidence (i.e., pure prior) state with a liberal SIA Doomsday argument. In this case, the probability of liberalism would fall as the cumulative population increases. The Heideggerian interpretation would only be probable if the cumulative population were to reach a level close to the cap of the prior on a logarithmic scale. If an uncapped prior were to be used, both interpretations would imply certainty of an infinite cumulative population and thus be (obviously) fallacious.
Conclusion
There is a strong similarity in the questions regarding the reasoning from priors in political philosophy and the Doomsday argument. The difference is that the former occupies the realm of the political and ethical, whereas the latter makes predictions about the future that may be validated or invalidated in the further course of human history. This may provide a promising crack in the wall separating the ontic and ontological realms.