Tim Button explores the relationship between words and world; between semantics and scepticism. -/- A certain kind of philosopher – the external realist – worries that appearances might be radically deceptive. For example, she allows that we might all be brains in vats, stimulated by an infernal machine. But anyone who entertains the possibility of radical deception must also entertain a further worry: that all of our thoughts are totally contentless. That worry is just incoherent. -/- We cannot, then, (...) be external realists, who worry about the possibility of radical deception. Equally, however, we cannot be internal realists, who reject all possibility of deception. We must position ourselves somewhere between internal realism and external realism, but we cannot hope to say exactly where. We must be realists, for what that is worth, and realists within limits. -/- In establishing these claims, The Limits of Realism critically explores and develops several themes from Hilary Putnam’s work: the model-theoretic arguments; the connection between truth and justification; the brain-in-vat argument; semantic externalism; and conceptual relativity. The book establishes the continued significance of these topics for all philosophers interested in mind, logic, language, or the possibility of metaphysics. (shrink)

Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, the type-restrictions imposed by (...) STT are justified by a Fregean semantics. What is more, this Fregean semantics provides us with a principled way to resist Linnebo and Rayo’s Semantic Argument for CTT. We end by examining an alternative approach to cumulative types due to Florio and Jones; we argue that their theory is best seen as a misleadingly formulated version of STT. (shrink)

In “Models and Reality” (1980), Putnam sketched a version of his internal realism as it might arise in the philosophy of mathematics. Here, I will develop that sketch. By combining Putnam’s model-theoretic arguments with Dummett’s reflections on Gödelian incompleteness, we arrive at (what I call) the Skolem-Gödel Antinomy. In brief: our mathematical concepts are perfectly precise; however, these perfectly precise mathematical concepts are manifested and acquired via a formal theory, which is understood in terms of a computable system of proof, (...) and hence is incomplete. Whilst this might initially seem strange, I show how internal categoricity results for arithmetic and set theory allow us to face up to this Antinomy. This also allows us to understand why “Models are not lost noumenal waifs looking for someone to name them,” but “constructions within our theory itself,” with “names from birth.”. (shrink)

Universals are putative objects like wisdom, morality, redness, etc. Although we believe in properties (which, we argue, are not a kind of object), we do not believe in universals. However, a number of ordinary, natural language constructions seem to commit us to their existence. In this paper, we provide a fictionalist theory of universals, which allows us to speak as if universals existed, whilst denying that any really do.

Amie Thomasson and Eli Hirsch have both attempted to deflate metaphysics, by combining Carnapian ideas with an appeal to ordinary language. My main aim in this paper is to critique such deflationary appeals to ordinary language. Focussing on Thomasson, I draw two very general conclusions. First: ordinary language is a wildly complicated phenomenon. Its implicit ontological commitments can only be tackled by invoking a context principle; but this will mean that ordinary language ontology is not a trivial enterprise. Second: ordinary (...) language often points in different directions simultaneously, so that a wide variety of existence questions cannot be deflated merely by appealing to ordinary language. (shrink)

No-futurists ('growing block theorists') hold that that the past and the present are real, but that the future is not. The present moment is therefore privileged: it is the last moment of time. Craig Bourne (2002) and David Braddon-Mitchell (2004) have argued that this position is unmotivated, since the privilege of presentness comes apart from the indexicality of 'this moment'. I respond that no-futurists should treat 'x is real-as-of y' as a nonsymmetric relation. Then different moments are real-as-of different times. (...) This reunites privilege with indexicality, but entails that no-futurists must believe in ineliminably tensed facts. (shrink)

Just as theory of representation is deficient if it can’t explain how misrepresentation is possible, a theory of computation is deficient if it can’t explain how miscomputation is possible. Nonetheless, philosophers have generally ignored miscomputation. My primary goal in this paper is to clarify both what miscomputation is and how to adequately explain it. Miscomputation is a special kind of malfunction: a system miscomputes when it computes in a way that it shouldn’t. To explain miscomputation, you must provide accounts of (...) computational behavior, computational norms, and how computational behavior can deviate from computational norms. A secondary goal of this paper is to defend an (quasi-)individualist, mechanistic theory of miscomputation. Computational behavior is narrowly individuated. Computational norms are widely individuated. A system miscomputes when its behavior manifests a narrow computational structure that the widely individuated norms say that it should not have. (shrink)

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.

