Re: Fitch's paradox and OWA
Date: 17 Dec 2009 22:52:46 GMT
>Does Fitch's paradox prove an inherent contradiction in the open-world
I don't understand the paradox.
(KP) all truths are knowable, i.e. can be known by somebody at some time
(NonO) not all truths are known now
(1) there is an unknown truth p
(2) p is true and unknown is itself a truth
and hence, by KP,
(3) (p is true and unknown) can be known by somebody at some time
"However, it can be shown independently that it is impossible to know this conjunction. Line 3 is false."
I'm eager to see that demonstration. Clearly, if p is unknown (1), then so is the truth than p is true and unknown (2), but KP doesn't contradict that - all it says is that p may be known, perhaps at some other time, and indeed, at that same time, the statement that p was true but unknown will also be known to be true.
They seem to mess up the scoping of K and P, simplifying their language until paradoxes become inevitable; the paradox results from that, as far as I can see. In any case, the paradox depends on the exact formalization on K and P, which isn't given. Once again, I'm left with the feeling that these Stanford guys could use some field experience in database design.
-- ReinierReceived on Thu Dec 17 2009 - 16:52:46 CST