"One Man's Modus Ponens Is Another Man's Modus Tollens"

post by gwern · 2019-05-17T22:03:59.458Z · LW · GW · 7 comments

This is a link post for https://www.gwern.net/Modus

7 comments

Comments sorted by top scores.

comment by Richard_Kennaway · 2019-05-18T14:08:07.946Z · LW(p) · GW(p)

Sometimes one man's modus ponens is another's modus tollens, but to a third it is modus delens, the method that erases or destroys: the argument from the premises to the conclusion is rejected.

Replies from: gwern, SaidAchmiz
comment by gwern · 2019-05-18T19:30:44.180Z · LW(p) · GW(p)

Do you think any of the examples are better termed 'modus delens'?

Replies from: Richard_Kennaway
comment by Richard_Kennaway · 2019-05-18T19:50:15.574Z · LW(p) · GW(p)

I don't think those fit the pattern, although in discursive English it can be difficult to carve a line separating the A from the A ⊃ B. But modus delens is the right response to many arguments of conspiracy theorists and pseudoscientists who proceed from unobjectionable premises to fantastic conclusions by broken reasoning.

comment by Said Achmiz (SaidAchmiz) · 2019-05-18T18:13:06.366Z · LW(p) · GW(p)

Could you say more about this? Googling “modus delens” appears to be fruitless, and it’s not immediately clear to me what you could mean.

Replies from: Richard_Kennaway
comment by Richard_Kennaway · 2019-05-18T19:03:32.872Z · LW(p) · GW(p)

I made up the name for a faux aura of mediaeval scholarship.

Modus ponens: I accept A and A ⊃ B, therefore accept B.

Modus tollens: I deny B and accept A ⊃ B, therefore deny A.

Modus delens: I accept A and deny B, therefore deny A ⊃ B.

Replies from: SaidAchmiz
comment by Said Achmiz (SaidAchmiz) · 2019-05-18T19:07:56.673Z · LW(p) · GW(p)

Thanks. Yeah, that’s a good point. I wonder how common this sort of response is, relative to the others? (And how often it’s correct?)

Replies from: riceissa
comment by riceissa · 2019-05-20T09:12:20.586Z · LW(p) · GW(p)

The examples in the buckets error [LW · GW] post have "modus delens" as the correct response. To take the diet example from the post, A = "diet worth being on", B = "zero studies suggesting health risks". Adam has stored in his brain, and Betty presents , so Adam's brain computes . The "protecting epistemology" move is to instead adamantly believe A ("I need to stay motivated!") which ends up rejecting what Betty said. But the desired response is to instead deny B but also accept A, and hence to deny the implication .

So in these buckets error examples, modus ponens corresponds to the "automatic" reasoning, modus tollens corresponds to the "flinching away from the truth" move, and modus delens corresponds to the "rational" move that avoids the buckets error.

I explained this more in a comment [LW(p) · GW(p)] on the post.

I can't comment as to the relative frequency of this response and how often it's correct (this sort of question seems difficult to answer).