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.

A sequel to the author’s book /Frege’s Puzzle/ (1986).

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.

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)

On Kripke’s intended definition, a term designates an object x rigidly if the term designates x with respect to every possible world in which x exists and does not designate anything else with respect to worlds in which x does not exist. Kripke evidently holds in Naming and Necessity, hereafter N&N (pp. 117–144, passim, and especially at 134, 139–140), that certain general terms – including natural-kind terms like ‘‘water’’ and ‘‘tiger’’, phenomenon terms like ‘‘heat’’ and ‘‘hot’’, and color terms like (...) ‘‘blue’’ – are rigid designators solely as a matter of philosophical semantics (independently of empirical, extra-linguistic facts). As a consequence, Kripke argues, identity statements involving these general terms are like identity statements involving proper names (e.g., ‘‘Clark Kent=Superman’’) in that, solely as a matter of philosophical semantics, they express necessary truths if they are true at all. But whereas it is reasonably clear what it is for a (first-order) singular term to designate, Kripke does not explicitly say what it is for a general term to designate. General terms are standardly treated in modern logic as predicates, usually monadic predicates. There are very forceful reasons – due independently to Church and Godel, and ultimately to Frege – for taking predicates to designate their semantic extensions. But insofar as the extension of the general term ‘‘tiger’’ is the class of actual tigers (or its characteristic function), it is clear that the term does not rigidly designate its extension, since the class of tigers in one possible world may differ from the class of tigers in another. What, then, is it for ‘‘tiger’’ to be rigid? (shrink)

Epistemic trespassers judge matters outside their field of expertise. Trespassing is ubiquitous in this age of interdisciplinary research and recognizing this will require us to be more intellectually modest.

Some philosophers think that the challenge of justifying punishment can be met by a theory that emphasizes the expressive character of punishment. A particular type of theories of this sort - call it Expressive Retributivism [ER] - combines retributivist and expressivist considerations. These theories are retributivist since they justify punishment as an intrinsically appropriate response to wrongdoing, as something wrongdoers deserve, but the expressivist element in these theories seeks to correct for the traditional obscurity of retributivism. Retributivists often rely on (...) appeals to controversial intuitions involving obscure concepts. While retributive intuitions can be compelling, some worry that the justificatory challenge cannot be met merely by appealing to them. ER tries to enhance the clarity and justificatory power of these intuitions and the concepts they invoke by appealing to an expressive conception of punishment. I argue that these theories fail to justify punishment and that there is reason to think that they cannot, in principle, justify punishment. (shrink)

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

I argue that there is moral luck, i.e., that factors beyond our control can affect how laudable or culpable we are.

What are we going to do about ChatGPT? Some philosophical reflections and arguments in general opposition to students using ChatGPT.

Some prominent scientists and philosophers have stated openly that moral and political considerations should influence whether we accept or promulgate scientific theories. This widespread view has significantly influenced the development, and public perception, of intelligence research. Theories related to group differences in intelligence are often rejected a priori on explicitly moral grounds. Thus the idea, frequently expressed by commentators on science, that science is “self-correcting”—that hypotheses are simply abandoned when they are undermined by empirical evidence—may not be correct in all (...) contexts. In this paper, documentation spanning from the early 1970s to the present is collected, which reveals the influence of scientists’ moral and political commitments on the study of intelligence. It is suggested that misrepresenting findings in science to achieve desirable social goals will ultimately harm both science and society. (shrink)

A detailed interpretation is provided of the ‘Gray's Elegy’ passage in Russell's ‘On Denoting’. The passage is suffciently obscure that its principal lessons have been independently rediscovered. Russell attempts to demonstrate that the thesis that definite descriptions are singular terms is untenable. The thesis demands a distinction be drawn between content and designation, but the attempt to form a proposition directly about the content (as by using an appropriate form of quotation) inevitably results in a proposition about the thing designated (...) instead of the content expressed. In light of this collapse, argues Russell, the thesis that definite descriptions are singular terms must accept that all propositions about a description's content represent it by means of a higher-level descriptive content, so that knowledge of a description's content is always ‘by description’, not ‘by acquaintance’. This, according to Russell, renders our cognitive grip on definite descriptions inexplicable. Separate responses on behalf of Fregeans and Millians are offered. (shrink)

