Nancy Cartwright's 1983 book How the Laws of Physics Lie argued that theories of physics often make use of idealisations, and that as a result many of these theories were not true. The present paper looks at idealisation in logic and argues that, at least sometimes, the laws of logic fail to be true. That might be taken as a kind of skepticism, but I argue rather that idealisation is a legitimate tool in logic, just as in physics, and recognising (...) this frees logicians up to use false laws where these are helpful. (shrink)

A barrier to entailment exists if you can't get conclusions of a certain kind from premises of another. One of the most famous barriers in philosophy is Hume's Law, which says that you can't get normative conclusions from descriptive premises, or in slogan form: you can't get an ought from an is. This barrier is highly controversial, and many famous counterexamples were proposed in the last century. But there are other barriers which function almost as philosophical platitudes: no Universal conclusions (...) from Particular premises, no Future conclusions from premises about the Past, and no claims that attribute Necessity from premises that merely tell us how things happen to be in the Actual world. Barriers to Entailment proposes a unified logical account of five barriers that have played important roles in philosophy, in the process showing how to diagnose proposed counterexamples and arguing that the case for Hume's Law is as strong as that for the platitudinous barriers. -/- The first two parts of the book employ techniques from formal logic, but present them in an accessible way, suitable for any reader with some background in first-order model theory (of the kind that might be taught in a first class in logic). Gillian Russell introduces tense, modal, indexical, and deontic formal logics, but always avoids unneeded complexity. Each barrier is connected to broader philosophical topics: universality, time, necessity, context-sensitivity, and normativity. Russell brings out under-recognised connections between the domains and lays the groundwork for further work at the intersections. -/- The last part of the book transposes the formal work to informal barrier theses in the philosophy of language, in the process doing new work on the concept of logical consequence, and providing new responses to proposed informal counterexamples to Hume's Law which employ hard-to-formalise tools from natural language, such as speech acts and thick normative expressions. (shrink)

Recent work on analyticity distinguishes two kinds, metaphysical and epistemic. This paper argues that the distinction allows for a new view in the philosophy of logic according to which the claims of logic are metaphysically analytic and have distinctive modal profiles, even though their epistemology is holist and in many ways rather Quinean. It is argued that such a view combines some of the more attractive aspects of the Carnapian and Quinean approaches to logic, whilst avoiding some famous problems.

Is it harder to acquire knowledge about things that really matter to us than it is to acquire knowledge about things we don't much care about? Jason Stanley 2005 argues that whether or not the relational predicate 'knows that' holds between an agent and a proposition can depend on the practical interests of the agent: the more it matters to a person whether p is the case, the more justification is required before she counts as knowing that p. The evidence (...) for Stanley's thesis includes a number of intuitive judgments about examples. In this paper we provide parallel examples for which Stanley's thesis requires unwelcome knowledge-attributions, and argue that this is possible because his thesis conflicts with familiar and plausible principles about knowledge. (shrink)

Recent work on analyticity distinguishes two kinds, metaphysical and epistemic. This paper argues that the distinction allows for a new view in the philosophy of logic according to which the claims of logic are metaphysically analytic and have distinctive modal profiles, even though their epistemology is holist and in many ways rather Quinean. It is argued that such a view combines some of the more attractive aspects of the Carnapian and Quinean approaches to logic, whilst avoiding some famous problems.

Machine generated contents note: -- Series Editors' PrefaceAcknowledgementsNotes on ContributorsHow Things Are Elsewhere; W. Schwarz Information Change and First-Order Dynamic Logic; B.Kooi Interpreting and Applying Proof Theories for Modal Logic; F.Poggiolesi & G.Restall The Logic(s) of Modal Knowledge; D.Cohnitz On Probabilistically Closed Languages; H.Leitgeb Dogmatism, Probability and Logical Uncertainty; B.Weatherson & D.Jehle Skepticism about Reasoning; S.Roush, K.Allen & I.HerbertLessons in Philosophy of Logic from Medieval Obligations; C.D.Novaes How to Rule Out Things with Words: Strong Paraconsistency and the Algebra of Exclusion; (...) F.Berto Lessons from the Logic of Demonstratives; G.RussellThe Multitude View on Logic; M.Eklund Index. (shrink)

