MugaSofer comments on Wrong Questions - Less Wrong

34 Post author: Eliezer_Yudkowsky 08 March 2008 05:11PM

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

Comments (126)

Sort By: Old

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

Comment author: MugaSofer 15 April 2013 11:36:55AM -2 points [-]

To be fair, this could be phrased as "because someone decided they were the best way to protect the occupants, and fitted them." However, I would define an answer to a "why is there" question more broadly - what explains why the universe is not in the counterfactual situation of this not being there? If you count any causal antecedent as an answer, you can't explain causal loops, and you can only explain parts of infinite chains, not the whole.

Comment author: satt 16 April 2013 09:16:59AM *  0 points [-]

I would define an answer to a "why is there" question more broadly - what explains why the universe is not in the counterfactual situation of this not being there? If you count any causal antecedent as an answer, you can't explain causal loops, and you can only explain parts of infinite chains, not the whole.

I agree with you about this. (And also agree with you & ArisKatsaris's response to PrawnOfFate's airbag example.) I suspect we just differ in our reactions to this inability to explain: you think it's a bug while I think it's expected behaviour.

Any causal chain eventually has to (1) end, (2) loop back on itself, or (3) go on forever without looping. So it's inevitable that if I try to locate the universe's cause, I'll get a counterintuitive answer. I'll find that it either just sprang into existence without being caused, that it caused itself, or that there's a never-ending procession of turtles.

None of these feel like Real Explanations, but (at least?) one of them must be the case. So I already know, a priori, that the universe's causal chain has no Real Explanation. If I think one exists, that just means I've failed to notice my confusion. Asking "Why is there everything?" and its equivalents is a failure to notice confusion.

Comment author: PrawnOfFate 16 April 2013 01:54:05PM 1 point [-]

What do you think you are confused about? You have grounds for thinking the question has no answer, but those are not per se grounds for thinking there was never a question.

Comment author: satt 16 April 2013 07:58:49PM 0 points [-]

What do you think you are confused about?

About the reason the universe exists. I'm using "confusion" as shorthand for not having an explanation that feels adequate on a gut level (which leads to a sensation of confusion), whether or not that confusion is justified.

You have grounds for thinking the question has no answer, but those are not per se grounds for thinking there was never a question.

I don't doubt the question's existence. I doubt the question is worth asking.

Comment author: PrawnOfFate 16 April 2013 08:09:41PM 0 points [-]

I don't doubt the question's existence. I doubt the question is worth asking.

Because?

Comment author: satt 16 April 2013 08:25:37PM 0 points [-]

Because I already know the three possible answers that question can have, and I already know none of them will feel adequate. As my only motivation for asking the question would be getting an answer that feels adequate, there's no point in asking it.

Comment author: PrawnOfFate 17 April 2013 01:48:40AM 0 points [-]

Realising that you can't answer it can set boundaries on your knowledge.

Comment author: satt 17 April 2013 10:01:36PM 0 points [-]

My conclusion that I can't answer it follows from my existing knowledge of those boundaries, however, so I don't learn novel boundaries from that conclusion.

Comment author: TsviBT 16 April 2013 08:55:28PM 1 point [-]

By time you are saying things like "Well I'm confused, but... ...and therefore, it must be the case that A, B, or C", you should worry that you have already baked your confusion into your formulation of the question.

Comment author: MugaSofer 19 April 2013 01:46:18PM *  -2 points [-]

None of these feel like Real Explanations, but (at least?) one of them must be the case.

Or there could be a fourth explanation neither of us has thought of.

Comment author: satt 20 April 2013 11:52:18AM 1 point [-]

Or there could be a fourth explanation neither of us has thought of.

"There could be an (n+1)th explanation neither of us has thought of" is a fully general counterargument to any argument by cases.

Comment author: PrawnOfFate 20 April 2013 12:25:40PM 0 points [-]

It's valid too. Which is one reason not to put p=1.0 on anything.

Comment author: satt 20 April 2013 01:20:59PM 0 points [-]

Most fully general counterarguments are valid, taken at face value. This does not mean they're worth giving much weight. For example, someone could answer any argument I post on LW with "but satt, it's always possible you are wrong about that!" Which would be correct but rarely helpful.

Similarly, although I'm sympathetic to the idea of never assigning p=0 or p=1 to anything, any well-specified model I make is going to leave something out. So for me to make any inferences at all, I have to implicitly assign p=0 or p=1 to something. If I started throwing out models on that basis I'd have nothing left.