Abstract Both parties in the active philosophical debate concerning the conceptual character of perception trace their roots back to Kant's account of sensible intuition in the Critique of Pure Reason. This striking fact can be attributed to Kant's tendency both to assert and to deny the involvement of our conceptual capacities in sensible intuition. He appears to waver between these two positions in different passages, and can thus seem thoroughly confused on this issue. But this is not, in fact, the (...) case, for, as I will argue, the appearance of contradiction in his account stems from the failure of some commentators to pay sufficient attention to Kant's developmental approach to philosophy. Although he begins by asserting the independence of intuition, Kant proceeds from this nonconceptualist starting point to reveal a deeper connection between intuitions and concepts. On this reading, Kant's seemingly conflicting claims are actually the result of a careful and deliberate strategy for gradually convincing his readers of the conceptual nature of perception. (shrink)

Standard compositionality is the doctrine that the semantic content of a compound expression is a function of the semantic contents of the contentful component expressions. In 1954 Hilary Putnam proposed that standard compositionality be replaced by a stricter version according to which even sentences that are synonymously isomorphic (in the sense of Alonzo Church) are not strictly synonymous unless they have the same logical form. On Putnam’s proposal, the semantic content of a compound expression is a function of: (i) the (...) contentful component expressions; and (ii) the expression’s logical form. Kit Fine recently expanded and modified Putnam’s idea into a sweeping theory in philosophy of language and philosophy of mind. The present paper is a detailed critique of Fine’s “semantic relationism.” Fine’s notion of coordination is explained in terms of the familiar pragmatic phenomenon of recognition. A serious error in Fine’s formal disproof of standard Millianism is exposed. It is demonstrated furthermore that Church’s original criticism of Putnam’s proposal can be extended to Fine’s semantic relationism. Finally, it is also demonstrated that the positive position Fine proffers to supplant standard Millianism is in fact exactly equivalent to standard Millianism, so that Fine’s overall position not only does not displace standard Millianism but is in fact inconsistent. (shrink)

Alonzo Church provided three criteria for “strict synonymy”, i.e., sameness of semantic content: Alternatives (0), (1), and (2)--in order of increasing course-grainedness of content. On (2) expressions are strictly synonymous iff they are logically equivalent. (1) is a significant improvement over (2). On (1) expressions are synonymous iff they are lambda-convertible. Even on (1), assuming the Millian account of proper names, ‘Tully admires Cicero’ is deemed synonymous with ‘Cicero is self-admiring’. On (0) expressions are strictly synonymous iff they are “synonymously (...) isomorphic” in Church’s sense. A fourth alternative, here called ‘(3)’, has been maintained by several philosophers. On (3) expressions are strictly synonymous iff they are co-intensional. In particular, sentences are strictly synonymous iff they are true with resect to the same possible worlds. This criterion’s notion of content is even more course grained than that of (2). Several objections to (3) are considered. (shrink)

A Russellian notion of what it is for a proposition to be “directly about” something in particular is defined. Various strong and weak, and mediate and immediate, Russellian notions of general aboutness are then defined in terms of Russellian direct aboutness. In particular, a proposition is about something iff the proposition is either directly, or strongly indirectly, about that thing. A competing Russellian account, due to Kaplan, is criticized through a distinction between knowledge by description and denoting by description. The (...) epistemological significance of Russellian aboutness is assessed. A Russellian substitute for de re propositional attitude is considered. (shrink)

The past decade and a half has seen an absolute explosion of literature discussing the structure of reality. One particular focus here has been on the fundamental. However, while there has been extensive discussion, numerous fundamental questions about fundamentality have not been touched upon. In this chapter, I focus on one such lacuna about the modal strength of fundamentality. More specifically, I am interested in exploring the contingent fundamentality thesis - that is, the idea that the fundamentalia are only contingently (...) fundamental (or, in property-terms, that the property of being fundamental is not a (weakly) necessary property). And while I think this thesis is plausible – indeed, I show here that it lurks in the unexamined shadows/assumptions of some fairly prominent positions – as far as I can tell, nothing has been said either for or against it. Here, I hope to fix this by giving the thesis a proper airing. In this way, this chapter represents a first-pass at exploring not only the modal status of fundamentality, but also offers a starting point for examining broader issues about the relationship between fundamentality and modality. (shrink)

