New answers tagged


The author is quantifying over interpretations, that's the whole point. So when he says P applies to x according to i he is saying just that : Predicate P is true of the interpretation "x" according to interpretation "i". Naturally, then, if quantification is unrestricted then we can say P is true of "i*" according to "i*&...

Top 50 recent answers are included