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’.

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)

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.

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)

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)

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)

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)

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)

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)

Necessitists about set theory think that the pure sets exists, and are the way they are, as a matter of necessity. They cannot explain why the sets (de rebus) are all the sets. This constitutes the Ur-Objection against necessitism; it is the primary motivation cited by potentialists about set theory. -/- At least three families of potentialism draw motivation from the Ur-Objection. Contingentists think that any things could form a set even if they actually did not. Prioritists think that sets (...) hyperintensionally depend upon their members. Structural-potentialists think that any possible set-hierarchy could be extended. However, once we have disentangled these three versions of potentialism, we see that the Ur-Objection should not motivate anyone. (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)

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)

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)

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.

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)

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)

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.

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)

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.

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)

Was Swift correct that “reasoning will never make a man correct an ill opinion, which by reasoning he never acquired” (Letter to a Young Gentleman)? If so, what recourse is there to change attitudes especially among those who continue to fervently believe unjustified claims and act upon them in a way that affects other people? I will answer the first question with a qualified yes, and the second I will follow Swift’s implicit proposal to rely upon humor, satire, playful ridicule, (...) and especially irony to unsettle the certainties of those who have not appealed to reason or epistemic justification to maintain their cherished opinions. In the bulk of the chapter, I will then assess what sort of irony Swift employs: is his irony primarily a trope in the service of a particular idea? Or is he truly Socratic in his irony, the sort Kierkegaard admired that transcends the mere rhetorical device and can be viewed as a stance on life in general? The answer to the latter question, in typical Aristotelian fashion, will be yes and no. My account of Socratic Irony will be informed primarily by the works of Alexander Nehemas, Jorge Portilla, and Jonathan Lear’s interpretation of Kierkegaard on Socrates’ irony. (shrink)

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.

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)

A short encyclopedia entry on the issue of whether the value of a whole is equal to the sum of the values of its parts.

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)

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)

It is natural to think that many of our beliefs are rational because they are based on seemings, or on the way things seem. This is especially clear in the case of perception. Many of our mathematical, moral, and memory beliefs also appear to be based on seemings. In each of these cases, it is natural to think that our beliefs are not only based on a seeming, but also that they are rationally based on these seemings—at least assuming there (...) is no relevant counterevidence. This piece is an introduction to a volume dedicated to the question of what the connection is between seemings and justified belief: under what conditions, if any, can a seeming justify its content? (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)

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)

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)

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)

Perceptual dogmatism holds that if it perceptually seems to S that P, then S thereby has prima facie perceptual justification for P. But suppose Wishful Willy's desire for gold cognitively penetrates his perceptual experience and makes it seem to him that the yellow object is a gold nugget. Intuitively, his desire-penetrated seeming can't provide him with prima facie justification for thinking that the object is gold. If this intuitive response is correct, dogmatists have a problem. But if dogmatists have a (...) problem, you do too (well, most of you anyway). Reliabilists have denounced dogmatism's cognitive penetration problems, but they have problems with cognitive penetration that are even worse. (shrink)

This chapter addresses philosophical questions raised in contemporary work on cosmology. It provides an overview of the Standard Model for cosmology and argues that its deficiency in addressing theories regarding the very early universe can be resolved by introducing a dynamical phase of evolution that eliminates the need for a special initial state. The chapter also discusses recent hypotheses about dark matter and energy, issues that it relates to philosophical debates about underdetermination.

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)

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)

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)

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)

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)

It may seem that epistemic and practical rationality weigh reasons differently, because ties in practical rationality tend to generate permissions and ties in epistemic rationality tend to generate a requirement to withhold judgment. I argue that epistemic and practical rationality weigh reasons in the same way, but they have different "default biases". Practical rationality is biased toward every option being permissible whereas epistemic rationality is biased toward withholding judgment's being required.

The category of sympathy marks a number of basic divisions in early modern approaches to action explanations, whether for human agency or for change in the wider natural world. Some authors were critical of using sympathy to explain change. They call such principles “unintelligible” or assume they involve “mysterious” action at a distance. Others, including Margaret Cavendish, Anne Conway, and Gottfried Wilhelm Leibniz, appeal to sympathy to capture natural phenomena, or to supply a backbone to their metaphysics. Here I discuss (...) how concerns about sympathetic actions form at least a partial background for differing seventeenth-century conceptions of what it is to explain action. I argue that critics of sympathy generally insist on an “atomistic” approach to action explanation, which makes primitively relational phenomena come out as problematic. Proponents of sympathy, by contrast, allow for a more holistic approach to action explanation, which allows for such basic connections. Hence, divergent attitudes toward sympathetic action in part explain differences in approaches to explanation. I conclude by showing how some of these core concerns fade into the background when in the eighteenth-century sympathy gets psychologised and individualised. (shrink)

