Many years ago a mentor told me that critics of abduction point out that induction can make it redundant by making credences in hypotheses about facts, and that this is in fact more aligned with the idea that you don’t have a credence in the facts directly you instead have a credence in some model of the facts. I haven’t spent any time in the literature since then. Overall, do you think abduction is underrated? I do a lot of skimming lesswrong posts about logic and probability and so on and basically never see it.
I’m having a little trouble understanding the question. I think you may be thinking of either philosophical abduction/induction or logical abduction/induction.
Abduction in this article is just computing P(y | x) when x is a causal descendant of y. It’s not conceptually different from any other kind of conditioning.
In a different context, I can say that I’m fond of Isil Dillig’s thesis work on an abductive SAT solver and its application to program verification, but that’s very unrelated.
Many years ago a mentor told me that critics of abduction point out that induction can make it redundant by making credences in hypotheses about facts, and that this is in fact more aligned with the idea that you don’t have a credence in the facts directly you instead have a credence in some model of the facts. I haven’t spent any time in the literature since then. Overall, do you think abduction is underrated? I do a lot of skimming lesswrong posts about logic and probability and so on and basically never see it.
I’m having a little trouble understanding the question. I think you may be thinking of either philosophical abduction/induction or logical abduction/induction.
Abduction in this article is just computing P(y | x) when x is a causal descendant of y. It’s not conceptually different from any other kind of conditioning.
In a different context, I can say that I’m fond of Isil Dillig’s thesis work on an abductive SAT solver and its application to program verification, but that’s very unrelated.