Super-Humeans argue that the most parsimonious ontology of the natural world compatible with our best physical theories consists exclusively of particles and the distance relations between them. This paper argues by contrast that Super-Humean reduction goes insufficiently far, by showing there to be a more parsimonious ontology compatible with physics: Ultimate-Humeanism. This novel view posits an ontology consisting solely of the particles and distance relations required for the existence of a single brain. Super-Humeans impose conditions on what counts as an (...) ontology of the natural world to avoid their view slipping into this kind of ontology, but these conditions are arbitrarily imposed and once this is exposed, Super-Humeans face a dilemma. Either they can embrace Ultimate-Humeanism as the minimal ontology of the natural world compatible with physics, or (more likely) they can rethink the methodology that got them there. Overall, this paper argues that Super-Humeanism currently lacks principled motivation, outlines a framework for naturalistic ontological reductions, and exposes the consequences of unchecked adherence to a simplicity-driven methodology. (shrink)

In the 1980s, Putnam famously launched a series of model-theoretic attacks on Metaphysical Realism, aimed at establishing a dilemma for the view and ultimately leading to its dismissal. The present work evaluates whether adopting the Causal Theory of Reference saves Realism from Putnam's attacks. As it turns out, the outcome of the analysis revolves around two questions: (a) whether language has an intended reference relation with the world, or in model-theoretic terms, whether theories have an intended model; and (b) if (...) this is the case, what fixes such a relation or model. Putnam dashed any realist hopes with his infamous Just-More-Theory Manœuvre, which however is not uncontroversial, and has been criticized by many as question-begging. Ultimately, though, the present work concludes that Putnam has successfully established his dilemma, and that Metaphysical Realism is hardly tenable. (shrink)

There is a simple, intuitive theory of the semantic reference of proper names that has been unjustly neglected. This is the view that semantic reference is conventionalized speakers reference, i.e. the view that a name semantically refers to an object if, and only if, there exists a convention to use the name to speaker-refer to that object. The theory can be found in works dealing primarily with other issues (e.g. Stine in Philos Stud 33:319–337, 1977; Schiffer in Erkenntnis 13:171–206, 1978; (...) Sainsbury in Erkenntnis 80:195–214, 2015; Sainsbury, Thinking about things, Oxford University Press, 2018), yet these authors provide no sustained discussion of it. Devitt (Designation, Columbia University Press, 1981) did formulate a view on which semantic reference is conventionalized speaker’s reference, yet his views are assimilated to causalist views. This is a mistake. While the conventionalized speaker’s reference view captures much of what is plausible in descriptivism and causalism, it remains distinct from both. (shrink)

It is common to distinguish two great families of representation. Symbolic representations include logical and mathematical symbols, words, and complex linguistic expressions. Iconic representations include dials, diagrams, maps, pictures, 3-dimensional models, and depictive gestures. This essay describes and motivates a new way of distinguishing iconic from symbolic representation. It locates the difference not in the signs themselves, nor in the contents they express, but in the semantic rules by which signs are associated with contents. The two kinds of rule have (...) divergent forms, occupying opposite poles on a spectrum of naturalness. Symbolic rules are composed entirely of primitive juxtapositions of sign types with contents, while iconic rules determine contents entirely by uniform natural relations with sign types. This distinction is marked explicitly in the formal semantics of familiar sign systems, both for atomic first-order representations, like words, pixel colors, and dials, and for complex second-order representations, like sentences, diagrams, and pictures. (shrink)

Conceptual engineering wants analytic philosophy to be centered around the assessment and improvement of philosophical concepts. But contemporary debates about conceptual engineering do not engage much with the vast literature on conceptual change that exists in philosophy of science. In this article, I argue that an adequate appreciation of the history of philosophy of science can contribute to discussions about conceptual engineering. Specifically, I show that the evolution of debates over scientific conceptual change arguably demonstrates that, contrary to what is (...) commonly assumed in the literature about conceptual engineering, conceptual change is possible within an externalist metasemantics and that any adequate theory of conceptual change should be metasemantically plastic. (shrink)

