For a period of several years the philosopher of science Hasok Chang has promoted various inter-related views including pluralism, pragmatism, and an associated view of natural kinds. He has also argued for what he calls the persistence of everyday terms in the scientific view. Chang claims that terms like phlogiston were never truly abandoned but became transformed into different concepts that remain useful. On the other hand, Chang argues that some scientific terms such as acidity have suffered a form of (...) “rupture”, especially in the case of the modern Lewis definition of acids. Chang also complains that the degree of acidity of a Lewis acid cannot be measured using a pH meter and seems to regard this as a serious problem. The present paper examines some of these views, especially what Chang claims to be a rupture in the definition of acidity. It is suggested that there has been no such rupture but a genuine generalization, on moving from the Brønsted-Lowry theory to the Lewis theory of acidity. It will be shown how the quantification and measurement of Lewis acidity can easily be realized through the use of equilibrium theory and the use of stability constants. (shrink)

In statistics, there are two main paradigms: classical and Bayesian statistics. The purpose of this article is to investigate the extent to which classicists and Bayesians can agree. My conclusion is that, in certain situations, they cannot. The upshot is that, if we assume that the classicist is not allowed to have a higher degree of belief in a null hypothesis after he has rejected it than before, then he has to either have trivial or incoherent credences to begin with (...) or fail to update his credences by conditionalization. (shrink)

The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined even if it is not sufficiently formal and precise to belong to mathematics proper (in a narrow sense)—and even if (as many have asserted) for that reason the Church–Turing thesis is unprovable. It is proved logically that the class of effective procedures is not decidable, i.e., that no effective procedure is possible for ascertaining whether a given procedure is effective. This (...) undecidability result is proved directly from the notion itself of an effective procedure, without reliance on any (partly) mathematical lemma, conjecture, or thesis invoking recursiveness or Turing-computability. In fact, there is no reliance on anything very mathematical. The proof does not even appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of an effective procedure. Though the result that effectiveness is undecidable is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure invariably terminates with the correct verdict. (shrink)

A paradox about sets of properties is presented. The paradox, which invokes an impredicatively defined property, is formalized in a free third-order logic with lambda-abstraction, through a classically proof-theoretically valid deduction of a contradiction from a single premise to the effect that every property has a unit set. Something like a model is offered to establish that the premise is, although classically inconsistent, nevertheless consistent, so that the paradox discredits the logic employed. A resolution through the ramified theory of types (...) is considered. Finally, a general scheme that generates a family of analogous paradoxes and a generally applicable resolution are proposed. (shrink)

The notion of domain specificity plays a central role in some of the most important debates in cognitive science. Yet, despite the widespread reliance on domain specificity in recent theorizing in cognitive science, this notion remains elusive. Critics have claimed that the notion of domain specificity can't bear the theoretical weight that has been put on it and that it should be abandoned. Even its most steadfast proponents have highlighted puzzles and tensions that arise once one tries to go beyond (...) an initial intuitive sketch of what domain specificity involves. In this paper, we address these concerns head on by developing an account of what it means for a cognitive mechanism to be domain specific that overcomes the obstacles that have made domain specificity seem so problematic. We then apply this understanding of domain specificity to one of the key debates that it has figured prominently in—the rationalism-empiricism debate concerning the origins of cognitive traits—and introduce several related theoretical notions that work alongside domain specificity in helping to clarify what makes a view more (or less) rationalist. This example illustrates how the notion of domain specificity can, and should, continue to play a central role in ongoing debates in cognitive science. (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.

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

In this paper, we argue that promoting patient values is a legitimate goal of medicine. Our view offers a justification for certain current practices, including birth control and living organ donation, that are widely accepted but do not fit neatly within the most common extant accounts of the goals of medicine. Moreover, we argue that recognising value promotion as a goal of medicine will expand the scope of medical practice by including some procedures that are sometimes rejected as being outside (...) the scope of acceptable medical practice, such as certain forms of physician-assisted death. We then rebut some common and possible objections to this view. Our aim is not to argue that other accounts are mistaken—except when they argue for a single goal that does not include patient values—but rather to show that value promotion should play a more central role in discussions about the goals of medicine. (shrink)

