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)

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)

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.

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)

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)

Issues of communication and the possibilities for the transformation of perspectives through an experimental dialogue resulting in a mutual, open, receptive, and non-judgmental consideration of the other are addressed in this paper from transdisciplinary theoretical and conceptual standpoints. The warrant for cultivating this type of communicative ability is based on arguments resulting from the assumption of widespread confusion and conflict in intrapersonal, interpersonal, intergroup, and ecological relations across the globe. I argue that there are two distinct classes of “reasons” for (...) this proposed practice of dialogue. First is recognition of the need for human individuals to engage in a regular and systematic “social maintenance” of embodied consciousness to forestall the continuous colonization of the past/future on the living present that embodied consciousness entails. Second is the teaching of a skill to creatively and respectfully engage with others in a mutual transformation of perspectives. This paper addresses the general problem of perspectives and reflexivity at the root of the communication phenomenon and by extension – to its scale and to its pathologies in individuals and collectives. It is argued that suspension of judgment, assumption, and habit helps interlocutors to recognize the possibility of holding one's history in a tensional abeyance and to focus on the living present independent of habitualized and reified identities and the embodied manner in which we unconsciously carry ourselves as social or “universalized selves” in social situations. (shrink)

Supererogatory acts are, in some sense, morally better their non-supererogatory alternatives. In this sense, what is it for one option A to be better than an alternative B? I argue for three main conclusions. First, relative rankings are a type of all-in action guidance. If A is better than B, then morality recommends that you A rather than B. Such all-in guidance is useful when acts have the same deontic status. Second, I argue that Right > Wrong: permissible acts are (...) always better than their impermissible alternatives. If Right > Wrong were false, then morality’s deontic verdicts would sometimes conflict with its relative rankings. Such conflict would undermine the thought that morality is a coherent, authoritative guide to action. Third, the All or Nothing Problem is not a counterexample to Right > Wrong as is commonly thought. Instead, it involves an interesting ranking reversal: whether A > B can depend on whether a certain alternative is added as a third option. (shrink)

Trinitarians are charged with at least two contradictions. First, the Father is God and the Son is God, so it seems to follow that the Father is the Son. Trinitarians affirm the premises but deny the conclusion, which seems contradictory. Second, the Father is a God, the Son is a God, and the Holy Spirit is a God, but the Father is not the Son, the Father is not the Holy Spirit, and the Son is not the Holy Spirit. This (...) argument seems to entail that there are three Gods. Again, Trinitarians affirm the premises but deny the conclusion. In this article, I present a novel Trinitarian solution to these alleged contradictions. The solution allows one to maintain that the premises in the above arguments are absolute identity statements, forestalls the need to develop a new way of counting (e.g. by sortals or numerical sameness), and is compatible with divine simplicity. (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)

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)

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)

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)

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)

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)

We can often permissibly choose a worse self-interested option over a better altruistic alternative. For example, it is permissible to eat out rather than donate the money to feed five hungry children for a single meal. If we eat out, we do something permissibly partial toward ourselves. If we donate, we go beyond the call of moral duty and do something supererogatory. Such phenomena aren’t easy to explain, and they rule out otherwise promising moral theories. Incommensurability and Ruth Chang’s notion (...) of parity can explain certain small improvement puzzles, but they can’t explain permissible partiality and supererogation. On the other hand, Josh Gert’s distinction between justifying and requiring weight can explain all three phenomena: permissible partiality, supererogation, and the relevant small improvement puzzle. Indeed, this chapter provides a reason to endorse the justifying/requiring weight distinction by showing that it provides the only extant explanation of all three phenomena. (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)

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)

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

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)

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.

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)

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)

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)

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)

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.

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 articulates and defends an underexplored account of faith—the perspectival account of faith—according to which faith is a value-oriented perspective on the world toward which the subject has a pro-attitude. After describing this account of faith and outlining what it is to have faith on the perspectival account, I show that the perspectival account meets methodological criteria for an account of faith. I then show that this account of faith can be used to unify various faith locutions: having faith (...) that p (propositional faith), having faith in something (attitudinal faith), being a person of faith (global faith), articles of faith (creedal faith), and acts of faith (praxical faith). Finally, since the perspectival account of faith is a cognitive account of faith, I defend the perspectival view against objections to cognitive accounts of faith. (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)

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)

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)