Why is it important for people to agree on and articulate shared reasons for just laws, rather than whatever reasons they personally find compelling? What, if any, practical role does public reason play in liberal democratic politics? We argue that the practical role of public reason can be better appreciated by examining the confluence of normative and positive political theory; the former represented here by liberal social contract theory of John Rawls and others, and the latter by rational choice or (...) game theory. Citizens in a diverse society face a practical as well as a moral problem. How can they have confidence that others will reciprocate their commitment to supporting governing principles that depart from their own ideal conceptions of truth and value in order to be reasonable to all? Citizens face a practical problem of mutual assurance that public reason helps them solve, and solve as a matter of common knowledge. The solution, on both views, requires citizens’ reciprocal commitment to basing law on a system of shared reasons. Both views place public reason at the core of liberal democratic politics in conditions of diversity, and for quite similar reasons. Our argument illustrates the complementary roles of positive and values-based analysis in constitutional design. (shrink)

This chapter explores reasons to doubt the defensibility of the “weak theory of sustainability” that informs and justifies the use of cost-benefit analysis by environmental regulators. As the argument reveals, inasmuch as the weak theory equates what is sustainable with what sustains the satisfaction of human preferences, it has the surprising philosophical wherewithal to make climate-changing activities sustainable, at least in principle. This would be so if human ingenuity made possible the replacement of ecosystem services with technological alternatives. And it (...) would be particularly so if the aesthetic goods that derive from nature – goods which are resistant to quantification – are excluded from environmental cost-benefit analyses. But it is also true if those aesthetic goods are reduced to mere human preferences that can be measured through indirect market-based means, for aesthetic preferences are remarkably adaptive.Inasmuch as people can be expected to come to appreciate landscapes degraded by climate change, those who defend a weak theory of sustainability can expect that climate change will not long be at odds with what people find aesthetically pleasing. However, as the growing literature on “nature-deficit disorder” suggests, while aesthetic preferences may be elastic, aesthetic needs are not. As climate change progressively strips us of nature’s goods, we will lose the ability to meet crucial aesthetic needs. The irony is clear: As our aesthetic preferences bend towards the acceptance of ecological loss, we will predictably lose our preferences for meeting our own enduring aesthetic needs. We can thus expect climate change to cause us to prefer what we do not need and to need what we do not prefer. And this implies that climate change is the reductio ad absurdum of the weak theory of sustainability that dominates contemporary environmental regulation. (shrink)

The Science and Religion Forum (SRF) seeks to be the premier organization promoting the discussion between science and religion in the United Kingdom. Each year, the SRF holds a conference tackling a topical issue, and in 2017 focused on mental well‐being, neuroscience, and religion. This article introduces the thematic section which is made up of five papers from that conference. As a new field within the science and religion academy, these articles are both wide‐ranging and detailed. This introductory article locates (...) this section within the academy and argues that its place is not only valid but vital, given the increase of mental health problems and the need for medicine, church, and society to answer this problem and present ways to help. (shrink)

The Science and Religion Forum (SRF) seeks to be the premier organization promoting the discussion between science and religion in the United Kingdom for academics, professionals, and interested lay people. Each year, the SRF holds a conference tackling a topical issue, and in 2019 focused on artificial intelligence and robotics. This article introduces the thematic section which is made up of three papers from that conference and provides a summary of the event.

Some writers object to logical pluralism on the grounds that logic is normative. The rough idea is that the relation of logical consequence has consequences for what we ought to think and h...

A survey of contemporary work on logical pluralism.

A critical survey of Quine's arguments against the analytic/synthetic distinction.

Anti-exceptionalists about formal logic think that logic is continuous with the sciences. Many philosophers of science think that there is feminist science. Putting these together: can anti-exceptionalism make space for feminist logic? The answer depends on the details of the ways logic is like science and the ways science can be feminist. This paper wades into these details, examines five different approaches, and ultimately argues that anti-exceptionalism makes space for feminist logic in several different ways.

The analytic/synthetic distinction looks simple. It is a distinction between two different kinds of sentence. Synthetic sentences are true in part because of the way the world is, and in part because of what they mean. Analytic sentences - like all bachelors are unmarried and triangles have three sides - are different. They are true in virtue of meaning, so no matter what the world is like, as long as the sentence means what it does, it will be true. -/- (...) This distinction seems powerful because analytic sentences seem to be knowable in a special way. One can know that all bachelors are unmarried, for example, just by thinking about what it means. But many twentieth-century philosophers, with Quine in the lead, argued that there were no analytic sentences, that the idea of analyticity didn't even make sense, and that the analytic/synthetic distinction was therefore an illusion. Others couldn't see how there could fail to be a distinction, however ingenious the arguments of Quine and his supporters. -/- But since the heyday of the debate, things have changed in the philosophy of language. Tools have been refined, confusions cleared up, and most significantly, many philosophers now accept a view of language - semantic externalism - on which it is possible to see how the distinction could fail. One might be tempted to think that ultimately the distinction has fallen for reasons other than those proposed in the original debate. -/- In Truth in Virtue of Meaning, Gillian Russell argues that it hasn't. Using the tools of contemporary philosophy of language, she outlines a view of analytic sentences which is compatible with semantic externalism and defends that view against the old Quinean arguments. She then goes on to draw out the surprising epistemological consequences of her approach. (shrink)

