According to traditional logical expressivism, logical operators allow speakers to explicitly endorse claims that are already implicitly endorsed in their discursive practice — endorsed in virtue of that practice’s having instituted certain logical relations. Here, I propose a different version of logical expressivism, according to which the expressive role of logical operators is explained without invoking logical relations at all, but instead in terms of the expression of discursive-practical attitudes. In defense of (...) this alternative, I present a deflationary account of the expressive role of vocabulary by which we ascribe logical relations. (shrink)

P.F. Strawson contributed to many philosophical domains, including the philosophy of language, the history of philosophy, metaphysics, moral philosophy and philosophical methodology. Most of his contributions in these areas have influenced contemporary debates, either because his views are still defended or because they are still considered worthy of detailed responses. His views on the philosophy of logic have been only rarely discussed, however. My aim in this paper is threefold. First, I provide a systematic account of Strawson’s philosophy of logic. (...) I argue that Strawson is an important predecessor of logical expressivism, a contemporary position in the philosophy of logic most notably defended by Robert Brandom. My main focus is on Strawson’s largely-neglected 1982 paper ‘Logical Form and Logical Constants’, which contains his most mature ideas on the topic. Second, while Strawson’s position is of historical and independent philosophical interest, I argue that he leaves many points unclear. Finally, I propose several clarifications of Strawson’s position. (shrink)

Expressivism in logic is the view that logical vocabulary plays a primarily expressive role: that is, that logical vocabulary makes perspicuous in the object language structural features of inference and incompatibility (Brandom, 1994, 2008). I present a precise, technical criterion of expressivity for a logic (§2). I next present a logic that meets that criterion (§3). I further explore some interesting features of that logic: first, a representation theorem for capturing other logics (§3.1), and next some novel (...) logical vocabulary for expressing structural features of inference (§4). (shrink)

Contemporary discussions of expressivism in metaethics tend to run together two quite different antidescriptivist views, and only one of them is subject to the objection about compositional semantics pressed most recently by Schroeder (following Dreier, Unwinn, Hale, Geach and others). Here I distinguish the two versions of expressivism and then go on to suggest that those sympathetic to the second sort of expressivism might improve their account of normative vocabulary and the way it figures in reasoning by (...) making what may seem like a somewhat surprising comparison between normative vocabulary and logical vocabulary. I argue that this comparison brings into view the initial steps towards a third antidescriptivist view in metaethics, which we may see as a pragmatist improvement on the second version of expressivism. (shrink)

The basic idea of expressivism is that for some sentences ‘P’, believing that P is not just a matter of having an ordinary descriptive belief. This is a way of capturing the idea that the meaning of some sentences either exceeds their factual/descriptive content or doesn’t consist in any particular factual/descriptive content at all, even in context. The paradigmatic application for expressivism is within metaethics, and holds that believing that stealing is wrong involves having some kind of desire-like (...) attitude, with world-tomind direction of fit, either in place of, or in addition to, being in a representational state of mind with mind-to-world direction of fit. Because expressivists refer to the state of believing that P as the state of mind ‘expressed’ by ‘P’, this view can also be described as the view that ‘stealing is wrong’ expresses a state of mind that involves a desire-like attitude instead of, or in addition to, a representational state of mind. According to some expressivists - unrestrained expressivists, as I’ll call them - there need be no special relationship among the different kinds of state of mind that can be expressed by sentences. Pick your favorite state of mind, the unrestrained expressivist allows, and there could, at least in principle, be a sentence that expressed it. Expressivists who seem to have been unrestrained plausibly include Ayer in Language, Truth, and Logic, and Simon Blackburn in many of his writings, including his [1984], [1993], and.. (shrink)

We develop a novel solution to the negation version of the Frege-Geach problem by taking up recent insights from the bilateral programme in logic. Bilateralists derive the meaning of negation from a primitive *B-type* inconsistency involving the attitudes of assent and dissent. Some may demand an explanation of this inconsistency in simpler terms, but we argue that bilateralism’s assumptions are no less explanatory than those of *A-type* semantics that only require a single primitive attitude, but must stipulate inconsistency elsewhere. Based (...) on these insights, we develop a version of B-type expressivism called *inferential expressivism*. This is a novel semantic framework that characterises meanings by inferential roles that define which *attitudes* one can *infer* from the use of terms. We apply this framework to normative vocabulary, thereby solving the Frege-Geach problem generally and comprehensively. Our account moreover includes a semantics for epistemic modals, thereby also explaining normative terms under epistemic modals. (shrink)

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. (shrink)

I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical expressivism. The extension defined by the sequent rules is conservative. The conditional tracks the consequence relation and negation tracks incoherence. Besides the ordinary propositional connectives, the sequent calculus introduces a new kind of modal operator that marks implications that hold monotonically. (...) Transitivity fails, but for good reasons. Intuitionism and classical logic can easily be recovered from the system. (shrink)

