Nathan Salmon; XII*—How to Measure the Standard Metre, Proceedings of the Aristotelian Society, Volume 88, Issue 1, 1 June 1988, Pages 193–218.

It is widely held that metaphysical modality is the broadest non-epistemic, alethic modality, and that /a posteriori/ modal essentialist truths, like that gold has atomic number 79, enjoy the necessity of the broadest alethic modality. One prominent argument for these conclusions--given by Cian Dorr, John Hawthorne, and Juhani Yli-Vakkuri--rests upon an extremely dubious premise: that certain pairs of properties—e.g., being gold and being made of atoms containing 79 protons—are one and the very same property. The two properties are seen to (...) be distinct on independent philosophical grounds. Metaphysical modality is in fact a restricted alethic modality. In particular, mathematical modality is broader than metaphysical modality. Arguably, the broadest alethic modality is logical modality, which is distinct from metaphysical modality. Even if it is metaphysically necessary that gold have atomic number 79, there is no logical/analytical inconsistency in the supposition that it does not. (shrink)

Kit Fine has replied to my criticism of a technical objection he had given to the version of Millianism that I advocate. Fine evidently objects to my use of classical existential instantiation in an object-theoretic rendering of his meta-proof. Fine’s reply appears to involve both an egregious misreading of my criticism and a significant logical error. I argue that my rendering is unimpeachable, that the issue over my use of classical EI is a red herring, and that Fine’s original argument (...) commits the straw-man fallacy. I argue further that contrary to Fine’s gratuitous attribution, what Kripke’s Pierre lacks and a typical bilingual has is not knowledge of a “manifest-making” premise, but the capacity to recognize London when it is differently designated. Fine’s argument refutes a preposterous theory no one advocates while leaving standard Millianism unscathed. The failure of his argument threatens to render Fine’s central notion of “coordination” redundant or empty. (shrink)

I think that there is an awful lot wrong with the exclusion problem. So, it seems, does just about everybody else. But of course everyone disagrees about exactly _what_ is wrong with it, and I think there is more to be said about that. So I propose to say a few more words about why the exclusion problem is not really a problem after all—at least, not for the nonreductive physicalist. The genuine _dualist_ is still in trouble. Indeed, one of (...) my main points will be that the nonreductive physicalist is in a rather different position vis à vis the exclusion problem than the dualist is. Properly understanding nonreductive physicalism—and clearly recognizing that it is, after all, a form of _physicalism_—goes a long way toward solving the exclusion problem. (shrink)

Relationships between current theories, and relationships between current theories and the sought theory of quantum gravity (QG), play an essential role in motivating the need for QG, aiding the search for QG, and defining what would count as QG. Correspondence is the broad class of inter-theory relationships intended to demonstrate the necessary compatibility of two theories whose domains of validity overlap, in the overlap regions. The variety of roles that correspondence plays in the search for QG are illustrated, using examples (...) from specific QG approaches. Reduction is argued to be a special case of correspondence, and to form part of the definition of QG. Finally, the appropriate account of emergence in the context of QG is presented, and compared to conceptions of emergence in the broader philosophy literature. It is argued that, while emergence is likely to hold between QG and general relativity, emergence is not part of the definition of QG, and nor can it serve usefully in the development and justification of the new theory. (shrink)

The dogma that the propositional logic of metaphysical modality is S5 is rebutted. The author exposes fallacies in standard arguments supporting S5, arguing that propositional metaphysical modal logic is weaker even than both S4 and B, and is instead the minimal and weak metaphysical-modal logic T.

Feelings of gratitude toward the natural environment are problematic because gratitude seems to be an appropriate response to someone’s intentional decision to benefit us, and ecosystems that sustain human life do not choose to do so. In accordance with one defense of the rationality and appropriateness of gratitude toward nature, intentional action can be regarded as not being a necessary condition for feelings of gratitude. Instead, gratitude toward an entity can be considered both rational and appropriate when (1) that entity (...) is the source of a valuable and unearned benefit and (2) the benefit did not result from some accidental and/or regrettable feature of that entity’s character. According to this analysis, we can provide a rational ground for gratitude to particular ecosystems by citing the valuable and unearned benefits that we receive from those systems and by demonstrating that these benefits result from elements within the ecosystems that are neither regrettable nor accidental. (shrink)