Logical monists and pluralists disagree about how many correct logics there are; the monists say there is just one, the pluralists that there are more. Could it turn out that both are wrong, and that there is no logic at all?

In recent years, there have been a number of moral panics in Western societies about the existence of religious courts and tribunals in general and Shariah law in particular. In England and Wales, these concerns came to the fore following the 2008 lecture by the then Archbishop of Canterbury, Dr Rowan Williams, on ‘Civil Law and Religious Law in England’. In that lecture, Williams drew upon the work of the Canadian scholar Ayelet Shachar endorsing her concept of ‘transformative accommodation’. In (...) this article, we return to the work of Shachar in the light of our recent empirical study which examined the divorce jurisdiction of three religious tribunals in detail: a Jewish Beth Din; a matrimonial tribunal of the Roman Catholic Church; and a Muslim Shariah Council. We suggest that the focus upon Shachar’s concept of ‘transformative accommodation’ by Williams and subsequent commentators is unfortunate given that Shachar actually proposes ‘transformative accommodation’ as just one variant of what she refers to as ‘joint governance’ (albeit her preferred variant). We propose that the umbrella concept of ‘joint governance’ and its other variants can be developed in a way that could prove to be more useful than ‘transformative accommodation’. (shrink)

Take a correct sequent of formal logic, perhaps a simple logical truth, like the law of excluded middle, or something with premises, like disjunctive syllogism, but basically a claim of the form \.Γ can be empty. If you don’t like my examples, feel free to choose your own, everything I have to say should apply to those as well. Such a sequent attributes the properties of logical truth or logical consequence to a schematic sentence or argument. This paper aims to (...) answer the question of how beliefs in such attributions are justified, on both its descriptive and normative interpretations; I aim to say when we generally take ourselves to be justified in forming such beliefs, and to make it plausible that beliefs formed this way really are justified.We can ask such questions about many domains but there are special difficulties for answering them in logic. Some of the difficulties stem from the fact that logic is thought t.. (shrink)

ABSTRACT This paper argues for a version of sceptical invariantism about knowledge on which the acceptability of knowledge-attributing sentences varies with the context of assessment.

This paper is about the putative theoretical virtue of strength, as it might be used in abductive arguments to the correct logic in the epistemology of logic. It argues for three theses. The first is that the well-defined property of logical strength is neither a virtue nor a vice, so that logically weaker theories are not—all other things being equal—worse or better theories than logically stronger ones. The second thesis is that logical strength does not entail the looser characteristic of (...) scientific strength, and the third is that many modern logics are on a par—or can be made to be on a par—with respect to scientific strength. (shrink)

This is a paper about the constituents of arguments. It argues that several different kinds of truth-bearer may be taken to compose arguments, but that none of the obvious candidates—sentences, propositions, sentence/truth-value pairs etc.—make sense of logic as it is actually practiced. The paper goes on to argue that by answering the question in different ways, we can generate different logics, thus ensuring a kind of logical pluralism that is different from that of J. Beall and Greg Restall.

The formulation and proof of Hume’s Law and several related inference barrier theses.

This paper proves a precisification of Hume’s Law—the thesis that one cannot get an ought from an is—as an instance of a more general theorem which establishes several other philosophically interesting, though less controversial, barriers to logical consequence.

Logical pluralism is the view that there is more than one logic. Logical normativism is the view that logic is normative. These positions have often been assumed to go hand-in-hand, but we show that one can be a logical pluralist without being a logical normativist. We begin by arguing directly against logical normativism. Then we reformulate one popular version of pluralism—due to Beall and Restall—to avoid a normativist commitment. We give three non-normativist pluralist views, the most promising of which depends (...) not on logic’s normativity but on epistemic goals. (shrink)