I demonstrate that a "speech act" theory of meaning for imperatives is—contra a dominant position in philosophy and linguistics—theoretically desirable. A speech act-theoretic account of the meaning of an imperative !φ is characterized, broadly, by the following claims. -/- LINGUISTIC MEANING AS USE !φ’s meaning is a matter of the speech act an utterance of it conventionally functions to express—what a speaker conventionally uses it to do (its conventional discourse function, CDF). -/- IMPERATIVE USE AS PRACTICAL !φ's CDF is to (...) express a practical (non-representational) state of mind—one concerning an agent's preferences and plans, rather than her beliefs. -/- Opposed to speech act accounts is a preponderance of views which deny that a sentence's linguistic meaning is a matter of what speech act it is used to perform, or its CDF. On such accounts, meaning is, instead, a matter of "static" properties of the sentence—e.g., how it depicts the world as being (or, more neutrally, the properties of a model-theoretic object with which the semantic value of the sentence co-varies). On one version of a static account, an imperative 'shut the window!' might, for instance, depict the world as being such that the window must be shut. -/- Static accounts are traditionally motivated against speech act-theoretic accounts by appeal to supposedly irremediable explanatory deficiencies in the latter. Whatever a static account loses in saying (prima facie counterintuitively) that an imperative conventionally represents, or expresses a picture of the world, is said to be offset by its ability to explain a variety of phenomena for which speech act-theoretic accounts are said to lack good explanations (even, in many cases, the bare ability to offer something that might meet basic criteria on what a good explanation should be like). -/- I aim to turn the tables on static accounts. I do this by showing that speech act accounts are capable of giving explanations of phenomena which fans of static accounts have alleged them unable to give. Indeed, for a variety of absolutely fundamental phenomena having to do with the conventional meaning of imperatives (and other types of practical language), speech act accounts provide natural and theoretically satisfying explanations, where a representational account provides none. (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)

The Counterfactual Comparative Account of Harm says that an event is overall harmful for someone if and only if it makes her worse off than she otherwise would have been. I defend this account from two common objections.

When central authority fails in socially crucial tasks, mutual aid, solidarity, and grassroots organization frequently arise as people take up slack on the basis of informal networks and civil society organizations. We can learn something important about the possibility of horizontal organization by studying such experiments. In this paper we focus on the rationality, care, and effectiveness of grassroots measures to respond to the pandemic and show how they illustrate core elements of anarchist thought. We do not argue for the (...) correctness of any version of anarchist politics, nor claim that the bulk of this grassroots work was done with anarchist ideas explicitly in mind. Nonetheless, the current pandemic, like many social crises before it, serves as a sort experiment in political implementation. -/- Two things have been striking in the US response to the COVID-19 pandemic: the chaos, incompetence, irrationality, and often cruel misguidedness of the centralized government response; and the rationality, care, and effectiveness of grassroots measures in many parts of the country. In this paper we focus on the latter—especially the case of Washington, DC—to illustrate core features of anarchist politics. We do not argue for the correctness of any version of anarchist politics here, but merely illustrate guiding ideas that have been a part of anarchist theory and practice for well over a century. We also do not claim that the bulk of this grassroots work was done with anarchist ideas in mind, or explicitly out of a commitment to anarchist politics. Some was, and some arises out of related ideological commitments, but most simply functions out of no more than a desire to support one another. -/- The current pandemic, like many social crises before it, rather than providing a stand-alone argument or functioning as an implementation of any political theory, serves as a sort of laboratory experiment. When central authority fails in socially crucial tasks, mutual aid, solidarity, and grassroots organization frequently arise as people take up slack on the basis of informal networks and civil society organizations. We can learn something important about the possibility of horizontal organization by studying such experiments, including how it arises through spontaneous action. If political thought is best illustrated through its implementation in practice, the functioning of grassroots individuals and organizations in a time of crisis is one way to understand the political mechanisms core to anarchist thought. (shrink)

We offer an original argument for the existence of universal fictions—that is, fictions within which every possible proposition is true. Specifically, we detail a trio of such fictions, along with an easy-to-follow recipe for generating more. After exploring several consequences and dismissing some objections, we conclude that fiction, unlike reality, is unlimited when it comes to truth.