In this article, I argue that if tacit knowledge of grammar is analyzable in functional‐computational terms, then it cannot ground linguistic meaning, structure, or sound. If to know or cognize a grammar is to be in a certain computational state playing a certain functional role, there can be no unique grammar cognized. Satisfying the functional conditions for cognizing a grammar G entails satisfying those for cognizing many grammars disagreeing with G about expressions' semantic, phonetic, and syntactic values. This threatens the (...) Chomskyan view that expressions have such values for speakers because they cognize grammars assigning them those values. For if this is true, semantics, syntax, and phonology must be indeterminate, thanks to the indeterminacy of grammar‐cognizing (qua functional‐computational state). So, the fact that a speaker cognizes a grammar cannot explain the determinate character of their language. (shrink)

The other chapters in this volume discuss the important, but neglected, topic of systematicity in metaphysics. In this chapter I begin by taking a step back and asking: why is systematicity important in metaphysics? Assuming that metaphysics should be systematic, why is this the case? I canvas some answers that emerge naturally within contemporary philosophy and argue that none of them adequately explains why metaphysics should be systematic. I then turn to Kant’s account of systematicity for his explanation. I argue (...) that, while Kant’s explanation of the systematicity of metaphysics rests on a host of additional weighty philosophical commitments that many philosophers would rather do without (e.g., transcendental idealism), he is not alone in this. The contemporary answers I earlier found wanting can be transformed into satisfying explanations, I argue, but only at the cost of philosophical commitments at least as weighty as Kant’s. I conclude on a note of agnosticism: it is far from clear whether contemporary philosophy has done, or can do, better than Kant at explaining the role of systematicity in metaphysics. (shrink)

An object-based correspondence theory of truth holds that a truth-bearer is true whenever its truth conditions are met by objects and their properties. In order to develop such a view, the principal task is to explain how truth-bearers become endowed with their truth conditions. Modern versions of the correspondence theory see this project as the synthesis of two theoretical endeavours: basic metasemantics and compositional semantics. Basic metasemantics is the theory of how simple, meaningful items (e.g. names and concepts) are endowed (...) with their contributions to truth conditions, and compositional semantics is the theory of how the meanings of simple items compose to generate (among other things) the truth conditions of sentences. Understanding truth along these broad lines was once popular; it was first championed by Field (1972). However, the once-popular conception of its tasks included an over-ambitious view of basic metasemantics. It was thought that reference needed to be analyzed (or reduced a posteriori) in terms of more fundamental, non-semantic relations (e.g. causal relations, indication, or teleological relations, in the case of mental representation). Obstacles in providing such an analysis engendered skepticism towards this understanding of truth and eventually gave way to its deflationary competitors. This dissertation aims to defend the modern, object-based correspondence theory against its rivals—especially deflationism. Chapter one provides a historically-grounded overview of the theory. Chapter two identifies two points of contrast between the correspondence theorist and the deflationist: they employ different orders of explanation for the variety of semantic phenomena, and they (traditionally) take different attitudes towards the prospects of reduction. Situating the dialectic in this way allows me to develop a middle ground: a moderate version of inflationism that takes the inflationary explanatory structure and combines it with a non-reductive, pluralist approach to basic metasemantics. Chapter three expands on the details of this pluralist account of reference. Chapter four contrasts the view with another rival approach to basic metasemantics: metasemantic interpretationism. And finally, chapter five applies the theory to answer another question of broad philosophical interest: what role does our conception of truth play in inquiry about the world? (shrink)

I develop an expressivist account of verbal disagreements as practical disagreements over how to use words rather than factual disagreements over what words actually mean. This account enjoys several advantages over others in the literature: it can be implemented in a neo-Stalnakerian possible worlds framework; it accounts for cases where speakers are undecided on how exactly to interpret an expression; it avoids appeals to fraught notions like subject matter, charitable interpretation, and joint-carving; and it naturally extends to an analysis of (...) metalinguistic negotiations. (shrink)

