Math is Subjunctively Objective

Fol­lowup to: Prob­a­bil­ity is Sub­jec­tively Ob­jec­tive, Can Coun­ter­fac­tu­als Be True?

I am quite con­fi­dent that the state­ment 2 + 3 = 5 is true; I am far less con­fi­dent of what it means for a math­e­mat­i­cal state­ment to be true.

In “The Sim­ple Truth” I defined a peb­ble-and-bucket sys­tem for track­ing sheep, and defined a con­di­tion for whether a bucket’s peb­ble level is “true” in terms of the sheep. The bucket is the be­lief, the sheep are the re­al­ity. I be­lieve 2 + 3 = 5. Not just that two sheep plus three sheep equal five sheep, but that 2 + 3 = 5. That is my be­lief, but where is the re­al­ity?

So now the one comes to me and says: “Yes, two sheep plus three sheep equals five sheep, and two stars plus three stars equals five stars. I won’t deny that. But this no­tion that 2 + 3 = 5, ex­ists only in your imag­i­na­tion, and is purely sub­jec­tive.

So I say: Ex­cuse me, what?

And the one says: “Well, I know what it means to ob­serve two sheep and three sheep leave the fold, and five sheep come back. I know what it means to press ‘2’ and ‘+’ and ‘3’ on a calcu­la­tor, and see the screen flash ‘5’. I even know what it means to ask some­one ‘What is two plus three?’ and hear them say ‘Five.’ But you in­sist that there is some fact be­yond this. You in­sist that 2 + 3 = 5.”

Well, it kinda is.

“Per­haps you just mean that when you men­tally vi­su­al­ize adding two dots and three dots, you end up vi­su­al­iz­ing five dots. Per­haps this is the con­tent of what you mean by say­ing, 2 + 3 = 5. I have no trou­ble with that, for brains are as real as sheep.”

No, for it seems to me that 2 + 3 equaled 5 be­fore there were any hu­mans around to do ad­di­tion. When hu­mans showed up on the scene, they did not make 2 + 3 equal 5 by virtue of think­ing it. Rather, they thought that ‘2 + 3 = 5’ be­cause 2 + 3 did in fact equal 5.

“Prove it.”

I’d love to, but I’m busy; I’ve got to, um, eat a salad.

“The rea­son you be­lieve that 2 + 3 = 5, is your men­tal vi­su­al­iza­tion of two dots plus three dots yield­ing five dots. Does this not im­ply that this phys­i­cal event in your phys­i­cal brain is the mean­ing of the state­ment ‘2 + 3 = 5’?”

But I hon­estly don’t think that is what I mean. Sup­pose that by an amaz­ing cos­mic co­in­ci­dence, a flurry of neu­trinos struck my neu­rons, caus­ing me to imag­ine two dots col­lid­ing with three dots and vi­su­al­ize six dots. I would then say, ‘2 + 3 = 6’. But this wouldn’t mean that 2 + 3 ac­tu­ally had be­come equal to 6. Now, if what I mean by ‘2 + 3’ con­sists en­tirely of what my mere phys­i­cal brain merely hap­pens to out­put, then a neu­trino could make 2 + 3 = 6. But you can’t change ar­ith­metic by tam­per­ing with a calcu­la­tor.

“Aha! I have you now!”

Is that so?

“Yes, you’ve given your whole game away!”

Do tell.

“You vi­su­al­ize a sub­junc­tive world, a coun­ter­fac­tual, where your brain is struck by neu­trinos, and says, ‘2 + 3 = 6’. So you know that in this case, your fu­ture self will say that ‘2 + 3 = 6’. But then you add up dots in your own, cur­rent brain, and your cur­rent self gets five dots. So you say: ‘Even if I be­lieved “2 + 3 = 6″, then 2 + 3 would still equal 5.’ You say: ‘2 + 3 = 5 re­gard­less of what any­one thinks of it.’ So your cur­rent brain, com­put­ing the same ques­tion while it imag­ines be­ing differ­ent but is not ac­tu­ally differ­ent, finds that the an­swer seems to be the same. Thus your brain cre­ates the illu­sion of an ad­di­tional re­al­ity that ex­ists out­side it, in­de­pen­dent of any brain.”

Now hold on! You’ve ex­plained my be­lief that 2 + 3 = 5 re­gard­less of what any­one thinks, but that’s not the same as ex­plain­ing away my be­lief. Since 2 + 3 = 5 does not, in fact, de­pend on what any hu­man be­ing thinks of it, there­fore it is right and proper that when I imag­ine coun­ter­fac­tual wor­lds in which peo­ple (in­clud­ing my­self) think ‘2 + 3 = 6’, and I ask what 2 + 3 ac­tu­ally equals in this coun­ter­fac­tual world, it still comes out as 5.

“Don’t you see, that’s just like try­ing to vi­su­al­ize mo­tion stop­ping ev­ery­where in the uni­verse, by imag­in­ing your­self as an ob­server out­side the uni­verse who ex­pe­riences time pass­ing while noth­ing moves. But re­ally there is no time with­out mo­tion.”