An important part of learning to fight is learning to overcome psychological barriers against harming others. Though there are some interesting exceptions, most human beings experience signi cant internal resistance to doing harm to other people. (Marshall 1947, Grossman 1995, Morton 2004, Jensen 2012) Whatever its moral properties, this reluctance to harm can compromise the ability to fight effectively. Hence one might think that combat training should help trainees overcome such barriers. -/- However, on one compelling theory of evil, what (...) makes an action evil, as opposed to merely wrong, is that it is made possible by the agent's use of learned or innate strategies to overcome the natural barriers to harming others. (Morton 2004: 34{68) If this is right, it poses a prima facie moral challenge to these aspects of fight-training. The challenge is a special case of a more general one, namely, how it could be morally permissible to make people better at harming others? That is a question that martial artists rarely take seriously. Indeed, it is commonly thought that becoming a martial artist, and teaching the martial arts, are morally supererogatory. This paper takes the special challenge seriously, and looks at what can be said in response. (shrink)

Once a standard tool in the epistemologist’s kit, the analytic/synthetic distinction was challenged by Quine and others in the mid-twentieth century and remains controversial today. But although the work of a lot contemporary philosophers touches on this distinction – in the sense that it either has consequences for it, or it assumes results about it – few have really focussed on it recently. This has the consequence that a lot has happened that should affect our view of the analytic/synthetic distinction, (...) while little has been done to work out exactly what the effects are. All these features together make the topic ideal for either a survey or research seminar at the graduate level: it can provide an organising theme which justifies a spectrum of classic readings from Locke to Williamson, passing though Kant, Frege, Carnap, Quine and Kripke on the way, but it could also provide an excuse for a much more narrowly construed research seminar which studies the consequences of really contemporary philosophy of language and linguistics for the distinction. (shrink)

An argument defending the view that one cannot derive an ought from an is against the usual (suspect) counterexamples.

My target in this paper is a view that has sometimes been called the ‘ Linguistic Doctrine of Necessary Truth ’ and sometimes ‘Conventionalism about Necessity’. It is the view that necessity is grounded in the meanings of our expressions—meanings which are sometimes identified with the conventions governing those expressions—and that our knowledge of that necessity is based on our knowledge of those meanings or conventions. In its simplest form the view states that a truth, if it is necessary, is (...) necessary because it is analytic. It is widely recognized that this simple version of the view faces a prima facie problem with the existence of the necessary a posteriori. Assuming that all analytic truths are a priori, if there are necessary a posteriori truths then there are necessary synthetic truths—contradicting the view’s claim that all necessary truths are analytic. Contemporary L-DONTers have things to say about the problem, but in this paper I want to suggest that there is a different, more serious, problem which arises from the phenomenon of indexicality, which L-DONTers have not taken account of. Though there are many versions of the problem, a simple one is this. Consider Kaplan’s celebrated sentence. (shrink)

Modularity has become a central and remarkably useful concept in evolutionary developmental biology, offering an explanation of how independent, interacting units make possible developmental events and evolutionary changes. These modules exist at several different levels of organization, from genes to signal transduction pathways to cell populations. Cell populations, which are multicellular modules, provide an opportunity both to clarify our notion of modularity and to reexamine such central concepts as cell-to-cell communication. Rosine Chandebois’s work on “cell sociology” is reframed in the (...) language of modularity in order to show how groups of cells maintain their collective identity during development and how signaling information from the group’s environment is received by the constituent cells. In a “test case” for our account of multicellular modules, we consider the vertebrate neural crest, a migratory cell population made up of several subpopulations. The neural crest proves yet again to be a complex case, showing the importance of taking into account both developmental and evolutionary transformations of multicellular modules. (shrink)

This paper presents the central theory from my book Truth in Virtue of Meaning: a defence of the Analytic/Synthetic Distinction (2008) in a more concise form.

Philosophy of language is the branch of philosophy that examines the nature of meaning, the relationship of language to reality, and the ways in which we use, learn, and understand language. _The Routledge Companion to Philosophy of Language _provides a comprehensive and up-to-date survey of the field, charting its key ideas and movements, and addressing contemporary research and enduring questions in the philosophy of language. Unique to this _Companion _is clear coverage of research from the related disciplines of formal logic (...) and linguistics, and discussion of the applications in metaphysics, epistemology, ethics and philosophy of mind. Organized thematically, the _Companion _is divided into seven sections: Core Topics; Foundations of Semantics; Parts of Speech; Methodology; Logic for Philosophers of Language; Philosophy of Language for the Rest of Philosophy; and Historical Perspectives. Comprised of 70 never-before-published essays from leading scholars--including Sally Haslanger, Jeffrey King, Sally McConnell-Ginet, Rae Langton, Kit Fine, John MacFarlane, Jeff Pelletier, Scott Soames, Jason Stanley, Stephen Stich and Zoltan Gendler Szabo--the _Routledge Companion to Philosophy of Language_ promises to be the most comprehensive and authoritative resource for students and scholars alike. (shrink)

