= 27d567bc2d48d9f40e9ccc20ea370b15)
Luke_A_Somers comments on Truth and the Liar Paradox - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (43)
Why not? Or rather, why is this a normative claim rather than either an observation, or a decision about a formal system of statements?
This is the neatest resolution to the liar's paradox that I've ever seen, and in retrospect it seems obvious. It's extremely non-intrusive, only coming into play to render self-negating statements false.
"It's extremely non-intrusive, only coming into play to render self-negating statements false." That's a good point, it is an extremely neat solution. I'm simply arguing that this should be accepted as a useful model, rather than the model of reality. What about the model where we declare "This statement is false" to be meaningless? If we want to accept Prior's resolution as the model of reality we need to show that meaningless is an invalid model. I can't see how you would be able to do this. Therefore, it seems more elegant to just accept Prior's model as a useful model.