Inferentialist Accounts of Meaning and Content

The paper begins with a conceptual discussion of Michael Dummett's proof-theoretic justification of deduction or proof-theoretic semantics, which is based on what we might call Gentzen's thesis: 'the introductions constitute, so to speak, the "definitions" of the symbols concerned, and the eliminations are in the end only consequences thereof, which could be expressed thus: In the elimination of a symbol, the formula in question, whose outer symbol it concerns, may only "be used as that which it means on the basis (...) of the introduction of this symbol".' The intuitive philosophical content of Dummett's notions of harmony and stability is that harmony obtains if the grounds for asserting a proposition match the consequences of accepting it, and stability obtains if the converse also holds. Rules of inference define the meanings of a logical constant they govern if and only if they are stable. Gentzen observed that 'it should be possible to establish on the basis of certain requirements that the elimination rules are functions of the corresponding introduction rules.' One of the objectives of this paper is to specify such a function: I will specify a process by which it is possible to determine the elimination rules of logical constants from their introduction rules, and conversely, to determine the introduction rules from the elimination rules. I'll give the general forms of rules of inference and generalised reduction procedures for the normalisation of deduction. I'll give a formally precise characterisations of harmony and stability and show that deductions in logics that contain only constants governed by stable rules always normalise. (shrink)

Boghossian (1996) has put forward an interesting explanation of how we can acquire logical knowledge via implicit definitions that makes use of a special template. Ebert (2005) has argued that the template is unserviceable, as it doesn't transmit warrant. In this paper, we defend the template. We first suggest that Jenkins (2008)’s response to Ebert fails because it focuses on doxastic rather than propositional warrant. We then reject Ebert’s objection by showing that it depends on an implausible and incoherent assumption.

This paper in revised form appears in Facta Philosophica 5:1 (2003) 49­75. It addresses some problems about intensional transitives raised by Moltmann and Zimmerman, corrects some oversights in my paper in The Proceedings of the Aristotelian Society (S.V. for 2002), and adds new material on binary vs. tripartite construals of “relational/notional”, bridge inferences, weakening inferences, and the relevance problem. Its other sections are, like the PASS paper, concerned with the conjunctive force of disjunctive NP complements of intensional transitive verbs: “Smith (...) needs a good lawyer or a friendly judge” on its normal reading implies both “a good lawyer could help him” AND “a friendly judge could help him”. The reading on which “Smith needs a good lawyer or a friendly judge” is implied just by “Smith needs a good lawyer” (and so doesn’t imply a friendly judge could help him) is much less preferred, except when the disjunction is followed by a coda such as “and he doesn’t care which”. (shrink)

Huw Price has developed versions of naturalism and anti-representationalism to create a distinctive brand of pragmatism. ‘Subject naturalism’ focuses on what science says about human beings and the function of our linguistic practices, as opposed to orthodox contemporary naturalism’s privileging of the ontology of the natural sciences. Price’s anti-representationalism rejects the view that what makes utterances contentful is their representing reality. Together, they are to help us avoid metaphysical ‘placement problems’: how e.g. mind, meaning, and morality fit into the natural (...) world. By combining subject naturalism and his own ‘global’ version of expressivism with Robert Brandom’s inferentialism about content, Price proposes a pragmatist ‘anthropology’ as a replacement for substantively metaphysical approaches to placement problems. In this paper I argue that Price’s project cannot succeed, and that this shows something important about what form pragmatism ought to take. Price’s view doesn’t work because no subject naturalist vocabulary is sufficient to describe any assertional practice; there is no way to connect his expressive-functionalist explanations to the practices and concepts which are their subject – nor, even, to the human subjects who are the focus of a philosophical anthropology. I close by suggesting how we might improve on these shortcomings of Price’s pragmatism. (shrink)

Within contemporary philosophy of mind, it is taken for granted that externalist accounts of meaning and mental content are, in principle, orthogonal to the matter of whether cognition itself is bound within the biological brain or whether it can constitutively include parts of the world. Accordingly, Clark and Chalmers (1998) distinguish these varieties of externalism as ‘passive’ and ‘active’ respectively. The aim here is to suggest that we should resist the received way of thinking about these dividing lines. With reference (...) to Brandom’s (1994; 2000; 2008) broad semantic inferentialism, we show that a theory of meaning can be at the same time a variety of active externalism. While we grant that supporters of other varieties of content externalism (e.g., Putnam 1975 and Burge 1986) can deny active externalism, this is not an option for semantic inferentialists: On this latter view, the role of the environment (both in its social and natural form) is not ‘passive’ in the sense assumed by the alternative approaches to content externalism. (shrink)