This book presents a philosophical conception of logic -- "logical expressivism"-- according to which the role of logic is to make explicit reason relations, which are often neither monotonic nor transitive. It reveals new perspectives on inferential roles, sequent calculi, representation, truthmakers, and many extant logical theories.

This paper aims to provide a mathematically tractable background against which to model both modal cognitivism and modal expressivism. I argue that epistemic modal algebras, endowed with a hyperintensional, topic-sensitive epistemic two-dimensional truthmaker semantics, comprise a materially adequate fragment of the language of thought. I demonstrate, then, how modal expressivism can be regimented by modal coalgebraic automata, to which the above epistemic modal algebras are categorically dual. I examine five methods for modeling the dynamics of conceptual engineering for (...) intensions and hyperintensions. I develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. I examine then the virtues unique to the modal expressivist approach here proffered in the setting of the foundations of mathematics, by contrast to competing approaches based upon both the inferentialist approach to concept-individuation and the codification of speech acts via intensional semantics. (shrink)

Expressivism can make space for normative objectivity by treating normative stances as pro or con attitudes that can be correct or incorrect. And it can answer the logical challenges that bedevil it by treating a simple normative assertion not merely as an expression of a normative stance, but as an expression of the endorsement of a proposition that is true if and only if that normative stance is correct. Although this position has superficial similarities to normative realism, it (...) does full justice to the core expressivist thesis that, at bottom, a normative assertion expresses a normative stance rather than a factual belief. (shrink)

This thesis is about the metaphysics of logic. I argue against a view I refer to as ‘logical realism’. This is the view that the logical constants represent a particular kind of metaphysical structure, which I dub ‘logico-metaphysical structure’. I argue instead for a more metaphysically lightweight view of logic which I dub ‘logical expressivism’. -/- In the first part of this thesis (Chapters I and II) I argue against a number of arguments that Theodore Sider (...) has given for logical realism. In Chapter I, I present an argument of his to the effect that logico-metaphysical structure provides the only good explanation of the semantic determinacy of the logical constants. I argue that other explanations are possible. In Chapter II, I present another argument of his to the effect that logico-metaphysical structure is something that comes along with ontological realism: the view that there is a non-language-relative fact of the matter about what exists. I argue that the connection between logical and ontological realism is not as close as Sider makes it out to be. -/- In the second part of this thesis (Chapters III – V) I set out a positive view of the logical constants that can explain both why their meanings are semantically determinate, and why they form part of our vocabulary. On that view, the primary bearers of logical structure are propositional attitudes, and the logical constants are in our language as vehicles for the expression of logically complex propositional attitudes. In Chapter III, I set out an expressivist theory of propositional logic. In Chapter IV, I use this theory to explain how the logical connectives end up having determinate meanings. In Chapter V, I extend the expressivist theory to predicate logic. (shrink)

Carnap was one of the first to use the term 'non-cognitivism'. His linguistic pluralism and voluntarism, and his deflationary views of ontology and semantics, are highly congenial to those of us who want to take non-cognitivism in the direction of global expressivism. In his own case, however, this move is in tension with his continued endorsement of what he calls 'the general thesis of logical empiricism', that 'there is no third kind of knowledge besides empirical and logical (...) knowledge.’ So while Carnap clears a path towards global expressivism, he doesn't seem to appreciate what it requires him to leave behind. (shrink)

In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, which are then enlisted in explanations (...) of the relevant logico-semantic phenomena. It also stands against the major competitors to Cognitivist accounts—all of which are non-truth-conditional and, as a result, fail to provide satisfying explanations of the fundamental semantic characteristics of imperatives (or so I argue). The view of imperatives I defend here improves on various treatments of imperatives on the market in giving an empirically and theoretically adequate account of their semantics and logic. It yields explanations of a wide range of semantic and logical phenomena about imperatives—explanations that are, I argue, at least as satisfying as the sorts of explanations of semantic and logical phenomena familiar from truth-conditional semantics. But it accomplishes this while defending the notion—which is, I argue, substantially correct—that imperatives could not have propositions, or truth conditions, as their meanings. (shrink)

The need to distinguish between logical and extra-logical varieties of inference, entailment, validity, and consistency has played a prominent role in meta-ethical debates between expressivists and descriptivists. But, to date, the importance that matters of logical form play in these distinctions has been overlooked. That’s a mistake given the foundational place that logical form plays in our understanding of the difference between the logical and the extra-logical. This essay argues that descriptivists are better positioned (...) than their expressivist rivals to provide the needed account of logical form, and so better able to capture the needed distinctions. This finding is significant for several reasons: First, it provides a new argument against expressivism. Second, it reveals that descriptivists can make use of this new argument only if they are willing to take a controversial—but plausible—stand on claims about the nature and foundations of logic. (shrink)

Robert Brandom’s expressivism argues that not all semantic content may be made fully explicit. This view connects in interesting ways with recent movements in philosophy of mathematics and logic (e.g. Brown, Shin, Giaquinto) to take diagrams seriously - as more than a mere “heuristic aid” to proof, but either proofs themselves, or irreducible components of such. However what exactly is a diagram in logic? Does this constitute a semiotic natural kind? The paper will argue that such a natural kind (...) does exist in Charles Peirce’s conception of iconic signs, but that fully understood, logical diagrams involve a structured array of normative reasoning practices, as well as just a “picture on a page”. (shrink)