Genealogies of belief have dominated recent philosophical discussions of genealogical debunking at the expense of genealogies of concepts, which has in turn focused attention on genealogical debunking in an epistemological key. As I argue in this paper, however, this double focus encourages an overly narrow understanding of genealogical debunking. First, not all genealogical debunking can be reduced to the debunking of beliefs—concepts can be debunked without debunking any particular belief, just as beliefs can be debunked without debunking the concepts in (...) terms of which they are articulated. Second, not all genealogical debunking is epistemological debunking. Focusing on concepts rather than beliefs brings distinct forms of genealogical debunking to the fore that cannot be comprehensively captured in terms of epistemological debunking. We thus need a broader understanding of genealogical debunking, which encompasses not just epistemological debunking, but also what I shall refer to as metaphysical debunking and ethical debunking. (shrink)

Quantifier variantists accept multiple alternative ontological languages in which quantifiers obey the usual inference rules despite having different meanings. But collapse arguments seem to show that these quantifiers would be provably equivalent to one another. Cian Dorr has pushed this discussion forward by formulating the collapse argument in terms of an algebra of meanings that are common amongst the languages. I attempt to show that quantifier variantists can respond. But an important distinction between types of quantifier variance emerges, between those (...) in which quantifier meanings draw on a single objective backbone of “portions of reality,” and those (such as the type that is arguably associated with neo-Fregeanism) in which they do not. (shrink)

Critical social ontology is any study of social ontology that is done in order to critique ideology or end social injustice. The goal of this paper is to outline what I call the fundamentality approach to critical social ontology. On the fundamentality approach, social ontologists are in the business of distinguishing between appearances and (fundamental) reality. Social reality is often obscured by the acceptance of ideology, where an ideology is a distorted system of beliefs that leads people to promote or (...) accept widespread social injustices. Social reality is also obscured in cases where ordinary thought and language simply is not perspicuous enough to represent the social objects, kinds, and structures that are central to understanding social injustice. In both cases, I argue that the critical social ontologist will benefit from using the tools and concepts of fundamental metaphysics. (shrink)

Dasgupta poses a serious challenge to realism about natural properties. He argues that there is no acceptable explanation of why natural properties deserve the value realists assign to them and are consequently absent of value. In response, this paper defines and defends an alternative non-explanatory account of normativity compatible with realism. Unlike Lewis and Sider, who believe it is sufficient to defend realism solely on realist terms, I engage with the challenge on unfriendly grounds by revealing a tu quoque. Dasgupta (...) and anti-realists face a similar challenge to that directed against realism: one that not only undermines the objection to realism by legitimising non-explanatory normativity but leaves them facing a significant dilemma. (shrink)

On a highly influential way to think of modality, that I call ‘relationalism’, the modality of a state is explained by its being composed of properties, and these properties being related by a higher-order and primitively modal relation. Examples of relationalism are the Dretske-Tooley-Armstrong account of natural necessity, many dispositional essentialist views, and Wang’s incompatibility primitivism. I argue that relationalism faces four difficulties: that the selection between modal relations is arbitrary, that the modal relation cannot belong to any logical order, (...) that to explain how the modal relation can relate properties of different adicities additional ideological complexity has to be introduced, and that not all modal constraints are relational. From the discussion, I will extract desiderata for a successor theory of modality. (shrink)

This paper draws a distinction between the existential quantifier and the symbol ‘∃’ used to express it, on the one hand, and existence and ‘exists’, on the other. It argues that some popular arguments in metaphysics, including arguments against vague existence and arguments against deflationary metaontology (which views ontological disputes as lacking substance), are guilty of fudging this distinction. The paper draws some lessons for metaphysical debate about existence and highlights some heretofore ignored and attractive positions in logical space.

Commitment to sparseness amounts to the idea that there is an objective, worldly privileging of certain properties over others that makes the privileged properties suited to play certain roles, and is responsible for their playing such roles. In this chapter I offer a brief, opinionated overview of sparseness. I begin by examining a set of problems that I call “problems of abundance”, which generate canonical motivations for sparseness. I then survey some influential approaches to sparseness and the roles that they (...) attribute to sparse properties, noting that on most approaches sparse properties are deeply connected to inquiry. Finally I consider some problems for sparseness, focusing on the purported connections between sparseness and inquiry, particularly in philosophy of science and inquiry into the social world. (shrink)