Keränen (2001) raises an argument against realistic (ante rem) structuralism: where a mathematical structure has a non-trivial automorphism, distinct indiscernible positions within the structure cannot be shown to be non-identical using only the properties and relations of that structure. Ladyman (2005) responds by allowing our identity criterion to include 'irreflexive two-place relations'. I note that this does not solve the problem for structures with indistinguishable positions, i.e. positions that have all the same properties as each other and exactly the same (...) relations to all objects (including themselves). I conclude that realistic structuralists must compromise and treat some structures eliminativistically. (shrink)

The Neo-Moorean Deduction (I have a hand, so I am not a brain-in-a-vat) and the Zebra Deduction (the creature is a zebra, so isn’t a cleverly disguised mule) are notorious. Crispin Wright, Martin Davies, Fred Dretske, and Brian McLaughlin, among others, argue that these deductions are instances of transmission failure. That is, they argue that these deductions cannot transmit justification to their conclusions. I contend, however, that the notoriety of these deductions is undeserved. My strategy is to clarify, attack, defend, (...) and apply. I clarify what transmission and transmission failure really are, thereby exposing two questionable but quotidian assumptions. I attack existing views of transmission failure, especially those of Crispin Wright. I defend a permissive view of transmission failure, one which holds that deductions of a certain kind fail to transmit only because of premise circularity. Finally, I apply this account to the Neo-Moorean and Zebra Deductions and show that, given my permissive view, these deductions transmit in an intuitively acceptable way—at least if either a certain type of circularity is benign or a certain view of perceptual justification is false. (shrink)

Looking out the window, I see that it's raining outside. Do I know that it’s raining outside? According to proponents of the Entailment Thesis, I do. If I see that p, I know that p. In general, the Entailment Thesis is the thesis that if S perceives that p, S knows that p. But recently, some philosophers (McDowell 2002, Turri 2010, Pritchard 2011, 2012) have argued that the Entailment Thesis is false. On their view, we can see p and not (...) know that p. In this paper, I argue that their arguments are unsuccessful. (shrink)

The following bare-bones story introduces the idea of a cumulative hierarchy of pure sets: 'Sets are arranged in stages. Every set is found at some stage. At any stage S: for any sets found before S, we find a set whose members are exactly those sets. We find nothing else at S.' Surprisingly, this story already guarantees that the sets are arranged in well-ordered levels, and suffices for quasi-categoricity. I show this by presenting Level Theory, a simplification of set theories (...) due to Scott, Montague, Derrick, and Potter. (shrink)

Tallant (2007) has challenged my recent defence of no-futurism (Button 2006), but he does not discuss the key to that defence: that no-futurism's primitive relation 'x is real-as-of y' is not symmetric. I therefore answer Tallant's challenge in the same way as I originally defended no-futurism. I also clarify no-futurism by rejecting a common mis-characterisation of the growing-block theorist. By supplying a semantics for no-futurists, I demonstrate that no-futurism faces no sceptical challenges. I conclude by considering the problem of (...) how to interpret the relation 'x is real-as-of y'. -/- (NB: A correction to this article appears in Analysis 68.1.). (shrink)

The metaphor of weighing reasons brings to mind a single (double-pan balance) scale. The reasons for φ go in one pan and the reasons for ~φ go in the other. The relative weights, as indicated by the relative heights of the two pans of the scale, determine the deontic status of φ. This model is simple and intuitive, but it cannot capture what it is to weigh reasons correctly. A reason pushes the φ pan down toward permissibility (has justifying weight) (...) only insofar as it pushes the ~φ pan up toward impermissibility (has requiring weight). Thus, Single Scale is committed to Single Proportion (first pass): all reasons have the same proportion of justifying and requiring weight. Many normative theories reject Single Proportion, and they are not thereby confused about how to weigh reasons. One can be mistaken about the weight of a reason without being confused about how reasons are to be weighed. Single Scale is problematic, not because it appeals to the image of a scale, but because it appeals to the image of a single scale. We need two scales to capture what it is to weigh reasons correctly. (shrink)