Deflationists about truth hold that the function of the truth predicate is to enable us to make certain assertions we could not otherwise make. Pragmatists claim that the utility of negation lies in its role in registering incompatibility. The pragmatist insight about negation has been successfully incorporated into bilateral theories of content, which take the meaning of negation to be inferentially explained in terms of the speech act of rejection. We implement the deflationist insight in a bilateral theory by taking (...) the meaning of the truth predicate to be explained by its inferential relation to assertion. We combine this account of the meaning of the truth predicate with a new diagnosis of the Liar Paradox: its derivation requires the truth rules to preserve evidence, but these rules only preserve commitment. The result is a novel inferential deflationist theory of truth, which solves the Liar Paradox in a principled manner. We end by showing that our theory and simple extensions thereof have the resources to axiomatize the internal logic of several supervaluational hierarchies, including Cantini’s. This solves open problems of Halbach (2011) and Horsten (2011). (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)

This book presents and develops inferential expressivism, a novel approach to the study of meaning which combines elements of the expressivist and inferentialist programmes. Expressivists explain the meaning of words in terms of the attitudes that they are used to express; inferentialists explain the meaning of words in terms of the inferences that they are used to draw. The book lays out the philosophical foundations of inferential expressivism by articulating and defending the view that the meaning of an expression is (...) to be explained in terms of the inferences we draw involving the attitudes we express. The book, moreover, lays out the logical foundations of inferential expressivism by showing how to implement the view rigorously by means of novel formal systems which can deal with a variety of speech acts. As the book shows, by joining forces expressivism and inferentialism can meet their key challenges whilst retaining their distinctive insights and advantages. The book goes on to demonstrate the fruitfulness of the inferential expressivist approach to meaning by applying it to a diverse range of linguistic phenomena, including epistemic modals, probability operators, conditionals, moral predicates, the truth predicate, and propositional attitude predicates. (shrink)

This paper argues that functionalist metasemantic views, such as Conceptual Role Semantics and Interpretivism, face a Euthyphro challenge. The challenge, put roughly, is this: functionalist metasemantic views reverse the order of explanation. According to such views, representational mental states have the contents that they do partly because they play certain roles in our mental lives. According to an intuitive picture of the roles that representational mental states play in our mental lives, however, these states play the roles they do partly (...) because they have the contents that they do. Since explanations—even partial ones—are asymmetric (call this principle ‘the Euthyphro Principle’), we can’t accept both this intuitive picture and a functionalist metasemantics. Hence, we should reject all versions of the latter. This paper can be seen as an attempt to better articulate an intuition that has been suggested in various forms in the literature. The paper proceeds as follows. First, it shows that functionalist metasemantic views imply certain ‘partly because’ claims. Second, it argues for the Euthyphro Principle. Third, it defends the intuitive picture of representational mental states and shows that it implies ‘partly because’ claims that conflict with those made by functionalist metasemantic views. Finally, it considers ways of relaxing the intuitive picture and finds them all wanting. (shrink)

_ Source: _Page Count 26 The dilemma of presentism is sometimes represented as a choice between the increased relevance and utility of a historiographic practice that can articulate its relation to the present and the increased objectivity or openness to the otherness of the past of a historiographic practice that articulates the past “on its own terms.” The present article argues that, at least with reference to intellectual history, we should understand that ideas appear most fully when they are run (...) through a multitude of contexts and not rooted exclusively in circumstances contemporaneous to _either_ the original emergence of an idea _or_ the writer and first reader of the historical account. The following thesis is advanced: ideas appear only over time, and the contextualization, decontextualization, and recontextualization of ideas in different places and times are all essential to such intellectual historical “appearance.” The article then articulates its position more precisely by means of Robert Brandom’s inferentialism. And, finally, this line of inquiry is exemplified and interrogated by means of a concrete historiographic case—namely, a political theoretical investigation of the intellectual legacy of the Weimar Republic. (shrink)

Inferentialism seems to be an unpopular theory where derogatory terms are concerned. Contrary to most theorists in the debate on the meaning of derogatory terms, I think that inferentialism constitutes a promising theory to account for a broad range of aspects of derogatory language use. In order to make good on that promise, however, inferentialism must overcome four main objections that are usually raised against Michael Dummett's and Robert Brandom's inferentialist explanations of derogatory terms. This paper aims at debunking these (...) objections and thereby further developing the inferentialist interpretation of derogatory terms. I shall first discuss and reject three of the objections by pointing to the core assumptions of Brandomian inferentialism. Overcoming the fourth objection requires adjusting Dummett's and Brandom's explanation of the meaning of derogatory terms. In order to do so, I shall elaborate on the role that the explication of implicit material inferences plays with regard to different kinds of derogatory terms. The inferentialist account I am proposing fares better in terms of its explanatory power and broadness of application than Dummett's and Brandom's sketchy and oft-criticised views. (shrink)