Sentences about logic are often used to show that certain embedding expressions, including attitude verbs, conditionals, and epistemic modals, are hyperintensional. Yet it not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. This paper does two things. First, it argues against a standard account of logic talk, viz., the impossible worlds semantics. It is shown that this semantics does not easily extend to a language with propositional quantifiers, which (...) are necessary for regimenting some logic talk. Second, it develops an alternative framework based on logical expressivism, which explains logic talk using shifting conventions. When combined with the standard S5π+ semantics for propositional quantifiers, this framework results in a well-behaved system that does not face the problems of the impossible worlds semantics. It can also be naturally extended with hybrid operators to regiment a broader range of logic talk, e.g., claims about what laws hold according to other logics. The resulting system, called hyperlogic, is therefore a better framework for modeling logic talk than previous accounts. (shrink)

Recently, there has been a shift away from traditional truth-conditional accounts of meaning towards non-truth-conditional ones, e.g., expressivism, relativism and certain forms of dynamic semantics. Fueling this trend is some puzzling behavior of modal discourse. One particularly surprising manifestation of such behavior is the alleged failure of some of the most entrenched classical rules of inference; viz., modus ponens and modus tollens. These revisionary, non-truth-conditional accounts tout these failures, and the alleged tension between the behavior of modal vocabulary and (...) classical logic, as data in support of their departure from tradition, since the revisionary semantics invalidate some of these patterns. I, instead, offer a semantics for modality with the resources to accommodate the puzzling data while preserving classical logic, thus affirming the tradition that modals express ordinary truth-conditional content. My account shows that the real lesson of the apparent counterexamples is not the one the critics draw, but rather one they missed: namely, that there are linguistic mechanisms, reflected in the logical form, that affect the interpretation of modal language in a context in a systematic and precise way, which have to be captured by any adequate semantic account of the interaction between discourse context and modal vocabulary. The semantic theory I develop specifies these mechanisms and captures precisely how they affect the interpretation of modals in a context, and do so in a way that both explains the appearance of the putative counterexamples and preserves classical logic. (shrink)

When some P implies some Q, this should have some impact on what attitudes we take to P and Q. In other words: logical consequence has a normative import. I use this idea, recently explored by a number of scholars, as a stepping stone to a bolder view: that relations of logical consequence can be identified with norms on our propositional attitudes, or at least that our talk of logical consequence can be explained in terms of such (...) norms. I investigate the prospects of such a cognitive norm account of logical consequence. I go over the challenges involved in finding a plausible bridge principle connecting logical consequence to cognitive norms, in particular a biconditional principle that gives us not only necessary but sufficient conditions for logical consequence in terms of norms on propositional attitudes. Then, on the assumption that an adequate norm can be found, I consider what the philosophical merits of such a cognitive norm account would be, and what theoretical commitments it would generate. (shrink)

This paper investigates Robert Brandom’s programme of logical expressivism and in the process attempts to clarify his use of the term practice, by means of a detailed comparison with the works of sociologist and anthropologist Pierre Bourdieu. It turns out that the two scholars have a number of concerns in common, including the means by which core practices can be amalgamated into more sophisticated ones, and the possibility of explicating practices without distorting them or generating incoherent codifications. We (...) find some congruences between the two approaches but also a number of divergences. In particular, Bourdieu deprecates the well-known distinctions between langue and parole (Saussure), and competence and performance (Chomsky), while (we argue) Brandom ends up instituting his own “competence” model. We conclude by questioning how far this is compatible with his avowed aim of developing an “analytic pragmatism”. (shrink)

This paper offers an expressivist account of logical form, arguing that in order to fully understand it one must examine what valid arguments make us do (or: what Achilles does and the Tortoise doesn’t, in Carroll’s famed fable). It introduces Charles Peirce’s distinction between symbols, indices and icons as three different kinds of signification whereby the sign picks out its object by learned convention, by unmediated indication, and by resemblance respectively. It is then argued that logical form is (...) represented by the third, iconic, kind of sign. It is noted that icons uniquely enjoy partial identity between sign and object, and argued that this holds the key to Carroll’s puzzle. Finally, from this examination of sign-types metaphysical morals are drawn: that the traditional foes metaphysical realism and conventionalism constitute a false dichotomy, and that reality contains intriguingly inference-binding structures. (shrink)

We develop and defend a new approach to counterlogicals. Non-vacuous counterlogicals, we argue, fall within a broader class of counterfactuals known as counterconventionals. Existing semantics for counterconventionals, 459–482 ) and, 1–27 ) allow counterfactuals to shift the interpretation of predicates and relations. We extend these theories to counterlogicals by allowing counterfactuals to shift the interpretation of logical vocabulary. This yields an elegant semantics for counterlogicals that avoids problems with the usual impossible worlds semantics. We conclude by showing how this (...) approach can be extended to counterpossibles more generally. (shrink)