Everyone will find something interesting in this book, and many will find something or other that they completely disagree with. William Demopoulos was no fan o.

The aim of this paper is to argue that there is no unproblematic way of delineating perceptual beliefs from non-perceptual beliefs. The concept of perceptual belief is one of the central concepts not only of philosophy of perception but also of epistemology in a broad foundationalist tradition. Philosophers of perception talk about perceptual belief as the interface between perception and cognition and foundationalist epistemologists understand perceptual justification as a relation between perceptual states and perceptual beliefs. We consider three ways of (...) cashing out the difference between perceptual and non-perceptual beliefs (semantic, justificatory, and etiological) and argue that none of them works. Finally, we explore the possibility of understanding perceptual justification without relying on the concept of perceptual beliefs. (shrink)

According to Sider, a question is metaphysically substantive just in case it has a single most natural answer. Recently, Barnes and Mikkola have argued that, given this notion of substantivity, many of the central questions in the metaphysics of gender are nonsubstantive. Specifically, it is plausible that gender pluralism—the view that there are multiple, equally natural gender kinds—is true, but this view seems incompatible with the substantivity of gender. The goal of this paper is to argue that the notion of (...) substantivity can be understood in a way that accommodates gender pluralism. First, I claim that gender terms (at least as used in the ontology room) are referentially indeterminate, where referential indeterminacy holds in virtue of the way the world is. Second, I propose a degree-theoretic (or scalar) account of metaphysical substantivity; genders are substantial to the degree that they are determinate. I conclude that gender is relatively, although not absolutely, substantial. (shrink)

The intuitive distinction between natural and unnatural properties (e.g., green vs. grue) informs our theorizing not only in fundamental physics, but also in non-fundamental domains. This paper develops a reductive account of this broad notion of naturalness that covers non-fundamental properties: for a property to be natural, I propose, is for it to figure in a law of nature. After motivating the account, I defend it from a potential circularity charge. I argue that a suitably broad notion of lawhood can (...) be defined independently of naturalness, if we help ourselves to the notion of a fundamental physical property. I end by showing how the notions of naturalness and lawhood that my account delivers help illuminate a number of other important philosophical notions, like causation, reference/meaning, and rational induction. (shrink)

Are properties perfectly natural (or not) relative to worlds, or are they perfectly natural (or not) tout court? That is, could there be a property P that is instanti-ated at worlds w1 and w2, and is perfectly natural at w1 but not at w2? Here, we offer an original argument for the non-world-relativity of perfect naturalness. Along the way, we reply to a prima facie compelling argument for the contin-gency of perfect naturalness, based upon the connection between natural prop-erties and (...) laws of nature. (shrink)

We can use radically different reference‐schemes to generate the same truth‐conditions for the sentences of a language. In this paper, we do three things. (1) Distinguish two arguments that deploy this observation to derive different conclusions. The first argues that reference is radically indeterminate: there is no fact of the matter what ordinary terms refer to. This threat is taken seriously and most contemporary metasemantic theories come with resources intended to rebut it. The second argues for radical parochialism about reference: (...) it's a reflection of our parochial interests, rather than the nature of the subject matter, that our theorizing about language appeals to reference rather than another relation that generates the same truth‐conditions. Rebuttals of the first argument cut no ice against the second, because radical parochialism is compatible with reference being determinate. (2) Argue that radical parochialism, like radical indeterminacy, would be shocking if true. (3) Argue that the case for radical parochialism turns on the explanatory purposes of “reference”‐talk: on relatively “thin” conceptions, the argument goes through, and radical parochialism is (shockingly!) true; on richer conceptions, the argument can be blocked. We conclude that non‐revisionists must endorse, and justify, a relatively rich conception of the explanatory purposes of “reference”‐talk. (shrink)

