Jack Woods

Etiquette and other merely formal normative standards like legality, honor, and rules of games are taken less seriously than they should be. While these standards are not intrinsically reason-providing (or “substantive”) in the way morality is often taken to be, they also play an important role in our practical lives: we collectively treat them as important for assessing the behavior of ourselves and others and as licensing particular forms of sanction for violations. This chapter develops a novel account of the normativity of formal standards where the role they play in our practical lives explains a distinctive kind of reason to obey them. We have this kind of reason to be polite because etiquette is important to us. We also have this kind of reason to be moral because morality is important to us. This parallel suggests that the importance we assign to morality is insufficient to justify it being substantive.

This chapter deals with a hitherto neglected category of wrongdoing—_ordinary wrongdoing._ Ordinary wrongs are banal, common, pedestrian, and yet still wrong. They are important for a number of reasons, not least of which is that reflection on them displays the importance of distinguishing being liable for blame from deserving blame. Ordinary wrongs are exactly those wrongs for which you can be blamed or criticized, but where it would be a mistake for someone to exercise their entitlement to blame or criticize you. The distinction between being liable for blame and deserving blame can then be used to dissolve certain objections to conventionally dependent norms.

Why do promises give rise to reasons? This chapter considers a few possibilities which do not work, then outlines a more plausible explanation of the normativity of promising—that it is constitutive of the practice of promising that promise-breaking implies blame-liability and that we take blame-liability to be an undesirable thing. This view, _quasi-conventionalism_, provides a reduction of the _normativity of promising_ to _conventionalism about liability_ and instrumental normativity. The result is an account of the normativity of promising that (a) explains the particularity of promissory reasons, (b) predicts that our reasons to keep our promises are often overdetermined, and (c) provides a natural explanation of fringe-cases of promissory reasons: deathbed promises, immoral promises, conflicting promises, and promises which no one expects you to keep. Meeting these three desiderata of an account of promissory reasons gives us good reason to take quasi-conventionalism seriously.

The use of models in the construction of scientific theories is as widespread as it is philosophically interesting (and, one might say, vexing).1 In neither philosophical nor scientific practice do we find a univocal concept of model.2 But there is one established usage to which we want to direct our particular attention in this paper, in which a model is constituted by the theorist’s idealizations and abstractions. Idealizations are expressed by statements known to be false. Abstractions are achieved by suppressing what is known to be true. Idealizations over-represent empirical phenomena. Abstractions underrepresent them. We might think of idealizations and abstractions as one another’s duals. Either way, they are purposeful distortions of phenomena on the ground.3..

The best extant demarcation of logical constants, due to Tarski, classifies logical constants by invariance properties of their denotations. This classification is developed in a framework which presumes that the denotations of all expressions are definite. However, some indefinite expressions, such as Russell's indefinite description operator rj, Hilbert's e, and abstraction operators such as 'the number of, appropriately interpreted, are logical. I generalize the Tarskian framework in such a way as to allow a reasonable account of the denotations of indefinite expressions. This account gives rise to a principled classification of the denotations of logical and non-logical indefinite expressions. After developing this classification and its application to particular cases in some detail, I show how this generalized framework allows a novel view of the logical status of certain abstraction operators such as 'the number of. I then show how we can define surrogate abstraction operators directly in higher-order languages augmented with an e-operator. © 2021 Elsevier B.V., All rights reserved.

Below are reflections on Peirce’s conception of abductive methods and Russell’s conception of regressive methods. Along the way, it will be necessary to examine the marked differences between Russell and Frege on the ins and outs of logicism, from which latter the regressivist ideas first emerged. Russell was aware of Peirce’s contributions to the algebraization of logic and Peirce was aware of Russell’s writings on logicism. However, in framing his thoughts about regressive methods, Russell showed no familiarity with Peirce’s treatment of abductive methods. In 1907, Russell read to the Cambridge Mathematics Club an essay entitled “The regressive method of discovering the premises of mathematics.” Since that paper didn’t see the published light of day until three years after Russell’s death in 1970, Peirce couldn’t have taken notice of it in developing his ideas about abduction. Even so, it has been suggested that there exists a noteworthy similarity between Russell’s regressivism and Peirce’s abductivism. The principal purpose of this essay is to show the resemblance to have been misjudged, in which case, my title would have to be corrected.

