Heimir Geirsson

n Naming and Necessity Saul Kripke criticized descriptivist theories of proper names and suggested a ‘better picture’ as a replacement. But while the ‘better picture’ that Kripke provided was very interesting and stimulating, it was little more than a sketch of a theory that needed much work and refinement. While Kripke argued that proper names are not synonymous with definite descriptions or clusters of definite descriptions, he was silent on what the semantic contents of names might be. Further, he even speculated in the introduction to his book that the apparatus of propositions might break down given his arguments, thus further adding to the need to develop the agenda that he got underfoot. Still further, in his third lecture Kripke extended his account of proper names as being rigid designators to natural kind terms without providing arguments for such an extension and without arguing specifically that natural kind names are rigid designators. Consequently, it is not clear what one should think about his well known arguments regarding the epistemic and modal status of identity statements, such as ‘water is H2O.’

This new, second edition of the popular college textbook offers the beginning philosophy student a comprehensive introduction to several aspects of one of the most influential schools of thought in the twentieth century. Professor Klemke begins by pointing out the distinctions among the various types of analytic and linguistic philosophies, while emphasising that they all arose as a response to the formerly predominant school of absolute idealism. After a prologue section containing a representative exposition of idealism by Josiah Royce, the following sections show the radically new philosophical approach of the analytic school in its various guises: realism and common sense (G. E. Moore); logical atomism (Bertrand Russell); logical positivism (A. J. Ayer); conceptual analysis (Gilbert Ryle, G. E. Moore, John Wisdom); logico-metaphysical analysis (Gustav Bergman, W. V. Quine); linguistic analysis (J. L. Austin, P. F. Strawson, J. R. Searle); and the recent development of new realism (Saul Kripke, Hilary Putnam, Tyler Burge, Richard N. Boyd).

Driven by the intuition that the propositions expressed by a=a and a=b, where ‘a’ and ‘b’ are codesignative names, differ in cognitive value, philosophers constructing theories of beliefs and belief attributions have been attracted to elements from both Frege’s and Russell’s theories. This, I will argue, has had the consequence that some of the theories entail that it is a necessary condition for making the astronomical discovery that Hesperus is Phosphorus that we make a mental discovery about our representations of Venus. I will discuss the motivation behind Frege’s and Russell’s views and present an example which makes it clear that we can make astronomical discoveries prior to making the mental discovery that two names, or two mental representations, are of the same object. The upshot of the discussion is that we should not build modes of presentation into propositions.

In Naming and Necessity' Saul A. Kripke gives two types of examples of contingent truths knowable a priori. So he disagrees with the first leg of the thesis. As we will see later, his examples depend on the direct designation theory of names. While there have been attempts to provide examples of the contingent a priori that do not depend on that theory, most of those examples should be viewed as expansions, or modifications, of Kripke's examples. Philip Kitcher, for example, gives an interesting example that has nothing to do with theories of names, but is produced using the indexical 'actual'.2 His example, however, is a variation of Kripke's Neptune Type example.' In what follows I will focus on Kripke's two types of examples and modifications of them. I will argue that although both types of example fail, it is possible to modify his Standard Metre example in such a way that we have an example of the contingent a priori