2012-02-27
|
about D: K(!x) -> !P(x)
|
|
Thank you very much for the comment. Yes, when I wrote the paper I was unaware K(!x)->!P(x) was so controversial. (I was also, obviously, mistaken that it came from Salerno. I intend to write an erratum to correct that.) The axiom was derived from the less controversial rule of inference: "From !x, deduce !P(x)". If knowledge and provability are identified, the rule and the axiom are equivalent. But I am an ignorant man and did not realize that not all philosophers identify knowledge and provability!
While this state of affairs greatly weakens the "paradox" part of the paper, it actually strengthens somewhat the "resolution" part. When a paradox is "resolved", the stronger the original assumptions, the more surprising the resolution. (To be clear, I use "resolve" in Chow's sense, so that a paradox can have multiple resolutions and it's subjective which is the best resolution)
K(!x)->!P(x) says that the knower is extremely cautious: if there is any tiny possibility that there is an elephant in Bertrand Russel's room, this knower refuses to know there's no elephant. The knowability thesis seems a lot less plausible for such cautious knowers. But the paper shows that, in spite of this, knowability is nevertheless consistent, even with such paranoid knowers, provided the knower is not required to know his own factivity.
|