"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.