In substructural logics, structural principles may hold in some fragments of a consequence relation without holding globally. I look at this phenomenon in my preferred substructural logic, in which Weakening and Cut fail but which is supra-intuitionistic. I introduce object language operators that keep track of the admissibility of Weakening and of intuitionistic implications. I end with some ideas about local transitivity.

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable propositions, (...) and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

I argue for the Wittgensteinian thesis that mathematical statements are expressions of norms, rather than descriptions of the world. An expression of a norm is a statement like a promise or a New Year's resolution, which says that someone is committed or entitled to a certain line of action. A expression of a norm is not a mere description of a regularity of human behavior, nor is it merely a descriptive statement which happens to entail a norms. The view can (...) be thought of as a sort of logicism for the logical expressivist---a person who believes that the purpose of logical language is to make explicit commitments and entitlements that are implicit in ordinary practice. The thesis that mathematical statements are expression of norms is a kind of logicism, not because it says that mathematics can be reduced to logic, but because it says that mathematical statements play the same role as logical statements. ;I contrast my position with two sets of views, an empiricist view, which says that mathematical knowledge is acquired and justified through experience, and a cluster of nativist and apriorist views, which say that mathematical knowledge is either hardwired into the human brain, or justified a priori, or both. To develop the empiricist view, I look at the work of Kitcher and Mill, arguing that although their ideas can withstand the criticisms brought against empiricism by Frege and others, they cannot reply to a version of the critique brought by Wittgenstein in the Remarks on the Foundations of Mathematics. To develop the nativist and apriorist views, I look at the work of contemporary developmental psychologists, like Gelman and Gallistel and Karen Wynn, as well as the work of philosophers who advocate the existence of a mathematical intuition, such as Kant, Husserl, and Parsons. After clarifying the definitions of "innate" and "a priori," I argue that the mechanisms proposed by the nativists cannot bring knowledge, and the existence of the mechanisms proposed by the apriorists is not supported by the arguments they give. (shrink)

An adequate semantics for generic sentences must stake out positions across a range of contested territory in philosophy and linguistics. For this reason the study of generic sentences is a venue for investigating different frameworks for understanding human rationality as manifested in linguistic phenomena such as quantification, classification of individuals under kinds, defeasible reasoning, and intensionality. Despite the wide variety of semantic theories developed for generic sentences, to date these theories have been almost universally model-theoretic and representational. This essay outlines (...) a range of proof-theoretic analyses for characterizing generics. Particular attention is given to an expressivist proof-theory that can be traced to 1) work on logical syntax that Carnap undertook prior to his turn toward truth-conditional model theory in the late 1930s, and 2) research on sequent calculi and natural deduction systems that originate in work from Gentzen and Prawitz.1. (shrink)

Over the last fifteen years, linguists and philosophers of language have reexamined the canonical, Kratzerian semantics for modal expressions, with special attention paid to their epistemic and deontic uses. This article is an overview of the literature on deontic modal expressions. Section 1 provides an overview of the canonical semantics, noting some of its main advantages. Section 2 introduces a set of desiderata that have achieved the status of fixed points in the debates about whether the canonical semantics is correct. (...) These include the observations that deontic modal sentences have both deliberative and evaluative readings and both information-sensitive and -insensitive readings. Adequate resolutions of certain puzzles in deontic logic and resolving the Frege-Geach problem for Expressivism have also achieved this status. The third section provides an opinionated overview of some of the main extant rivals to the canonical semantics, including Cariani, Kaufmann, and Kaufmann’s (2013) complex contextualism , Yalcin’s (2012) Expressivism, Willer’s (2014) dynamic semantics, and Starr’s (2016) dynamic Expressivism. Section 4 provides an assessment of each of the views discussed in terms of the desiderata introduced in section 2. Section 5 is an overview of remaining issues that require more attention in the literature. (shrink)

