JoshuaZ comments on Bayesian Epistemology vs Popper - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (226)
Earman is a philosopher and the book has gotten positive reviews from other philosophers. I don't know what else to say in that regard.
Hrrm? You mentioned professionals first. I'm not sure why you are now objecting to the use of professionals as a relevant category.
I'm not at all convinced that this is what Popper intended (but again I've only read LScD) but if this is accurate then Popper isn't just wrong in an interesting way but is just wrong. Does one mean for example to claim that pure mathematics works off of criticism? I'm a mathematician. We don't do this. Moreover, it isn't clear what it would even mean for us to try to do this as our primary method of inquiry. Are we supposed to spend all our time going through pre-existing proofs trying to find holes in them?
Yes, and I'm quite sure that I get much more of a worldview if I read all of Hegel rather than just some of it. That doesn't mean I need to read all of it. Similar remarks would apply to Aquinas or more starkly the New Testament. Do you need to read all of the New Testament to decide that Christianity is bunk? Do you need to read the entire Talmud to decide that Judaism is incorrect? But you get a whole worldview that you don't obtain from just reading the major texts.
Right, and then we just the criticism "why bother" or "and how does that maximize the number of paperclip in the universe?" Or one can say "mean" "good" bad" are all hideously ill-defined. In any event, does it not bother you that you are essentially claiming that your moral discussion with your great epistemological system looks just like a discussion about morality by a bunch of random individuals? There's nothing in the above that uses your epistemology in any substantial way.
Right! And conveniently in the case Popper cares about you can prove that.
Do you mean understand or do you mean care? I don't understand why you are making this statement given that my remark was addressing the question you asked of whether I had specific problems with Popper's handling of Bayesianism in LScD. This is a specific problem there.
I don't know what Popper himself would say, but one of his more insightful followers, namely Lakatos, argues for exactly that position.
I read Proofs and Refutations too many years ago to say anything precise about it. I remember finding it interesting but also frustrating. Lakatos seems determined to ignore/deny/downplay the fact of mathematical practice that we only call something a 'theorem' when we've got a proof, and we only call something a 'proof' when it's logically watertight in such a way that no 'refutations' are possible. Still, it's well-researched (in its use of a historical case-study) and he comes up with some decent ideas along the way (e.g. about "monster barring" and "proof-oriented definitions".)
Yes, Lakatos does argue for that in a certain fashion, (and I suppose it is right to bring this up since I've myself repeatedly pointed people here on LW to read Lakatos when they think that math is completely reliable.) However, Lakatos took a more nuanced position than the position that curi is apparently taking that math advances solely through this method of criticism. I also think Lakatos is wrong in so far as the examples he uses are not actually representative samples of what the vast majority of mathematics looks like. Euler's formula is an extreme example, and it is telling that when one wants to give other similar examples one often gives other topological claims from before 1900 or so.