This paper points out a tension between Agustín Rayo's criteria for singulartermhood and his explicit views on the status of Hybrid Identities, that is, identity statements that use singular terms from two different Systems of Representation, such as "7=Julius Caesar" or more suggestively "I am b" where "b" is a singular term referring to my brain. It argues that non-trivial Hybrid Identities are common and important in philosophy and elsewhere, and it suggests a friendly alternative that involves treating Hybrid Identities (...) on the model of Rayo's "Just Is" statements. The last section of the paper points out that even this friendly alternative has counterintuitive consequences when combined with the metaphysical conventionalism that Rayo finds attractive, when it comes to questions of personal identity over time. (shrink)

This paper investigates, formulates and proves an indexical barrier theorem, according to which sets of non-indexical sentences do not entail (except under specified special circumstances) indexical sentences. It surveys the usual difficulties for this kind of project, as well some that are specific to the case of indexicals, and adapts the strategy of Restall and Russell's "Barriers to Implication" to overcome these. At the end of the paper a reverse barrier theorem is also proved, according to which an indexical (...) sentence will not, except under specified circumstances, entail a non-indexical one. (shrink)

During the past decade, debate has intensified about the role of long-term opioid therapy in the management of chronic nonmalignant pain. Specialists in pain management have discussed the issues extensively and now generally agree that a selected population of patients with chronic pain can attain sustained analgesia without significant adverse consequences. This perspective, however, is not uniformly accepted by pain specialists and has not been widely disseminated to other disciplines or the public. Rather, the more traditional perspective, which ascribes both (...) transitory benefit and substantial cumulative risk to long-term opioid therapy, continues to predominate. According to this perspective, the inevitability of tolerance limits the possibility of sustained efficacy, and other pharmacological properties increase the likelihood of adverse outcomes, including persistent side-effects, impairment in physical and psychosocial functioning, and addiction. If accurate, these outcomes would indeed justify the withholding of opioid therapy for all but the most extreme cases of chronic nonmalignant pain. (shrink)

During the past decade, debate has intensified about the role of long-term opioid therapy in the management of chronic nonmalignant pain. Specialists in pain management have discussed the issues extensively and now generally agree that a selected population of patients with chronic pain can attain sustained analgesia without significant adverse consequences. This perspective, however, is not uniformly accepted by pain specialists and has not been widely disseminated to other disciplines or the public. Rather, the more traditional perspective, which ascribes both (...) transitory benefit and substantial cumulative risk to long-term opioid therapy, continues to predominate. According to this perspective, the inevitability of tolerance limits the possibility of sustained efficacy, and other pharmacological properties increase the likelihood of adverse outcomes, including persistent side-effects, impairment in physical and psychosocial functioning, and addiction. If accurate, these outcomes would indeed justify the withholding of opioid therapy for all but the most extreme cases of chronic nonmalignant pain. (shrink)

When I was eleven, my form teacher, Mr Howard, showed some of my class how to punch. We were waiting for the rest of the class to finish changing after gym, and he took a stance that I would now call shizentai yoi and snapped his right fist forward into a head-level straight punch, pulling his left back to his side at the same time. Then he punched with his left, pulling back on his right. We all lined up in (...) our ties and sensible shoes (this was England) and copied him—left, right, left, right—and afterwards he told us that if we practised in the air with sufficient devotion for three years, then we would be able to use our punches to kill a bull with one blow. I worshipped Mr Howard (though I would sooner have died than told him that) and so, as a skinny, eleven-year-old girl, I came to believe that if I practised, I would be able to kill a bull with one blow by the time I was fourteen. This essay is about epistemic viciousness in the martial arts, and this story is illustrates just that. Though the word ‘viciousness’ normally suggests deliberate cruelty and violence, I will be using it here with the more old-fashioned meaning, possessing of vices. Vices (such as avarice, alcoholism and nail-biting) are common, and most of us struggle with a few, but ‘epistemic’ means ‘having to do with knowledge and the justification of belief’ and so epistemic viciousness is the possession of vices that make one bad at acquiring true beliefs, or give one a tendency to form false ones. My eleven-year-old self possessed the epistemic vice of gullibility and hence showed a streak of epistemic viciousness, which led to the formation of a false belief. Other kinds of epistemic vice can lead to us failing to form true beliefs when we ought to. Consider the internet-surfing karate-sensei who stumbles upon an article claiming that chocolate milk is better than water or sports drinks for promoting recovery after strenuous exercise, and describing an experiment using stationary bikes performed at the University of Indiana, purporting to support this claim.. (shrink)