I see the anal­ogy, but I’m not sure it’s a deep anal­ogy. Not ev­ery­thing you can imag­ine see­ing, doesn’t ex­ist. It seems to me that a brain can eas­ily com­pute quan­tities that don’t de­pend on the brain.

What? Of course ev­ery­thing that the brain com­putes de­pends on the brain! Every­thing that the brain com­putes, is com­puted in­side the brain!”

That’s not what I mean! I just mean that the brain can perform com­pu­ta­tions that re­fer to quan­tities out­side the brain. You can set up a ques­tion, like ‘How many sheep are in the field?’, that isn’t about any par­tic­u­lar per­son’s brain, and whose ac­tual an­swer doesn’t de­pend on any par­tic­u­lar per­son’s brain. And then a brain can faith­fully com­pute that an­swer.

If I count two sheep and three sheep re­turn­ing from the field, and Autrey’s brain gets hit by neu­trinos so that Autrey thinks there are six sheep in the fold, then that’s not go­ing to cause there to be six sheep in the fold—right? The whole ques­tion here is just not about what Autrey thinks, it’s about how many sheep are in the fold.

Why should I care what my sub­junc­tive fu­ture self thinks is the sum of 2 + 3, any more than I care what Autrey thinks is the sum of 2 + 3, when it comes to ask­ing what is re­ally the sum of 2 + 3?

“Okay… I’ll take an­other tack. Sup­pose you’re a psy­chi­a­trist, right? And you’re an ex­pert wit­ness in court cases—ba­si­cally a hired gun, but you try to de­ceive your­self about it. Now wouldn’t it be a bit sus­pi­cious, to find your­self say­ing: ‘Well, the only rea­son that I in fact be­lieve that the defen­dant is in­sane, is be­cause I was paid to be an ex­pert psy­chi­a­tric wit­ness for the defense. And if I had been paid to wit­ness for the pros­e­cu­tion, I un­doubt­edly would have come to the con­clu­sion that the defen­dant is sane. But my be­lief that the defen­dant is in­sane, is perfectly jus­tified; it is jus­tified by my ob­ser­va­tion that the defen­dant used his own blood to paint an Elder Sign on the wall of his jail cell.’”

Yes, that does sound sus­pi­cious, but I don’t see the point.

“My point is that the phys­i­cal cause of your be­lief that 2 + 3 = 5, is the phys­i­cal event of your brain vi­su­al­iz­ing two dots and three dots and com­ing up with five dots. If your brain came up six dots, due to a neu­trino storm or what­ever, you’d think ‘2 + 3 = 6’. How can you pos­si­bly say that your be­lief means any­thing other than the num­ber of dots your brain came up with?”

Now hold on just a sec­ond. Let’s say that the psy­chi­a­trist is paid by the judge, and when he’s paid by the judge, he ren­ders an hon­est and neu­tral eval­u­a­tion, and his eval­u­a­tion is that the defen­dant is sane, just played a bit too much Mythos. So it is true to say that if the psy­chi­a­trist had been paid by the defense, then the psy­chi­a­trist would have found the defen­dant to be in­sane. But that doesn’t mean that when the psy­chi­a­trist is paid by the judge, you should dis­miss his eval­u­a­tion as tel­ling you noth­ing more than ‘the psy­chi­a­trist was paid by the judge’. On those oc­ca­sions where the psy­chi­a­trist is paid by the judge, his opinion varies with the defen­dant, and con­veys real ev­i­dence about the defen­dant.

“Okay, so now what’s your point?”

That when my brain is not be­ing hit by a neu­trino storm, it yields hon­est and in­for­ma­tive ev­i­dence that 2 + 3 = 5.

“And if your brain was hit by a neu­trino storm, you’d be say­ing, ‘2 + 3 = 6 re­gard­less of what any­one thinks of it’. Which shows how re­li­able that line of rea­son­ing is.”

I’m not claiming that my say­ing ‘2 + 3 = 5 no mat­ter what any­one thinks’ rep­re­sents stronger nu­mer­i­cal ev­i­dence than my say­ing ‘2 + 3 = 5’. My say­ing the former just tells you some­thing ex­tra about my episte­mol­ogy, not num­bers.

“And you don’t think your episte­mol­ogy is, oh, a lit­tle… in­co­her­ent?”

