Many writers have held that in his later work, David Lewis adopted a theory of predicate meaning such that the meaning of a predicate is the most natural property that is (mostly) consistent with the way the predicate is used. That orthodox interpretation is shared by both supporters and critics of Lewis's theory of meaning, but it has recently been strongly criticised by Wolfgang Schwarz. In this paper, I accept many of Schwarze's criticisms of the orthodox interpretation, and add some (...) more. But I also argue that the orthodox interpretation has a grain of truth in it, and seeing that helps us appreciate the strength of Lewis's late theory of meaning. (shrink)

What is it to know more? By what metric should the quantity of one's knowledge be measured? I start by examining and arguing against a very natural approach to the measure of knowledge, one on which how much is a matter of how many. I then turn to the quasi-spatial notion of counterfactual distance and show how a model that appeals to distance avoids the problems that plague appeals to cardinality. But such a model faces fatal problems of its own. (...) Reflection on what the distance model gets right and where it goes wrong motivates a third approach, which appeals not to cardinality, nor to counterfactual distance, but to similarity. I close the paper by advocating this model and briefly discussing some of its significance for epistemic normativity. In particular, I argue that the 'trivial truths' objection to the view that truth is the goal of inquiry rests on an unstated, but false, assumption about the measure of knowledge, and suggest that a similarity model preserves truth as the aim of belief in an intuitively satisfying way. (shrink)

Causal theories of perception typically have problems in explaining deviant causal chains. They also have difficulty with other unusual putative cases of perception involving prosthetic aids, defective perception, scientifically extended cases of perception, and so on. But I show how a more adequate reflexive causal theory, in which objects or properties X cause a perceiver to acquire X-related dispositions toward that very same item X, can provide a plausible and principled perceptual explanation of all of these kinds of cases. A (...) critical discussion of David Lewis's perceptual descriptivist views is also provided, including a defense of the logical possibility of systematic misperception or perceptual error for a perceiver, in spite of its empirical improbability. (shrink)

This paper concerns the applications of two-dimensional modal semantics to the explanation of the contents of speech and thought. Different interpretations and applications of the apparatus are contrasted. First, it is argued that David Kaplan's two-dimensional semantics for indexical expressions is different from the use that I made of a formally similar framework to represent the role of contingent information in the determination of what is said. But the two applications are complementary rather than conflicting. Second, my interpretation of the (...) apparatus is contrasted with that of David Chalmers, Frank Jackson, and David Lewis. It is argued that this difference reflects a contrast between internalist and externalist approaches to the problem of intentionality. (shrink)

In an unpublished speech from 1991, David Lewis told his audience that he counted ‘the metaphysician Carnap ’ amongst his historical ancestors. Here I provide a novel interpretation of the Aufbau that allows us to make sense of Lewis’s claim. Drawing upon Lewis’s correspondence, I argue it was the Carnap of the Aufbau whom Lewis read as a metaphysician, because Carnap’s appeal to the notion of founded relations in the Aufbau echoes Lewis’s own appeal to the metaphysics of natural properties. (...) I further maintain that Lewis was right to read Carnap this way and that the notion of a founded relation has a legitimate claim to be both logical and metaphysical. I also argue that Carnap’s initial response to Goodman’s puzzle about ‘grue’ relies upon a metaphysics of simple properties which also prefigures Lewis’s own response to Goodman invoking natural properties. (shrink)

The criterion of naturalness represents David Lewis’s attempt to answer some of the sceptical arguments in semantics by comparing the naturalness of meaning candidates. Recently, the criterion has been challenged by a new sceptical argument. Williams argues that the criterion cannot rule out the candidates which are not permuted versions of an intended interpretation. He presents such a candidate – the arithmetical interpretation semantics by comparing the naturalness of meaning candidates. Recently, the criterion has been challenged by a new sceptical (...) argument. Williams argues that the criterion cannot rule out the candidates which are not permuted versions of an intended interpretation. He presents such a candidate – the arithmetical interpretation, and he argues that it opens up the possibility of Pythagorean worlds, i.e. the worlds similar to ours in which the arithmetical interpretation is the best candidate for a semantic theory. The aim of this paper is a) to reconsider the general conditions for the applicability of Lewis’s criterion of naturalness and b) to show that Williams’s new sceptical challenge is based on a problematic assumption that the arithmetical interpretation is independent of fundamental properties and relations. As I show, if the criterion of naturalness is applied properly, it can respond even to the new sceptical challenge. (shrink)

Magnetism in meta-semantics is the view that the meaning of our words is determined in part by their use and in part by the objective naturalness of candidate meanings. This hypothesis is commonly attributed to David Lewis, and has been put to philosophical work by Brian Weatherson, Ted Sider and others. I argue that there is no evidence that Lewis ever endorsed the view, and that his actual account of language reveals good reasons against it.

Putnam’s model-theoretic arguments for the indeterminacy of reference have been taken to pose a special problem for mathematical languages. In this paper, I argue that if one accepts that there are theory-external constraints on the reference of at least some expressions of ordinary language, then Putnam’s model-theoretic arguments for mathematical languages don’t go through. In particular, I argue for a kind of descriptivism about mathematical expressions according to which their reference is “anchored” in the reference of expressions of ordinary language. (...) These anchors add enough to the content of mathematical expressions to forestall the radical kind of indeterminacy that model-theoretic arguments are purported to show, while still leaving room for a plausible, moderate kind of indeterminacy. (shrink)

The structuralist conception of metaphysics holds that it aims to uncover the ultimate structure of reality and explain how the world's richness and variety are accounted for by that ultimate structure. On this conception, metaphysicians produce fundamental theories, the primitive, undefined expressions of which are supposed to 'carve reality at its joints', as it were. On this conception, ontological questions are understood as questions about what there is, where the existential quantifier 'there is' has a fundamental, joint-carving interpretation. Structuralist orthodoxy (...) holds that there is exactly one fundamental, joint-carving interpretation that an existential quantifier could have. This orthodox assumption could go wrong--either by there being too few fundamental-quantifier interpretations, or by there being too many. In this dissertation I examine the implications of these non-orthodox options. Someone who thinks there are too many fundamental-quantifier interpretations might think this means standard ontological debates are in some sense defective of 'merely verbal', or she might think instead that the different quantifiers show that there are different 'ways' or 'modes' of being. I argue that the first option runs into problems with a certain sort of realism about logic, but that there is no general problem with the second option, despite its longstanding bad philosophical reputation. I also argue that realism about logic gives us reason to think the dispute between someone who thinks there are many 'modes of being' in this sense and someone who thinks there is just one is not itself verbal. Finally, I turn to the case in which there are no fundamental quantifiers, arguing that it brings with it a host of theoretical problems we could avoid with quantifiers. (shrink)