In seeking an answer to the question of what it means for a theory to be fundamental, it is enlightening to ask why the current best theories of physics are not generally believed to be fundamental. This reveals a set of conditions that a theory of physics must satisfy in order to be considered fundamental. Physics aspires to describe ever deeper levels of reality, which may be without end. Ultimately, at any stage we may not be able to tell whether (...) we've reached rock bottom, or even if there is a base level – nevertheless, I draft a checklist to help us identify when to stop digging, in the case where we may have reached a candidate for a final theory. Given that the list is – according to (current) mainstream belief in high-energy physics – complete, and each criterion well-motivated, I argue that a physical theory that satisfies all the criteria can be assumed to be fundamental in the absence of evidence to the contrary (i.e., I argue that the necessary conditions are jointly sufficient for a claim of fundamentality in physics). (shrink)

In times of crisis, when current theories are revealed as inadequate to task, and new physics is thought to be required—physics turns to re-evaluate its principles, and to seek new ones. This paper explores the various types, and roles of principles that feature in the problem of quantum gravity as a current crisis in physics. I illustrate the diversity of the principles being appealed to, and show that principles serve in a variety of roles in all stages of the crisis, (...) including in motivating the need for a new theory, and defining what this theory should be like. In particular, I consider: the generalised correspondence principle, UV-completion, background independence, and the holographic principle. I also explore how the current crisis fits with Friedman’s view on the roles of principles in revolutionary theory-change, finding that while many key aspects of this view are not represented in quantum gravity, the view could potentially offer a useful diagnostic, and prescriptive strategy. This paper is intended to be relatively non-technical, and to bring some of the philosophical issues from the search for quantum gravity to a more general philosophical audience interested in the roles of principles in scientific theory-change. (shrink)

Principles are central to physical reasoning, particularly in the search for a theory of quantum gravity, where novel empirical data are lacking. One principle widely adopted in the search for QG is ultraviolet completion: the idea that a theory should hold up to all possible high energies. We argue— contra standard scientific practice—that UV-completion is poorly motivated as a guiding principle in theory-construction, and cannot be used as a criterion of theory-justification in the search for QG. For this, we explore (...) the reasons for expecting, or desiring, a UV-complete theory, as well as analyse how UV-completion is used, and how it should be used, in various specific approaches to QG. 1Introduction 1.1Principles in theory development and evaluation 2Primer on UV-Completion, Renormalizability, and All That 2.1Renormalizability and UV-completion 2.2Other forms of UV-completion 3Why Should QG Be UV-Complete? 3.1UV-completion and fundamentality 3.2UV-completion and minimal length 4UV-Completion in Different Approaches to QG 4.1String theory 4.2Asymptotic safety 4.3Causal dynamical triangulation 4.4Higher derivative approaches 4.5Supergravity 4.6Causal set theory 4.7Canonical QG 4.8Loop quantum gravity 4.9Approaches based on alternative gravitational theories 4.10Emergent gravity approaches 5UV-Completion as a Guiding Principle in QG 6Conclusion. (shrink)

A distinction is drawn among predicates, open sentences (or open formulas), and general terms, including general-term phrases. Attaching a copula, perhaps together with an article, to a general term yields a predicate. Predicates can also be obtained through lambda-abstraction on an open sentence. The issue of designation and semantic content for each type of general expression is investigated. It is argued that the designatum of a general term is a universal, e.g., a kind, whereas the designatum of a predicate is (...) a class (or its characteristic function) and the designatum of an open sentence is a truth-value. Predicates and open sentences are therefore typically non-rigid designators. It is argued further that certain general terms, including phrases, are invariably rigid designators, whereas certain others (general definite descriptions) are typically non-rigid. Suitable semantic contents for predicates, open sentences, and general terms are proposed. Consequences for the thesis of compositionality are drawn. (shrink)