Here I consider the two most venerated arguments about the existence of God: the Ontological Argument and the Argument from Evil. The Ontological Argument purports to show that God’s nature guarantees that God exists. The Argument from Evil purports to show that God’s nature, combined with some plausible facts about the way the world is, guarantees (or is very compelling grounds for thinking) that God does not exist. Obviously, both arguments cannot be sound. But I argue here that they are (...) both unsound for the very same reason. (shrink)

Legal theorists seek to persuade other jurists of certain theories: Textualism or purposivism; formalism or realism; natural law theory or positivism; prison reform or abolition; universal or particular human rights? Despite voluminous literature about these debates, tremendous uncertainty remains about which views experts endorse. This Article presents the first-ever empirical study of American law professors about legal theory questions. A novel dataset of over six hundred law professors reveals expert consensus and dissensus about dozens of longstanding legal theory debates. -/- (...) Law professors also debate questions about the nature of the legal academy. Descriptively, which subjects (e.g. constitutional law) and methods (e.g. law & economics) are most central within the legal academy today? And prescriptively, should today’s legal academy prioritize additional areas (e.g. legislation) or methods (e.g. critical race theory)? There is great interest in these questions but no empirical dataset of experts’ views; this results in uncertainty about which views experts endorse. This Article’s empirical study also clarifies these questions, documenting law professors’ evaluation of over one-hundred areas of law. -/- The legal theory and legal academy findings support implications for legal scholarship, education, and practice. Clearly, debates about law and the legal academy’s evolution should not be settled by a survey. Nevertheless, insofar as law professors are experts about these issues, it is instructive to discover and carefully examine what views those experts hold, so as to help determine which views are most likely to be true and how the legal academy ought to develop. (shrink)

This is a non-technical version of "The Decision Problem for Effective Procedures." The “somewhat vague, intuitive” notion from computability theory of an effective procedure (method) or algorithm can be fairly precisely defined, even if it does not have a purely mathematical definition—and even if (as many have asserted) for that reason, the Church–Turing thesis (that the effectively calculable functions on natural numbers are exactly the general recursive functions), cannot be proved. However, it is logically provable from the notion of an (...) effective procedure--without reliance on any (partially) mathematical thesis or conjecture concerning effective procedures, such as the Church–Turing thesis--that the class of effective procedures is undecidable, i.e., that no effective procedure is possible for ascertaining whether a given procedure is effective. The proof does not appeal to a precise definition of ‘effective procedure’. Instead, it relies solely and entirely on a basic grasp of the intuitive notion of such a procedure. Though this undecidability result itself is not surprising, it is also not without significance. It has the consequence, for example, that the solution to a decision problem, if it is to be complete, must be accompanied by a separate argument that the proposed ascertainment procedure is, in fact, a decision procedure, i.e., effective—for example, that it invariably terminates with the correct verdict. (shrink)

A correct observation to the effect that a does not exist, where ‘a’ is a singular term, could be true on any of a variety of grounds. Typically, a true, singular negative existential is true on the unproblematic ground that the subject term ‘a’ designates something that does not presently exist. More interesting philosophically is a singular, negative existential statement in which the subject term ‘a’ designates nothing at all. Both of these contrast sharply with a singular, negative existential in (...) which the subject term is a name from fiction. I argue that such singular, negative existential statements are false. My account of fictional characters differs significantly from Kripke’s. It is shown that an objection to my account rests on a serious misunderstanding. Finally, a crucial aspect of the account is emphasized. (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)

This article proves that the motion principle of philosophical physics (every thing moved is moved by another) is truly compatible with the inertia principle of mathematical physics (Newton's First Law).

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)

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)

Philosophy and Phenomenological Research, EarlyView.

Frege held that the bare demonstrative ‘that’ is incomplete, and that it is the word together with a gesture that serves as the designating expression, and likewise that it is the word ‘yesterday’ together with the time of utterance that designates the relevant day. David Kaplan’s original theory of indexicals holds that Frege’s supplementation thesis is correct about demonstratives but incorrect about ‘yesterday’. Kaplan’s account of demonstratives deviates from Frege’s in treating supplemented demonstratives as directly referential, hence rigid. It is (...) argued here that the gesture or other demonstration that accompanies an utterance of ‘that’ is not part of the designating expression but instead part of the utterance context. (shrink)

