The Apparent Reality of Physics

-3 Post author: ec429 23 September 2011 08:10PM

Follow-up to: Syntacticism

I wrote:

The only objects that are real (in a Platonic sense) are formal systems (or rather, syntaxes). That is to say, my ontology is the set of formal systems. (This is not incompatible with the apparent reality of a physical universe).

In my experience, most people default1 to naïve physical realism: the belief that "matter and energy and stuff exist, and they follow the laws of physics".  This view has two problems: how do you know stuff exists, and what makes it follow those laws?

To the first - one might point at a rock, and say "Look at that rock; see how it exists at me."  But then we are relying on sensory experience; suppose the simulation hypothesis were true, then that sensory experience would be unchanged, but the rock wouldn't really exist, would it?  Suppose instead that we are being simulated twice, on two different computers.  Does the rock exist twice as much?  Suppose that there are actually two copies of the Universe, physically existing.  Is there any way this could in principle be distinguished from the case where only one copy exists?  No; a manifest physical reality is observationally equivalent to N manifest physical realities, as well as to a single simulation or indeed N simulations.  (This remains true if we set N=0.)

So a true description requires that the idea of instantiation should drop out of the model; we need to think in a way that treats all the above cases as identical, that justifiably puts them all in the same bucket.  This we can do if we claim that that-which-exists is precisely the mathematical structure defining the physical laws and the index of our particular initial conditions (in a non-relativistic quantum universe that would be the Schrödinger equation and some particular wavefunction).  Doing so then solves not only the first problem of naïve physical realism, but the second also, since trivially solutions to those laws must follow those laws.

But then why should we privilege our particular set of physical laws, when that too is just a source of indexical uncertainty?  So we conclude that all possible mathematical structures have Platonic existence; there is no little XML tag attached to the mathematics of our own universe that states "this one exists, is physically manifest, is instantiated", and in this view of things such a tag is obviously superfluous; instantiation has dropped out of our model.

When an agent in universe-defined-by-structure-A simulates, or models, or thinks-about, universe-defined-by-structure-B, they do not 'cause universe B to come into existence'; there is no refcount attached to each structure, to tell the Grand Multiversal Garbage Collection Routine whether that structure is still needed.  An agent in A simulating B is not a causal relation from A to B; instead it is a causal relation from B to A!  B defines the fact-of-the-matter as to what the result of B's laws is, and the agent in A will (barring cosmic rays flipping bits) get the result defined by B.2

So we are left with a Platonically existing multiverse of mathematical structures and solutions thereto, which can contain conscious agents to whom there will be every appearance of a manifest instantiated physical reality, yet no such physical reality exists.  In the terminology of Max Tegmark (The Mathematical Universe) this position is the acceptance of the MUH but the rejection of the ERH (although the Mathematical Universe is an external reality, it's not an external physical reality).

Reducing all of applied mathematics and theoretical physics to a syntactic formal system is left as an exercise for the reader.


1That is, when people who haven't thought about such things before do so for the first time, this is usually the first idea that suggests itself.

2I haven't yet worked out what happens if a closed loop forms, but I think we can pull the same trick that turns formalism into syntacticism; or possibly, consider the whole system as a single mathematical structure which may have several stable states (indexical uncertainty) or no stable states (which I think can be resolved by 'loop unfolding', a process similar to that which turns the complex plane into a Riemann surface - but now I'm getting beyond the size of digression that fits in a footnote; a mathematical theory of causal relations between structures needs at least its own post, and at most its own field, to be worked out properly).

Comments (62)

Comment author: Manfred 23 September 2011 10:30:39PM 8 points [-]

If you notice that "exists" no longer makes total sense, the way forward is not to just throw intuition at the wall and see what sticks. The way forward is to stop talking about "exists" for a while.

Comment author: ec429 23 September 2011 11:17:54PM 0 points [-]

Yes, but I'm actually going somewhere with this: EY doesn't believe that "infinite sets exist" (loosely put). So I'm trying to deduce constraints on what "exist" can mean and still be coherent; at this point I don't think we can even claim that lavalamp's kangaroos "don't exist".

Comment author: Manfred 23 September 2011 11:56:07PM 1 point [-]

So if you've ever read Probability Theory, by E.T. Jaynes, I suspect he's just a convert to the position that, in order to make sense when applied to the real world, infinite things have to behave like limits of finite things. Using "exists" can be avoided.

Comment author: ec429 24 September 2011 12:08:10AM 1 point [-]

So if you've ever read Probability Theory, by E.T. Jaynes

I haven't; I probably should.

the position that, in order to make sense when applied to the real world, infinite things have to behave like limits of finite things.

