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

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