Consider a variant of the usual story about the iterative conception of sets. As usual, at every stage, you find all the (bland) sets of objects which you found earlier. But you also find the result of tapping any earlier-found object with any magic wand (from a given stock of magic wands). -/- By varying the number and behaviour of the wands, we can flesh out this idea in many different ways. This paper's main Theorem is that any loosely constructive (...) way of fleshing out this idea is synonymous with a ZF-like theory. -/- This Theorem has rich applications; it realizes John Conway's (1976) Mathematicians' Liberation Movement; and it connects with a lovely idea due to Alonzo Church (1974). (shrink)

Tennenbaum's Theorem yields an elegant characterisation of the standard model of arithmetic. Several authors have recently claimed that this result has important philosophical consequences: in particular, it offers us a way of responding to model-theoretic worries about how we manage to grasp the standard model. We disagree. If there ever was such a problem about how we come to grasp the standard model, then Tennenbaum's Theorem does not help. We show this by examining a parallel argument, from a simpler model-theoretic (...) result. (shrink)

Recent work on hypercomputation has raised new objections against the Church–Turing Thesis. In this paper, I focus on the challenge posed by a particular kind of hypercomputer, namely, SAD computers. I first consider deterministic and probabilistic barriers to the physical possibility of SAD computation. These suggest several ways to defend a Physical version of the Church–Turing Thesis. I then argue against Hogarth's analogy between non-Turing computability and non-Euclidean geometry, showing that it is a non-sequitur. I conclude that the Effective version (...) of the Church–Turing Thesis is unaffected by SAD computation. (shrink)

Prior’s Tonk is a famously horrible connective. It is defined by its inference rules. My aim in this article is to compare Tonk with some hitherto unnoticed nasty connectives, which are defined in semantic terms. I first use many-valued truth-tables for classical sentential logic to define a nasty connective, Knot. I then argue that we should refuse to add Knot to our language. And I show that this reverses the standard dialectic surrounding Tonk, and yields a novel solution to the (...) problem of many-valued truth-tables for classical sentential logic. I close by outlining the technicalities surrounding nasty connectives on many-valued truth-tables. (shrink)

Can we quantify over everything: absolutely, positively, definitely, totally, every thing? Some philosophers have claimed that we must be able to do so, since the doctrine that we cannot is self-stultifying. But this treats restrictivism as a positive doctrine. Restrictivism is much better viewed as a kind of militant quietism, which I call dadaism. Dadaists advance a hostile challenge, with the aim of silencing everyone who holds a positive position about ‘absolute generality’.

The authors survey some debates about the nature and structure of physical theories and about the connections between our physical theories and naturalized metaphysics. The discussion is organized around an “ideal view” of physical theories and criticisms that can be raised against it. This view includes controversial commitments regarding the best analysis of physical modalities and intertheory relations. The authors consider the case in favor of taking laws as the primary modal notion, discussing objections related to alleged violations of the (...) laws, the apparent need to appeal to causality, and the status of probability. The “ideal view” includes a commitment that fundamental physical theories are explanatorily sufficient. The authors discuss several challenges to recovering the manifest image from fundamental physics, along with a distinct challenge to reductionism based on acknowledging the contributions of less fundamental theories in physical explanations. (shrink)

On a very natural conception of sets, every set has an absolute complement. The ordinary cumulative hierarchy dismisses this idea outright. But we can rectify this, whilst retaining classical logic. Indeed, we can develop a boolean algebra of sets arranged in well-ordered levels. I show this by presenting Boolean Level Theory, which fuses ordinary Level Theory (from Part 1) with ideas due to Thomas Forster, Alonzo Church, and Urs Oswald. BLT neatly implement Conway’s games and surreal numbers; and a natural (...) extension of BLT is definitionally equivalent with ZF. (shrink)

