Jack Woods

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.

Mark Schroeder has argued that all reasonable forms of inconsistency of attitude consist of having the same attitude type towards a pair of inconsistent contents (A-type inconsistency). We suggest that he is mistaken in this, offering a number of intuitive examples of pairs of distinct attitudes types with consistent contents which are intuitively inconsistent (B-type inconsistency). We further argue that, despite the virtues of Schroeder's elegant A-type expressivist semantics, B-type inconsistency is in many ways the more natural choice in developing an expressivist account of moral discourse. We close by showing how to adapt ordinary formality-based accounts of logicality to define a B-type account of logical inconsistency and distinguish it from both semantic and pragmatic inconsistency. In sum, we provide a roadmap of how to develop a successful B-type expressivism.

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

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.