We explore the problems that confront any attempt to explain or explicate exactly what a primitive logical rule of inference is, or consists in. We arrive at a proposed solution that places a surprisingly heavy load on the prospect of being able to understand and deal with specifications of rules that are essentially self-referring. That is, any rule $\rho $ is to be understood via a specification that involves, embedded within it, reference to rule $\rho $ itself. Just how we (...) arrive at this position is explained by reference to familiar rules as well as less familiar ones with unusual features. An inquiry of this kind is surprisingly absent from the foundations of inferentialism—the view that meanings of expressions are to be characterized by the rules of inference that govern them. (shrink)

Although there is a prima facie strong case for a close connection between the meaning and inferential role of certain expressions, this connection seems seriously threatened by the semantic and logical paradoxes which rely on these inferential roles. Some philosophers have drawn radical conclusions from the paradoxes for the theory of meaning in general, and for which sentences in our language are true. I criticize these overreactions, and instead propose to distinguish two conceptions of inferential role. This distinction is closely (...) tied to two conceptions of deductive logic, and it is the key, I argue, for understanding first the connection between meaning and inferential role, and second what the paradoxes show more generally. (shrink)

Un citron, La Joconde et le Père Noël. Aucun de ces trois objets ne se trouve dans notre esprit, pourtant, nous parvenons à les concevoir. Comment ? Mobilisant les ressources du pragmatisme et de la philosophie des techniques, Pierre Steiner développe l’idée que nos pensées ne visent pas le monde mais y sont inscrites. -/- Les principales traditions philosophiques ont en commun le présupposé que l’esprit serait comme un archer qui aurait le pouvoir, par la pensée, de « viser le (...) monde », ce que l’on nomme « intentionnalité », et l’idée que les techniques ne sont que des applications de celle-ci. Contre ces présupposés, l’auteur propose une relecture critique de l’histoire de la philosophie ainsi qu’une reconsidération de la nature technique de notre intelligence. -/- Une pensée est un acte qui nous engage dans une situation et les concepts ne sont pas des représentations mais des techniques d’usage de signes. En dialoguant rigoureusement avec la phénoménologie et la philosophie analytique du langage et de l’esprit, mais aussi avec les sciences cognitives, Pierre Steiner combine dans cet ouvrage archéologie historique et discussion critique. Il aboutit à un positionnement radicalement nouveau. (shrink)

The paper aims to add contextual dependence to the new directival theory of meaning, a functional role semantics based on Kazimierz Ajdukiewicz’s directival theory of meaning. We show that the original formulation of the theory does not have a straight answer on how the meaning of indexicals and demonstratives is established. We illustrate it in the example of some problematic axiomatic and inferential directives containing indexicals. We show that the main reason why developing the new directival theory of meaning in (...) this direction is difficult is that the theory focuses on the notion of a sentence (and not the notion of an utterance). To add the latter notion to the theory, we introduce the idea of admissible contextual distribution being an interpretation of the hybrid expression view on indexicals and demonstratives. We argue that this idea introduces a small but important modification to the concept of language matrix and gives way to define two distinct concepts of meaning: for an expression type and for a use of an expression type. (shrink)

The paper presents teleo-inferentialism, which is a novel meta-semantic theory that combines advantages of teleosemantics and normative inferentialism. Like normative inferentialism, teleo-inferentialism holds that contents are individuated by the norms that govern inferences in which they occur. This allows teleo-inferentialism to account for sophisticated concepts. Like teleosemantics, teleo-inferentialism explains conceptual norms in a naturalistically acceptable way by appeal to the broadly biological well-functioning of our innate capacities. As a test-case for teleo-inferentialism, I discuss how the view handles Kripkenstein-style meaning skepticism.

The paper presents a truth-maker semantics for Strict/Tolerant Logic (ST), which is the currently most popular logic among advocates of the non-transitive approach to paradoxes. Besides being interesting in itself, the truth-maker presentation of ST offers a new perspective on the recently discovered hierarchy of meta-inferences that, according to some, generalizes the idea behind ST. While fascinating from a mathematical perspective, there is no agreement on the philosophical significance of this hierarchy. I aim to show that there is no clear (...) philosophical significance of meta-inferences above the first level. (shrink)