In 1902 there arrived in Jena a letter from Russell laying out a proof that shattered Frege’s confidence in logicism, which is widely taken to be the doctrine according to which every truth of arithmetic is re-expressible without relevant loss as a provable truth about a purely logical object. Frege was persuaded that Russell had exposed a pathology in logicism, which faced him with the task of examining its symptoms, diagnosing its cause, assessing its seriousness, arriving at a treatment option, and making an estimate of future prospects. The symptom was the contradiction that had crept into naïve set theory in the form of the set that provably is and is not its own member. The diagnosis was that it is caused by Basic Law V of the Grundgesetze (Frege, In: Grundgesetze der Arithmetik: Begrifsschriftlich abgeleitet, Jena: Herman Pohle, 1893/1903. Translated into English as Basic Laws of Arithmetic, also edited by Philip A. Ebert and Marcus Rossberg, with Crispin Wright, Oxford: Oxford University Press, 2013). Triage answers the question, “How bad is it?” The answer was that the contradiction irreparably destroys the logicist project. The treatment option was nil. The disease was untreatable. In due course, the prognosis turned out to be that a scaled-down Fregean logic could have an honourable life as a theory inference for various domains of mathematical discourse, but not for domains containing the logical objects required for logicism. Since there aren’t such objects, there aren’t such domains. On the face of it, Frege’s logicist collapse is astonishing. Why wouldn’t he have repaired the fault in Law V and gone back to the business of bringing logicism to an assured realization? In the course of our reflections, we will have nice occasion to consider the good it might have done Frege to have booked some time with Aristotle had he been able to. By the time we’re finished, we’ll have cause to think that in the end the Russell might well have begged the question against Frege.

This paper has two related goals. First, we develop an expressivist account of negation which, in the spirit of Alan Gibbard, treats disagreement as semantically primitive. Our second goal is to make progress toward a unified expressivist treatment of modality. Metaethical expressivists must be expressivists about deontic modal claims. But then metaethical expressivists must either extend their expressivism to include epistemic and alethic modals, or else accept a semantics for modal expressions that is radically disjunctive. We propose that expressivists look to Amie Thomasson’s work for a general strategy for offering a unified expressivist account of modality. Modals in general, we propose, are devices for expressing metalinguistic commitments within the object language, with deontic, epistemic, and metaphysical modals all expressing different kinds of metalinguistic commitments.

There are various ways of achieving an enlarged understanding of a concept of interest. One way is by giving its proper definition. Another is by giving something else a proper definition and then using it to model or formally represent the original concept. Between the two we find varying shades of grey. We might open up a concept by a direct lexical definition of the predicate that expresses it, or by a theory whose theorems define it implicitly. At the other end of the spectrum, the modelling-this-as-that option also admits of like variation, ranging from models rooted in formal representability theorems to models conceived of as having only heuristic value. There exist on both sides of this divide further differences still. In one of them, both the definiendum and definiens of a definition are words or phrases of some common natural language. In others, the item of interest is a natural language expression and its representation is furnished by the artificial linguistic system that models it. The modern history of these approaches is both very large and growing. Much of this evolution has given too short a shrift to the history of the demotion of ‘intuitive’ concepts in favour of the artificially contrived ones intended to model them. A working assumption of this article is that in the absence of a good understanding of what motivated the modelling-turn in the foundations of mathematics and the intuitive theory of truth, the whole notion of formal representability will have been inadequately understood. In the interests of space, I will concentrate on seminal issues in set theory as dealt with by Russell and Frege, and in the theory of truth in natural languages as dealt with by Tarski. The nub of the present focus is the representational role of model theory in the logics of formalized languages.

There are several features of law which rightly draw the interest of philosophers, especially those whose expertise lies in ethics and social and political philosophy. But the law also has features which haven’t stirred much in the way of philosophical investigation. I must say that I find this surprising. For the fact is that a well-run criminal trial is a master-class in logic and epistemology. Below I examine the logical and epistemological properties of greatest operational involvement in a criminal proceedings, concepts such as evidence, proof, argument, inference, relevance, probability, and more. My principal objective is to expose the deep cleavage between establishment norms in epistemology and logic and standard practice in criminal proceedings. This gives us two options to reflect upon. In one, the establishment norms for the correct management of the concepts in question are basically sound. In that case, as I will show, common law criminal practice would be basically unsound; its convictions would be basically false and unjust. Seen from the other perspective, the criminal justice system would be basically sound, and its criminal convictions basically true and just. It turns out to matter that option one meets with widely spread common disbelief and is generally taken as contrary to common knowledge. What is needed here is an epistemology which gives these sentiments some air to breathe. I will argue that on balance it is the logico-epistemic establishment which requires some serious rethinking.

This collection of new essays presents cutting-edge research on the semantic conception of logic, the invariance criteria of logicality, grammaticality, and logical truth. Contributors explore the history of the semantic tradition, starting with Tarski, and its historical applications, while central criticisms of the tradition, and especially the use of invariance criteria to explain logicality, are revisited by the original participants in that debate. Other essays discuss more recent criticism of the approach, and researchers from mathematics and linguistics weigh in on the role of the semantic tradition in their disciplines. This book will be invaluable to philosophers and logicians alike.