The work of this dissertation, in a broad sense, seeks to rescue what may be in the original project or nucleus of philosophy, from its Socratic arising: the idea of elucidative rationality. This rationality is aimed at expressing our practices in a way that can be confronted with objections and alternatives. The notion of expression is central to this rationality. This centrality is elucidated by the contemporary philosopher Brandom (1994, 2000, 2008a, 2013), from his view of the semantic inferentialism. With (...) this view, this dissertation, in a strict sense, investigates evidences that leads to the distinction of the inferentially expressivist tradition of syllogistic. In this semantic inferentialism, logic is the “organ of semantic self-consciousness”. In this sense, logic does not define the rational, in the most basic sense, but allows us to be aware, through inferential articulation, of the conceptual contents, which govern all our thoughts. Evidences presented in the work of this dissertation seek to show that the syllogism is marked by the logical-elucidative character of this semantic self-consciousness, because of its expressive role as inseparable from the notion of inference. In the first part of this dissertation, then, the tradition of syllogistics is examined, in which the expression is the main notion. This study is based on the tradition of syllogistics, composed of the Aristotelian school of Campinas, organized by Angioni (2014a), the logical economist Keynes (1906), and the “formalist” schools, represented mainly by the logician Łukasiewicz (1957, 1929/1963) and by Corcoran (1972, 1974, 2009, 2015). The main claims of the Campinas school are analyzed: the non-epistemological, but explanatory, exposition of (scientific) knowledge, in the syllogism, the secondary role of the notion of truth, the priority of the predicative structure, and the suggestion of approaching of the syllogistic to the relevant system of logic. In this analysis, we add the discussion about the reasoning of the epagogic type, important to the practical understanding of the “first principles”. The key points of Keynes are also discussed: the semantic priority of propositional judgment and the explanatory role of deductive inference. The second part of this dissertation discusses the relation between expression, inference and the expressive role of logic, based on the semantic inferentialism of Brandom. In order to discuss this relationship, propaedeutic questions are raised, related to the semantic role of sentences and subsentences (terms and predicates) in language, to different conceptions of logical validity, beyond the truth-functional aspect, to the logical demarcation of symbolic rules, to demarcation of logic, the idea of “formal logic”, and the removal of formal semantics from natural language concern. Next, the theoretical framework of Brandom's semantic inferentialism is presented. In this framework, the idea of philosophical semantics, pragmatisms of the semantic and conceptual type, expressivisms of the rationalist, logical and propositional conceptual type, and the semantically primitive notion of incompatibility come into play. Thus, to those who are interested in the correspondence between ancient logic and modern logic, the work of this dissertation offers a useful contribution, especially to projects of formalization of the syllogistics, which need not appeal against or in favor of a strictly formal approach to logic. (shrink)

Normative discourse frequently involves explanation. For example, we tell children that hitting is wrong because it hurts people. In a recent paper, Selim Berker argues that to account for this kind of explanation, expressivists need an account of normative grounding. Against this, I argue that expressivists should eschew grounding and stick to a more pragmatic picture of explanation, one that focuses on how we use explanatory speech acts to communicate information. I propose that the standard form of a normative explanation (...) is a generalizing explanation, one which shows a particular moral injunction to follow from a more general injunction. I use Marc Lange’s account of unifying explanations in mathematics as a model for the canonical form of a normative explanation, but also to establish that logical entailment can be explanatory, so long as premises entailing the conclusion answer appropriately to our interests. An additional upshot of the resulting view is that it paves the way for a purely metaphysical solution to the problem of creeping minimalism. Quasireal properties are those that, unlike real properties, stand outside of the metaphysical hierarchy of grounding relations. (shrink)

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)

Wilfrid Sellars’s ethical theory was rich and deeply innovative. On Sellars’s view, moral judgments express a special kind of shared intention. Thus, we should see Sellars as an early advocate of an expressivism of plans and intentions, and an early theorist of collective intentionality. He supplemented this theory with a sophisticated logic of intentions, a robust theory of the categorical validity of normative expressions, a subtle way of reconciling the cognitive and motivating aspects of moral judgment, and much more— (...) all within a strict nominalism that preserves Sellars’s commitment to naturalism. The Ethics of Wilfrid Sellars offers the first systematic treatment of this sadly neglected aspect of Sellars’s work and demonstrates that his ethical theory— just like his more widely discussed epistemology— has much to contribute to current debates. (shrink)

In this paper I adopt Kaplan’s framework for distinguishing between descriptive and expressive content. Racial slurs are an especially difficult challenge for truth-conditional semantics because of their projection behaviors. That is to say, the offensive content of slurs “scopes out” of logical operators. I argue that racial slurs express contempt and lack descriptive content, so that many sentences containing slurs are not truth apt. My theory accounts for the intuition of the ordinary speaker who refuses to assent to the (...) truth of a sentence containing a slur, but accepts the same statement made using a neutral counterpart of that slur. Weaknesses of rival theories are briefly discussed. (shrink)

Charles Peirce famously divided all signs into icons, indices and symbols. The past few decades have seen mainstream analytic philosophy broaden its traditional focus on symbols to recognise the so-called essential indexical. Can the moral now be extended to icons? Is there an “essential icon”? And if so, what exactly would be essential about it? It is argued that there is and it consists in logical form. Danielle Macbeth’s radical new “expressivist” interpretation of Frege’s logic and Charles Peirce’s existential (...) graphs are mobilized in support of this claim. (shrink)

Compound figures are a rich, and under-explored area for tackling fundamental issues in philosophy of language. This paper explores new ideas about how to explain some features of such figures. We start with an observation from Stern that in ironic-metaphor, metaphor is logically prior to irony in the structure of what is communicated. Call this thesis Logical-MPT. We argue that a speech-act-based explanation of Logical-MPT is to be preferred to a content-based explanation. To create this explanation we draw (...) on Barker’s expressivist speech-act theory, in which speech-acts build on other speech-acts to achieve the desired communicative effects. In particular, we show how Barker’s general ideas explain metaphor as an assertive-act, and irony as a ridiculing-act. We use Barker’s notion of proto-illocutionary-acts to show how metaphorical-acts and ironic-acts can build one on the other. Finally, we show that while an ironic-act can build on a metaphorical-act, a metaphorical-act cannot build on an ironic-act. This restriction on how they can be composed establishes Logical-MPT via a different route. (shrink)