Hilary Putnam once suggested that “the actual existence of sets as ‘intangible objects’ suffers… from a generalization of a problem first pointed out by Paul Benacerraf… are sets a kind of function or are functions a sort of set?” Sadly, he did not elaborate; my aim, here, is to do so on his behalf. There are well-known methods for treating sets as functions and functions as sets. But these do not raise any obvious philosophical or foundational puzzles. For that, we (...) first need to provide a full-fledged function theory. I supply such a theory: it axiomatizes the iterative notion of function in exactly the same sense that ZF axiomatizes the iterative notion of set. Indeed, this function theory is synonymous with ZF. It might seem that set theory and function theory present us with rival foundations for mathematics, since they postulate different ontologies. But appearances are deceptive. Set theory and function theory provide the very same judicial foundation for mathematics. They do not supply rival metaphysical foundations; indeed, if they supply metaphysical foundations at all, then they supply the very same metaphysical foundations. (shrink)

Hilary Putnam’s BIV argument first occurred to him when ‘thinking about a theorem in modern logic, the “Skolem–Löwenheim Theorem”’ (Putnam 1981: 7). One of my aims in this paper is to explore the connection between the argument and the Theorem. But I also want to draw some further connections. In particular, I think that Putnam’s BIV argument provides us with an impressively versatile template for dealing with sceptical challenges. Indeed, this template allows us to unify some of Putnam’s most enduring (...) contributions to the realism/antirealism debate: his discussions of brains-in-vats, of Skolem’s Paradox, and of permutations. In all three cases, we have an argument which does not merely defeat the sceptic; it also shows us that we must reject some prima facie plausible philosophical picture. (shrink)

We argue against the halving response to Sleeping Beauty. First, we outline an appealing constraint on probability assignments: the Principle of Irrelevant Information. Roughly, this says: if you don’t know whether C, but you would assign probability p to X regardless of whether C or not-C, then you should assign p to X. This Principle is deeply plausible, but we show that it contradicts halving. Second, we show that halving either violates solid statistical reasoning or draws absurd distinctions.

Putnam famously attempted to use model theory to draw metaphysical conclusions. His Skolemisation argument sought to show metaphysical realists that their favourite theories have countable models. His permutation argument sought to show that they have permuted models. His constructivisation argument sought to show that any empirical evidence is compatible with the Axiom of Constructibility. Here, I examine the metamathematics of all three model-theoretic arguments, and I argue against Bays (2001, 2007) that Putnam is largely immune to metamathematical challenges.

There are several relations which may fall short of genuine identity, but which behave like identity in important respects. Such grades of discrimination have recently been the subject of much philosophical and technical discussion. This paper aims to complete their technical investigation. Grades of indiscernibility are defined in terms of satisfaction of certain first-order formulas. Grades of symmetry are defined in terms of symmetries on a structure. Both of these families of grades of discrimination have been studied in some detail. (...) However, this paper also introduces grades of relativity, defined in terms of relativeness correspondences. This paper explores the relationships between all the grades of discrimination, exhaustively answering several natural questions that have so far received only partial answers. It also establishes which grades can be captured in terms of satisfaction of object-language formulas and draws connections with definability theory. (shrink)

Minimalists, such as Paul Horwich, claim that the notions of truth, reference and satisfaction are exhausted by some very simple schemes. Unfortunately, there are subtle difficulties with treating these as schemes, in the ordinary sense. So instead, minimalists regard them as illustrating one-place functions, into which we can input propositions (when considering truth) or propositional constituents (when considering reference and satisfaction). However, Bertrand Russell's Gray's Elegy argument teaches us some important lessons about propositions and propositional constituents. When applied to minimalism, (...) these lessons show us why we should abandon it. (shrink)