No! I think it is perfectly co­her­ent to si­mul­ta­neously hold all of the fol­low­ing:

  • 2 + 3 = 5.

  • If neu­trinos make me be­lieve “2 + 3 = 6”, then 2 + 3 = 5.

  • If neu­trinos make me be­lieve “2 + 3 = 6”, then I will say “2 + 3 = 6″.

  • If neu­trinos make me be­lieve that “2 + 3 = 6”, then I will there­after as­sert that “If neu­trinos make me be­lieve ‘2 + 3 = 5’, then 2 + 3 = 6″.

  • The cause of my think­ing that “2 + 3 = 5 in­de­pen­dently of what any­one thinks” is that my cur­rent mind, when it sub­junc­tively re­com­putes the value of 2 + 3 un­der the as­sump­tion that my imag­ined self is hit by neu­trinos, does not see the imag­ined self’s be­liefs as chang­ing the dots, and my cur­rent brain just vi­su­al­izes two dots plus three dots, as be­fore, so that the imag­i­na­tion of my cur­rent brain shows the same re­sult.

  • If I were ac­tu­ally hit by neu­trinos, my brain would com­pute a differ­ent re­sult, and I would as­sert “2 + 3 = 6 in­de­pen­dently of what any­one thinks.”

  • 2 + 3 = 5 in­de­pen­dently of what any­one thinks.

  • Since 2 + 3 will in fact go on equal­ing 5 re­gard­less of what I imag­ine about it or how my brain vi­su­al­izes cases where my fu­ture self has differ­ent be­liefs, it’s a good thing that my imag­i­na­tion doesn’t vi­su­al­ize the re­sult as de­pend­ing on my be­liefs.

“Now that’s just crazy talk!”

No, you’re the crazy one! You’re col­laps­ing your lev­els; you think that just be­cause my brain asks a ques­tion, it should start mix­ing up queries about the state of my brain into the ques­tion. Not ev­ery ques­tion my brain asks is about my brain!

Just be­cause some­thing is com­puted in my brain, doesn’t mean that my com­pu­ta­tion has to de­pend on my brain’s rep­re­sen­ta­tion of my brain. It cer­tainly doesn’t mean that the ac­tual quan­tity de­pends on my brain! It’s my brain that com­putes my be­liefs about grav­ity, and if neu­trinos hit me I will come to a differ­ent con­clu­sion; but that doesn’t mean that I can think differ­ent and fly. And I don’t think I can think differ­ent and fly, ei­ther!

I am not a calcu­la­tor who, when some­one presses my “2” and “+” and “3” but­tons, com­putes, “What do I out­put when some­one presses 2 + 3?” I am a calcu­la­tor who com­putes “What is 2 + 3?” The former is a cir­cu­lar ques­tion that can con­sis­tently re­turn any an­swer—which makes it not very helpful.

Shouldn’t we ex­pect non-cir­cu­lar ques­tions to be the nor­mal case? The brain evolved to guess at the state of the en­vi­ron­ment, not guess at ‘what the brain will think is the state of the en­vi­ron­ment’. Even when the brain mod­els it­self, it is try­ing to know it­self, not try­ing to know what it will think about it­self.

Judg­ments that de­pend on our rep­re­sen­ta­tions of any­one’s state of mind, like “It’s okay to kiss some­one only if they want to be kissed”, are the ex­cep­tion rather than the rule.

Most quan­tities we bother to think about at all, will ap­pear to be ‘the same re­gard­less of what any­one thinks of them’. When we imag­ine think­ing differ­ently about the quan­tity, we will imag­ine the quan­tity com­ing out the same; it will feel “sub­junc­tively ob­jec­tive”.

And there’s noth­ing wrong with that! If some­thing ap­pears to be the same re­gard­less of what any­one thinks, then maybe that’s be­cause it ac­tu­ally is the same re­gard­less of what any­one thinks.

Even if you ex­plain that the quan­tity ap­pears to stay the same in my imag­i­na­tion, merely be­cause my cur­rent brain com­putes it the same way—well, how else would I imag­ine some­thing, ex­cept with my cur­rent brain? Should I imag­ine it us­ing a rock?

“Okay, so it’s pos­si­ble for some­thing that ap­pears thought-in­de­pen­dent, to ac­tu­ally be thought-in­de­pen­dent. But why do you think that 2 + 3 = 5, in par­tic­u­lar, has some kind of ex­is­tence in­de­pen­dently of the dots you imag­ine?”

Be­cause two sheep plus three sheep equals five sheep, and this ap­pears to be true in ev­ery moun­tain and ev­ery is­land, ev­ery swamp and ev­ery plain and ev­ery for­est.

And more­over, it is also true of two rocks plus three rocks.

And fur­ther, when I press but­tons upon a calcu­la­tor and ac­ti­vate a net­work of tran­sis­tors, it suc­cess­fully pre­dicts how many sheep or rocks I will find.

Since all these quan­tities, cor­re­late with each other and suc­cess­fully pre­dict each other, surely they must have some­thing like a com­mon cause, a similar­ity that fac­tors out? Some­thing that is true be­yond and be­fore the con­crete ob­ser­va­tions? Some­thing that the con­crete ob­ser­va­tions hold in com­mon? And this com­mon­al­ity is then also the spon­sor of my an­swer, ‘five’, that I find in my own brain.

“But my dear sir, if the fact of 2 + 3 = 5 ex­ists some­where out­side your brain… then where is it?”

Damned if I know.

Part of The Me­taethics Sequence

Next post: “Does Your Mo­ral­ity Care What You Think?

Pre­vi­ous post: “Can Coun­ter­fac­tu­als Be True?