I'm quite confident that my formulation isn't wrong, and that we're talking past each other (specifically, that you're missing something important that I'm apparently not saying well).

What was explicitly written in the post was "If B then A. Furthermore, if not B then not A." Those are two different statements, and you need both of them. The former is an expression of the belief structure of the person on the left. The latter is an expression of the belief structure of the person on the right. They are NOT logically equivalent. They are BOTH required for a "double crux," because the whole point is for the two people to converge—to zero in on the places where they are not in disagreement, or where one can persuade the other of a causal model.

It's a crux that cuts both ways—B's true state implies A's trueness, but B's false state is not irrelevant in the usual way. Speaking strictly logically, if all we know is that B implies A, not-B doesn't have any impact at all on A. But when we're searching for a double crux, we're searching for something where not-B does have causal impact on A—something where not-B implies not-A. That's a meaningfully different and valuable situation, and finding it (particularly, assuming that it exists and can be found, and then going looking for it) is the key ingredient in this particular method of transforming argument into collaborative truth-seeking.

Comment author:MrMind
06 December 2016 08:10:42AM
*
1 point
[-]

They are NOT logically equivalent.

Ah, I think I've understood where the problem lies.
See, we both agree that B --> A and -B --> -A. This second statement, as we know from logic, is equivalent to A --> B. So we both agree that B --> A and A --> B. Which yields that A is equivalent to B, or in symbols A <--> B.
This is what I was referring to: the crux being equivalent to the original statement, not that B --> A is logically equivalent to -B --> -A

I'm probably rustier on my formal logic than you. But I think what's going on here is fuzz around the boundaries where reality gets boiled down and translated to symbolic logic.

"Uniforms are good because they'll reduce bullying." (A because B, B --> A)
"Uniforms are bad, because along with all their costs they fail to reduce bullying." (~A because ~B, ~B --> ~A)

Whether this is a minor abuse of language or a minor abuse of logic, I think it's a mistake to go from that to "Uniforms are equivalent to bullying reduction" or "Bullying reductions result in uniforms." I thought that was what you were claiming, and it seems nonsensical to me. I note that I'm confused, and therefore that this is probably not what you were implying, and I've made some silly mistake, but that leaves me little closer to understanding what you were.

Comment author:CCC
07 December 2016 02:09:57PM
*
2 points
[-]

"Uniforms are good because they'll reduce bullying." (A because B, B --> A) "Uniforms are bad, because along with all their costs they fail to reduce bullying." (~A because ~B, ~B --> ~A)

A: "Uniforms are good"

B: "Uniforms reduce bullying"

B->A: "If uniforms reduce bullying, then uniforms are good."

~B->~A : "If uniforms do not reduce bullying, then uniforms are not good."

"A is equivalent to B": "The statement 'uniforms are good' is exactly as true as the statement 'uniforms reduce bullying'."

A->B: "If uniforms are good, then it is possible to deduce that uniforms reduce bullying."

Comment author:OneStep
10 December 2016 06:55:24AM
0 points
[-]

There's confusion here between logical implication and reason for belief.

Duncan, I believe, was expressing belief causality -- not logical implication -- when he wrote "If B, then A." This was confusing because "if, then" is the traditional language for logical implication.

With logical implication, it might make sense to translate "A because B" as "B implies A". However, with belief causality, "I believe A because I believe B" is very different from "B implies A".

For example:

A: Uniforms are good.

B: Uniforms reduce bullying.

C: Uniforms cause death.

Let's assume that you believe A because you believe B, and also that you would absolutely not believe A if it turned out that C were true. (That is, ~C is another crux of your belief in A.)

Now look what happens if B and C are both true. (Uniforms reduce bullying to zero because anyone who wears a uniform dies and therefore cannot bully or be bullied.)

C is true, therefore A is false even though B is true. So B can't imply A.

B is only one reason for your belief in A, but other factors could override B and make A false for you in spite of B being true. That's why you can have multiple independent cruxes. If any one of your cruxes for A turns out to be false, then you would have to conclude that A is false. But any one crux being true doesn't by itself imply that A is true, because some other crux could be false, which would make A false.

So with belief causality, "A because B" does not mean that B implies A. What it actually means is that ~B implies ~A, or equivalently, that A implies B -- which in that form sounds counter-intuitive even though it's right.

So for B to be a crux of A means only (in formal logical implication) that A -> B, and definitely not that B -> A. In fact, for a crux to be interesting/useful, you don't want a logical implication of B -> A, because then you've effectively made no progress toward identifying the source of disagreement. To make progress, you want each crux to be "saying less than" A.

Comment author:CCC
15 December 2016 07:13:32AM
0 points
[-]

In a pure-logic kind of way, finding B where B is exactly equivalent to A means nothing, yes. However, in a human-communication kind of way, it's often useful to stop and rephrase your argument in different words. (You'll recognise when this is helpful if your debate partner says something along the lines of "Wait, is that what you meant? I had it all wrong!")

