In short, analytic statements are statements which we all accept and for which we do not give reasons. This is what we mean when we say that they are true by 'implicit convention'. The problem is then to distinguish them from other statements that we accept, and do not give reasons for, in particular from the statements that we unreasonably accept. To resolve this difficulty, we have to point out some of the crucial distinguishing features of analytic statements (e.g. the fact that the subject concept is not a law-cluster concept), and we have to connect these features with what, in the preceding section, was called the 'rationale' of the analytic-synthetic distinction. Having done this, we can see that the acceptance of analytic statements is rational, even though there are no reasons (in the sense of' evidence') in connection with them.

Even though the model referred to satisfies the theory, etc., it is 'unintended'; and we recognize that it is unintended from the description through which it is given (as in the intuitionist case). Models are not lost noumenal waifs looking for someone to name them; they are constructions within our theory itself. and they have names from birth.

Go Premium

Support Quotewise while enjoying an ad-free experience and premium features.

View Plans
To sum up: we have seen that of the three notions of 'partial interpretation' discussed, each is either unsuitable for Carnap's purposes (starting with observation terms), or incompatible with a rather minimal scientific realism; and, in addition, the second notion depends upon gross and misleading changes in our use of language. Thus in none of these senses is 'a partially interpreted calculus in which only the observation terms are directly interpreted' an acceptable model for a scientific theory.

The physicist who states a law of nature with the aid of a mathematical formula is abstracting a real feature of a real material world, even if he has to speak of numbers, vectors, tensors, state-functions, or whatever to make the abstraction.

To me, believing that some correspondence intrinsically just is reference (not as a result of our operational and theoretical constraints, or our intentions, but as an ultimate metaphysical fact) amounts to a magical theory of reference. Reference itself becomes what Locke called a 'substantial form' (an entity which intrinsically belongs with a certain name) on such a view. Even if one is willing to contemplate such unexplainable metaphysical facts, the epistemological problems that accompany such a metaphysical view seem insuperable. For, assuming a world of mind- independent, discourse-independent entities (this is the presupposition of the view we are discussing), there are, as we have seen, many different 'correspondences' which represent possible or candidate reference relations (infinitely many, in fact, if there are infinitely many things in the universe).

Before I give the argument, let us consider why it seems so strange that such an argument can be given (at least to philosophers who subscribe to a 'copy' conception of truth). We conceded that it is compatible with physical law that there should be a world in which all sentient beings are brains in a vat. As philosophers say, there is a 'possible world' in which all sentient beings are brains in a vat. (This 'possible world' talk makes it sound as if there is a place where any absurd supposition is true, which is why it can be very misleading in philosophy.) The humans in that possible world have exactly the same experiences that we do. They think the same thoughts we do (at least, the same words, images, thought-forms, etc., go through their minds). Yet, I am claiming that there is an argument we can give that shows we are not brains in a vat. How can there be? And why couldn't the people in the possible world who really are brains in a vat give it too?
The answer is going to be (basically) this: although the people in that possible world can think and 'say' any words we can think and say, they cannot (I claim) refer to what we can refer to. In particular, they cannot think or say that they are brains in a vat {even by thinking 'we are brains in a vat').

My own view is that philosophy at its best has always, in every period, included some philosophers who brilliantly represent the moral face of the subject and some philosophers who brilliantly represent the theoretical face, as well as some geniuses whose insights span and unite both sides of the subject. To renounce either the moral ambitions of philosophy or its theoretical ambitions is not just to kill the subject of philosophy; it is to commit intellectual and spiritual suicide.

Share Your Favorite Quotes

Know a quote that's missing? Help grow our collection.

In closing, I can only apologize for not having given any positive account of either mathematical truth or mathematical necessity. I can only say that I have not given such an account because I think that the search for such an account is a fundamental mistake. It is not that there is nothing special about mathematics; it is that, in my opinion, the investigation of mathematics must presuppose and not seek to account for the truth of mathematics. But this is the beginning of another paper and not the end of this one.

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.

In summary, then, the set theoretic 'needs' of physics are surprisingly similar to the set theoretic needs of pure logic. Both disciplines need some set theory to function at all. Both disciplines can 'live' - but live badly - on the meager diet of only predicative sets. Both can live extremely happily on the rich diet of impredicative sets. Insofar, then, as the indispensability of quantification over sets is any argument for their existence - and we will discuss why it is in the next section - we may say that it is a strong argument for the existence of at least predicative sets, and a pretty strong, but not as strong, argument for the existence of impredicative sets.

Enhance Your Quote Experience

Enjoy ad-free browsing, unlimited collections, and advanced search features with Premium.

The techniques employed by philosophers of physics are usually the very ones being employed by philosophers of a less specialized kind (especially empiricist philosophers) at the time. Thus Mill's philosophy of science largely reflects Hume's associationism; Reichenbach's philosophy of science reflects Viennese positivism with its conventionalism, its tendency to identify (or confuse) meaning and evidence, and its sharp dichotomy between 'the empirical facts' and 'the rules of the language'; and (coming up to the present time) Toulmin's philosophy of science is an attempt to give an account of what scientists do which is consonant with the linguistic philosophy of Wittgenstein. For this reason, errors in general philosophy can have a far-reaching effect on the philosophy of science. The confusion of meaning with evidence is one such error whose effects are well known: it is the contention of the present paper that overworking of the analytic-synthetic distinction is another root of what is most distorted in the writings of conventional philosophers of science.

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.

In conclusion, then, no satisfactory interpretation of quantum mechanics exists today. The questions posed by the confrontation between the Copenhagen interpretation and the hidden variable theorists go to the very foundations of microphysics, but the answers given by hidden variable theorists and Copenhagenists are alike unsatisfactory. Human curiosity will not rest until those questions are answered, but whether they will be answered by conceptual innovations within the framework of the present theory or only within the framework of an as yet unforeseen theory is unknown. The first step toward answering them has been attempted here. It is the modest but essential step of becoming clear on the nature and magnitude of the difficulties.

What we have is a device for producing sentences in response to sentences. But none of these sentences is at all connected to the real world. If one coupled two of these machines and let them play the Imitation Game with each other, then they would go on 'fooling' each other forever, even if the rest of the world disappeared! There is no more reason to regard the machine's talk of apples as referring to real world apples than there is to regard the ant's 'drawing' as referring to Winston Churchill.