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

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

61 29 November 2016 09:23PM

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

Sort By: Best

Comment author: 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: 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: 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.