It's generally assumed that a compositional semantic theory will have to recognise a semantic category of expressions which serve simply to pick out some one object: e-type expressions. Kripke's views about names (Kripke, 1980), Kaplan's about indexicals and demonstratives (Kaplan, 1989), the standard Tarskian semantics for bound variables (Tarski, 1956), Heim and Kratzer's Strawsonian view about definites (Heim and Kratzer, 1998), even an (admittedly somewhat unpopular) analysis of indefinites (namely Fodor and Sag, 1982), assume as much. In this thesis, I argue that recent advances in the semantics of names and of quotation, and in metaphysics, give good reason to doubt there is such a category. I do so in two parts. In the first part, comprising about two thirds of the thesis, I combine two recent views, one from semantics and one from metaphysics. From semantics, I take over predicativism about names, the view, as one might have guessed, that names are predicates. From metaphysics, I take over the doctrine that there are temporal parts. Putting them together, I hold that the semantic contribution of the name 'Joan', in a sentence like 'Joan is a barrister', is a predicate, and in particular (and somewhat roughly) a predicate the extension of which is Joan's temporal parts. Names are not, as is commonly thought, e-type expressions. In the second part, building on the first, I further undermine the existence of a semantically important category of e-type expressions by arguing that a construction which might be thought to mandate such a category, namely de re attitude ascriptions, in fact, when properly analysed, does not do so. I argue this by considering the nature of transparent occurrences of expressions in opaque contexts in general, and in particular by considering the phenomenon of mixed quotation. I present a new theory of it, and show how it can be parlayed into a new Fregean theory of de re attitude ascriptions. The thesis overall, then, will provide strong evidence against the semantic importance of e-type expressions either in language, or in (our reporting of) thought.

In this thesis, we measure the impact of reference semantics on programming and reasoning. We designed a survey to compare how well programmers perform under three different programming paradigms. Two of the paradigms, object-copying and swapping use value semantics, while the third, reference-copying, uses reference semantics. We gave the survey to over 25 people. We recorded number of questions answered correctly in each paradigm and the amount of time it took to answer each question. We looked at the overall results as well as the results within various levels of Java experience. Based on anecdotal evidence from the literature, we expected questions based on value semantics to be easier than questions based on reference semantics. The results did not yield differences that were statistically significant, but they did conform to our general expectations. While further investigation is clearly needed, we believe that this work represents an important first step in the empirical analysis of a topic that has previously only been discussed informally. / Master of Science