Is this "limits" in the sense of analysis (epsi-delta limits), or is it "limit points" (like ω)? If the former, then that position involves not believing that arithmetic makes sense when applied to the real world. If the latter, then the position doesn't seem different from what most mathematicians believe, because allowing limit points gets you transfinite induction... but then, as I intend to show, that gets you the first uncountable ordinal, by the power of 'scary dots'. So... either EY doesn't believe arithmetic applies to the real world, or EY doesn't know the logical consequences of his beliefs, or EY doesn't believe the above position, or I've made an error. Of course, at this point the last of those is rather likely, which is exactly why I want to formalise my argument and lay it out as coherently as possible.

Also, if I can't say "exists", how come you can talk about "the real world"? Double standards if you ask me ;)

Comment author: Manfred 24 September 2011 12:52:03AM 0 points [-]

Well, you can say exists, it just seems to be digging you into a hole.

Comment author: [deleted] 23 September 2011 11:25:47PM 1 point [-]

Has EY articulated a position on "infinite set atheism" outside of a few off-hand comments, that are possibly jokes? You might be preparing to rebut a position that he hasn't taken.

Comment author: ec429 23 September 2011 11:34:15PM 2 points [-]

Well, I've seen him go into quite some detail in comment threads about uncountable ordinals; it looks to me very much as though there is a position there that he's taking (it's fairly clear that it's more than just a joke). OTOH, I haven't seen an article by him setting out his position in a rigorous or articulated fashion, though if there is one I'd like to know about it.

Comment author: Jack 23 September 2011 11:15:03PM *  4 points [-]

But then we are relying on sensory experience; suppose the simulation hypothesis were true, then that sensory experience would be unchanged, but the rock wouldn't really exist, would it?

No. Look, if you think rocks exist now learning spooky metaphysical things about the nature of the universe should not change that belief. 'Rock' is just an entity our model of reality uses to help us make predictions and control things. That's what it means for something to exist.

Now, lots of mathematical objects are useful entities to have in our model. So we can say they exist- of course they aren't variables in the causal model, they're isomorphs of variables and the structure in the model that help us use the model more effectively. We'll call these entities 'abstract' and the actually causal variables in the model 'concrete'.

Whether or not there are other universes where abstract objects are concrete objects seems like an open question to me and not something that can be answered with philosophical speculation.

Comment author: lessdazed 24 September 2011 09:05:09PM 0 points [-]

not something that can be answered with philosophical speculation.

This implies you believe that it is logically possible, so you do think philosophical speculation can contribute to seeking the answer.

Comment author: Jack 24 September 2011 09:49:49PM 3 points [-]

I don't think there is a clear distinction between science and philosophy- so yeah it can contribute to the answer. My point is more that the question is contingent in the same way that, say, physics is contingent. If the scientific-philosophical enterprise ever outputs the Tegmark Level 4 multiverse: cool. But you don't get there through mere reflection on the meanings of words (if the history of philosophy teaches us anything...).

Comment author: ArisKatsaris 23 September 2011 08:32:19PM 4 points [-]

suppose the simulation hypothesis were true, then that sensory experience would be unchanged, but the rock wouldn't really exist, would it?

Of course it would, though it's underlying reality wouldn't be what we expect. (it might be a pointer in some program, instead of a collection of atoms)

Suppose instead that we are being simulated twice, on two different computers. Does the rock exist twice as much?

Unless we're talking about amplitude of everett branches I don't know what it means for something to "exist" more. As far as I know from any given perspective, existence is a binary quantity, something either is or isn't.

So a true description requires that the idea of instantiation should drop out of the model

I don't see why. In Object-Oriented Programming, there's Classes which are a description of the instantiated objects, and there are the objects themselves, which you can do different things with than with the classes.

there is no little XML tag attached to the mathematics of our own universe that states "this one exists, is physically manifest, is instantiated",

Again, how do you know there's no XML tag attached to the mathematics of our universe?

You seem to me to be arguing in circles, stating as evidence that which you desire to prove. The Tegmark IV hypothesis is exciting but I don't see how it's supposedly so self-proving as its proponents suggest. That seems to me a huge map-territory confusion... Perhaps map and territory are indeed inexorably linked at the deepest levels of reality, but this can't be proven by just claiming it...

Comment author: ec429 23 September 2011 09:52:07PM *  0 points [-]

Good objections, but I think they all have answers:

Of course it would, though it's underlying reality wouldn't be what we expect. (it might be a pointer in some program, instead of a collection of atoms)