Comment author: MugaSofer 23 April 2013 10:26:55AM -2 points [-]

Why yes, yes it is. Arguing that someone else is wrong, therefore you are right is a well-known cheap debating trick.

Would you care to explain why I'm wrong, rather than sorting my argument into a low-status category?

Comment author: satt 23 April 2013 11:47:09PM 2 points [-]

Arguing that someone else is wrong, therefore you are right is a well-known cheap debating trick.

When I was complaining about the "but satt, it's always possible you are wrong about that!" argument, I wasn't complaining about all arguments that have "you are wrong, satt, therefore I am right" as a conclusion. I'm only taking issue with people mumbling "well, have you ever considered you might be wrong?" without elaborating. There's nothing wrong with someone arguing I might be wrong about something. But they should at least give a hint as to why I'd be wrong.

Would you care to explain why I'm wrong, rather than sorting my argument into a low-status category?

In this case, "there could be a fourth explanation neither of us has thought of" amounts to saying "there could be a fourth possible terminal state for a causal chain". Well, sure, it's always possible. But why should I assign that possibility any substantial probability?

Causal chains are pretty basic, abstract objects — directed graphs. I'm not talking about a set of concrete objects, where a fourth example could be hiding somewhere in the physical world where no one can see it. I'm not talking about some abstruse mathematical object that's liable to have weird properties I'm not even aware of. I'm talking about boxes connected by arrows. If there were some fourth terminal state I could arrange them to have I'd expect to know about it.

What I've just said might be mistaken. But you haven't given any specifics as to where or how it goes wrong, so your comment is just another form of "but satt, it's always possible you are wrong about that!", which doesn't help me.

Comment author: GloriaSidorum 24 April 2013 01:13:51AM *  0 points [-]