In this paper I present how the normative inferentialist can make the distinction between sentence meaning and content of the utterance. The inferentialist can understand sentence meaning as a role conferred to that sentence by the rules governing inferential transitions and content of the utterance as just a part of sentence meaning. I attempt to show how such a framework can account for prominent scenarios presented by contextualists as a challenge to semantic minimalism/literalism. I argue that inferentialism can address contextualist (...) challenges in a simple and effective manner by understanding sentence meaning as broad, but invariant. (shrink)

Bilateralists, who accept that there are two primitive speech acts, assertion and denial, can offer an attractive definition of consequence: Y follows from X if and only if it is incoherent to assert all formulas X and to deny all formulas Y. The present paper argues that this definition has consequences many will find problematic, amongst them that truth coincides with assertibility. Philosophers who reject these consequences should therefore reject this definition of consequence.

The goal of this paper is to present and defend an inferentialist account of the meaning of fictional names on the basis of Sellars-Brandom’s inferentialist semantics and a Brandomian anaphoric theory of reference. On this inferentialist account, the meaning of a fictional name is constituted by the relevant language norms which provide the correctness conditions for its use. In addition, the Brandomian anaphoric theory of reference allows us to understand reference in terms of anaphoric word-word relations, rather than substantial word-world (...) relations. In this paper I argue that this inferentialist account has many important merits over its rival theories. One important merit is that it explains why we can use fictional names to make true statements, even if they lack bearers. As a consequence, this theory allows us to use fictional names without committing ourselves to an implausible ontology of fictional entities. Another important merit is that it provides a uniform semantic account of fictional names across different types of statements in which fictional names are involved. (shrink)

On Brandom’s view, we can understand objectivity in terms of the view that what is objectively correct potentially transcends any given attitude. But Levine challenges this view. He distinguishes between two questions of objectivity: ‘How do we grasp the concept of objectivity?’ and ‘What determines the difference between what is correct and what is merely taken to be correct?’ And he argues that Brandom’s account of objectivity fails to address the second question of objectivity. Furthermore, based on classical pragmatist views, (...) he defends an alternative account, which he calls ‘an experiential-theoretical account of objectivity’. I agree with Levine that Brandom’s structural account of objectivity can hardly answer the second question of objectivity. In this paper, however, I argue that we can answer the second question of objectivity without accepting Levine’s claim that experience has a rational bearing on the contents of empirical thoughts. (shrink)

In this article I discuss the primacy that, following Sellars, Robert Brandom ascribes to the intersubjective and discursive space of reasons over all other processes in which the human mind is involved. I will compare Brandom’s perspective with that of the situated approach to the study of mind. At first, my aim is to show that the origin of intentionality has to be found in the sphere of sentience and the living body. Second, by comparing the enactivist account of language (...) that derives from the naturalization of Husserl’s phenomenology with the neo-pragmatist approach to the linguistic turn, I argue for a heuristic primacy owing to the linguistic practice of giving and asking for reasons. This allows me to reflect with a meta-philosophical approach on to what extent two families of views such as pragmatism and phenomenology, with their different variants, interact in the attempt to blend things together, i.e., nature and culture; mind and world; and what happens inside the human body and what happens outside it. (shrink)

En este trabajo, propongo realizar un breve análisis de dos visiones teóricas acerca del razonamiento jurídico en contextos judiciales que, a primera vista, resultan radicalmente diferentes: la visión de Paolo Comanducci (en adelante, “modelo comanducciano”), y la visión de Damiano Canale y Giovanni Tuzet (en adelante, “modelo inferencialista”). Primero realizaré una reconstrucción sumaria, pero global, de ambos modelos (secciones II y III), para luego establecer algunas notas comparativas entre ellos (sección IV). Allí, intentaré mostrar propondré entender que la visión de (...) Comanducci es mejor entendida como analizando al razonamiento jurídico desde un punto de vista estático, momentáneo e individual, mientras que la visión de Canale y Tuzet es mejor entendida como analizando el razonamiento desde un punto de vista dinámico, concatenado e intersubjetivo. En este sentido, el objetivo principal en este trabajo es evaluar cómo, y en qué medida, estas dos posturas ambas pueden ser consideradas más bien complementarias en lugar de excluyentes a los fines de describir y/o explicar el razonamiento jurídico en contextos judiciales (sección V). (shrink)