But a pointer is information. At the physical layer, it's a configuration - when you say char *p=malloc(1); you haven't created an electron to sit in &p, rather you've configured existing electrons so as to have a pattern that is meaningful to one of your higher-level maps, but as a good reductionist you know that your higher maps don't represent anything ontologically basic about the territory.

As far as I know from any given perspective, existence is a binary quantity, something either is or isn't.

That's the point - I'm showing that the belief that 'existence' results from physical manifestation reduces to the absurdity that more physical manifestations of something means it exists more, which is nonsensical.

In Object-Oriented Programming, there's Classes which are a description of the instantiated objects, and there are the objects themselves, which you can do different things with than with the classes.

String a="5"; String b=a;

Does this make String("5") exist twice as hard? No; it doesn't even change whether it exists or not. It may be an object rather than a class, but it's still just a collection of information, which can be represented once, many times, or not at all, without ever changing the value of String("5").toInteger().

Again, how do you know there's no XML tag attached to the mathematics of our universe?

I don't know it, but such a tag would be epiphenomenal, and therefore it makes sense to assume it doesn't exist. If you're so sure that physical reality is manifest/instantiated, then how do you know, and why does it happen to follow regular mathematical laws? I think that believing in manifest physical reality is like believing in p-zombies (or, which comes to the same thing, dualistic consciousness).

The Tegmark IV hypothesis is exciting but I don't see how it's supposedly so self-proving as its proponents suggest.

It's not self-proving - at least, I don't claim it so - it's just simpler (shorter message length) to say "{equations}" than to say "mass-energy and space and time, which follow {equations}", and thus in the absence of evidence for the existence of manifest reality (which evidence I do not believe to be possible) a Bayesian, taking an Occamian prior, should conclude that the former is more likely than the latter. The only reason we mostly believe the latter is that, like Copenhagen, it came first.

EDIT: also, my views are distinct from (and were formed before I read) Tegmark IV; in particular his paper makes no mention of the concept of instantiation (and seems to me to be assuming that all Tegmark worlds are physically instantiated), and he wants to limit his hypothesis to computable structures, which I consider unnecessary and unjustified - I'm happy with the existence of structures so transfinite we can't even imagine them, perhaps because I'm a mathematician rather than a physicist.

Comment author: ArisKatsaris 23 September 2011 10:23:26PM *  2 points [-]

but as a good reductionist you know that your higher maps don't represent anything ontologically basic about the territory.

I know that -- because as a good reductionist I recognize that my map is a different portion of the territory, that portion of the territory which resides inside my head and which is merely correlated to the actual territory outside of my head.

But tsn't that the opposite of what you and Tegmark IV are saying: namely that the maps we call "equations" represent something ontologically basic about the whole of the territory?

That's the point - I'm showing that the belief that 'existence' results from physical manifestation reduces to the absurdity that more physical manifestations of something means it exists more, which is nonsensical.

I'd be careful what I'd call "nonsensical" when your argument instead must lead to the conclusion that things must exist even when they don't exist... This would be called nonsensical by many others.

I don't know it, but such a tag would be epiphenomenal

Epiphenomenalism is usually referring to something conceptual or cognitive (e.g qualia or consciousness or subjective experience) that doesn't have an influence on physical states.

You're instead talking about physical existence not having an influence on conceptual entities (namely the mathematical equations).

(shorter message length) to say "{equations}" than to say "mass-energy and space and time, which follow {equations}",

Yes, once you have the physical reality of a mouth and a keyboard (which happen to require mass-energy) to be able to say those equations, you can just say the "{equations}" --- namely you can transform a portion of the territory into an accurate map of the whole of the territory. But it still doesn't conclusively explain how the territory came to be.

Comment author: ec429 23 September 2011 10:55:06PM 2 points [-]

I recognize that my map is a different portion of the territory, that portion of the territory which resides inside my head and which is merely correlated to the actual territory outside of my head.

But the actual-territory is not (or at least, need not be) causally influenced by the territory inside your head that's implementing the map.

But tsn't that the opposite of what you and Tegmark IV are saying: namely that the maps we call "equations" represent something ontologically basic about the whole of the territory?

I can't speak for Tegmark, of course, but what I'm saying is that "equations" are the territory, and the stuff that looks to us like rocks and trees and people and the Moon is just a map.

I'd be careful what I'd call "nonsensical" when your argument instead must lead to the conclusion that things must exist even when they don't exist...

On the contrary, the conclusion is that things must exist even when they don't "exist" - where that quotation refers to some silly little savanna-concept we have in our brains, about rocks and trees and people and the Moon. Which don't exist.

Epiphenomenalism is usually referring to something conceptual or cognitive (e.g qualia or consciousness or subjective experience) that doesn't have an influence on physical states.

