Putnam uses Skolem's theorem (every consistent first-order theory has a model whose domain is the integers or some subset thereof) to argue that the meanings of our sentences are indeterminate.
If considerations of elegance CAN make something a more natural candidate for the meaning of a given word (e.g. someone with behavior that doesn't distinguish between plus and quus means plus), then the mere existence of some (clumsly and arbitrary) Skolem model doesn't pose a problem for our meaning something definite - since the Skolem model's interpretation of expressions like "all possible subsets" will be much less elegant than the natural one.
If considerations of elegance CAN'T make something a more natural candidate for the meaning of a given word, then Putnam is wrong to assume that even the meanings of the first order logical connectives which his perverse Skolem model captures are pinned down. For why think that we mean 'or' rather than a quus like version of 'or' that starts behaving like `and' in sentences longer than a billion words long?
No comments:
Post a Comment