Recent clinical trials show that psychedelics such as LSD and psilocybin can be given safely in controlled conditions, and can cause lasting psychological benefits with one or two administrations. Supervised psychedelic sessions can reduce symptoms of anxiety, depression, and addiction, and improve well-being in healthy volunteers, for months or even years. But these benefits seem to be mediated by "mystical" experiences of cosmic consciousness, which prompts a philosophical concern: do psychedelics cause psychological benefits by inducing false or implausible beliefs about (...) the metaphysical nature of reality? This book is the first scholarly monograph in English devoted to the philosophical analysis of psychedelic drugs. Its central focus is the apparent conflict between the growing use of psychedelics in psychiatry and the philosophical worldview of naturalism. Within the book, Letheby integrates empirical evidence and philosophical considerations in the service of a simple conclusion: this "Comforting Delusion Objection" to psychedelic therapy fails. While exotic metaphysical ideas do sometimes come up, they are not, on closer inspection, the central driver of change in psychedelic therapy. Psychedelics lead to lasting benefits by altering the sense of self, and changing how people relate to their own minds and lives-not by changing their beliefs about the ultimate nature of reality. The upshot is that a traditional conception of psychedelics as agents of insight and spirituality can be reconciled with naturalism (the philosophical position that the natural world is all there is). Controlled psychedelic use can lead to genuine forms of knowledge gain and spiritual growth-even if no Cosmic Consciousness or transcendent divine Reality exists. Philosophy of Psychedelics is an indispensable guide to the literature for researchers already engaged in the field of psychedelic psychiatry, and for researchers-especially philosophers-who want to become acquainted with this increasingly topical field. (shrink)

Users of psychedelic drugs often report that their sense of being a self or ‘I’ distinct from the rest of the world has diminished or altogether dissolved. Neuroscientific study of such ‘ego dissolution’ experiences offers a window onto the nature of self-awareness. We argue that ego dissolution is best explained by an account that explains self-awareness as resulting from the integrated functioning of hierarchical predictive models which posit the existence of a stable and unchanging entity to which representations are bound. (...) Combining recent work on the ‘integrative self' and the phenomenon of self-binding with predictive processing principles yields an explanation of ego dissolution according to which self-representation is a useful Cartesian fiction: an ultimately false representation of a simple and enduring substance to which attributes are bound which serves to integrate and unify cognitive processing across levels and domains. The self-model is not a mere narrative posit, as some have suggested; it has a more robust and ubiquitous cognitive function than that. But this does not mean, as others have claimed, that the self-model has the right attributes to qualify as a self. It performs some of the right kinds of functions, but it is not the right kind of entity. Ego dissolution experiences reveal that the self-model plays an important binding function in cognitive processing, but the self does not exist. (shrink)

It is a metaphysical orthodoxy that interesting non-symmetric relations cannot be reduced to symmetric ones. This orthodoxy is wrong. I show this by exploring the expressive power of symmetric theories, i.e. theories which use only symmetric predicates. Such theories are powerful enough to raise the possibility of Pythagrapheanism, i.e. the possibility that the world is just a vast, unlabelled, undirected graph.

Philosophers often treat racist and sexist slurs as a special sort of puzzle. What is the difference between a slur and its correlates? In attempting to answer this question, a second distinction has been overlooked: that between slurs and insults. What makes a term count as a slur? This is not an unnecessary taxonomical question as long as ableist terms such as ‘moron’ are dismissed as mere insults. Attempts to resolve the insult/slur distinction by considering the communicative content of slurs (...) are not promising. A better solution is offered by speech act theory, and this paper develops a novel way to describe ordinary slurring utterances as oppressive speech acts. This can both explain the difference between slurs and insults, and challenge the dismissal of ableist terms. (shrink)

If dangerous climate change is to be avoided, it is vital that carbon sinks such as tropical rainforests are protected. But protecting them has costs. These include opportunity costs: the potential economic benefits which those who currently control rainforests have to give up when they are protected. But who should bear those costs? Should countries which happen to have rainforests within their territories sacrifice their own economic development, because of our broader global interests in protecting key carbon sinks? This essay (...) develops an argument from the “principle of fairness,” which seeks to establish that outsiders should pay states with rainforests so as to share the costs of protection. If they do not, they can be condemned for free-riding on forest states. The argument is, I suggest, compelling and also capable of enjoying support from adherents of a wide variety of positions on global justice. (shrink)