Between 1653 and 1655 Margaret Cavendish makes a radical transition in her theory of matter, rejecting her earlier atomism in favour of an infinitely-extended and infinitely-divisible material plenum, with matter being ubiquitously self-moving, sensing, and rational. It is unclear, however, if Cavendish can actually dispense of atomism. One of her arguments against atomism, for example, depends upon the created world being harmonious and orderly, a premise Cavendish herself repeatedly undermines by noting nature’s many disorders. I argue that her supposed difficulties (...) with atomism expose a deeper tension in her work between two fundamental metaphysical commitments each of which has substantial philosophical support: her monist theory of the material world (which maintains that there exists just one natural substance which is the single principal cause) and her occasional theory of causation (which requires multiple finite principal causes in nature -- causes that might be considered individual substances). Her monism undermines atomism while her theory of occasional cause seems to rest on a conception of nature that would be especially friendly to atomism. I argue further that we can solve this tension within a Cavendishian framework in such a way as to preserve her theory of causation and her monism, but that this solution depends upon our taking her monism in a particular (and weak) form. I finally note that we can best make sense of her unique and interesting form of monism by acknowledging her social-political motivations in addition to her motivations in natural philosophy. (shrink)

Theoria, Volume 88, Issue 2, Page 434-437, April 2022.

According to Margaret Cavendish the entire natural world is essentially rational such that everything thinks in some way or another. In this paper, I examine why Cavendish would believe that the natural world is ubiquitously rational, arguing against the usual account, which holds that she does so in order to account for the orderly production of very complex phenomena (e.g. living beings) given the limits of the mechanical philosophy. Rather, I argue, she attributes ubiquitous rationality to the natural world in (...) order to ground a theory of the ubiquitous freedom of nature, which in turn accounts for both the world's orderly and disorderly behavior. (shrink)

A thorough critique (extracted from the author’s 1979 doctoral dissertation) of Kripke’s purported derivation, in footnote 56 of his philosophical masterpiece /Naming and Necessity/, of nontrivial modal essentialism from the theory of rigid designation.

I suspect the answer to the question in the title of this paper is no. But the scope of my paper will be considerably more limited: I will be concerned with whether certain types of considerations that are commonly cited in favor of dynamic semantics do in fact push us towards a dynamic semantics. Ultimately, I will argue that the evidence points to a dynamics of discourse that is best treated pragmatically, rather than as part of the semantics.

My title is meant to suggest a continuation of the sort of philosophical investigation into the nature of language and modality undertaken in Rudolf Carnap’s Meaning and Necessity and Saul Kripke’s Naming and Necessity. My topic belongs in a class with meaning and naming. It is demonstratives—that is, expressions like ‘that darn cat’ or the pronoun ‘he’ used deictically. A few philosophers deserve particular credit for advancing our understanding of demonstratives and other indexical words. Though Naming and Necessity is concerned (...) with proper names, not demonstratives, it opened wide a window that had remained mostly shut in Meaning and Necessity but that, thanks largely to Kripke, shall forevermore remain unbarred. Understanding of demonstrative semantics grew by a quantum leap in David Kaplan’s remarkable work, especially in his masterpiece “Demonstratives” together with its companion “Afterthoughts.” In contrast to the direct-reference propensities of these two contemporary figures, Gottlob Frege, with his uncompromisingly thoroughgoing intensionalism, shed important light on the workings of demonstratives in “Der Gedanke”—more specifically, in a few brief but insightful remarks from a single paragraph concerning tense and temporal indexicality. (shrink)

Typically, a less fundamental theory, or structure, emerging from a more fundamental one is an example of synchronic emergence. A model emerging from a prior model upon which it nevertheless depends is an example of diachronic emergence. The case of spacetime emergent from quantum gravity and quantum cosmology challenges these two conceptions of emergence. Here, I propose two more-general conceptions of emergence, analogous to the synchronic and diachronic ones, but which are potentially applicable to the case of emergent spacetime: an (...) inter-level, hierarchical conception, and an intra-level, ‘flat’ conception. I then explore whether, and how, these ideas may be applicable in the case of several putative examples of relativistic spacetime emergent from the non-spatiotemporal structures described by different approaches to quantum gravity, and of spacetime emergent from a non-spatiotemporal ‘big bang’ state according to different examples of quantum cosmology. (shrink)