The extensions of Goodman’s ‘grue’ predicate and Kripke’s ‘quus’ are constructed from the extensions of more familiar terms via a reinterpretation that permutes assignments of reference. Since this manoeuvre is at the heart of Putnam’s model-theoretic and permutation arguments against metaphysical realism (‘Putnam’s Paradox’), both Goodman’s New Riddle of Induction and the paradox about meaning that Kripke attributes to Wittgenstein are instances of Putnam’s. Evidence cannot selectively confirm the green-hypothesis and disconfirm the grue-hypothesis, because the theory of which the green-hypothesis (...) is a part has an unintended model in which the grue-hypothesis is equally confirmed; and there are no meaning-facts that determine reference, because the objects referred to by the referring terms of any language or set of intentional mental states are permutable in a way that is consistent with the truth-values of all other sentences in that language or beliefs in that set. The upshot is that the three paradoxes need to be solved in a unified way. (shrink)

The problem of the many seems to problematize the platitude that we can think about particular things in the world. How is it that, given how very many cat-like candidates there are, we often manage to think and talk about a particular cat? I argue that this challenge stems from an under-examined assumption about the relationship between metaphysics and intentionality. I explore and develop a way of characterizing what it is to think and talk about the world, according to which (...) an abundant ontology poses no obstacle to our ability to think and talk about particular things. (shrink)

According to the so-called 'proportionality principle', causes should be proportional to their effects: they should be both enough and not too much for the occurrence of their effects. This principle is the subject of an ongoing debate. On the one hand, many maintain that it is required to address the problem of causal exclusion and take it to capture a crucial aspect of causation. On the other hand, many object that it renders accounts of causation implausibly restrictive and often reject (...) the principle wholesale. I argue that there is exaggeration on both sides. While one half of the principle is overly demanding, the other half is unobjectionable. And while the unobjectionable half does not block exclusion arguments on its own, it provides a nuanced picture of higher-level causation, fits with recent developments in philosophy of causation, and motivates adjustments to standard difference-making accounts of causation. I conclude that at least half of the proportionality principle is worth taking seriously. (shrink)

Imagine coming across an alternative community such that, while they have normative terms like 'ought' with the same action-guiding roles and relationships to each other, their normative terms come to pick out different properties. When we come across such a community, or even just imagine it, those of us who strive to be moral and rational want to ask something like the following: Further Question: Which set of concepts ought we use—theirs or ours? The problem, first raised by Eklund, is (...) that on almost any metasemantic theory, Further Question cannot be stated in a way that captures the spirit of what we want to ask. This is because any way of asking the question makes use of our own normative concepts, and thus their reference is already fixed on the properties that our current normative concepts refer to. Any purported solution to this problem must meet two conditions. First, it must capture the spirit of what Further Question is intuitively attempting to ask. Second, it must reframe the inquiry in a way that makes the answer neither trivial nor ineffable. In this paper, I propose a solution to this problem by appeal to edenic representation, inspired by, but not identical to, Chalmers’ notion of edenic content. The rough idea here is that representation is edenic to the extent that the representational vehicle mirrors, in quality and structure, the represented property. I argue that a reframing of Further Question in terms of edenic representation can capture the spirit of the question, without collapsing it into a question with a trivial or ineffable answer. Thus, the realist about normative properties can face the problem of the alternative normative community head on, without collapsing into incoherence or triviality. If correct, this solution is of further interest to any metanormative realist concerned with metasemantic questions, because it can tell us more about how the proper representation of the robustly normative would look. (shrink)

An introduction to the Synthese topical collection "Humeanisms".

In this paper, I argue that all expressions for abstract objects are meaningless. My argument closely follows David Lewis’ argument against the intelligibility of certain theories of possible worlds, but modifies it in order to yield a general conclusion about language pertaining to abstract objects. If my Lewisian argument is sound, not only can we not know that abstract objects exist, we cannot even refer to or think about them. However, while the Lewisian argument strongly motivates nominalism, it also undermines (...) certain nominalist theories. (shrink)

Can humans and artificial intelligences share concepts and communicate? Making AI Intelligible shows that philosophical work on the metaphysics of meaning can help answer these questions. Herman Cappelen and Josh Dever use the externalist tradition in philosophy to create models of how AIs and humans can understand each other. In doing so, they illustrate ways in which that philosophical tradition can be improved. The questions addressed in the book are not only theoretically interesting, but the answers have pressing practical implications. (...) Many important decisions about human life are now influenced by AI. In giving that power to AI, we presuppose that AIs can track features of the world that we care about (for example, creditworthiness, recidivism, cancer, and combatants). If AIs can share our concepts, that will go some way towards justifying this reliance on AI. This ground-breaking study offers insight into how to take some first steps towards achieving Interpretable AI. (shrink)