This paper proposes a new model of graded modal judgment. It begins by problematizing the phenomenon: given plausible constraints on the logic of epistemic modality, it is impossible to model graded attitudes toward modal claims as judgments of probability targeting epistemically modal propositions. This paper considers two alternative models, on which modal operators are non-proposition-forming: (1) Moss (2015), in which graded attitudes toward modal claims are represented as judgments of probability targeting a “proxy” proposition, belief in which would underwrite belief (...) in the modal claim. (2) A model on which graded attitudes toward modal claims are represented as judgments of credence taking as their objects (non-propositional) modal representations (rather than proxy propositions). The second model, like Moss’ model, is shown to be semantically and mathematically tractable. The second model, however, can be straightforwardly integrated into a plausible model of the role of graded attitudes toward modal claims in cognition and normative epistemology. (shrink)

In this Interview, Professor Robert B. Brandom answered ten detailed questions about his philosophy of Rational Pragmatism and Semantic Expressivism, grouped into four topics. 1. Metaphysics and Anthropology, 2. Pragmatics and Semantics, 3. Epistemic Expressivism and 4. Philosophy of Logic. With his careful answers Professor Brandom offers many additional insights into his rigorously constructed account of the relationship “between what we say and think, and what we are saying and thinking about” around the human practice of asking for (...) and giving reasons. A final, additional question pointed at a principal motivation for putting together the present issue: how to reconcile Wittgenstein’s assertion that philosophy must not proffer any theories with the very explicit system of explanations Brandom has constructed. This same issue is addressed to some extent already in Professor Brandom’s new article contained in this issue, but his answer, asserting that he does not proffer a theory but only makes explicit what is already there, might be seen as an unambiguous statement of the continuous presence of a contested Wittgensteinian principle in Brandom’s work. (shrink)

Jimmy expresses sympathy for Scanlon’s contractualism but wonders whether it might be better developed in the context of a Humean expressivism. Jimmy presses this point, in part, by observing that much of what Scanlon wants to say about moral and normative discourse, such as their logical discipline and apparent truth-aptitude, can be accommodated by the expressivist. If all that Scanlon wants to say about moral and normative discourse can be accommodated by the expressivist then what content can be (...) given to his denial of expressivism, to his commitment to a cognitive understanding of moral judgment and judgments of reasons? The appearance of a genuine dispute between Scanlon and the expressivist can seem to slip quietly out of view. In this reply I will focus in detail on one strand of Scanlon’s thought that raises difficulties for the expressivist model that Jimmy favors. The point is to emphasize that there is indeed a genuine dispute between Scanlon and the expressivist and to suggest, tentatively, that Scanlon’s contractualism might require its present cognitive development. (shrink)

In this paper, written more than ten years before Making it Explicit, I take a close look at the pivotal role which assertions play in human interactions. Tending a bridge from the Kantian theory of judgements to Dewey’s pragmatic philosophy, with the Fregean notion of conceptual content providing the pillars, and relying on the teachings drawn from the later Wittgenstein’s philosophy as keystones, I begin by questioning the dominant view of representationalism in analytical philosophy after Russell, Carnap and Tarski. It (...) is here that I begin weaving the conceptual network that will eventually blossom into the program of pragmatic rationalism with logical inferentialism and semantic expressivism as pivotal notions, manifest in our game of asking for and giving reasons. It is for these reasons that I agree that a bilingual version of this early piece seems a good starting point for the reflections on what unites and what divides la philosophical visions of Wittgenstein and my own. (shrink)

This paper offers a new interpretation of John Austin’s views both on assertion and on adverbs, as result of which an expressivist thesis concerning the semantics for action sentences is advanced. First, Austin’s analysis of assertion based on various, specific assertive forces and his remarks on adverbs are systematically connected in order to obtain assertive schemata for action sentences. Finally, those schemata are put to work as the expression of inferential commitments implicit in argumentative practices of different sorts (exculpatory, justificatory (...) and illustrative) in the deployment of which, both logical contrariety and contradiction are exploited. (shrink)