Wilfrid Sellars’ denunciation of the Myth of the Given was meant to clarify, against empiricism, that perceptual episodes alone are insufficient to ground and justify perceptual knowledge. Sellars showed that in order to accomplish such epistemic tasks, more resources and capacities, such as those involved in using concepts, are needed. Perceptual knowledge belongs to the space of reasons and not to an independent realm of experience. Dan Hutto and Eric Myin have recently presented the Hard Problem of Content as an (...) ensemble of reasons against naturalistic accounts of content. In a nutshell, it states that covariance relations—even though they are naturalistically acceptable explanatory resources—do not constitute content. The authors exploit this move in order to promote their preferred radical enactivist and anti-representationalist option, according to which, basic minds—the lower stratum of cognition—do not involve content. Although it is controversial to argue that the Hard Problem of Content effectively dismisses naturalistic theories of representation, a central aspect of it—the idea that information as covariance does not suffice to explain content—finds support among the defenders of classical cognitive representationalism, such as Marcin Miłkowski. This support—together with the acknowledgment this remark about covariance is a point already made by Sellars in his criticism of the Myth of the Given—has a number of interesting implications. Not only is it of interest for the debates about representationalism in cognitive science, where it can be understood as an anticipatory move, but it also offers some clues and insights for reconsidering some issues along Sellarsian lines—a conflation between two concepts of representation that is often assumed in cognitive science, a distinction between two types of relevant normativities, and a reconsideration of the naturalism involved in such explanations. (shrink)

I motivate and develop a use-based semantic theory in opposition to the dominant paradigm in philosophical and linguistic semantics. Drawing inspiration from Wilfrid Sellars, I argue that contemporary semantic theories are faced with a basic problem of explanatory circularity. These theories universally presuppose that worldly knowledge of such things as properties or sets of possible worlds precedes and underlies knowledge of meaning. However, I argue that it is only through learning a language--mastering the rules governing the use of the expressions (...) belonging to that language--that speakers can possibly have knowledge of the worldly entities appealed to by semanticists at the base level of their semantic theories. In response to this fundamental problem, I develop a formal semantic framework in which the meaning of a sentence is understood directly in terms of its role in discourse. In contrast to existing semantic frameworks, this framework does not presuppose speakers' worldly knowledge, and so is actually able to explain it. The result is not just a new kind of semantic theory, but a new conception of the relation between meaning and the world. (shrink)

This edited volume examines the relationship between collective intentionality and inferential theories of meaning. The book consists of three main sections. The first part contains essays demonstrating how researchers working on inferentialism and collective intentionality can learn from one another. The essays in the second part examine the dimensions along which philosophical and empirical research on human reasoning and collective intentionality can benefit from more cross-pollination. The final part consists of essays that offer a closer examination of themes from inferentialism (...) and collective intentionality that arise in the work of Wilfrid Sellars. Groups, Norms, and Practices provides a template for continuing an interdisciplinary program in philosophy and the sciences that aims to deepen our understanding of human rationality, language use, and sociality. (shrink)

What is the relationship between the world and logic, between intuition and language, between objects and their quantitative determinations? Rationalists, on the one hand, hold that the world is structured in a rational way. Representationalists, on the other hand, assume that language, logic, and mathematics are only the means to order and describe the intuitively given world. In World and Logic, Jens Lemanski takes up three surprising arguments from Arthur Schopenhauer’s hitherto undiscovered Berlin Lectures, which concern the philosophy of language, (...) logic, and mathematics. Based on these arguments, Lemanski develops a new position entitled ‘rational representationalism’: the world is always structured by human beings according to linguistic, logical, and mathematical principles, but the basic vocabulary of these structural descriptions already contains metaphors taken from the world around us. (shrink)

In his 1975 paper “The Meaning of ‘Meaning’”, Hilary Putnam famously argued for semantic externalism. Little attention has been paid, however, to the fact that already in 1973, Putnam had presented the idea of the linguistic division of labor and the Twin Earth thought experiment in his comment on Wilfrid Sellars’s “Meaning as Functional Classification” at a conference, and Sellars had replied to Putnam from a broadly inferentialist perspective. The first half of this paper aims to trace the development of (...) Putnam’s semantic externalism, situate his debate with Sellars in it, and reconstruct the two arguments he presented against Sellars. The second half of this paper aims to reconstruct how Sellars replied to Putnam. I argue that Sellars not only accepts the social character of language but also suggests how inferentialists can accommodate the contribution of the world. Sellars’s key idea is that substance terms have a “promissory note aspect” which is to be cashed out in a successor conceptual framework. I reconstruct Sellars’s position as ideal successor externalism, and compare it with temporal externalism. (shrink)