This paper develops a theory of analog representation. We first argue that the mark of the analog is to be found in the nature of a representational system’s interpretation function, rather than in its vehicles or contents alone. We then develop the rulebound structure theory of analog representation, according to which analog systems are those that use interpretive rules to map syntactic structural features onto semantic structural features. The theory involves three degree-theoretic measures that capture three independent ways in which (...) a system can be more or less analog. We explain how our theory improves upon prior accounts of analog representation, provides plausible diagnoses for novel challenge cases, extends to hybrid systems that are partially analog and partially symbolic, and accounts for some of the advantages and disadvantages of representing analogically versus symbolically. (shrink)

It is currently fashionable to take Putnamian model-theoretic worries seriously for mathematics, but not for discussions of ordinary physical objects and the sciences. However, I will argue that (under certain mild assumptions) merely securing determinate reference to physical possibility suffices to rule out the kind of nonstandard interpretations of our number talk Putnam invokes. So, anyone who accepts determinate reference to physical possibility should not reject determinate reference to the natural numbers on Putnamian model-theoretic grounds.

In the Addenda to Naming and Necessity (1980), Kripke famously argues that it is false that there could have been unicorns, or more properly, that “no counterfactual situation is properly describable as one in which there would have been unicorns.” He adds that he holds similarly that ‘one cannot say of any possible person that he would have been Sherlock Holmes, had he existed.” He notes the “cryptic brevity” of these remarks and refers to a forthcoming work for elaborations—the work (...) being, of course, the John Locke Lectures (2013). Coming as it does at the end of Naming and Necessity, it is natural to read this discussion as drawing out consequences of Kripke’s non-descriptivist picture of proper names and names of natural kinds. In fact, so much is suggested there by Kripke himself. The question thus arises: can the contentious claims quoted from the Addenda be defended independently of Kripke’s rejection of descriptivism? I shall argue that, as appears from the John Locke Lectures, they can be. (shrink)

Orthodoxy holds that there is a determinate fact of the matter about every arithmetical claim. Little argument has been supplied in favour of orthodoxy, and work of Field, Warren and Waxman, and others suggests that the presumption in its favour is unjustified. This paper supports orthodoxy by establishing the determinacy of arithmetic in a well-motivated modal plural logic. Recasting this result in higher-order logic reveals that even the nominalist who thinks that there are only finitely many things should think that (...) there is some sense in which arithmetic is true and determinate. (shrink)

How can we distinguish between quasi-realist expressivism and normative realism? The most promising answer to this question is the “explanation” explanation proposed by Dreier (2004), Simpson (2018), and others: the two views might agree in their claims about truth and objectivity, or even in their attributions of semantic content to normative sentences, but they disagree about how to explain normative meaning. Realists explain meaning by invoking normative facts and properties, or representational relations between normative language and the world, the thought (...) goes, while expressivists appeal instead to desire-like mental states in their explanations of meaning. However, I argue that, if we adopt a deflationary approach to representation and other related notions, there need be no such explanatory divide between expressivism and anything recognizable as a plausible notion of normative realism. Any alleged explanatory criterion for realism will either be incompatible with deflationism, or it will fail to capture some standard versions of normative realism. I conclude that, in a deflationary framework, expressivism is compatible with genuine realism. (shrink)