It is plausible that the universe exists: a thing such that absolutely everything is a part of it. It is also plausible that singular, structured propositions exist: propositions that literally have individuals as parts. Furthermore, it is plausible that for each thing, there is a singular, structured proposition that has it as a part. Finally, it is plausible that parthood is a partial ordering: reflexive, transitive, and anti-symmetric. These plausible claims cannot all be correct. We canvass some costs of denying (...) each claim and conclude that parthood is not a partial ordering. Provided that the relevant entities exist, parthood is not anti-symmetric and proper parthood is neither asymmetric nor transitive. (shrink)

We offer two arguments against the halving repose to Sleeping Beauty. First, we show that halving violates the Epistemological Sure-Thing Principle, which we argue is a necessary constraint on any reasonable probability assignment. The constraint is that if hypothetically on C you assign to A the same probability you assign to A hypothetical on not-C, you must assign that probability to A simpliciter. Epistemically, it's a sure thing for you that A has this probability. Second, we show that halving violates (...) solid statistical reasoning (or draws absurdly irrelevant distinctions). (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

The Higgs mechanism is an essential but elusive component of the Standard Model of particle physics. Without it Yang‐Mills gauge theories would have been little more than a warm‐up exercise in the attempt to quantize gravity rather than serving as the basis for the Standard Model. This article focuses on two problems related to the Higgs mechanism clearly posed in Earman’s recent papers (Earman 2003, 2004a, 2004b): what is the gauge‐invariant content of the Higgs mechanism, and what does it mean (...) to break a local gauge symmetry? (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)

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)

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.

Siyaves Azeri (2020) quite well shows that arithmetical thinking emerges on the basis of specific social practices and material engagement (clay tokens for economic exchange practices beget number concepts, e.g.). But his discussion here is relegated mostly to Neolithic and Bronze Age practices. While surely such practices produced revolutions in the cognitive abilities of many humans, much of the cognitive architecture that allows normative conceptual thought was already in place long before this time. This response, then, is an attempt to (...) sketch the deep prehistory of human cognition in order to show the inter-social bases of normative thought in general. To do this, I will look first to the work of Vygotsky and Leontiev, two often neglected psychologists whose combined efforts culminate in a developmental account of human cognitive origins. Then, I will review some key insights from the contemporary comparative psychologist Michael Tomasello—whose project is admittedly a Vygotskian one—in order to further shed light on the social-practical basis of abstract thought, of which mathematical cognition is surely a part. (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)

This article investigates the relationships between forms of humor that conjure up possible worlds and real-world social critiques. The first part of the article will argue that subversive humor, which is from or on behalf of historically and continually marginalized communities, constitutes a kind of aesthetic experience that can elicit enjoyment even in adversarial audiences. The second part will be a connecting piece, arguing that subversive humor can be constructed as brief narrative thought experiments that employ the use of fictionalized (...) scenarios to facilitate an open, playful attitude, encouraging a space for collaborative interpretation. This interaction between humorist and audience is an aesthetic experience that is enjoyable in and of itself, as the feelings of mirth are intrinsically valuable. But connected to the “Ha-ha!” experience of these sorts of humorous creations is an “Aha!” or potentially revelatory experience that is a mixture of cognitive comprehension and motivated (emotional) response. The third part of the article will attempt to go beyond the consciousness-raising element with an account of how such possible worlds created in the realm of imagination through subversive humor can bleed into the real world of flesh and blood people. Finally, an example of subversive humor will be analyzed. (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)

Inflationary cosmology has been widely accepted due to its successful predictions: for a “generic” initial state, inflation produces a homogeneous, flat, bubble with an appropriate spectrum of density perturbations. However, the discovery that inflation is “generically eternal,” leading to a vast multiverse of inflationary bubbles with different low-energy physics, threatens to undermine this account. There is a “predictability crisis” in eternal inflation, because extracting predictions apparently requires a well-defined measure over the multiverse. This has led to discussions of anthropic predictions (...) based on a measure over the multiverse, and an assumption that we are typical observers. I will give a pessimistic assessment of attempts to make predictions in this sense, emphasizing in particular problems that arise even if a unique measure can be found. (shrink)

Ethicists increasingly reject the scale as a useful metaphor for weighing reasons. Yet they generally retain the metaphor of a reason’s weight. This combination is incoherent. The metaphor of weight entails a very specific scale-based model of weighing reasons, Dual Scale. Justin Snedegar worries that scale-based models of weighing reasons can’t properly weigh reasons against an option. I show that there are, in fact, two different reasons for/against distinctions, and I provide an account of the relationship between the various kinds (...) of reason for and against. With this account in hand, we’ll see that Dual Scale has no problem weighing any kind of reason against. (shrink)