Logic Matters 2008-03-26

Absolute Generality 23: The Williamson argument again

Let's start by presenting a Williamson-style argument in a slightly different way.On an interpretative truth-theory for a language L, as we said, we'll have a clause for a monadic L-predicate P along the lines of 'for all o, P is true-of o iff Fo'. But we are now in the business of imagining running through various different possible interpretations for P, which will result in clauses in definitions of different true-of relations, i.e. different relations ..... is true-of ..... on interpretation I. Now, it might well on the one hand seem that we needn't think of the different interpretations that are in play here as 'objects' (whatever exactly that means). But, on the other hand, we might reasonably suppose that the different true-of relations could at least be indexed by some suitably big collection of objects (some class of numbers ...

read more   

more posts from Logic Matters