The topic is time travel of the sort depicted in H. G. Wells’ classic novel, The Time Machine—Wellsian time travel. The range of proper applicability of the concept of Wellsian time travel is investigated. The results of this investigation are applied to provide a new argument against the metaphysical possibility of time travel in absolute time. Alternatively, the argument is against the possibility of Wellsian time travel relative to a single temporal frame of reference. The argument leaves open the prospect (...) that an object nontrivially moves relative to one temporal reference frame from one time to another relative to another temporal reference frame. The argument does not turn on closed timelike curves or “causal loops” of any kind. It does however invoke the prospect of backward causation—a consequence of backward time travel in conjunction with common sense—but it invokes this possibility only in the weak sense of mere logical consistency. (shrink)

There are many alleged problems with trusting another person’s moral testimony, perhaps the most prominent of which is that it fails to deliver moral understanding. Without moral understanding, one cannot do the right thing for the right reason, and so acting on trusted moral testimony lacks moral worth. This chapter, however, argues that moral advice differs from moral testimony, differs from it in a way that enables a defender of moral advice to parry this worry about moral worth. The basic (...) idea is that an advisor and an advisee can together constitute a joint agent, and that this joint agent’s action can indeed have moral worth. So while the advisee himself might not do the right thing for the right reason (this because all alone he lacks the right reason), and while the advisor herself might not do the right thing for the right reason (this because all alone she does not do the right thing), they together do the right for the right reason. (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)

Paradoxes of nested modality, like Chisholm’s paradox, rely on S4 or something stronger as the propositional logic of metaphysical modality. Sarah-Jane Leslie’s objection to the resolution of Chisholm’s paradox by means of rejection of S4 modal logic is investigated. A modal notion of essence congenial to Leslie’s objection is clarified. An argument is presented in support of Leslie’s crucial but unsupported assertion that, on pain of inconsistency, an object’s essence is the same in every possible world. A fallacy in the (...) argument is exposed. Alternative interpretations of Leslie’s objection are provided and are found to involve equivocation between different notions of “essence.” A material artifact’s modal essence, as distinct from its quiddity essence, could have been different than it is. (shrink)

Aristotle's account of external goods in Nicomachean Ethics I 8-12 is often thought to amend his narrow claim that happiness is virtuous activity. I argue, to the contrary, that on Aristotle's account, external goods are necessary for happiness only because they are necessary for virtuous activity. My case innovates in three main respects: I offer a new map of EN I 8-12; I identify two mechanisms to explain why virtuous activity requires external goods, including a psychological need for external goods; (...) and I show the relevance of Aristotle's distinction between wishing and choosing. On the view I attribute to Aristotle, our capacity to choose virtuously requires, first, that we wish for external goods (because virtue requires the right attitudes of evaluation) and, second, that these wishes are generally fulfilled (because the social consequences and psychological pain of unfulfilled wishes undermine our opportunity to act virtuously and to take pleasure in acting virtuously). I close with discussion of how Aristotelians should defend this approach. (shrink)

A new philosophical analysis is provided of the notorious Sleeping Beauty Problem. It is argued that the correct solution is one-third, but not in the way previous philosophers have typically meant this. A modified version of the Problem demonstrates that neither self-locating information nor amnesia is relevant to the core Problem, which is simply to evaluate the conditional chance of heads given an undated Monday-or-Tuesday awakening. Previous commentators have failed to appreciate the significance of the information that Beauty gains upon (...) waking, and which is relevant to the conditional chance of heads: de re acquaintance with the awakening itself and the non-locating knowledge that it is an experimental awakening. David Lewis and company are committed to several unjustifiable and unacceptable probability assessments. Previous commentators have in effect confused the information that Beauty undergoes this particular experimental awakening for the information that she undergoes some experimental awakening or other. Lewis in particular thereby illegitimately tips the scales both in favor of heads and in favor of Monday. The Sleeping Beauty Problem is equivalent to a ball-in-urn word problem in elementary probability theory. (shrink)