You're instead talking about physical existence not having an influence on conceptual entities (namely the mathematical equations).

That's because (in my model) the conceptual entities are the bedrock of the hierarchy, and physical existence is strongly analogous in this model to qualia in a physical-realist model. After all, "{equations}" and "rocks following {equations}" both give the same result for "value of X at time T", so the existence of rocks is epiphenomenal to the equations.

once you have the physical reality of a mouth and a keyboard (which happen to require mass-energy) to be able to say to the equations, you can just say "equations"

But a simulated me, existing only as information represented by electrons in a computer, could say "equations" just as loudly. So why couldn't a purely informational me, existing as unrepresented information, say "equations" too? Physical reality is a burdensome detail which doesn't add any explanatory power to your model; the claim that information needs to be represented in order for conscious entities contained within that information to exist seems to me to have no evidence backing it up, nor indeed to be capable of having such evidence, and therefore Occam demands that we frame our model in such a way as to make that claim inexpressible. It's rather like moving from configuration space to relative configuration space; unmeasurable claims become unreal.

But it still doesn't conclusively explain how the territory came to be.

It doesn't need to "come to be"; 'time' and 'causality' are parochial notions, concepts we can use to model things within our universe. Expecting the multiverse to obey them seems to me to be a Mind Projection Fallacy. A block universe just is.

Thanks for the insightful critique, by the way - it's helping me to understand the arguments better and see weak points that I wouldn't have noticed myself. I'm still not sure whether my theory is circular, nor whether I should care if it is.

Comment author: lavalamp 23 September 2011 10:13:28PM 1 point [-]

String a="5"; String b=a; Does this make String("5") exist twice as hard?

When actually run, it makes two pieces of the territory change so that they contain a pattern that we would recognize as "5".

No; it doesn't even change whether it exists or not. It may be an object rather than a class, but it's still just a collection of information, which can be represented once, many times, or not at all, without ever changing the value of String("5").toInteger().

What does it mean for information to exist while not being represented at all, anywhere? Can you give an example of information with that property?

Comment author: ec429 23 September 2011 10:37:14PM 0 points [-]

When actually run, it makes two pieces of the territory change so that they contain a pattern that we would recognize as "5".

Right, but it doesn't attach little "<exists intensity="200%" />" tags to that pattern.

Can you give an example of information with that property?

Well, trivially not, because by giving the example I create a representation. But, does a theorem become true when it is proven? That seems to me to be absurd. Counterfactually, suppose there were no minds. Would that prevent it from being true that "PA proves 2+2=4"? That also seems absurd. I can't prove it's absurd, but that's because a rock doesn't implement modus ponens (no universally compelling arguments).

If X will happen tomorrow, then it is a fact that X will happen tomorrow, even though (ignoring for now timeless physics) tomorrow "doesn't exist yet", and the information "X will happen tomorrow" needn't be represented anywhere to be true; it inheres in the state of the universe today + {equations of physics}. Information which can be arrived at by computation from other, existing information, exists - or perhaps we should move the 'other, existing information' across the turnstile: it is an existing truth that (Information which can be arrived at by computation from foo) can be arrived at by computation from foo. Tautologies are true.

Comment author: lavalamp 23 September 2011 10:49:26PM 1 point [-]

Can you give an example of information with that property? Well, trivially not, because by giving the example I create a representation. But, does a theorem become true when it is proven?

I said information, you said theorem-- I don't think it's the same.

I was expecting you to say something like "the 3^^^3rd digit of pi", and then I was going to say something, but now that I think about it, I think it's time to taboo "exist".

Comment author: ec429 23 September 2011 11:09:40PM 0 points [-]

I said information, you said theorem-- I don't think it's the same.

"Theorem Foo is true in Theory T" is information. Though the 3^^^3rd digit of pi is good too; I want to hear what you have to say about it.

I think it's time to taboo "exist".

Ok... "exist" doesn't have a referent. Any attempt to define it will either be special pleading (my universe is special, it "exists", because it's the one I live in!), or will give a definition that applies equally to all mathematical structures.

Comment author: lavalamp 24 September 2011 01:39:36AM 1 point [-]

Though the 3^^^3rd digit of pi is good too; I want to hear what you have to say about it.

I was going to say, it {can be calculated}-exists, but it does not {is extant in the territory}-exist. It certainly has a value, but we will never know what it is. No concrete instance of that information will ever be formed, at least not in this universe. (Barring new phyisics allowing vastly more computation!)

"exist" doesn't have a referent. Any attempt to define it will either be special pleading (my universe is special, it "exists", because it's the one I live in!), or will give a definition that applies equally to all mathematical structures.

Thanks, I think that's the clearest thing you've said so far.