This article has two aims. The first is to open up a line of inquiry into whether epistemic and aesthetic values interact, at the most general level. Does an overall increase in epistemic or aesthetic value in the world have an effect on the alternative value? The second, and more specific, aim is to argue that yes, it does. In particular, I argue that an increase in epistemic value would result in a decrease in aesthetic value, across two important dimensions. (...) First, I argue that, if beliefs universally aligned with a commonly accepted epistemic principle—namely, doxastic correctness—then there would be less aesthetic diversity in the world. And second, I argue that, if beliefs universally aligned with doxastic correctness, then there would also be less overall aesthetic value in the world, at least in some important respects. (shrink)

In a recent article in this journal, Daniel Stephens argues against Chad Hansen’s and Chris Fraser’s interpretations of the later Mohists as realists about the ontology of kinds, contending that the Mohist stance is better explained as conventionalist. This essay defends a realist interpretation of later Mohism that I call “similarity realism,” the view that human-independent reality fixes the similarities that constitute kinds and thus determines what kinds exist and what their members are. I support this interpretation with a (...) new, detailed account of the Mohist conception of a kind on which kind relations lie in inherent similarities between the intrinsic features of objects. This account distinguishes kind relations from “uniting together” and part-whole relations, both of which, unlike kind relations, may be determined by convention. I argue that Stephens’s critique of realist interpretations fails because it confuses the ontological issue of what determines the existence of kinds with the semantic issue of what fixes the names for kinds. (shrink)

Many contemporary philosophers rate error theories poorly. We identify the arguments these philosophers invoke, and expose their deficiencies. We thereby show that the prospects for error theory have been systematically underestimated. By undermining general arguments against all error theories, we leave it open whether any more particular arguments against particular error theories are more successful. The merits of error theories need to be settled on a case-by-case basis: there is no good general argument against error theories.

Chris Letheby, Jaipreet Mattu, and Eric Hochstein try to put an end to the “mysticism wars,” by which they mean the battle between psychedelic researchers who hold that mystical concepts ought to be employed in attempts to describe and understand psychedelic experiences and those who do not hold this. Letheby, Mattu, and Hochstein side with the former and do so on the grounds that (as they put it), “there are no good reasons to abandon mystical concepts in psychedelic science, (...) and plenty of good reasons to keep them.” At bottom, they contend that critiques of the pro-mystical-concepts view can be solved via clarifying concepts and recognizing basic (though significant) distinctions. And though they grant that mystical concepts may one day be superseded in the science of psychedelics, they maintain that this should not occur on the basis of a misplaced conceptual critique, as is (they maintain) the present-day critique of the pro-mystical-concepts view. (shrink)

Classical acquaintance theory is any version of classical foundationalism that appeals to acquaintance in order to account for non-inferential justification. Such theories are well suited to account for a kind of infallible non-inferential justification. Why am I justified in believing that I’m in pain? An initially attractive (partial) answer is that I’m acquainted with my pain. But since I can’t be acquainted with what isn’t there, acquaintance with my pain guarantees that I’m in pain. What’s less clear is whether, given (...) classical acquaintance theory, it’s possible to have non-inferential justification to believe something false. Classical acquaintance theorists try to make room for such a possibility, but I argue that the attempts of Richard Fumerton, Ali Hasan, and Evan Fales are inadequate. I’ll focus on introspective justification, but similar issues arise for a priori justification as well. (shrink)

Computer simulations of the formation and evolution of large-scale structure in the universe are integral to the enterprise of modern cosmology. Establishing the reliability of these simulations has been extremely challenging, primarily because of epistemic opacity. In this setting, robustness analysis defined by requiring converging outputs from a diverse ensemble of simulations is insufficient to determine simulation validity. We propose an alternative path of structured code validation that applies eliminative reasoning to isolate and reduce possible sources of error, a potential (...) path that is already being explored by some cosmologists. (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)