Sider offers a new take on a linguistic account of necessity. In this paper, I assess his view’s vulnerability to objections made against more traditional linguistic accounts, especially an argument I call the “indexical problem.” I conclude that the indexical problem has no force against Sider’s approach because the view is able to attribute modal properties directly to propositions, rather than indirectly via analytic sentences that express them. However, Sider also argues that traditional linguistic accounts fail because of two well-known (...) problems, and I argue that the same two problems undermine his own account. (shrink)

In his recent Philosophers’ Imprint paper “The (mostly harmless) inconsistency of knowledge attributions” [Weiner, 2009], Matt Weiner argues that the semantics of the expression “knows that”, as it is used in attributions of knowledge like “Hannah knows that the bank will be open,” are inconsistent, but that this inconsistency is “mostly harmless.” He presents his view as an alternative to the invariantist, contextualist and relativist approaches currently prevalent in the literature, (e.g. [Stanley, 2005], [DeRose, 1995], [Hawthorne, 2006], [MacFarlane, 2005]) and (...) argues that it avoids important disadvantages of each. Yet in calling the supposed inconsistency of knowledge attributions “mostly harmless”, Weiner implies that his view does not have new disadvantages of its own. My purpose in the present paper is to argue that the inconsistency and harmlessness theses cannot be jointly maintained: if we accept that the semantics of ‘know’—or indeed any word—are inconsistent, then we face a dilemma: one horn is dialetheism, the view that there there are true contradictions, the other is the view that that semantic competence in English requires belief in, or similar commitment to, falsehoods. I will argue that neither of these options is well described as “mostly harmless.” The paper is structured as follows: in the first part I present Weiner’s view and his arguments for it. Then in section 2 I compare the question of whether the semantics of ‘knows that’ are inconsistent to the much older controversy over whether the semantics of the expression ‘is true’ are inconsistent. In section 3 I will present Hans Herzberger’s arguments from the 1960s for thinking that no expression in a natural language can have inconsistent semantics. Finally, in section 4 I argue that although Herzberger’s argument seems anachronistic today, both contemporary ways of avoiding his conclusion have significant disadvantages. (shrink)

This article has as its focus a queer object – an otherwise unremarkable ticket for an eighteenth-century assembly or ball in a collection of tickets made by Sir Augustus Wollaston Franks, an influential figure in the development of the British Museum in the Victorian period. I argue that the ticket is a tribute to a larger collection, also in the British Museum, made by Sarah Sophia Banks, in order to make claims for the attention to printed ephemera as a queer (...) science that was foundational in the conceptualization and practice of archives of all kinds. The queer object of Franks’s ticket, in relation to the history of printed ephemera, is used to contextualize and historicize debates about ephemera in contemporary queer theory and cultural studies more generally. (shrink)

Could it ever be right to say that a language---as opposed to a speaker of the language---makes, or presupposes or somehow commits itself to certain claims? Such as that certain kinds of objects exist, or that things are a certain way? It can be tempting to think not, to think that languages are just the neutral media through which speakers make claims. Yet certain, surprisingly diverse, phenomena---analyticity, racial epithets, object-involving direct reference, arithmetic, and semantic paradoxes like the Liar---have pushed philosophers (...) towards views according to which languages can have presuppositions or commitments of their own---to things like the existence of numbers, the marital status of bachelors, the existence of water, and even to contradictions or morally abhorrent views. In this paper I want to present some recent data from linguistics that supports a less commonly discussed, and rather surprising version of this idea: namely that English presupposes the existence of locations or places. In section one I do some work to clarify what this claim could possibly mean by identifying some central ways in which languages have been thought to presuppose various things about the world. In section two I present the core of the linguistic data and theory from the work of Susan Rothstein. In section three I compare it to some older work by David Kaplan, arguing that the significance of the new results is greater for the issue at hand, and then in the final section I examine the philosophical significance of this work. One might attempt to draw quite impressive conclusions: such as that the existence of space is analytic, and hence a priori. I will argue that such a conclusion here would be over hasty, and that what we really have is just a surprising fact about our not-so-neutral natural language. (shrink)