Less Wrong is a community blog devoted to refining the art of human rationality. Please visit our About page for more information.

Duncan_Sabien comments on Double Crux — A Strategy for Resolving Disagreement - Less Wrong

58 Post author: Duncan_Sabien 29 November 2016 09:23PM

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

Comments (101)

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

Comment author: Duncan_Sabien 01 December 2016 06:44:01PM *  0 points [-]

If I'm understanding correctly, I think you've made a mistake in your formal logic above—you equated "If B, then A" with "If A, then B" which is not at all the same.

The search for a double crux encourages each side to adopt the causal model of the other (or, in other words, to search through the other's causal models until they find one they can agree is true). I believe "If B, then A," which is meaningfully different from your belief "If ¬B then ¬A." If each of us comes around to saying, "Yeah, I buy your similar-but-different causal model, too," then we've converged in an often-significant way, and have almost always CLARIFIED the underlying belief structure.

Comment author: CCC 02 December 2016 07:56:32AM 0 points [-]

If I'm understanding correctly, I think you've made a mistake in your formal logic above—you equated "If B, then A" with "If A, then B" which is not at all the same.

No, he only inferred "If A, then B" from "If not B, then not A" which is a valid inference.

Comment author: Duncan_Sabien 02 December 2016 10:06:50PM *  0 points [-]

1) if B then A

2) if not B, then not A. Which implies if A then B.

... but then he went on to say "How can an equivalent argument have explanatory power?" which seemed, to me, to assume that "if B then A" and "if A then B" are equivalent (which they are not).

Comment author: CCC 05 December 2016 08:48:55AM 0 points [-]

I read that statement as implying that argument A is equivalent to argument B. (Not (1) and (2), which are statements about arguments A and B)

And, if A implies B and B implies A, then it seems to me that A and B have to be equivalent to each other.