Starting from two observations regarding nursing ethics research in the past two decades, namely, the dominant influence of both the empirical methods and the principles approach, we present the cornerstones of a foundational argument-based nursing ethics framework. First, we briefly outline the general philosophical–ethical background from which we develop our framework. This is based on three aspects: lived experience, interpretative dialogue, and normative standard. Against this background, we identify and explore three key concepts—vulnerability, care, and dignity—that must be observed in (...) an ethical approach to nursing. Based on these concepts, we argue that the ethical essence of nursing is the provision of care in response to the vulnerability of a human being in order to maintain, protect, and promote his or her dignity as much as possible. (shrink)

This article is about the manifestations of similarities between two seemingly distinct groups of Nigerians: cybercriminals and politicians. Which linguistic strategies do Twitter users use to express their opinions on cybercriminals and politicians? The study undertakes a qualitative analysis of ‘engaged’ tweets of an elite law enforcement agency in West Africa. We analyzed and coded over 100,000 ‘engaged’ tweets based on a component of mechanisms of moral disengagement (i.e., advantageous comparison), a linguistic device. The results reveal how respondents defend the (...) actions of online fraudsters (“the deviant group”) by strategically comparing them to the wrongful acts of corrupt politicians (“the respectable group”). Similarly, the results show how respondents positioned this linguistic strategy to compare “the powerless group” (online fraudsters) and “the powerful group” (politicians) in society. Indeed, tweet responses suggest that the Economic and Financial Crimes Commission (EFCC) generally looks downwards for culprits (i.e., online fraudsters) while ignoring fraudulent politicians. We conclude that the process by which some actions are interpreted as a crime compared to others is a moral enterprise. (shrink)

The chapter introduces and characterizes the notion of fittingness. It charts the history of the relation and its relevance to contemporary debates in normative and metanormative philosophy and proceeds to survey issues to do with fittingness covered in the volume’s chapters, including the nature and epistemology of fittingness, the relations between fittingness and reasons, the normativity of fittingness, fittingness and value theory, and the role of fittingness in theorizing about responsibility. The chapter concludes with a brief discussion of issues to (...) do with fittingness that aren’t covered extensively by the volume’s chapters in order to indicate avenues for further research. (shrink)

Potentialists think that the concept of set is importantly modal. Using tensed language as an heuristic, the following bar-bones story introduces the idea of a potential hierarchy of sets: 'Always: for any sets that existed, there is a set whose members are exactly those sets; there are no other sets.' Surprisingly, this story already guarantees well-foundedness and persistence. Moreover, if we assume that time is linear, the ensuing modal set theory is almost definitionally equivalent with non-modal set theories; specifically, with (...) Level Theory, as developed in Part 1. (shrink)

In 1907–8, Russell and Stout presented an objection against James and Schiller, to which both James and Schiller replied. In this paper, I shall revisit their transatlantic exchange. Doing so will yield a better understanding of Schiller’s relationship to a worryingly solipsistic brand of phenomenalism. It will also allow us to appreciate a crucial difference between Schiller and James; a difference which James explicitly downplayed.

Wittgenstein’s atomist picture, as embodied in his Tractatus, is initially very appealing. However, it faces the famous colour-exclusion problem. In this paper, I shall explain when the atomist picture can be defended in the face of that problem; and, in the light of this, why the atomist picture should be rejected. I outline the atomist picture in Section 1. In Section 2, I present a very simple necessary and sufficient condition for the tenability of the atomist picture. The condition is: (...) logical space is a power of two. In Sections 3 and 4, I outline the colour-exclusion problem, and then show how the cardinality-condition supplies a response to exclusion problems. In Section 5, I explain how this amounts to a distillation of a proposal due to Moss, which goes back to Carruthers. And in Section 6, I show how all this vindicates Wittgenstein’s ultimate rejection of the atomist picture. The brief reason is that we have no guarantee that there are any solutions to a given exclusion problem but, if there are any, then there are far too many. (shrink)

