Even though the model referred to satisfies the theory, etc., it is 'unintended'; and we recognize that it is unintended from the description through… - Hilary Putnam

[Oddly enough, Putnam believes part of the attraction of some of these formalisms is their obscurity]. "I think part of the appeal of mathematical logic is that the formulas look mysterious - you write backward Es!"

I do not agree with Quine, that there is no analytic-synthetic distinction to be drawn at all. But I do believe that his emphasis on the monolithic character of our conceptual system and his negative emphasis on the silliness of regarding mathematics as consisting in some sense of 'rules of language', represent exceedingly important theoretical insights in philosophy. I think that what we have to do now is to settle the relatively trivial question concerning analytic statements properly so called ('All bachelors are unmarried'). We have to take a fresh look at the framework principles so much discussed by philosophers, disabusing ourselves of the idea that they are 'rules of language' in any literal or lexicographic sense; and above all, we have to take a fresh look at the nature of logical and mathematical truths. With Quine's contribution, we have to face two choices: We can ignore it and go on talking about the 'logic' of individual words. In that direction lies sterility and more, much more, of what we have already read. The other alternative is to face and explore the insight achieved by Quine, trying to reconcile the fact that Quine is overwhelmingly right in his critique of what other philosophers have done with the analytic-synthetic distinction with the fact that Quine is wrong in his literal thesis, namely, that the distinction itself does not exist at all. In the latter direction lies philosophic progress. For philosophic progress is nothing if it is not the discovery of new areas for dialectical exploration.

I might try to save the view that 'future contingents' have no truth value by saying that even present-tense statements have no truth value if they refer to the outcome of events that are so far away that a causal signal informing me of the outcome could not have reached me-now without traveling faster than light. In other words, I might attempt saying that statements about events that are in neither the upper half nor the lower half of my light-cone have no truth value. In addition, statements about events in the upper half of my light-cone have no truth value, since they are in my future according to every coordinate system. So only statements about events in the lower half of my light-cone have a truth value; only events that are in 'my past* according to all observers are determined.