Vladimir_Nesov comments on Open Thread: July 2009 - Less Wrong

3 [deleted] 02 July 2009 04:00AM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (235)

You are viewing a single comment's thread. Show more comments above.

Comment author: Vladimir_Nesov 08 July 2009 11:10:12AM 0 points [-]

This is probably wrong. The important point is that physics isn't a mind, and less so human mind or your mind, so it doesn't care about your high-level concepts, which makes their materialization in reality impossible. Even though the territory computes much more data than people, it's data not structured in a way human concepts are.

Comment author: jwdink 08 July 2009 02:43:43PM *  1 point [-]

To loqi and Nesov:

Again, both of your responses seem to hinge on the fact that my challenge below is easily answerable, and has already been answered:

Tell me the obvious, a priori logically necessary criteria for a person to distinguish between "entities within the territory" and "high-level concepts." If you can't give any, then this is a big problem: you don't know that the higher level entities aren't within the territory. They could be within the territory, or they could be "computational abstractions." Either position is logically tenable, so it makes no sense to say that this is where the logical incoherence comes in.

To loqi: Where do we draw the line? Where is an entity too complex to be considered fundamental, whereas another is somewhat less complex and can therefore be considered simple? What would be a priori illogical about every entity in the universe being explainable in terms of quarks, except for one type of entity, which simply followed different laws? (Maybe these laws wouldn't even be deterministic, but that's apparently not a knockdown criticism of them, right? From what I understand, QM isn't deterministic, by some interpretations.)

To Nesov: Again, you're presupposing that you know what's part of the territory, and what's part of the map, and then saying "obviously, the territory isn't affected by the map." Sure. But this presupposes the territory doesn't have any irreducible entities. It doesn't demonstrate it.

Don't get me wrong: Occam's razor will indeed (and rightly) push us to suspect that there are no irreducible entities. But it will do this based on some previous success with reduction-- it is an inference, not an a priori necessity.

Comment author: loqi 08 July 2009 04:55:48PM 1 point [-]

Where do we draw the line?

I don't know. I wasn't supporting the main thread of argument, I was responding specifically to your implicit comparison of the complexity of quarks and "about-ness", and pointing out that the complexity of the latter (assuming it's well-defined) is orders of magnitude higher than that of the former. "About-ness" may seem simpler to you if you think about it in terms that hide the complexity, but it's there. A similar trick is possible with QM... everything is just waves. QM possesses some fundamental level of complexity, but I wouldn't agree in this context that it's "fundamentally complicated".

Comment author: jwdink 08 July 2009 05:02:32PM 1 point [-]

QM possesses some fundamental level of complexity, but I wouldn't agree in this context that it's "fundamentally complicated".

I see what you mean. It's certainly a good distinction to make, even if it's difficult to articulate. Again, though, I think it's Occam's Razor and induction that makes us prefer the simpler entities-- they aren't the sole inhabitants of the territory by default.

Comment author: loqi 08 July 2009 04:45:23PM 0 points [-]

I would assert that, by definition, a meaningful concept is reducible to some other set of concepts. If this chain of meaning can be extended to unambiguous physics, then their "materialization in reality" is certainly possible, it's just a complicated boundary in Thingspace.