The doctrine of permanent sovereignty over natural resources is a hugely consequential one in the contemporary world, appearing to grant nation-states both jurisdiction-type rights and rights of ownership over the resources to be found in their territories. But the normative justification for that doctrine is far from clear. This article elucidates the best arguments that might be made for permanent sovereignty, including claims from national improvement of or attachment to resources, as well as functionalist claims linking resource rights to key (...) state functions. But it also shows that these defences are insufficient to justify permanent sovereignty and that in many cases they actually count against it as a practice. They turn out to be compatible, furthermore, with the dispersal of resource rights away from the nation-state which global justice appears to demand. (shrink)

One of the main challenges confronting Humean accounts of natural law is that Humean laws appear to be unable to play the explanatory role of laws in scientific practice. The worry is roughly that if the laws are just regularities in the particular matters of fact (as the Humean would have it), then they cannot also explain the particular matters of fact, on pain of circularity. Loewer (2012) has defended Humeanism, arguing that this worry only arises if we fail to (...) distinguish between scientific and metaphysical explanations. However, Lange (2013, 2018) has argued that scientific and metaphysical explanations are linked by a transitivity principle, which would undercut Loewer's defense and re-ignite the circularity worry for the Humean. I argue here that the Humean has antecedent reasons to doubt that there are any systematic connections between scientific and metaphysical explanations. The reason is that the Humean should think that scientific and metaphysical explanation have disparate aims, and therefore that neither form of explanation is beholden to the other in its pronouncements about what explains what. Consequently, the Humean has every reason to doubt that Lange's transitivity principle obtains. (shrink)

In the early-to-mid 1930s, Wittgenstein investigated solipsism via the philosophy of language. In this paper, I want to reopen Wittgenstein's ‘grammatical’ examination of solipsism.Wittgenstein begins by considering the thesis that only I can feel my pains. Whilst this thesis may tempt us towards solipsism, Wittgenstein points out that this temptation rests on a grammatical confusion concerning the phrase ‘my pains’. In Section 1, I unpack and vindicate his thinking. After discussing ‘my pains’, Wittgenstein makes his now famous suggestion that the (...) word ‘I’ has two distinct uses: a subject-use and an object-use. The purpose of Wittgenstein's suggestion has, however, been widely misunderstood. I unpack it in Section 2, explaining how the subject-use connects with a phenomenological language, and so again tempts us into solipsism. In Sections 3–4, I consider various stages of Wittgenstein's engagement with this kind of solipsism, culminating in a rejection of solipsism via reflections on private languages. (shrink)

This paper is an enquiry into the logical, metaphysical, and physical possibility of time travel understood in the sense of the existence of closed worldlines that can be traced out by physical objects. We argue that none of the purported paradoxes rule out time travel either on grounds of logic or metaphysics. More relevantly, modern spacetime theories such as general relativity seem to permit models that feature closed worldlines. We discuss, in the context of Gödel's infamous argument for the ideality (...) of time based on his eponymous spacetime, what this apparent physical possibility of time travel means. Furthermore, we review the recent literature on so-called time machines, i.e., of devices that produce closed worldlines where none would have existed otherwise. Finally, we investigate what the implications of the quantum behaviour of matter for the possibility of time travel might be and explicate in what sense time travel might be possible according to leading contenders for full quantum theories of gravity such as string theory and loop quantum gravity. (shrink)

This volume is the first systematic presentation of the work of Albert Einstein, comprising fourteen essays by leading historians and philosophers of science that introduce readers to his work. Following an introduction that places Einstein's work in the context of his life and times, the book opens with essays on the papers of Einstein's 'miracle year', 1905, covering Brownian motion, light quanta, and special relativity, as well as his contributions to early quantum theory and the opposition to his light quantum (...) hypothesis. Further essays relate Einstein's path to the general theory of relativity (1915) and the beginnings of two fields it spawned, relativistic cosmology and gravitational waves. Essays on Einstein's later years examine his unified field theory program and his critique of quantum mechanics. The closing essays explore the relation between Einstein's work and twentieth-century philosophy, as well as his political writings. (shrink)