The numerous and diverse roles of theory reduction in science have been insufficiently explored in the philosophy literature on reduction. Part of the reason for this has been a lack of attention paid to reduction2 (successional reduction)---although I here argue that this sense of reduction is closer to reduction1 (explanatory reduction) than is commonly recognised, and I use an account of reduction that is neutral between the two. This paper draws attention to the utility---and incredible versatility---of theory reduction. A non-exhaustive (...) list of various applications of reduction in science is presented, some of which are drawn from a particular case-study, being the current search for a new theory of fundamental physics. This case-study is especially interesting because it employs both senses of reduction at once, and because of the huge weight being put on reduction by the different research groups involved; additionally, it presents some unique uses for reduction---revealing, I argue, the fact that reduction can be of specialised and unexpected service in particular scientific cases. The paper makes two other general findings: that the functions of reduction that are typically assumed to characterise the different forms of the relation may instead be understood as secondary consequences of some other roles; and that most of the roles that reduction plays in science can actually also be fulfilled by a weaker relation than (the typical understanding of) reduction. (shrink)

Common sense tells us that in certain circumstances, helping someone is morally obligatory. That intuition appears incompatible with Kant's account of beneficence as a wide imperfect duty, and its implication that agents may exercise latitude over which beneficent actions to perform. In this paper, I offer a resolution to the problem from which it follows that some opportunities to help admit latitude and others do not. I argue that beneficence has two components: the familiar wide duty to help others achieve (...) their ends and a narrow duty to avoid indifference to others as end-setters. Although we are not always required to help, we are always required not to be indifferent. When helping someone is the only way not to be indifferent to a person, helping him/her is obligatory. My account avoids certain difficulties with other proposed solutions and can also address an important concern about proximity. (shrink)

Toward a theory of n-tuples of individuals and concepts as surrogates for Russellian singular propositions and singular concepts. Alonzo Church proposed a powerful and elegant theory of sequences of functions and their arguments as singular-concept surrogates. Church’s account accords with his Alternative (0), the strictest of his three competing criteria for strict synonymy. The currently popular objection to strict criteria like (0) on the basis of the Russell-Myhill paradox is misguided. Russell-Myhill is not a problem specifically for Alternative (0). Rather (...) it is a disproof of unrestricted concept comprehension. Unrestricted comprehension is also inconsistent with facts about sets of properties. It is demonstrated furthermore that the principal rival conception of propositions, as classes of possible worlds, is subject to a fatal philosophical collapse: It follows on that conception, given that each of us is fallible, that everyone believes everything. Although it is far superior to its principal rival conception, Church’s proposed theory is vulnerable under (0) to a version of Russell’s notorious Gray’s /Elegy/ objection. Some amendments to Church’s proposal are proffered that address Russell’s objection, including an amendment first proposed in the present author’s /Frege’s Puzzle/ (1986). Church’s response (personal correspondence) is considered. (shrink)

Bernard Linsky and Edward Zalta have recently proposed a new form of actualism. I characterize the general form of their view and the motivations behind it. I argue that it is not quite new – it bears interesting similarities to Alvin Plantinga’s view – and that it definitely isn’t actualist.

Although Professor Schiffer and I have many times disagreed, I share his deep and abiding commitment to argument as a primary philosophical tool. Regretting any communication failure that has occurred, I endeavor here to make clearer my earlier reply in “Illogical Belief” to Schiffer’s alleged problem for my version of Millianism.1 I shall be skeletal, however; the interested reader is encouraged to turn to “Illogical Belief” for detail and elaboration. I have argued that to bear a propositional attitude de re (...) is to bear that attitude toward the corresponding singular proposition, no more and no less. If this is right, then according to Millianism every instance of the following modal schema is true. (shrink)

University of California, Santa Barbara.