I think my own concept of "exist" has an implicit parameter of "in the universe" or "in the territory", so it breaks down when applied to the uni/multiverse itself (what could the multiverse possibly exist in?). Much like "what was before the big bang" is not actually a meaningful question because "before" is a time-ish word and whatever it is that we call time didn't exist before the big bang.

Comment author: ec429 24 September 2011 02:39:19AM 0 points [-]

But then, how do you determine whether information exists-in-the-universe at all? Does the number 2 exist-in-the-universe? (I can pick up 2 pebbles, so I'm guessing 'yes'.) Does the number 3^^^3 exist-in-the-universe? Does the number N = total count of particles in the universe exist-in-the-universe? (I'm guessing 'yes', because it's represented by the universe.) Does N+1 exist-in-the-universe? (After all, I can consider {particles in the universe} union {{particles in the universe}}, with cardinality N+1) If you allow encodings other than unary, let N = largest number which can be represented using all the particles in the universe. But I can coherently talk about N+1, because I don't need to know the value of a number to do arithmetic on it (if N is even, then N+1 is odd, even though I can't represent the value of N+1). Does the set of natural numbers exist-in-the-universe? If so, I can induct - and therefore, by induction on induction itself, I claim I can perform transfinite induction (aka 'scary dots') in which case the first uncountable ordinal exists-in-the-universe, which is something I'd quite like to conclude.

So where does it stop being a heap?

Comment author: ArisKatsaris 24 September 2011 12:02:25AM 0 points [-]

I'm not saying my universe is special just because it's the one I live in, in fact I can accept the reality of lots of Everett branches in which I don't live in.

More to the point I believe that the reality of those Everett branches preexisted your mathematical models of them, or indeed the human invention of mathematics as a whole. Mathematical structure were made in imitation of the universe -- not vice versa.

Comment author: ec429 24 September 2011 12:16:18AM 0 points [-]

Ok, now taboo your uses of "reality" and "preexisted" in the above comment, because I can't conceive of meanings of those words in which your comment makes sense.

Comment author: ArisKatsaris 24 September 2011 12:28:19AM *  0 points [-]

Ok, now taboo your uses of "reality" and "preexisted" in the above comment, because I can't conceive of meanings of those words in which your comment makes sense.

The thing about tabooing words, is that we find it easy to taboo words that are just confused concepts (it's easy to taboo the word 'sound' and refer to acoustical experience vs acoustic vibrations), and we find it hard to taboo words that are truly about the fundamentals of our universe, such as 'causality' or 'reality' or 'existence' or 'subjective experience'.

I find it much easier to taboo the words that you think fundamentals -- words like 'mathematical equations', namely 'the orderly manipulations of symbols that human brains can learn to correspond to concepts in the material universe in order to predict happenings in said material universe'

To put it differently: Why don't you taboo the words "mathematics" and "equations" first, and see if your argument still makes any sense

Comment author: ec429 24 September 2011 12:53:12AM 0 points [-]

we find it hard to taboo words that are truly about the fundamentals of our universe, such as 'causality' or 'reality' or 'existence' or 'subjective experience'.

I tabooed "exist", above, by what I think it means. You think 'existence' is fundamental, but you've not given me enough of a definition for me to understand your arguments that use it as an untabooable word.

words like 'mathematical equations'

I'd say that (or rather 'mathematics') is just 'the orderly manipulations of symbols'. Or, as I prefer to phrase it, 'symbol games'.

'correspond to concepts in the material universe in order to predict happenings in said material universe'

That's applied mathematics (or, perhaps, physics), an entirely different beast with an entirely different epistemic status.

Why don't you taboo the words "mathematics" and "equations" first, and see if your argument still makes any sense

Manipulations of symbols according to formal rules are the ontological basis, and our perception of "physical reality" results merely from our status as collections of symbols in the abstract Platonic realm that defines the convergent results of those manipulations, "existence" being merely how the algorithm feels from inside.

Yup, still makes sense to me!

Comment author: FAWS 24 September 2011 08:13:11AM 3 points [-]

What difference, if any, is there between adopting your definition of reality/existence, and banning the words reality/existence etc and using some other word for the concept you defined, other than miscommunication with people who use another concept of existence?

Comment author: loqi 23 September 2011 10:07:55PM 3 points [-]

All I see here is Tegmark re-hashed and some assertions concerning the proper definitions of words like "real" and "existence". Taboo those, are you still saying anything?

Have you read any of Paul Almond's thoughts on the subject? Your position might be more understandable if contrasted with his.

Comment author: ec429 23 September 2011 10:26:24PM 2 points [-]

All I see here is Tegmark re-hashed and some assertions concerning the proper definitions of words like "real" and "existence". Taboo those, are you still saying anything?

I'm saying that our intuitive concepts of "real" and "existence" have no referents, that Tegmark's restriction to computable structures is unnecessary, that nesting (ie. simulation) of worlds is an explicit causal dependence, and that Platonism needn't be as silly and naïve as it sounds. Also to the extent that I am rehashing Tegmark, I'm doing so in order to combine it with Syntacticism and several other prerequisites in order to build a framework that lets me talk about "the existence of infinite sets", because I think Eliezer's 'infinite set atheism' is a confusion.

Have you read any of Paul Almond's thoughts on the subject? Your position might be more understandable if contrasted with his.

I'll read "Minds, Substrate, Measure and Value" (which seems relevant) and then get back to you on that one, ok?

Comment author: loqi 25 September 2011 01:02:04AM 1 point [-]

Thanks, that's a concise and satisfying reply. I look forward to seeing where you take this.

Comment author: ec429 24 September 2011 03:41:18AM *  1 point [-]

Paul Almond

To Minds, Substrate, Measure and Value Part 2: Extra Information About Substrate Dependence I make his Objection 9 and am not satisfied with his answer to it. I believe there is a directed graph (possibly cyclic) of mathematical structures containing simulations of other mathematical structures (where the causal relation proceeds from the simulated to the simulator), and I suspect that if we treat this graph as a Markov chain and find its invariant distribution, that this might then give us a statistical measure of the probability of being in each structure, without having to have a concept of a physical substrate which all other substrates eventually reduce to.

However, I'm not sure that any of this is essential to my OP claims; the measure I assign to structures for purposes of forecasting the future is a property of my map, not of the territory, and there needn't be a territorial measure of 'realness' attached to each structure, any more than there need be a boolean property of 'realness' attached to each structure. I note, though, that, being unable to explain why I find myself in an Everett branch in which experiments have confirmed the Born rule (even though in many worlds (without mangling) there should be a 'me' in a branch in which experiments have consistently confirmed the Equal Probabilities rule), I clearly do not have an intuitive grasp of probabilities in a possible-worlds or modal-realistic universe, so I may well be barking up the wrong giraffe.

EDIT: In part 3, Almond characterises the Strong AI Hypothesis thus:

A mind exists when the appropriate algorithm is being run on a physical system.

I characterise my own position on minds thus:

A mind exists when there is an appropriate algorithm, whether that algorithm is being run on a physical system or not. If the existence-of-mind inheres in the interpretative algorithm rather than the algorithm-that-might-be-run, then the interpretative algorithm is the appropriate one; but the mind still exists, whether the interpretative algorithm is being run on a physical system or not.

This is because the idea of a 'physical system' is an attachment to physical realism which I reject in the OP.

Comment author: loqi 25 September 2011 01:05:15AM 0 points [-]

Thanks for following up on Almond. Your statements align well with my intuition, but I admit heavy confusion on the topic.

Comment author: bryjnar 24 September 2011 01:47:04PM *  2 points [-]

I think this is relevant to some of the discussion here: David Chalmers, The Matrix as Metaphysics.

Chalmers argues that discovering that the simulation hypothesis was true would not show our beliefs about the existence of physical objects to be false, but merely indicate a surprising truth about the nature of reality. So he would say that yes, the rock does exist even if the simulation hypothesis is true.

Comment author: lavalamp 24 September 2011 01:50:06AM 2 points [-]

I think I have thought of, not a disproof, but evidence against what you're suggesting.

For every regular mathematical system, there exist infinitely many slight non-regular alterations of the system, implying that, if you are correct, there are infinitely more non-regular universes than regular universes. Under the principle that there's nothing special about our location in space/time/etc, we ought to find ourselves living in a "typical" universe, that is, a non-regular one. Yet, our universe appears to be highly regular.

Maybe you can argue that most such universes have very small irregularities...

Comment author: DuncanS 23 September 2011 10:52:32PM *  2 points [-]

Existence is a bit odd.

We start off by saying that the universe that I can sense exists, along with me. I carry on to allow existence to those bits of the universe that I can't directly sense, but it seems reasonable to infer are present from the physics of the universe.

So existence seems straightforward. But what about non-existence? Particularly in the context of a possible multiverse?

I think what happens is that people figuratively draw out in their minds the whole class IV multiverse that Tegmark talked about, and ask themselves how they would test for the non-existence of a part of it. The answer is that you can't - experiments can only manipulate and measure existing things using other existing things. You never get to experiment on a non-existent thing.

This means that the whole question "What exists?" is not directly a scientific one at all. Well, partially - you can do science on some of the things that do exist, but you don't ever get to do science on any of the things that don't exist. All you can ever confirm is that you can't see them from where you stand.

I think the right approach is to drop the 'exists' word altogether in this context, and instead ask yourself how to describe the universe using the usual approach of looking for the theory which is simplest.

Comment author: ec429 23 September 2011 11:14:25PM 0 points [-]

We start off by saying that the universe that I can sense exists, along with me.

I can see no justification whatever for that method. What's so special about you, that you imbue things with "existing-ness" by sensing them? Surely that's an egregious Mind Projection Fallacy? "It's in my map, so it must be in some territory somewhere"?

Comment author: DuncanS 23 September 2011 11:26:52PM 0 points [-]

I wasn't actually justifying the move - merely saying this is how the concept of existence comes about. My final sentence sums up what I actually think - that 'exists' is a deeply misleading concept in situations such as this, and should be confined to folk philosophy, where it's commonly used meaning is sufficient.

Comment author: ec429 23 September 2011 11:40:14PM 1 point [-]

Getting rid of the 'exists' concept is more or less what I'm trying to do - or rather, show that if you have an 'exists' concept such that ¬exists(infinite sets) then your 'exists' concept is incoherent; moreover, that an 'exists' defined by exists(our Universe) and ¬exists(everything else) is not an important concept and should be detached from the connotations the savannah brain likes to associate with things that 'exist'.

"exist" doesn't have a referent. Any attempt to define it will either be special pleading (my universe is special, it "exists", because it's the one I live in!), or will give a definition that applies equally to all mathematical structures.

Comment author: DuncanS 24 September 2011 12:01:38AM 0 points [-]

Surely can't be exactly what you mean, as exists(our Univese) and ¬exists(everything else) seems coherent if rather unlikely, and seems consistent at our present state of knowledge with ¬exists(infinite sets).

It seems your 'exists' concept is pretty much indistinguishable from 'logically coherent', and that that's the whole point you're trying to make - that we're in no position to distinguish these, and should simply abandon the 'exists'.

Comment author: ec429 24 September 2011 12:14:24AM 0 points [-]

Surely can't be exactly what you mean, as exists(our Univese) and ¬exists(everything else) seems coherent if rather unlikely

I would dispute this, on the grounds that my deductions in formal systems come from somewhere that has a causal relation to my brain - the formal system causes me to be more likely to deduce the things which are valid deductions than the things that aren't. So, if I 'exist', I maintain that the formal systems have to 'exist' too, unless you're happy with 'existing' things being causally influenced by 'non-existing' things - in which case there's not a lot of point in asserting that ¬exists(infinite sets). A definition of 'exists' which doesn't satisfy my coherence requirements is, I am attempting to argue, simply a means of sneaking in connotations.

Comment author: lavalamp 23 September 2011 09:59:10PM 2 points [-]

When an agent in universe-defined-by-structure-A simulates, or models, or thinks-about, universe-defined-by-structure-B, they do not 'cause universe B to come into existence'; there is no refcount attached to each structure, to tell the Grand Multiversal Garbage Collection Routine whether that structure is still needed. An agent in A simulating B is not a causal relation from A to B; instead it is a causal relation from B to A! B defines the fact-of-the-matter as to what the result of B's laws is, and the agent in A will (barring cosmic rays flipping bits) get the result defined by B.

Suppose there are some cosmic rays, and A gets a bit wrong here and there, randomly. A is no longer simulating B, A is simulating B'. Further, assume that chaotic effects ensure that B' soon radically diverges from B. Do you claim that B' has an existence separate from the one A is giving it, that the "causal relationship" goes from B' -> A? Are you claiming that all possible mistaken simulations of all possible sets of physical laws somehow exist platonically?

It's not clear to me what this system you're describing gains you. What predictions does it cause you to make differently? (i.e., how does it pay rent?)

Comment author: ec429 23 September 2011 10:08:23PM 1 point [-]

Are you claiming that all possible mistaken simulations of all possible sets of physical laws somehow exist platonically?

Inasmuch as a mistaken simulation of B is a simulation of "B plus the arbitrary law that 'foo happens at time t'", then yes, B' exists platonically. Consider B = "x'' + x = 0, x(0)=x'(0)=0", B' = "x'' + x = δ(x-1), x(0)=x'(0)=0". These are both coherent mathematical models; they model different things, but B' still exists platonically. A cosmic ray could indeed make an ostensible model of B model B'.

It's not clear to me what this system you're describing gains you. What predictions does it cause you to make differently? (i.e., how does it pay rent?)

It's observationally equivalent to the hypothesis of manifest reality, but strictly simpler (it removes unnecessary ontological elements, and converts uncertainty about physical law into indexical uncertainty). Like Many Worlds, really.

Comment author: lavalamp 23 September 2011 10:34:16PM 2 points [-]

Inasmuch as a mistaken simulation of B is a simulation of "B plus the arbitrary law that 'foo happens at time t'", then yes, B' exists platonically. Consider B = "x'' + x = 0, x(0)=x'(0)=0", B' = "x'' + x = δ(x-1), x(0)=x'(0)=0". These are both coherent mathematical models; they model different things, but B' still exists platonically. A cosmic ray could indeed make an ostensible model of B model B'.

Does your model differ from "Everything that could exist, does"? I can imagine setting up a simulator for a universe just like ours, except that every time a planet coalesces, it's spontaneously replaced with a kangaroo. Does the fact that I can describe such a system imply (to you) that it actually exists? That without me even actually making a simulation of it, multitudes of kangaroos are each experiencing a few brief seconds of asphyxiation around their stars?

It's observationally equivalent to the hypothesis of manifest reality, but strictly simpler (it removes unnecessary ontological elements, and converts uncertainty about physical law into indexical uncertainty). Like Many Worlds, really.

Well, it's making me think, anyway.

Comment author: ec429 23 September 2011 11:04:46PM 1 point [-]

Does your model differ from "Everything that could exist, does"?

Not quite. Every mathematical structure (strictly, every syntactic language) that could exist, does (and causes its corresponding apparent physical reality to appear to exist) - so the kangaroos do indeed exist (and did so even before you thought of them). After all, how could you have an effect on the kangaroos merely by simulating them? (I maintain that the causal relation runs from the kangaroos to you, not the other way round).

It may well be impossible to devise an example of something that doesn't exist (because, if we can think about it, it is modellable), but that doesn't mean to say that things that don't exist, um, don't exist... I mean, {X : not exist(X)} need not be empty, it's just that we can't exhibit any of its elements. It might be provably empty, but I have no proof here and can't imagine what form one would take.

Also, you have to be a bit careful about the causal relations; if you start thinking of them as one formal system modelling another, you get into Gödel-space. Hence the Syntacticism post; I think it's accurate to say that one formal system models a quotation of another, but I'm not sure of that.

Comment author: shminux 23 September 2011 11:15:18PM 1 point [-]

A more conservative approach is to point out that some of our (mathematical) models are useful: they let us predict what happens when we perform an experiment, while others are not useful in that sense (though they can still can help you get through a grad school, write a grant application, gather a few karma points when posted here, or maybe even found a new church, if your model is untestable but convincing enough).

If you are a natural scientist, it's the "useful" models that should matter to you, while if you are a philosopher, there is little distinction. Your musings are clearly of the latter kind.

Comment author: PhilGoetz 24 September 2011 02:24:37PM 0 points [-]

I would need to know more about physics to even understand how this differs from many-worlds.

Comment author: ArisKatsaris 24 September 2011 03:09:15PM 3 points [-]

Tegmark IV and many worlds have little to nothing to do with each other.

  • The Everett branches of the "many worlds" all follow the same physical laws -- the same equations.
  • Tegmark IV demands that every possible alternate set of equations is equally "real" as our own, that a concept existing in abstract mathematical form and a physical structure existing in reality is one and the same thing. Effectively it attempts to explain reality by arguing the word reality has no meaning.
Comment author: jhuffman 23 September 2011 08:32:23PM *  0 points [-]

Sorry for this inane comment.

Comment author: ArisKatsaris 23 September 2011 08:43:20PM 0 points [-]

If people make random nonsensical comments and then immediately retract them without explanation just so they can troll and spam but at the same time avoid downvoting, then I have to go downvote two other comments they made, in punishment both for the nonsensical comment and for the abuse of the "retract' action.

Comment author: jhuffman 23 September 2011 08:52:27PM 1 point [-]

I didn't realize others could see my retracted comments. I guess I don't know what the purpose is of 'retract'.

Having made a random, nonsensical comment what is the best action to take to mitigate the damage of it?

Comment author: Vladimir_Nesov 23 September 2011 11:12:20PM 3 points [-]

After a comment is retracted, it can be deleted. The "delete" button appears after you reload the page with a retracted comment. "Retraction", by blocking the downvoting, exists to incentivise retaining of the original text where there's already discussion that references it.

Comment author: Oscar_Cunningham 23 September 2011 09:03:40PM 0 points [-]

"Retract" makes it clear that you have changed your view about your comment, but leaves it available for others to read. If you wish to remove the text as well you can just press edit and delete it, possibly replacing it with an apologatory message.