Arguments from disagreement against moral realism begin by calling attention to widespread, fundamental moral disagreement among a certain group of people. Then, some skeptical or anti-realist-friendly conclusion is drawn. Chapter 2 proposes that arguments from disagreement share a structure that makes them vulnerable to a single, powerful objection: they self-undermine. For each formulation of the argument from disagreement, at least one of its premises casts doubt either on itself or on one of the other premises. On reflection, this shouldn’t be (...) surprising. These arguments are intended to support very strong metaphysical or epistemological conclusions about morality. They must therefore employ very strong metaphysical or epistemological premises. But, given the pervasiveness of disagreement in philosophy, especially about metaphysics and epistemology, very strong premises are virtually certain to be the subject of widespread, intractable disagreement—precisely the sort of disagreement that proponents of these arguments think undermine moral claims. Thus, these arguments undermine their own premises. If Chapter 2’s argument is sound, it provides realists with a single, unified strategy for responding to any existing or forthcoming arguments from disagreement. (shrink)

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

Charles Carlini interviews Nathan Salmón about the philosophical work of his mentor and friend, the late Saul Kripke, one of the foremost philosophers of the 20th Century.

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.

This contribution unfolds an existential-ontological response to the question of sexual difference in the context of Heidegger’s formally indicative concept of “Dasein.” The question of Dasein’s “neutrality” concerns how formal indication formalizes, empties, and neutralizes the givenness of factical human existence. Ostensibly “given” biological and anthropological facts, such as sexual difference, are interpreted from an emptied and neutralized perspective that appears abstract and fictional to Heidegger’s critics. How, then, is the “neutrality” of formalizing emptying related to the “facticity” of in (...) each case factically existing as a sexual and gendered being? The answer lies in Heidegger’s elucidation of the existential-ontological structure of Dasein: Dasein is always relationally instituted in its factical entangled life through “being-with.” The sexual difference of human existence is not merely biologically or anthropologically given, but disclosed and enacted according to one’s relations with others, the environment, and oneself. The formally indicating concept “Dasein” indicates, accordingly, the concrete diversity and plurality of individuated sexual and gendered ways of being. (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)

In Frege’s Puzzle (1986), Salmon analyzed ‘a withholds believing p’ in terms of a ternary relation BEL of x believing a proposition p under a guise g. The proposed analysis is the following: There is a proposition guise g such that a grasps p by means of g but a does not stand in BEL to p and g. Sean Crawford has made a proposal for Millians to evade propositional guises through second-order belief. Specifically, in effect, Crawford’s proposes to (...) analyze the crucial notion of withheld belief instead as believing that one does not believe: a believes that a does not believe p. Crawford’s clever proposal thus avoids explicit quantification over guises. However, it is shown that the proposal is inadequate to avoid guises. The resulting notion is too weak to capture the relevant notion of withheld belief. (shrink)

Alonzo Church famously provided three principal competing criteria for “strict synonymy,” i.e., sameness of semantic content. These are his Alternatives (0), (1), and (2)—numbered in order of increasing course-grainedness of content. On Alternative (2), expressions are deemed strictly synonymous iff they are logically equivalent. This criterion seems hopeless as an account of the objects of propositional attitude. On Alternative (1), expressions are deemed synonymous iff they are λ-convertible. Alternative (1) also evidently conflicts with discourse about the attitudes. On Alternative (0), (...) expressions are deemed strictly synonymous iff they are “synonymously isomorphic” in Church’s sense. On Alternative (0), semantic content is so fine-grained that not even “Romeo loves Juliet” and “Juliet is loved by Romeo” qualify as strictly synonymous. A fourth alternative, here called “Alternative (3),” deems expressions strictly synonymous iff they are co-intensional, i.e., they have the same semantic extension with respect to the same possible worlds. This criterion’s notion of content is even more course grained than that of Alternative (2). Several objections to Alternative (3) are considered. (This article is wholly contained within the author’s more definitive essay, “Singular Concepts”.). (shrink)