It is plausible that there are epistemic reasons bearing on a distinctively epistemic standard of correctness for belief. It is also plausible that there are a range of practical reasons bearing on what to believe. These theses are often thought to be in tension with each other. Most significantly for our purposes, it is obscure how epistemic reasons and practical reasons might interact in the explanation of what one ought to believe. We draw an analogy with a similar distinction between types of reasons for actions in the context of activities. The analogy motivates a two-level account of the structure of normativity that explains the interaction of correctness-based and other reasons. This account relies upon a distinction between normative reasons and authoritatively normative reasons. Only the latter play the reasons role in explaining what state one ought to be in. All and only practical reasons are authoritative reasons. Hence, in one important sense, all reasons for belief are practical reasons. But this account also preserves the autonomy and importance of epistemic reasons. Given the importance of having true beliefs about the world, our epistemic standard typically plays a key role in many cases in explaining what we ought to believe. In addition to reconciling (versions of) evidentialism and pragmatism, this two-level account has implications for a range of important debates in normative theory, including the interaction of right and wrong reasons for actions and other attitudes, the significance of reasons in understanding normativity and authoritative normativity, the distinction between ‘formal’ and ‘substantive’ normativity, and whether there is a unified source of authoritative normativity.

Philosophical arguments usually are and nearly always should be abductive. Across many areas, philosophers are starting to recognize that often the best we can do in theorizing some phenomena is put forward our best overall account of it, warts and all. This is especially true in esoteric areas like logic, aesthetics, mathematics, and morality where the data to be explained is often based in our stubborn intuitions. While this methodological shift is welcome, it's not without problems. Abductive arguments involve significant theoretical resources which themselves can be part of what's being disputed. This means that we will sometimes find otherwise good arguments which suggest their own grounds are problematic. In particular, sometimes revising our beliefs on the basis of such an argument can undermine the very justification we used in that argument. This feature, which I'll call self-effacingness, occurs most dramatically in arguments against our standing views on the esoteric subject matters mentioned above: logic, mathematics, aesthetics, and morality. This is because these subject matters all play a role in how we reason abductively. This isn't an idle fact; we can resist some challenges to our standing beliefs about these subject matters exactly because the challenges are self-effacing. The self-effacing character of certain arguments is thus both a benefit and limitation of the abductive turn and deserves serious attention. I aim to give it the attention it deserves

Neofregeanism and structuralism are among the most promising recent approaches to the philosophy of mathematics. Yet both have serious costs. We develop a view, structuralist neologicism, which retains the central advantages of each while avoiding their more serious costs. The key to our approach is using arbitrary reference to explicate how mathematical terms, introduced by abstraction principles, refer. Focusing on numerical terms, this allows us to treat abstraction principles as implicit definitions determining all properties of the numbers, achieving a key neofregean advantage, while preserving the key structuralist advantage, which objects play the number role does not matter.

I distinguish two ways of developing anti-exceptionalist approaches to logical revision. The first emphasizes comparing the theoretical virtuousness of developed bodies of logical theories, such as classical and intuitionistic logic. I'll call this whole theory comparison. The second attempts local repairs to problematic bits of our logical theories, such as dropping excluded middle to deal with intuitions about vagueness. I'll call this the piecemeal approach. I then briefly discuss a problem I've developed elsewhere for comparisons of logical theories. Essentially, the problem is that a pair of logics may each evaluate the alternative as superior to themselves, resulting in oscillation between logical options. The piecemeal approach offers a way out of this problem andthereby might seem a preferable to whole theory comparisons. I go on to show that reflective equilibrium, the best known piecemeal method, has deep problems of its own when applied to logic.

Moore’s paradox, the infamous felt bizarreness of sincerely uttering something of the form “I believe grass is green, but it ain’t”—has attracted a lot of attention since its original discovery (Moore 1942). It is often taken to be a paradox of belief—in the sense that the locus of the inconsistency is the beliefs of someone who so sincerely utters. This claim has been labeled as the priority thesis: If you have an explanation of why a putative content could not be coherently believed, you thereby have an explanation of why it cannot be coherently asserted. (Shoemaker 1995). The priority thesis, however, is insufficient to give a general explanation of Moore-paradoxical phenomena and, moreover, it’s false. I demonstrate this, then show how to give a commitment-theoretic account of Moore Paradoxicality, drawing on work by Bach and Harnish. The resulting account has the virtue of explaining not only cases of pragmatic incoherence involving assertions, but also cases of cognate incoherence arising for other speech acts, such as promising, guaranteeing, ordering, and the like.