On a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by the basic mathematical principles we’re disposed to accept. But it’s mysterious how this can be so, since, as is well known, minimally strong first-order theories are non-categorical and so are compatible with countless non-isomorphic interpretations. As for second-order theories: though they typically enjoy categoricity results—for instance, Dedekind’s categoricity theorem for second-order and Zermelo’s quasi-categoricity theorem (...) for second-order —these results require full second-order logic. So appealing to these results seems only to push the problem back, since the principles of second-order logic are themselves non-categorical: those principles are compatible with restricted interpretations of the second-order quantifiers on which Dedekind’s and Zermelo’s results are no longer available. In this paper, we provide a naturalist-friendly, non-revisionary solution to an analogous but seemingly more basic problem—Carnap’s Categoricity Problem for propositional and first-order logic—and show that our solution generalizes, giving us full second-order logic and thereby securing the categoricity or quasi-categoricity of second-order mathematical theories. Briefly, the first-order quantifiers have their intended interpretation, we claim, because we’re disposed to follow the quantifier rules in an open-ended way. As we show, given this open-endedness, the interpretation of the quantifiers must be permutation-invariant and so, by a theorem recently proved by Bonnay and Westerståhl, must be the standard interpretation. Analogously for the second-order case: we prove, by generalizing Bonnay and Westerståhl’s theorem, that the permutation invariance of the interpretation of the second-order quantifiers, guaranteed once again by the open-endedness of our inferential dispositions, suffices to yield full second-order logic. (shrink)

I defend a novel view of how social kinds (e.g., money, women, permanent residents) depend on our mental states. In particular, I argue that social kinds depend on our mental states in the following sense: it is essential to them that they exist (partially) because certain mental states exist. This analysis is meant to capture the very general way in which all social kinds depend on our mental states. However, my view is that particular social kinds also depend on our (...) mental states in more specific ways—some of them causal, others metaphysical. I defend a minimal but metaphysically important notion of essence—one that takes as primary that the essential properties of a kind constitute its identity—and argue that this minimal notion of essence is all that is needed to vindicate my claim that social kinds are essentially mind-dependent. (shrink)

Many metaphysicians utilize the virtue‐driven methodology. According to this methodology, one theory is more worthy of endorsement than another insofar as it is more virtuous. In this paper, I show how a theory's overall virtue is shaped by its ideological parsimony – parsimony with respect to the terminology employed in stating the theory. I distinguish between a theory's truth and its fidelity (‘joint‐carvingness’) and the corresponding epistemic and fidelic virtues. I argue that ideological parsimony is not an epistemic virtue but (...) is a fidelic virtue. Insofar as metaphysicians value fidelity, then, ideological parsimony has an important role in theory choice. (shrink)