Science and mathematics continually change in their tools, methods, and concepts. Many of these changes are not just modifications but progress---steps to be admired. But what constitutes progress? This dissertation addresses one central source of intellectual advancement in both disciplines: reformulating a problem-solving plan into a new, logically compatible one. For short, I call these cases of compatible problem-solving plans "reformulations." Two aspects of reformulations are puzzling. First, reformulating is often unnecessary. Given that we could already solve a problem using (...) an older formulation, what do we gain by reformulating? Second, some reformulations are genuinely trivial or insignificant. Merely replacing one symbol with another does not lead to intellectual progress. What distinguishes significant reformulations from trivial ones? According to what I call "conceptualism" (or "conceptual empiricism"), reformulations are intellectually significant when they provide a different plan for solving problems. Significant reformulations provide inferentially different routes to the same solution. In contrast, trivial reformulations provide exactly the same problem-solving plans, and hence they do not change our understanding. This answers the second question about what distinguishes trivial from significant reformulations. However, the first question remains: what makes a new way of solving an old problem valuable? Here, a bevy of practical considerations come to mind: one formulation might be faster, less complicated, or use more familiar concepts. According to "instrumentalism," these practical benefits are all there is to reformulating. Some reformulations are simply more instrumentally valuable for meeting the aims of science than others. At another extreme, "fundamentalism" contends that a reformulation is valuable when it provides a more fundamental description of reality. According to this view, some reformulations directly contribute to the metaphysical aim of carving reality at its joints. Conceptualism develops a middle ground between instrumentalism and fundamentalism, preserving their benefits without their costs. I argue that the epistemic value of significant reformulations does not reduce to either practical or metaphysical value. Reformulations are valuable because they are a constitutive part of problem-solving. Both science and mathematics aim at solving all possible problems within their respective domains. Meeting this aim requires being able to plan for any possible problem-solving context, and this requires reformulating. By reformulating, we clarify what we need to know to solve problems. Still, one might wonder whether the value of reformulations requires underlying differences in explanatory power. According to "explanationism," a reformulation is valuable only when it provides a better explanation. Explanationism stands as a rival middle ground position to my own. However, it faces numerous counterexamples. In many cases, two reformulations provide the same explanation while nonetheless providing different ways of understanding a phenomenon. Hence, reformulating can be valuable even when neither formulation is more explanatory. Methodologically, I draw on a variety of case studies to support my account of reformulation. These range from classical mechanics to quantum chemistry, along with examples from mathematics. Symmetry arguments provide a paradigmatic example: the mathematics of symmetry groups radically recasts quantum mechanics and quantum chemistry. Nevertheless, elementary approaches exist that eschew this additional mathematical apparatus, solving problems in a more tedious but less mathematically-demanding manner. Further examples include reformulations of quantum field theory, Arabic vs. Roman numerals, and Fermat's little theorem in number theory. In each case, my account identifies how reformulations change and improve our understanding of science and mathematics. (shrink)

Moral expressivists think that moral thoughts and sentences don’t represent or describe the world, at least not in any interesting sense. Global expressivists think that _no_ thoughts or sentences represent the world; local expressivists think that some do and others don’t. Huw Price has influentially argued that local expressivism collapses into global expressivism, due both to the effects of minimalist theories of representation and similar concepts, and to an unappreciated consequence of the success of specific expressivist theories like (...) moral expressivism. In this paper I argue that Price’s arguments don’t succeed. While they can be fixed, doing so makes them miss their intended target. Local expressivists should therefore not be worried by Price’s arguments. (shrink)

It is often claimed that there is an explanatory divide between an expressivist account of normative discourse and a realist conception of normativity: more precisely, that expressivism and realism offer conflicting explanations of (i) the metaphysical structure of the normative realm, (ii) the connection between normative judgment and motivation, (iii) our normative beliefs and any convergence thereof, or (iv) the content of normative thoughts and claims. In this paper I argue that there need be no such explanatory conflict. Given (...) a minimalist approach to the relevant metaphysical and semantic notions, expressivism is compatible with any explanation that would be acceptable as a general criterion for realism. (shrink)

This paper discusses the relation between Crispin Wright’s alethic pluralism and my global expressivism. I argue that on many topics Wright’s own view counts as expressivism in my sense, but that truth itself is a striking exception. Unlike me, Wright never seems to countenance an expressivist account of truth, though the materials needed are available to him in his approaches to other topics.

Metaethical expressivism is typically characterised as the view that normative statements express desire-like attitudes instead of beliefs. However, in this paper I argue that expressivists should claim that normative statements express beliefs in normative propositions, and not merely in some deflationary sense but in a theoretically robust sense explicated by a theory of propositional attitudes. I first argue that this can be achieved by combining an interpretationist understanding of belief with a nonfactualist view of normative belief content. This results (...) in a view I call ‘interpretative expressivism’. I then argue that traditional arguments employed by expressivists that normative statements express noncognitive attitudes can just as well support the claim that normative statements express nonfactual or nonrepresentational beliefs. Finally, I argue that this view has a number of advantages to versions of expressivism that deny that normative statements express non-deflationary normative beliefs. (shrink)