It’s commonly thought that, in conversation, speakers accept and reject propositions that have been asserted by others. Do speakers accept and reject questions as well? Intuitively, it seems that they do. But what does it mean to accept or reject a question? What is the relationship between these acts and those of asking and answering questions? Are there clear and distinct classes of reasons that speakers have for acceptance and rejection of questions? This chapter seeks to address these issues. Beyond (...) their intrinsic interest to those working on the nature of questions, solutions to these problems may aid the extension of inferentialist approaches to logic and language. Inferentialists who think that inferences should be conceived in terms of the norms we are subject to in virtue of both the sentences we accept or assert as well as those we reject or deny are known as bilateralists. A coherent account of accepting and rejecting questions raises the prospects for a bilateralism that interprets question-involving or erotetic inferences according to these additional primitives. While a full-blown bilateralism for erotetic inferences and ultimately for question-forming operators themselves far exceeds this chapter’s scope, the work presented here does sketch the first steps in that direction. (shrink)

On a widespread naturalist view, the meanings of mathematical terms are determined, and can only be determined, by the way we use mathematical language—in particular, by the basic mathematical principles we’re disposed to accept. But it’s mysterious how this can be so, since, as is well known, minimally strong first-order theories are non-categorical and so are compatible with countless non-isomorphic interpretations. As for second-order theories: though they typically enjoy categoricity results—for instance, Dedekind’s categoricity theorem for second-order PA and Zermelo’s quasi-categoricity (...) theorem for second-order ZFC—these results require full second-order logic. So appealing to these results seems only to push the problem back, since the principles of second-order logic are themselves non-categorical: those principles are compatible with restricted interpretations of the second-order quantifiers on which Dedekind’s and Zermelo’s results are no longer available. In this paper, we provide a naturalist-friendly, non-revisionary solution to an analogous but seemingly more basic problem—Carnap’s Categoricity Problem for propositional and first-order logic—and show that our solution generalizes, giving us full second-order logic and thereby securing the categoricity or quasi-categoricity of second-order mathematical theories. Briefly, the first-order quantifiers have their intended interpretation, we claim, because we’re disposed to follow the quantifier rules in an open-ended way. As we show, given this open-endedness, the interpretation of the quantifiers must be permutation-invariant and so, by a theorem recently proved by Bonnay and Westerståhl, must be the standard interpretation. Analogously for the second-order case: we prove, by generalizing Bonnay and Westerståhl’s theorem, that the permutation invariance of the interpretation of the second-order quantifiers, guaranteed once again by the open-endedness of our inferential dispositions, suffices to yield full second-order logic. (shrink)

This paper provides a proof-theoretic account of imperative logical consequence by generalising Greg Restall’s multiple conclusion bilateralism for declarative logic. According to imperative bilateralism, a sequent Γ ⊢ Δ is valid iff jointly commanding all the imperatives Φ ∈ Γ and prohibiting all the imperatives Ψ ∈ Δ clashes. This account has three main virtues: (1) it provides a proof-theoretic account of imperatives; (2) it does not rely on the controversial notion of imperative inference; and (3) it is neutral regarding (...) cognitivism about imperatives. (shrink)

Inferentialism is a theory in the philosophy of language which claims that the meanings of expressions are constituted by inferential roles or relations. Instead of a traditional model-theoretic semantics, it naturally lends itself to a proof-theoretic semantics, where meaning is understood in terms of inference rules with a proof system. Most work in proof-theoretic semantics has focused on logical constants, with comparatively little work on the semantics of non-logical vocabulary. Drawing on Robert Brandom’s notion of material inference and Greg Restall’s (...) bilateralist interpretation of the multiple conclusion sequent calculus, I present a proof-theoretic semantics for atomic sentences and their constituent names and predicates. The resulting system has several interesting features: (1) the rules are harmonious and stable; (2) the rules create a structure analogous to familiar model-theoretic semantics; and (3) the semantics is compositional, in that the rules for atomic sentences are determined by those for their constituent names and predicates. (shrink)

In this paper, I develop a metasemantics for relaxed moral realism. More precisely, I argue that relaxed realists should be inferentialists about meaning and explain that the role of evaluative moral vocabulary is to organise and structure language exit transitions, much as the role of theoretical vocabulary is to organise and structure language entry transitions.

Semantic dispositionalism is roughly the view that meaning a certain thing by a word, or possessing a certain concept, consists in being disposed to do something, e.g., infer a certain way. Its main problem is that it seems to have so many and disparate exceptions. People can fail to infer as required due to lack of logical acumen, intoxication, confusion, deviant theories, neural malfunctioning, and so on. I present a theory stating possession conditions of concepts that are counterfactuals, rather than (...) disposition attributions, but which is otherwise similar to inferentialist versions of dispositionalism. I argue that it can handle all the exceptions discussed in the literature without recourse to ceteris paribus clauses. Psychological exceptions are handled by suitably undemanding requirements (unlike that of giving the sum of any two numbers) and by setting the following two preconditions upon someone’s making the inference: that she considers the inference and has no motivating reason against it. The non-psychological exceptions, i.e., cases of neural malfunctioning, are handled by requiring that the counterfactuals be true sufficiently often during the relevant interval. I argue that this accommodates some important intuitions about concept possession, in particular, the intuition that concept possession is vague along a certain dimension. (shrink)