This paper takes issue with an influential interpretationist argument for physicalism about intentionality based on the possibility of radical interpretation. The interpretationist defends the physicalist thesis that the intentional truths supervene on the physical truths by arguing that it is possible for a radical interpreter, who knows all of the physical truths, to work out the intentional truths about what an arbitrary agent believes, desires, and means without recourse to any further empirical information. One of the most compelling arguments for (...) the possibility of radical interpretation, associated most closely with David Lewis and Donald Davidson, gives a central role to decision theoretic representation theorems, which demonstrate that if an agent’s preferences satisfy certain constraints, it is possible to deduce probability and utility functions that represent her beliefs and desires. We argue that an interpretationist who wants to rely on existing representation theorems in defence of the possibility of radical interpretation faces a trilemma, each horn of which is incompatible with the possibility of radical interpretation. (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 most popular and influential strategies used against semantic externalism and the causal theory of reference are critically examined. It is argued that upon closer scrutiny, none of them emerges as truly convincing.

Uma das características mais interessantes da filosofia é sua capacidade de revelar problemas difíceis em lugares inesperados. É precisamente isto que ocorre com o caso dos nomes próprios. Usamos nomes cotidianamente para selecionar ou fazer referência a objetos particulares, e depois podermos dizer algo sobre eles. Talvez o leitor diga a um colega que gostaria de estar tomando um café em Paris, ao invés de gastar tempo lendo mais um livro de filosofia. Neste caso, estará usando o nome “Paris” para (...) se referir a um lugar específico do universo. O que você acaba de fazer não é meramente proferir um som, mas proferir um som que de alguma forma lhe permite selecionar uma localidade específica dentre todas as outras do universo. É desta localidade que você fala. Mas como isto é possível? Que tipo de mecanismo garante a alguém o poder de proferir um nome e, com isto, selecionar um particular específico dentre todos os outros do universo? Este é o problema da referência singular dos nomes próprios. O presente livro é sobre este problema. -/- . (shrink)

This thesis is about the metaphysics of logic. I argue against a view I refer to as ‘logical realism’. This is the view that the logical constants represent a particular kind of metaphysical structure, which I dub ‘logico-metaphysical structure’. I argue instead for a more metaphysically lightweight view of logic which I dub ‘logical expressivism’. -/- In the first part of this thesis (Chapters I and II) I argue against a number of arguments that Theodore Sider has given for logical (...) realism. In Chapter I, I present an argument of his to the effect that logico-metaphysical structure provides the only good explanation of the semantic determinacy of the logical constants. I argue that other explanations are possible. In Chapter II, I present another argument of his to the effect that logico-metaphysical structure is something that comes along with ontological realism: the view that there is a non-language-relative fact of the matter about what exists. I argue that the connection between logical and ontological realism is not as close as Sider makes it out to be. -/- In the second part of this thesis (Chapters III – V) I set out a positive view of the logical constants that can explain both why their meanings are semantically determinate, and why they form part of our vocabulary. On that view, the primary bearers of logical structure are propositional attitudes, and the logical constants are in our language as vehicles for the expression of logically complex propositional attitudes. In Chapter III, I set out an expressivist theory of propositional logic. In Chapter IV, I use this theory to explain how the logical connectives end up having determinate meanings. In Chapter V, I extend the expressivist theory to predicate logic. (shrink)

I offer an explicit account of the underdetermination thesis as well as of the many challenges it poses to scientific realism; a way to answer to these challenges is explored and outlined, by shifting attention to the content of theories. I argue that, even if we have solid grounds (as I contend we do) to support that some varieties of the underdetermination thesis are true, scientific realism can still offer an adequate picture of the aims and achievements of science.

A popular approach in philosophy, the so-called Canberra Plan, is critically scrutinized. Two aspects of this research program, the formal and the informal program, are distinguished. It is argued that the formal program runs up against certain serious technical problems. It is also argued that the informal program involves an unclear leap at its core. Consequently, it is argued that the whole program is much more problematic than its advocates recognize.

There are two families of influential and stubborn puzzles that many theories of aboutness (intentionality) face: underdetermination puzzles and puzzles concerning representations that appear to be about things that do not exist. I propose an approach that elegantly avoids both kinds of puzzle. The central idea is to explain aboutness (the relation supposed to stand between thoughts and terms and their objects) in terms of relations of co-aboutness (the relation of being about the same thing that stands between the thoughts (...) and terms themselves). (shrink)

According to the conciliatory view in metaontology, there are multiple possible languages corresponding to the popular positions in ontology. In each of these languages, the term ‘exists’ expresses a distinct “existence-like” property, and consequently the claims associated with each of the rival ontological positions come out true in some such language. Species of the conciliatory view can be distinguished based on claims about how the various existence-like properties are related vis-à-vis metaphysical naturalness. On some versions, all of the existence-like properties (...) are held to be equally natural, such that there is no “metaphysically privileged” language. However on others, there is held to be a most natural existence-like property and hence a most fundamental ontological language. In this paper I defend two views, one metaontological and one ontological. I first defend a version of the conciliatory view according to which there is exactly one perfectly natural existence-like property, but the rest are still “reasonably” natural. I then argue that, assuming this metaontological view, we should accept a permissive ontological view in the fundamental language (i.e. one with a very expansive domain). (shrink)

Conceptual engineers seek to revise or replace the devices we use to speak and think. If this amounts to an effort to change what natural language expressions mean, conceptual engineers will have a hard time. It is largely unfeasible to change the meaning of e.g. ‘cause’ in English. Conceptual engineers may therefore seem unable to make the changes they aim to make. This is what I call ‘the implementation problem’. In this paper, I argue that the implementation problem dissolves if (...) we expand our view of how conceptual engineers could implement the products of their work. I describe four implementation options: Standing Meaning, Meaning Modulation, Speaker-Meaning and Different Language. I query the feasibility and worth of pursuing these options. Unless each option fails because it is unfeasible or not worthwhile, conceptual engineers do not face an implementation problem worth worrying about. I argue that some of the options are feasible and worthwhile, and therefore, that conceptual engineers do not face an implementation problem worth worrying about. (shrink)