This paper develops my (BJPS 2009) criticisms of the philosophical significance of a certain sort of infinitary computational process, a hyperloop. I start by considering whether hyperloops suggest that "effectively computable" is vague (in some sense). I then consider and criticise two arguments by Hogarth, who maintains that hyperloops undermine the very idea of effective computability. I conclude that hyperloops, on their own, cannot threaten the notion of an effective procedure.

Psychedelic ingestion and meditative practice are both ancient methods for altering consciousness that became widely known in Western society in the second half of the 20th century. Do the similarities begin and end there, or do these methods – as many have claimed over the years – share some deeper common elements? In this chapter I take a neurophilosophical approach to this question and argue that there are, indeed, deeper commonalities. Recent empirical studies show that psychedelics and meditation modulate overlapping (...) brain networks involved in the sense of self, salience, and attention; moreover, psychedelics can occasion lasting increases in “mindfulness-related capacities” for taking a non-reactive stance on one’s inner experience (e.g. Sampedro et al. 2017). The self-binding theory of psychedelic ego dissolution (Letheby and Gerrans 2017) offers a plausible explanation of these findings: by disrupting self-related beliefs implemented in high-level cortical networks, both psychedelics and meditation can “unbind” mental contents from one’s self-model, moving these contents along the continuum from phenomenal transparency to opacity (cf. Metzinger 2003). In other words, both psychedelics and meditation can expose and weaken our foundational beliefs about our own identity, allowing us to disidentify with these beliefs and see them as “just thoughts”. There are connections between these ideas and recent arguments suggesting that psychedelic use may have epistemic benefits consistent with philosophical naturalism (Letheby 2015, 2016, 2019). I conclude with a proposal: these connections may help in thinking about the putative epistemic benefits of meditation practice from a naturalistic perspective. (shrink)

In this paper, I offer an account of social alienation, a genre of alienation engendered by contemporary work that has gone largely overlooked in the ethics of labor. Social alienation consists in a corruption of workers’ relations to their social life and the people that make it up. When one is socially alienated, one’s sociality and close relations exist as a mere afterthought or break from work, while labor is the central activity of one’s life. While one might think that (...) existing solutions to alienated labor would resolve this social alienation, I suggest that such solutions at best leave the problem intact and may in fact contribute to it by giving labor the place of priority in workers’ lives. Resolving social alienation, I suggest, requires rethinking the amount of time we commit to work, the rigidity of the work schedule, and most crucially, the value that we attribute to work as the primary source of purpose in our lives. (shrink)

Whatever the attractions of Tolkein's world, irrealists about fictions do not believe literally that Bilbo Baggins is a hobbit. Instead, irrealists believe that, according to The Lord of the Rings {Bilbo is a hobbit}. But when irrealists want to say something like “I am taller than Bilbo”, there is nowhere good for them to insert the operator “according to The Lord of the Rings”. This is an instance of the operator problem. In this paper, I outline and criticise Sainsbury's (2006) (...) spotty scope approach to the operator problem. Sainsbury treats the problem as syntactic, but the problem is ultimately metaphysical. (shrink)

Catcalls have been said to insult, intimidate, and silence their targets. The harms that catcalls inflict on individuals are reason enough to condemn them. This paper argues that they also inflict a type of structural harm by subordinating their targets. Catcalling initiates an unwanted conversation where none should exist. This brings the rules and norms governing conversations to bear in such a way that the catcall assigns their target a ‘subordinate discourse role’. This not only constrains the behaviour of the (...) target here and now, but also influences the norms governing future conversations. Catcalls are then not only bad because of the effects on their target, but also because of their pernicious contribution to the wider normative landscape. (shrink)