This article focuses on foundational issues in dynamic and static semantics, specifically on what is conceptually at stake between the dynamic framework and the truth-conditional framework, and consequently what kinds of evidence support each framework. The article examines two questions. First, it explores the consequences of taking the proposition as central semantic notion as characteristic of static semantics, and argues that this is not as limiting in accounting for discourse dynamics as many think. Specifically, it explores what it means for (...) a static semantics to incorporate the notion of context change potential in a dynamic pragmatics and denies that this conception of static semantics requires that all updates to the context be eliminative and distributive. Second, it argues that the central difference between the two frameworks is whether semantics or pragmatics accounts for dynamics, and explores what this means for the oft-heard claim that dynamic semantics blurs the semantics/pragmatics distinction. (shrink)

While there are some empirical problems that could suggest the need for a theory of quantum gravity, most of these are not standardly taken as motivations for seeking a new theory. Rather, the quest for a theory of quantum gravity has been primarily motivated, guided, and constrained by philosophical and theoretical concerns. A critical examination of these can help us better understand what the theory is supposed to achieve—and, further, what it should be expected to achieve. On the other hand, (...) there are various approaches towards finding a theory of quantum gravity, with different aims, methods, and starting-points—they disagree on what the theory is supposed to be like. A relevant question is then: what is it that unites these approaches such that we classify them as approaches to quantum gravity? This paper argues that a basic characterisation of the theory can be given in terms of the minimal shared motivation across these different approaches, and that this itself can be seen as motivated by various other problems that have been appealed to as reasons for seeking a theory of quantum gravity. (shrink)

This article explores and defends the idea that the etiquette conventions governing dinner parties, whether formal or informal, have moral significance. Their significance derives from the way that they foster and facilitate shared moral aims. I draw on literary and philosophical sources to make this claim, beginning with Isak Dineson's short story, Babette's Feast. I employ the concept of ritual from Confucius and Xunzi, as well as Immanuel Kant's detailed discussion of dinner parties in the Anthropology. Kant's account in particular (...) helps illuminate how properly conducted dinners can enhance our understanding and promote moral community among the people who attend. I conclude that dinner parties play an important role in the moral life, and that the etiquette conventions governing them derive their binding force from their contribution to that role. (shrink)

Within physics there are two ways of establishing the relative fundamentality of one theory compared to another, via two senses of reduction: "inter-level" and "intra-level" (Crowther, 2018). The former is standardly recognised as roughly correlating with the chain of ontological dependence (i.e., the phenomena described by theories of macro-physics are typically supposed to be ontologically dependent on the entities/behaviour described by theories of micro-physics), and thus has been of interest to naturalised metaphysics. The latter, though, has not been considered interesting (...) for metaphysics, because it is not thought to correlate either with ontological dependence, nor causal or dynamical dependence. I argue, however, that this is a mistake, and that actually, the intra-level relation does reflect ontological dependence (in the same sense as the inter-level relation) and thus should not be neglected by metaphysics of physics. This argument further supports the assertion that the same notion of fundamentality underlies both the inter- and intra-level claims of fundamentality in physics, and that this notion of relative fundamentality in physics correlates with that of metaphysics. (shrink)

An elderly patient in a care home only wants human nurses to provide her care – not robots. If she selected her carers based on skin colour, it would be seen as racist and morally objectionable, but is choosing a human nurse instead of a robot also morally objectionable and speciesist? A plausible response is that it is not, because humans provide a better standard of care than robots do, making such a choice justifiable. In this paper, I show why (...) this response is incorrect, because robots can theoretically care as well as human nurses can. I differentiate between practical caring and emotional caring, and I argue that robots can match the standard of practical care given by human nurses, and they can simulate emotional care. There is growing evidence that people respond positively to robotic creatures and carebots, and AI software is apt to emotionally support patients in spite of the machine’s own lack of emotions. I make the case that the appearance of emotional care is sufficient, and need not be linked to emotional states within the robot. After all, human nurses undoubtedly ‘fake’ emotional care and compassion sometimes, yet their patients still feel adequately cared for. I show that it is a mistake to claim that ‘the human touch’ is in itself a contributor to a higher standard of care; ‘the robotic touch’ will suffice. Nevertheless, it is not speciesist to favour human nurses over carebots, because carebots do not suffer as the result of such a choice. (shrink)