If propositional calculus (simpler than it sounds is a good way of describing causality in the territory, I very much doubt there is a fourth option. If I'm doing logic right:

1.¬A is A's cause(1)∨A is A's cause (1)(By NOT-3)

2.A has a cause→ ¬A is A's cause(1)∨A is A's cause(1)(By THEN-1)

3.A has a cause→ ¬A is A's cause(1)∨A is A's cause(1)→A has a cause ∧¬A is A's cause(1)∨A is A's cause(1)(By AND-3)

4.A has a cause→A has a cause ∧¬A is A's cause(1)∨ A is A's cause(1)(Modus Ponens on 3)

  1. ¬A has a cause∨A has a cause⊢A has a cause ∧ A is A's cause(1)∨¬A is A's cause* (By NOT-3)

6.¬A has a cause∨A has a cause ∧ A is A's cause(1)∨¬A is A's cause(1)(Modus ponens on 5)

Which, translated back into English, means that something either has a cause apart from itself, is it's own cause*,or has no cause. If you apply "has a cause apart from itself" recursively, you end up with an infinite chain of causes. Otherwise, you have to go with "is it's own cause(1)", which means the causal chain loops back on itself or "has no cause" which means the causal chain ends.

Nothing thus far, to my knowledge, has been found to defy the axioms of PC, and thus, if PC were wrong, it would seem not only unsatisfying but downright crazy. I believe that I could make at least a thousand claims which I believe as strongly as "If the Universe defied the principles of logic, it would seem crazy to me." and be wrong at most once, so I assign at least a 99.9% probability to the claim that "Why is everything" has no satisfying answer if "It spontaneously sprang into being", "Causality is cyclical." and "an infinite chain of causes" are unsatisfying.

(1)Directly or indirectly

Comment author: RichardKennaway 24 April 2013 11:46:29AM *  0 points [-]

If propositional calculus (simpler than it sounds is a good way of describing causality in the territory, I very much doubt there is a fourth option. If I'm doing logic right:

A problem, or a strength, depending on the context, with this sort of argument is that it does not depend on the meaning of the phrase "X is caused by Y". Logically, any binary relation forms chains that are either infinite, lead to a cycle, or stop. If the words "X is caused by Y" indeed define a binary relation, then the argument tells you this fact about that relation.

If the concept being groped for with the words is vague, ill-defined, or confused, then the argument will be working from a wrong ontology, and the precision and soundness of the argument may distract from noticing that. Hume denied causation, in favour of correlation; Pearl asserts causation as distinct but as far as I can see takes it as unproblematic enough for his purposes to leave undefined. The discussion here suggests the concept of causation is still unclear. Or if there is a clear concept, people are still unclear what it is.

Comment author: PrawnOfFate 16 April 2013 01:51:45PM 1 point [-]

The paraphrase introduces some efficient causality without removing all the teleology.

what explains why the universe is not in the counterfactual situation of this not being there? If you count any causal antecedent as an answer, you can't explain causal loops, and you can only explain parts of infinite chains, not the whole.

The point I was making is that a preceding cause is not the only kind of answer to a "why" question.

Comment author: satt 16 April 2013 08:13:20PM 1 point [-]

The paraphrase introduces some efficient causality without removing all the teleology.

I'd say the causality was there all along and MugaSofer & ArisKatsaris just made it explicit. Causality can become teleology by operating through a mind, but it remains causal for all that.

Comment author: PrawnOfFate 17 April 2013 01:50:34AM 1 point [-]

There is some evidence of that within the universe, but it is not a conceptual identity. The big Why question could still have an answer that is irreducibly teleological. The universe as a whole has to have some unique properties.

Comment author: satt 17 April 2013 10:30:59PM *  0 points [-]

There is some evidence of that within the universe, but it is not a conceptual identity.

Note that I think of teleology as a subset of causation rather than as coextensive with causation.

The big Why question could still have an answer that is irreducibly teleological.

I don't think I can imagine how this could work. A teleological answer to "why does the universe exist?" implies (at least to me) some goal-seeking agent that makes the universe happen, or orients it towards some particular end. But making stuff happen or pushing it in a particular direction is causality.

The universe as a whole has to have some unique properties.

I agree, but I don't see why the universe would have to be uniquely irreducibly teleological instead of, say, uniquely acausal (being the only entity that just springs into existence without a cause).

Comment author: PrawnOfFate 17 April 2013 10:58:18PM 1 point [-]

Note that I think of teleology as a subset of causation rather than as coextensive with causation.

Thinking in a certain way doesn't prove anything. The evidence for teleology being reducible to causality comes from within the universe, like the evidence for everything being finite, or for everything being contained in some larger structure.

I don't think I can imagine how [irreducible teleology] could work.

If you canno explain how agent-based causally-reducible teleology is the only possible kind, irreducible teleology remains a conceptual possibility.

I agree, but I don't see why the universe would have to be uniquely irreducibly teleologica

I doesn't. That is only one of the unique properties it could have.

Comment author: satt 17 April 2013 11:19:44PM 1 point [-]

Thinking in a certain way doesn't prove anything. The evidence for teleology being reducible to causality comes from within the universe, [...]

I don't think I can imagine how [irreducible teleology] could work.

If you canno explain how agent-based causally-reducible teleology is the only possible kind, irreducible teleology remains a conceptual possibility.

Yes. It's always possible for me to be simply wrong; something might exist even if I think that something is logically impossible. But (1) by induction from within-the-universe evidence, I find it very unlikely, and (2) even if I wanted to include irreducible teleology in my model, I wouldn't know how. So it's expedient for me to treat it as an impossibility. I'm content to agree to disagree with you on this one!

Comment author: PrawnOfFate 18 April 2013 01:50:59AM 0 points [-]

by induction from within-the-universe evidence, I find it very unlikely

That doesn't have any bearing at all. An inhabitant of an infinite universe could notice that every single thing in it is finite, but would be completely wrong in assuming that the universe they are in is finite.

even if I wanted to include irreducible teleology in my model, I wouldn't know how.

You take your assumption --which is presumable not justfiable apriori-- that the past causes the future, and invert it.

Comment author: satt 20 April 2013 12:09:46PM 0 points [-]

That doesn't have any bearing at all.

This sounds like just as much of an a priori assumption as my working assumption that it does have some bearing.

An inhabitant of an infinite universe could notice that every single thing in it is finite, but would be completely wrong in assuming that the universe they are in is finite.

Yes, induction can lead to incorrect conclusions. But this is not a very strong argument against any given induction.

You take your assumption --which is presumable not justfiable apriori-- that the past causes the future, and invert it.

I change my existing model so that the future causes the past within my model? I'm not sure how to do that either. I picture flipping the direction of every arrow in my causal graph, but that doesn't introduce any irreducible teleology; I'm still left with an ordinary causal graph when I finish.