Expressivists explain the expression relation which obtains between sincere moral assertion and the conative or affective attitude thereby expressed by appeal to the relation which obtains between sincere assertion and belief. In fact, they often explicitly take the relation between moral assertion and their favored conative or affective attitude to be exactly the same as the relation between assertion and the belief thereby expressed. If this is correct, then we can use the identity of the expression relation in the two (...) cases to test the expressivist account as a descriptive or hermeneutic account of moral discourse. I formulate one such test, drawing on a standard explanation of Moore's paradox. I show that if expressivism is correct as a descriptive account of moral discourse, then we should expect versions of Moore's paradox where we explicitly deny that we possess certain affective or conative attitudes. I then argue that the constructions that mirror Moore's paradox are not incoherent. It follows that expressivism is either incorrect as a hermeneutic account of moral discourse or that the expression relation which holds between sincere moral assertion and affective or conative attitudes is not identical to the relation which holds between sincere non-moral assertion and belief. A number of objections are canvassed and rejected. (shrink)

One’s account of the meaning of ethical sentences should fit – roughly, as part to whole – with one’s account of the meaning of sentences in general. When we ask, though, where one widely discussed account of the meaning of ethical sentences fits with more general accounts of meaning, the answer is frustratingly unclear. The account I have in mind is the sort of metaethical expressivism inspired by Ayer, Stevenson, and Hare, and defended and worked out in more detail (...) recently by Blackburn, Gibbard, and others. So, my first aim (§1) in this paper is to pose this question about expressivism’s commitments in the theory of meaning and to characterize the answer I think is most natural, given the place expressivist accounts attempt to occupy metaethics. This involves appeal to an ideationalist account of meaning. Unfortunately for the expressivist, however, this answer generates a problem; it’s my second aim (§2) to articulate this problem. Then, my third aim (§3) is to argue that this problem doesn’t extend to the sort of account of the meaning of ethical claims that I favor, which is like expressivism in rejecting a representationalist order of semantic explanation but unlike expressivism in basing an alternative order of semantic explanation on inferential role rather than expressive function. (shrink)

Expressivists about epistemic modals deny that ‘Jane might be late’ canonically serves to express the speaker’s acceptance of a certain propositional content. Instead, they hold that it expresses a lack of acceptance. Prominent expressivists embrace pragmatic expressivism: the doxastic property expressed by a declarative is not helpfully identified with that sentence’s compositional semantic value. Against this, we defend semantic expressivism about epistemic modals: the semantic value of a declarative from this domain is the property of doxastic attitudes it (...) canonically serves to express. In support, we synthesize data from the critical literature on expressivism—largely reflecting interactions between modals and disjunctions—and present a semantic expressivism that readily predicts the data. This contrasts with salient competitors, including: pragmatic expressivism based on domain semantics or dynamic semantics; semantic expressivism à la Moss [2015]; and the bounded relational semantics of Mandelkern [2019]. (shrink)

Simple taste predications come with an `acquaintance requirement': they require the speaker to have had a certain kind of first-hand experience with the object of predication. For example, if I tell you that the crème caramel is delicious, you would ordinarily assume that I have actually tasted the crème caramel and am not simply relying on the testimony of others. The present essay argues in favor of a lightweight expressivist account of the acquaintance requirement. This account consists of a recursive (...) semantics and an account of assertion; it is compatible with a number of different accounts of truth and content, including contextualism, relativism, and purer forms of expressivism. The principal argument in favor of this account is that it correctly predicts a wide range of data concerning how the acquaintance requirement interacts with Boolean connectives, generalized quantifiers, epistemic modals, and attitude verbs. (shrink)

The expressivist advances a view about how we explain the meaning of a fragment of language, such as claims about what we morally ought to do. Critics evaluate expressivism on those terms. This is a serious mistake. We don’t just use that fragment of language in isolation. We make claims about what we morally, legally, rationally, and prudentially ought to do. To account for this linguistic phenomenon, the expressivist owes us an account not just of each fragment of language, (...) but of how they weave together into a broader tapestry. I argue that expressivists face a dilemma in doing so: either they fail to explain the univocality of terms like 'ought', or they fail to explain when normative statements are and aren't inconsistent. (shrink)

Metaethical expressivism faces the perennial objection that its commitment to non‐cognitivism about moral judgment renders the view revisionary of our ordinary moral thought. The standard response to this objection is to say that since the expressivist's theoretical commitments about the nature of moral judgment are independent of normative ethics, the view cannot be revisionary of normative ethics. This essay seeks to evaluate the standard response by exploring several senses of independence that expressivism might enjoy from normative ethics. I (...) develop a taxonomy on which, at least by the expressivist's own lights, normative ethics is not dependent on non‐cognitivism about moral judgment in a way that might render that claim itself normative ethical. The argument will require us to formulate a theory of moral subject matter according to the expressivist, a matter of independent interest. Although this discussion will essentially vindicate the standard response to the perennial objection, it will also highlight a major limitation thereof. This is that even for the expressivist, the taxonomic independence of non‐cognitivism about moral judgment from normative ethics does not guarantee its moral independence from normative ethics; that is, showing that non‐cognitivism about moral judgment is not a moral claim is not itself to show that it is not a morally relevant claim. I conclude by arguing that the question of moral dependence, usually discussed under the heading of objectivity, is ultimately first‐order moral rather than taxonomic, and so can only be resolved on first‐order moral grounds. (shrink)