In “Psychopower and Ordinary Madness” my ambition, as it relates to Bernard Stiegler’s recent literature, was twofold: 1) critiquing Stiegler’s work on exosomatization and artefactual posthumanism—or, more specifically, nonhumanism—to problematize approaches to media archaeology that rely upon technical exteriorization; 2) challenging how Stiegler engages with Giuseppe Longo and Francis Bailly’s conception of negative entropy. These efforts were directed by a prevalent techno-cultural qualifier: the rise of Synthetic Intelligence (including neural nets, deep learning, predictive processing and Bayesian models of cognition). This (...) paper continues this project but first directs a critical analytic lens at the Derridean practice of the ontologization of grammatization from which Stiegler emerges while also distinguishing how metalanguages operate in relation to object-oriented environmental interaction by way of inferentialism. Stalking continental (Kapp, Simondon, Leroi-Gourhan, etc.) and analytic traditions (e.g., Carnap, Chalmers, Clark, Sutton, Novaes, etc.), we move from artefacts to AI and Predictive Processing so as to link theories related to technicity with philosophy of mind. Simultaneously drawing forth Robert Brandom’s conceptualization of the roles that commitments play in retrospectively reconstructing the social experiences that lead to our endorsement(s) of norms, we compliment this account with Reza Negarestani’s deprivatized account of intelligence while analyzing the equipollent role between language and media (both digital and analog). (shrink)

For semantic inferentialists, the basic semantic concept is validity. An inferentialist theory of meaning should offer an account of the meaning of "valid." If one tries to add a validity predicate to one's object language, however, one runs into problems like the v-Curry paradox. In previous work, I presented a validity predicate for a non-transitive logic that can adequately capture its own meta-inferences. Unfortunately, in that system, one cannot show of any inference that it is invalid. Here I extend the (...) system so that it can capture invalidities. (shrink)

We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical framework developed provides the (...) basis for a novel, proof-theoretic approach to the study of epistemic modality. To demonstrate the fruitfulness of the approach, we show how the framework allows us to reconcile classical logic with the contradictoriness of so-called Yalcin sentences and to distinguish between various inference patterns on the basis of the epistemic properties they preserve. (shrink)

Destutt de Tracy zielt darauf ab, zu erklären, wie inter- und transsubjektive Prozesse auf das einzelne Individuum wirken und es gestalten. Dafür braucht er eine externalistische Sprachtheorie und eine sensualistische kognitive Architektur, nach der Denken Empfinden ist. Das Denken ist relational, aber wird nicht auf kognitiver Ebene durch sprachähnliche Strukturen – durch die Syntax und Semantik einer Mentalsprache – implementiert. Obwohl Externalismus und sensualistische Architektur in eine inkohärente Theorie zu münden scheinen, versucht Destutt de Tracy die Spannung durch seine Entwicklungsgeschichte (...) zu lösen, nach der Systematizität als assoziativ und symbolisch, aber nicht als sprachlich analysiert wird. Zum Denken ist eine Sprache notwendig, aber das Denken ist keine Mentalsprache. -/- „[Wir sind] fast gänzlich das Werk Der Umstände, die uns umgeben.“ [Ideenlehre I, 273/388]. (shrink)

In this paper I aim to defend a twofold thesis. On one hand, I will sup-port, against Perini [7], the indispensability of diagrams when structurally complex biomolecules are concerned, since it is not possible to satisfactorily use linguistic-sentential representations at that domain. On the other hand, even when diagrams are dispensable I will defend than they will generally be more effective than other representations in encoding biomolecular knowledge, relying on Kulvicki-Shimojima’s diagrammatic effectiveness thesis. Finally, I will ground many epistemic virtues (...) of biomolecular diagrams (understandability, explanatory power, prediction and hypothesis evaluation) on their cognitive-computational indispensability and their semantic-epistemic effectiveness. (shrink)

We present an inferentialist account of the epistemic modal operator might. Our starting point is the bilateralist programme. A bilateralist explains the operator not in terms of the speech act of rejection ; we explain the operator might in terms of weak assertion, a speech act whose existence we argue for on the basis of linguistic evidence. We show that our account of might provides a solution to certain well-known puzzles about the semantics of modal vocabulary whilst retaining classical logic. (...) This demonstrates that an inferentialist approach to meaning can be successfully extended beyond the core logical constants. (shrink)

