pgstrata
Alien Truth
2

October 2022

3

If there were intelligent beings elsewhere in the universe, they'd share certain truths in common with us.

4

The truths of mathematics would be the same, because they're true by definition.

5

Ditto for the truths of physics; the mass of a carbon atom would be the same on their planet.

6

But I think we'd share other truths with aliens besides the truths of math and physics, and that it would be worthwhile to think about what these might be.

7

For example, I think we'd share the principle that a controlled experiment testing some hypothesis entitles us to have proportionally increased belief in it.

8

It seems fairly likely, too, that it would be true for aliens that one can get better at something by practicing.

9

We'd probably share Occam's razor.

10

There doesn't seem anything specifically human about any of these ideas.

3–6

Intelligent beings elsewhere would share certain truths with us. Math is the same, true by definition; so is physics. But I think we'd share other truths besides those, worth thinking about.

7–10

That a controlled experiment entitles us to proportionally more belief in a hypothesis. That practice makes you better. Occam's razor. Nothing specifically human about these.

2–10

Intelligent aliens would share more than math and physics with us. It's worth thinking about which other truths we'd hold in common.

12

We can only guess, of course.

13

We can't say for sure what forms intelligent life might take.

14

Nor is it my goal here to explore that question, interesting though it is.

15

The point of the idea of alien truth is not that it gives us a way to speculate about what forms intelligent life might take, but that it gives us a threshold, or more precisely a target, for truth.

16

If you're trying to find the most general truths short of those of math or physics, then presumably they'll be those we'd share in common with other forms of intelligent life.

17

Alien truth will work best as a heuristic if we err on the side of generosity.

18

If an idea might plausibly be relevant to aliens, that's enough.

19

Justice, for example.

20

I wouldn't want to bet that all intelligent beings would understand the concept of justice, but I wouldn't want to bet against it either.

12–16

We can only guess what forms intelligent life takes, but that's not the point. Alien truth gives us a target: the most general truths short of math or physics are presumably the ones we'd share with it.

17–20

It works best if we err toward generosity: if an idea might plausibly be relevant to aliens, that's enough. Justice, for example. I wouldn't bet all intelligent beings grasp it, but I wouldn't bet against it.

12–20

The point isn't speculating about alien forms but having a target for the most general truths. Use it as a generous heuristic.

22

The idea of alien truth is related to Erdos's idea of God's book.

23

He used to describe a particularly good proof as being in God's book, the implication being (a) that a sufficiently good proof was more discovered than invented, and (b) that its goodness would be universally recognized.

24

If there's such a thing as alien truth, then there's more in God's book than math.

22–24

It's related to Erdős's God's book. A good proof, he said, is one in the book — more discovered than invented, its goodness universally recognized. If alien truth exists, the book holds more than math.

22–24

The idea echoes Erdős's God's book: a great proof feels discovered, not invented, and universally recognizable. If alien truth exists, the book holds more than math.

26

What should we call the search for alien truth?

27

The obvious choice is "philosophy."

28

Whatever else philosophy includes, it should probably include this.

29

I'm fairly sure Aristotle would have thought so.

30

One could even make the case that the search for alien truth is, if not an accurate description of philosophy, a good definition for it.

31

I.e. that it's what people who call themselves philosophers should be doing, whether or not they currently are.

32

But I'm not wedded to that; doing it is what matters, not what we call it.

26–32

What should we call this search? The obvious choice is "philosophy"; whatever else it includes, it should include this, and Aristotle would have agreed. You could even call it a good definition for philosophy. But doing it is what matters, not the name.

26–32

The obvious name for the search for alien truth is philosophy — but the name matters less than the doing.

34

We may one day have something like alien life among us in the form of AIs.

35

And that may in turn allow us to be precise about what truths an intelligent being would have to share with us.

36

We might find, for example, that it's impossible to create something we'd consider intelligent that doesn't use Occam's razor.

37

We might one day even be able to prove that.

38

But though this sort of research would be very interesting, it's not necessary for our purposes, or even the same field; the goal of philosophy, if we're going to call it that, would be to see what ideas we come up with using alien truth as a target, not to say precisely where the threshold of it is.

39

Those two questions might one day converge, but they'll converge from quite different directions, and till they do, it would be too constraining to restrict ourselves to thinking only about things we're certain would be alien truths.

40

Especially since this will probably be one of those areas where the best guesses turn out to be surprisingly close to optimal. (Let's see if that one does.)

34–40

We may one day have alien-like life among us as AIs, letting us be precise about what truths an intelligent being must share — perhaps even prove nothing intelligent can skip Occam's razor. But locating that threshold is a different field from using alien truth as a target. Until those questions converge, it would be too constraining to think only about certain alien truths.

34–40

AIs may one day let us pin down which truths an intelligent being must share. But locating that threshold is a different field from using alien truth as a target.

42

Whatever we call it, the attempt to discover alien truths would be a worthwhile undertaking.

43

And curiously enough, that is itself probably an alien truth.

42–43

Whatever we call it, the attempt to discover alien truths would be worthwhile. And curiously enough, that is itself probably an alien truth.

42–43

Whatever we call it, the attempt to discover alien truths is worthwhile — and that, curiously, is probably itself an alien truth.

45

Thanks to Trevor Blackwell, Greg Brockman, Patrick Collison, Robert Morris, and Michael Nielsen for reading drafts of this.

45

Thanks to Trevor Blackwell, Greg Brockman, Patrick Collison, Robert Morris, and Michael Nielsen for reading drafts.

45

Thanks to the friends who read drafts.