Pascal's Mugging and the Order of Quantification

post by Mascal's Pugging · 2024-05-10T18:34:26.712Z · LW · GW · 3 comments

Contents

3 comments

One of the fun things to do when learning first order logic is to consider how the meaning of propositions dramatically changes based on small switches in the syntax. This is in contrast to natural language, where the meaning of a phrase can be ambiguous and we naturally use context clues to determine the correct interperation.

An example of this is the switching of the order of quantifiers. Consider the four following propositions:^[1]

1. $\forall x\exists y\text{Likes}(x,y)$
2. $\forall x\exists y\text{Likes}(y,x)$
3. $\exists x\forall y\text{Likes}(x,y)$
4. $\exists x\forall y\text{Likes}(x,y)$

These mean, respectively,

1. Everybody likes somebody
2. Everybody is liked by somebody
3. There is a very popular person whom everybody likes
4. There is a very indiscriminate person who likes everyone

These all have quite different meanings! Now consider an exchange between Pascal and a mugger:

Mugger: I am in control of this simulation and am using an avatar right now. Give me $5 or I will go outside of this simulation and cause you to lose $10.

Pascal: That does not seem like a wise choice for me. Let's say the probability of you being in control of this simulation is 1/10. Then the expected value of me handing you $5 is negative, so I will not do so.

Mugger: Okay then, forget about the money, let's just focus on units of utility and call these utils. I am going to demand that you give me 5 utils. Because you think that the probability of me being in control of this simulation is 1/10, I will go outside of the simulation and simulate 20 conscious agents losing 5 utils each. Now the expected value of you not complying is $\left(1/10\right)\cdot (-5)\cdot \left(20\right)=-10$. And -10 is greater (more negative) than the -5 you would lose. So, hand me over the utils!

Pascal: Well, I just made up 1/10 on the spot. The reality is that the probability you are in control of this simulation is in reality much much lower.

Mugger: Ah, but it does not really matter what you probability you assign! Given any probability $P>0$ you have that I am in control of this simulation, I will go outside of this simulation and simulate $P\cdot (-X)$ so that $P\cdot (-X)$ is greater (more negative) than the -5 you would lose. So, hand me over the utils! ($-X$ here is the totat amout of lost utility the mugger will simulate.)

Now, let's formalize the mugger's argument and see if we can learn something. The mugger is claiming:

$\forall P\exists X[|-P\cdot X|>|-5|]$.

I propose that there is a simple counterargument to make here: $P$ cannot be quantified before $X$, and in fact $P$ should be a function of $X$. No matter what $X$ is, we assert that $|-P\left(X\right)\cdot X|<ϵ$ where $ϵ$ is such a small amount of util that it cannot even be meaningfully handed over by Pascal. That is,

$\forall X[|-P(X)\cdot X|<ϵ]$

Why is this plausible? Well, we are basically saying that the larger the amount of util the mugger claims he can simulate, the less a chance there is he can actually do that. 

If I told you I had an easy way to make $20 if you gave me $10 then you might believe me. If I told you I had an easy way to make $200 if you gave me $10 then you would be more skeptical. If I told you I had an easy way to make $2,000,00 if you gave me $10 then you would dismiss me without a second thought. 

In the mugger's case specifically, we would imagine that when he pops outside of this simulation he has a finite amount of resources, and so the more he claims to be able to simulate the less probable that is actually true.  

1. ^{^}

   From Language, Proof, and Logic 2nd Edition

3 comments

Comments sorted by top scores.