While there has been significant philosophical debate on whether nonlinguistic animals can possess conceptual capabilities, less time has been devoted to considering 'talking' animals, such as parrots. When they are discussed, their capabilities are often downplayed as mere mimicry. The most explicit philosophical example of this can be seen in Brandom's frequent comparisons of parrots and thermostats. Brandom argues that because parrots (like thermostats) cannot grasp the implicit inferential connections between concepts, their vocal articulations do not actually have any conceptual (...) content. In contrast, I argue that Pepperberg's work with Alex (and other African grey parrots) provides evidence that the vocal articulations of at least some parrots have conceptual content. Using Frege's insight that numbers assert something about a concept, I argue that Alex's ability to answer the question "How many?" depended upon a prior grasp of conceptual content. Developing this claim, I argue that Alex's arithmetical abilities show that he was capable of using numbers as both concepts and objects. Frege's theoretical insight and Pepperberg's empirical work provide reason to reconsider the capabilities of parrots, as well as what sorts of tasks provide evidence for conceptual content. (shrink)

The dissertation provides an analysis and elaboration of Michael Dummett's proof-theoretic notions of validity. Dummett's notions of validity are contrasted with standard proof-theoretic notions and formally evaluated with respect to their adequacy to propositional intuitionistic logic.

A semantic theory is committed to semantic monism just in case every particular semantic property posited by the theory is a member of the same kind. The commitment to semantic monism appears to draw some support from the need to provide a compositional semantics, since taking a single kind of semantic property as key to a semantic theory affords a uniform pattern on the basis of which the meaning of any given sentence can be compositionally determined. This line of support (...) highlights a tension between the principle of compositionality and taking a more pluralistic approach to semantic theorizing. In this essay, that tension is relieved, leaving open the prospect of a pluralistic semantic theory that observes the principle of compositionality. (shrink)

This paper argues that we need to re-think the semantics/pragmatics distinction in the light of new evidence from embedding of irony. This raises a new version of the old problem of ‘embedded implicatures’. I argue that embedded irony isn’t fully explained by solutions proposed for other embedded implicatures. I first consider two strategies: weak pragmatics and strong pragmatics. These explain embedded irony as truth-conditional content. However, by trying to shoehorn irony into said-content, they raise problems of their own. I conclude (...) by considering how a modified Gricean model can explain that irony embeds qua implicature. This leads us to prefer a local implicature model. This has important consequences for how we draw the semantics/pragmatics distinction. (shrink)

Wittgenstein’s Investigations proposed an egalitarian view about language games, emphasizing their plurality (“language has no downtown”). Uses of words depend on the game one is playing, and may change when playing another. Furthermore, there is no privileged game dictating the rules for the others: games are as many as purposes. This view is pluralist and egalitarian, but it says little about the connection between meaning and use, and about how a set of rules is responsible for them in practice. Brandom’s (...) Making It Explicit attempted a straightforward answer to these questions, by developing Wittgensteinian insights: the primacy of social practice over meanings; the idea that meaning is use; the idea of rule–following to understand participation in social practices. Nonetheless, Brandom defended a non–Wittgensteinian conception of discursive practice: language has a “downtown”, the game of “giving and asking for reasons”. This is the idea of a normative structure of language, consisting of advancing claims and drawing inferences. By means of assertions, speakers undertake “commitments” that can be challenged/defended in terms of reasons (those successfully justified can gain “entitlement”). This game is not one among many: it is indispensable to the very idea of discursive practice. In this paper, my aim will be that of exploring the main motivations and implications of both perspectives. (shrink)

I present a sequent calculus that extends a nonmonotonic reflexive consequence relation as defined over an atomic first-order language without variables to one defined over a logically complex first-order language. The extension preserves reflexivity, is conservative (therefore nonmonotonic) and supraintuitionistic, and is conducted in a way that lets us codify, within the logically extended object language, important features of the base thus extended. In other words, the logical operators in this calculus play what Brandom (2008) calls expressive roles. Expressivist logical (...) systems have already been proposed for propositional logics (see Hlobil, 2016, and Kaplan, 2018) but not for first-order logics. An advantage of this calculus over standard first-order calculi (e.g., those in Gentzen, 1935/1964) is that universally quantified variables behave as they should even in the presence of arbitrary nonlogical axioms. I claim that because of this robust well-behavedness of variables, this calculus also provides logical inferentialists with a way to understand the meanings of variables in terms of the roles those variables play in a wide range of inferences that is not limited to purely logical ones (e.g, mathematical inferences). (shrink)