I defend normative subjectivism against the charge that believing in it undermines the functional role of normative judgment. In particular, I defend it against the claim that believing that our reasons change from context to context is problematic for our use of normative judgments. To do so, I distinguish two senses of normative universality and normative reasons---evaluative universality and reasons and ontic universality and reasons. The former captures how even subjectivists can evaluate the actions of those subscribing to other conventions; the latter explicates how their reasons differ from ours. I then show that four aspects of the functional role of normativity---evaluation of our and others actions and reasons, normative communication, hypothetical planning, and evaluating counternromative conditionals---at most requires our normative systems being evaluatively universal. Yet reasonable subjectivist positions need not deny evaluative universality.

It is regrettably common for theorists to attempt to characterize the Humean dictum that one can’t get an ‘ought’ from an ‘is’ just in broadly logical terms. We here address an important new class of such approaches which appeal to model-theoretic machinery. Our complaint about these recent attempts is that they interfere with substantive debates about the nature of the ethical. This problem, developed in detail for Daniel Singer’s and Gillian Russell and Greg Restall’s accounts of Hume’s dictum, is of a general type arising for the use of model-theoretic structures in cashing out substantive philosophical claims: the question of whether an abstract model-theoretic structure successfully interprets something often involves taking a stand on non-trivial issues surrounding the thing. In the particular case of Hume’s dictum, given reasonable conceptual or metaphysical claims about the ethical, Singer’s and Russell and Restall’s accounts treat obviously ethical claims as descriptive and vice versa. Consequently, their model-theoretic characterizations of Hume’s dictum are not metaethically neutral. This encourages skepticism about whether model-theoretic machinery suffices to provide an illuminating distinction between the ethical and the descriptive

A natural suggestion and increasingly popular account of how to revise our logical beliefs treats revision of logic analogously to the revision of scientific theories. I investigate this approach and argue that simple applications of abductive methodology to logic result in revision-cycles, developing a detailed case study of an actual dispute with this property. This is problematic if we take abductive methodology to provide justification for revising our logical framework. I then generalize the case study, pointing to similarities with more recent and popular heterodox logics such as naïve logics of truth. I use this discussion to motivate a constraint—logical partisanhood—on the uses of such methodology: roughly: both the proposed alternative and our actual background logic must be able to agree that moving to the alternative logic is no worse than staying put.

Sometimes a fact can play a role in a grounding explanation, but the particular content of that fact make no difference to the explanation—any fact would do in its place. I call these facts vacuous grounds. I show that applying the distinction between-vacuous grounds allows us to give a principled solution to Kit Fine and Stephen Kramer’s paradox of ground. This paradox shows that on minimal assumptions about grounding and minimal assumptions about logic, we can show that grounding is reflexive, contra the intuitive character of grounds. I argue that we should never have accepted that grounding is irreflexive in the first place; the intuitions that support the irreflexive intuition plausibly only require that grounding be non-vacuously irreflexive. Fine and Kramer’s paradox relies, essentially, on a case of vacuous grounding and is thus no problem for this account.

Etiquette and other merely formal normative standards like legality, honor, and rules of games are taken less seriously than they should be. While these standards are not intrinsically reason-providing in the way morality is often taken to be, they also play an important role in our practical lives: we collectively treat them as important for assessing the behavior of ourselves and others and as licensing particular forms of sanction for violations. This chapter develops a novel account of the normativity of formal standards where the role they play in our practical lives explains a distinctive kind of reason to obey them. We have this kind of reason to be polite because etiquette is important to us. We also have this kind of reason to be moral because morality is important to us. This parallel suggests that the importance we assign to morality is insufficient to justify it being substantive.

I argue that in order to apply the most common type of criteria for logicality, invariance criteria, to natural language, we need to consider both invariance of content—modeled by functions from contexts into extensions—and invariance of character—modeled, à la Kaplan, by functions from contexts of use into contents. Logical expressionsshould be invariant in both senses. If we do not require this, then old objections due to Timothy McCarthy and William Hanson, suitably modified, demonstrate that content invariant expressions can display intuitive marks of non-logicality. If we do require this, we neatly avoid these objections while also managing to demonstrate desirable connections of logicality to necessity. The resulting view is more adequate as a demarcation of the logical expressions of natural language.

I discuss Greg Restall’s attempt to generate an account of logical consequence from the incoherence of certain packages of assertions and denials. I take up his justification of the cut rule and argue that, in order to avoid counterexamples to cut, he needs, at least, to introduce a notion of logical form. I then suggest a few problems that will arise for his account if a notion of logical form is assumed. I close by sketching what I take to be the most natural minimal way of distinguishing content and form and suggest further problems arising for this route.