This has nothing to do with formal logic; it's merely a means of reducing the probability that your axioms have been misunderstood (which is a distressingly common problem).

## Comments (101)

BestI'm quite confident that my formulation isn't wrong, and that we're talking past each other (specifically, that you're missing something important that I'm apparently not saying well).

What was explicitly written in the post was "If B then A.

Furthermore,if not B then not A." Those are twodifferentstatements, and you needbothof them. The former is an expression of the belief structure of the person on the left. The latter is an expression of the belief structure of the person on the right. They areNOTlogically equivalent. They areBOTHrequired for a "double crux," because thewhole pointis for the two people to converge—to zero in on the places where they arenotin disagreement, or where one can persuade the other of a causal model.It's a crux that cuts both ways—B's true state implies A's trueness, but B's

falsestate isnot irrelevant in the usual way.Speaking strictly logically, if all we know is that B implies A, not-B doesn't have any impact at all on A. But when we're searching for a double crux, we're searching for something where not-Bdoeshave causal impact on A—something where not-B implies not-A. That's a meaningfully different and valuable situation, and finding it (particularly, assuming that it exists andcanbe found, and then goinglookingfor it) is the key ingredient in this particular method of transforming argument into collaborative truth-seeking.*1 point [-]Ah, I think I've understood where the problem lies.

See, we both agree that B --> A and -B --> -A. This second statement, as we know from logic, is equivalent to A --> B. So we both agree that B --> A and A --> B. Which yields that A

is equivalentto B, or in symbols A <--> B.This is what I was referring to: the crux being equivalent to the original statement, not that B --> A is logically equivalent to -B --> -A

I'm probably rustier on my formal logic than you. But I think what's going on here is fuzz around the boundaries where reality gets boiled down and translated to symbolic logic.

"Uniforms are good because they'll reduce bullying." (A because B, B --> A) "Uniforms are bad, because along with all their costs they fail to reduce bullying." (~A because ~B, ~B --> ~A)

Whether this is a minor abuse of language or a minor abuse of logic, I think it's a mistake to go from that to "Uniforms are equivalent to bullying reduction" or "Bullying reductions result in uniforms." I thought that was what you were claiming, and it seems nonsensical to me. I note that I'm confused, and therefore that this is probably

notwhat you were implying, and I've made some silly mistake, but that leaves me little closer to understanding what youwere.*2 points [-]A: "Uniforms are good"

B: "Uniforms reduce bullying"

B->A: "If uniforms reduce bullying, then uniforms are good."

~B->~A : "If uniforms do not reduce bullying, then uniforms are not good."

"A is equivalent to B": "The statement 'uniforms are good' is exactly as true as the statement 'uniforms reduce bullying'."

A->B: "If uniforms are good, then it is possible to deduce that uniforms reduce bullying."

...does that help?

*1 point [-]Yep. Thanks. =)

I was misunderstanding "equivalency" as "identical in all respects to," rather than seeing equivalency as "exactly as true as."

There's confusion here between logical implication and reason for belief.

Duncan, I believe, was expressing belief causality -- not logical implication -- when he wrote "If B, then A." This was confusing because "if, then" is the traditional language for logical implication.

With logical implication, it might make sense to translate "A because B" as "B implies A". However, with belief causality, "I believe A because I believe B" is very different from "B implies A".

For example:

A: Uniforms are good.

B: Uniforms reduce bullying.

C: Uniforms cause death.

Let's assume that you believe A because you believe B, and also that you would absolutely not believe A if it turned out that C were true. (That is, ~C is another crux of your belief in A.)

Now look what happens if B and C are both true. (Uniforms reduce bullying to zero because anyone who wears a uniform dies and therefore cannot bully or be bullied.)

C is true, therefore A is false even though B is true. So B can't imply A.

B is only one reason for your belief in A, but other factors could override B and make A false for you in spite of B being true. That's why you can have multiple independent cruxes. If any one of your cruxes for A turns out to be false, then you would have to conclude that A is false. But any one crux being true doesn't

by itselfimply that A is true, because some other crux could be false, which would make A false.So with belief causality, "A because B" does not mean that B implies A. What it actually means is that ~B implies ~A, or equivalently, that A implies B -- which in that form sounds counter-intuitive even though it's right.

So for B to be a crux of A means only (in formal logical implication) that A -> B, and definitely not that B -> A. In fact, for a crux to be interesting/useful, you

don'twant a logical implication of B -> A, because then you've effectively made no progress toward identifying the source of disagreement. To make progress, you want each crux to be "saying less than" A.I guess we now can get rid of http://lesswrong.com/lw/wj/is_that_your_true_rejection/ .

In a pure-logic kind of way, finding B where B is exactly equivalent to A means nothing, yes. However, in a human-communication kind of way, it's often useful to stop and rephrase your argument in different words. (You'll recognise when this is helpful if your debate partner says something along the lines of "Wait, is

thatwhat you meant? I had it all wrong!")This has nothing to do with formal logic; it's merely a means of reducing the probability that your axioms have been misunderstood (which is a distressingly common problem).