There is an inconsistency among claims made (or apparently made) in separate articles by Alonzo Church concerning Frege's distinction between sense and denotation taken together with plausible assertions by Frege concerning his notion of ungerade Sinn-i.e., the sense that an expression allegedly takes on in positions in which it has ungerade Bedeutung, denoting its own customary sense. As with any inconsistency, the difficulty can be avoided by relinquishing one of the joint assumptions from which contradiction may be derived. Yet what (...) seems the most plausible resolution, in light of Church's own arguments, involves abandoning the theory of sense and denotation, in the form in which it has been staunchly advocated by both Frege and Church. That theory has come under sustained criticism from several quarters. Whereas the present difficulty supplements the case against the theory, it is unlike more familiar criticisms, since it is not framed from the perspective of an alternative theory (or picture) but is based instead on an internal conflict, and therefore has special force. (shrink)

In the transcendental deduction, the central argument of the Critique of Pure Reason, Kant seeks to secure the objective validity of our basic categories of thought. He distinguishes objective and subjective sides of this argument. The latter side, the subjective deduction, is normally understood as an investigation of our cognitive faculties. It is identified with Kant’s account of a threefold synthesis involved in our cognition of objects of experience, and it is said to precede and ground Kant’s proof of the (...) validity of the categories in the objective deduction. I challenge this standard reading of the subjective deduction, arguing, first, that there is little textual evidence for it, and, second, that it encourages a problematic conception of how the deduction works. In its place, I present a new reading of the subjective deduction. Rather than being a broad investigation of our cognitive faculties, it should be seen as addressing a specific worry that arises in the course of the objective deduction. The latter establishes the need for a necessary connection between our capacities for thinking and being given objects, but Kant acknowledges that his readers might struggle to comprehend how these seemingly independent capacities are coordinated. Even worse, they might well believe that in asserting this necessary connection, Kant’s position amounts to an implausible subjective idealism. The subjective deduction ismeant to allay these concerns by showing that they rest on a misunderstanding of the relation between these faculties. This new reading of the subjective deduction offers a better fit with Kant’s text. It also has broader implications, for it reveals the more philosophically plausible account of our relation to the world as thinkers that Kant is defending – an account that is largely obscured by the standard reading of the subjective deduction. (shrink)

In this candid autobiographical essay, Nathan Salmon recounts and assesses the impact of various philosophers and events on his philosophical development.

A thesis (“weak BCP”) nearly universally held among philosophers of probability connects the concepts of objective chance and metaphysical modality: Any prospect (outcome) that has a positive chance of obtaining is metaphysically possible—(nearly) equivalently, any metaphysically impossible prospect has zero chance. Particular counterexamples are provided utilizing the monotonicity of chance, one of them related to the four world paradox. Explanations are offered for the persistent feeling that there cannot be chancy metaphysical necessities or chancy metaphysical impossibilities. Chance is objective but (...) contrary to popular opinion it is also largely epistemic. Chancy necessities are analogous to necessary a posteriori truths. Philosophy and Phenomenological Research, Volume 99, Issue 3, Page 644-662, November 2019. (shrink)

I defend the widely-held view that morally worthy action need not be motivated by a desire to promote rightness as such. Some have recently come to reject this view, arguing that desires for rightness as such are necessary for avoiding a certain kind of luck thought incompatible with morally worthy action. I show that those who defend desires for rightness as such on the basis of this argument misunderstand the relationship between moral worth and the kind of luck that their (...) argument employs. Consequently, the argument provides no reason to doubt the popular view that a desire for rightness as such is no part of virtue. I conclude by suggesting that a family of worries about merely accidentally right action presuppose one side of the recent debate about objectivism and perspectivism about moral rightness. (shrink)

In recent years there has been an explosion of philosophical work on blame. Much of this work has focused on explicating the nature of blame or on examining the norms that govern it, and the primary motivation for theorizing about blame seems to derive from blame’s tight connection to responsibility. However, very little philosophical attention has been given to praise and its attendant practices. In this paper, I identify three possible explanations for this lack of attention. My goal is to (...) show that each of these lines of thought is mistaken and to argue that praise is deserving of careful, independent analysis by philosophers interested in theorizing about responsibility. (shrink)