This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logician and philosopher. Philosophically, indeterminism and free action can seem far apart, but in Belnap’s work, they are intimately linked. This book explores their philosophical interconnectedness through a selection of original research papers that build forth (...) on Belnap’s logical and philosophical work. Some contributions take the form of critical discussions of Belnap's published work, some develop points made in his publications in new directions, and others provide additional insights on the topics of indeterminism and free action. In Nuel Belnap’s work on indeterminism and free action, three formal frameworks figure prominently: the simple branching histories framework known as "branching time;" its relativistic spatio-temporal extension, branching space-times; and the “seeing to it that” logic of agency. As those frameworks provide the formal background for the contributed papers, the volume introduction gives an overview of the current state of their development. It also introduces case-intensional first order logic, a general intensional logic offering resources for a first-order extension of the mentioned frameworks and a recent research focus of Belnap’s. The volume also contains an extended biographical interview with Nuel Belnap. (shrink)

In this paper, I discuss the analysis of logic in the pragmatic approach recently proposed by Brandom. I consider different consequence relations, formalized by classical, intuitionistic and linear logic, and I will argue that the formal theory developed by Brandom, even if provides powerful foundational insights on the relationship between logic and discursive practices, cannot account for important reasoning patterns represented by non-monotonic or resource-sensitive inferences. Then, I will present an incompatibility semantics in the framework of linear logic which allow (...) to refine Brandom’s concept of defeasible inference and to account for those non-monotonic and relevant inferences that are expressible in linear logic. Moreover, I will suggest an interpretation of discursive practices based on an abstract notion of agreement on what counts as a reason which is deeply connected with linear logic semantics. (shrink)

Public deliberation has been defended as a rational and noncoercive way to overcome paradoxical results from democratic voting, by promoting consensus on the available alternatives on the political agenda. Some critics have argued that full consensus is too demanding and inimical to pluralism and have pointed out that single-peakedness, a much less stringent condition, is sufficient to overcome voting paradoxes. According to these accounts, deliberation can induce single-peakedness through the creation of a ‘meta-agreement’, that is, agreement on the dimension according (...) to which the issues at stake are ‘conceptualized’. We argue here that once all the conditions needed for deliberation to bring about single-peakedness through meta-agreement are unpacked and made explicit, meta-agreement turns out to be a highly demanding condition, and one that is very inhospitable to pluralism. (shrink)

Without directly addressing the Demarcation Problem for logic—the problem of distinguishing logical vocabulary from others—we focus on distinctive aspects of logical vocabulary in pursuit of a second goal in the philosophy of logic, namely, proposing criteria for the justification of logical rules. Our preferred approach has three components. Two of these are effectively Belnap’s, but with a twist. We agree with Belnap’s response to Prior’s challenge to inferentialist characterisations of the meanings of logical constants. Belnap argued that for a logical (...) constant to exist, its rules must be conservative over a previously given consequence relation and guarantee the uniqueness of the constant. The twist is that we require logical vocabulary to be provably conservative, not over a previously given formal consequence relation, but over a previously given meaningful vocabulary of a language. Uniqueness is also a feature defined in terms of provability: if two syntactically distinguished expressions are governed by the same rules, then formulas with them as main operators are interderivable. Belnap’s criteria are not only those for the existence of a logical constant, but more: they are what distinguishes logical vocabulary from all other expressions. It is the defining mark of a logical constant that it is provably conservative over the fragment of the language which excludes it and that its rules guarantee its uniqueness. The third component is the topic neutrality of logic. The provable conservativeness of logic over a previously given vocabulary of a language is motivated, in part, by appeal to molecularism in the theory of meaning. Molecularity is a feature endorsed by the theory of meaning as a whole, so it does not distinguish logical constants from other expressions. The same is true for conservativeness. We argue that molecularity, and hence conservativeness, are implicit presuppositions of speakers’ use of language: the addition of new vocabulary to a language is presupposed to be conservative. But this presupposition is one that we should be able reflectively to endorse (such as when attempting a rational reconstruction of the use of the vocabulary). Thus, where conservativeness is found to fail, this defect should be remedied and the use of the vocabulary corrected (as in classical negation) or excised altogether (as in pejoratives). We go on to characterise a notion of topic neutrality, which we argue applies to logical vocabulary. We then note that reflective endorsement of the conservativeness of a topic neutral vocabulary requires a proof that the vocabulary is conservative relative to any base vocabulary. Thus we require that logical vocabulary be demonstrably conservative. Allying this requirement, distinctive of logic, to a general consideration about the commitments of assertion yields a mode of justification for logical constants akin to some conceptions of Harmony, i.e., to the idea that the consequences of assertion of a logical complex need to be warranted by the grounds and ought to be the strongest consequences warranted by the grounds. Intuitionistic logic acquires a somewhat familiar justification but emanating from a new motivation. (shrink)

This essay attempts to extend the exercise in normative pragmatics undertaken by Robert Brandom to include consideration of the logical relations between the practices of making of claims involving the use of the first-person-singular pronoun (‘I-talk’) and the making of claims involving the second-person-singular pronoun (‘You-talk’). The first part of the essay makes the case that the implicit response found in Brandom’s work affirms the pragmatic independence of I-talk from You-talk, such that it is possible to conceive of a discursive (...) practice involving people using the first person-singular pronoun but not the second-person. The second part argues this response is mistaken, as there are reasons internal to Brandom’s own project that require pragmatic interdependence of I-talk and You-talk. The upshot of this exercise is normative pragmatics is thus that there can be no ‘I’ without a ‘You’. (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)

Overview of Wilfrid Sellars's philosophy.

Motivated by semantic inferentialism and logical expressivism proposed by Robert Brandom, in this paper, I submit a nonmonotonic modal relevant sequent calculus equipped with special operators, □ and R. The base level of this calculus consists of two different types of atomic axioms: material and relevant. The material base contains, along with all the flat atomic sequents (e.g., Γ0, p |~0 p), some non-flat, defeasible atomic sequents (e.g., Γ0, p |~0 q); whereas the relevant base consists of the local region (...) of such a material base that is sensitive to relevance. The rules of the calculus uniquely and conservatively extend these two types of nonmonotonic bases into logically complex material/relevant consequence relations and incoherence properties, while preserving Containment in the material base and Reflexivity in the relevant base. The material extension is supra-intuitionistic, whereas the relevant extension is stronger than a logic slightly weaker than R. The relevant extension also avoids the fallacies of relevance. Although the extended material consequence relation is defeasible and insensitive to relevance, it has local regions of indefeasibility and relevance (the latter of which is marked by the relevant extension). The newly introduced operators, □ and R, codify these local regions within the same extended material consequence relation. (shrink)

The notion of conceptual normativity is grounded on the idea that our conceptual contents are established by the norms of the discursive social practices we engage in. This idea involves two major problems. First, where do the norms of discursive practices come from and how can the contents that they establish be objective? Second, what is the role of the vocabulary that we use to express such norms as explicit rules? This article draws the outline of an account that could (...) possibly answer both questions. First, it explores the viability of a naturalism about conceptual normativity. Second, it defines the characters of a rational expressivist analysis of the language of the rules. (shrink)

Our purpose in this paper is to contribute to a practice-based characterization of scientific inference. We want to explore whether Brandom’s pragmatist–inferentialist framework can suitably accommodate several types of ampliative inference common in scientific reasoning and explanation (probabilistic reasoning, abduction and idealisation). First, we argue that Brandom’s view of induction in terms of merely permissive inferences is inadequate; in order to overcome the shortcoming of Brandom’s proposal, we put forward an alternative conception of inductive, probabilistic reasoning by appeal to the (...) notion of degrees of commitment. Moreover, we examine the sorts of inferential commitments operative in other types of ampliative inferences, such as abduction or reasoning involving idealizations and assumptions. We suggest that agents engaging in these forms of reasoning often undertake restricted inferential commitments, whose scope and reach are more limited that in the case of the commitments associated with full beliefs. (shrink)

Although seldom examined and not explained by Robert Brandom himself, the concept of responsibility is as important as the concept of inference for Brandom’s account of discursivity. Whereas ‘inference’ makes explicit the propositional content of concepts as the inferentially structured totality of their relations of material incompatibility, ‘responsibility’ makes explicit the normative force of these relations. ‘Responsibility’ thus becomes the paradigm of understanding normativity’s binding force – and my critical reading demonstrates that it fosters a moralizing, juridifying and economizing understanding (...) of normativity’s binding force. Furthermore, a diagnostic interpretation of Nietzsche’s genealogy of ‘responsibility’ reveals that Brandom’s concept of ‘responsibility’ is not an exception but exemplary for how ‘responsibility’ is used in philosophy. (shrink)

Normality, for Husserl, is said in many ways. While the most detailed treatments of this technical Husserlian concept are usually found in discussions concerning the constitutive dimension of the lived body and intersubjectivity, little attention has been paid to the notion of normality understood as the tacit regularity of nature. Indeed, the normal can also be understood as the causal background which is presupposed, tentatively, in the anticipation of uniform processes of change, as well as in poieticinstrumental experiences, that is, (...) in experiences involving the production and use of objects. The subject that elaborates, manipulates or uses objects is installed in nature. Hence, in our productive-instrumental confrontation with objects in the world, we operate under the assumption that the potentially mutable causal scene surrounding our acting life will retain its style. This assumption of normality is the world, in one of the many ways in which Husserl characterizes this concept. The world qua background of normality becomes thematic, retrospectively, precisely when it ceases to cooperate with the agent’s initiatives. This, on my view, is what lies behind Husserl’s assertion that the world is a “super-object” or “higher-level theme”. (shrink)

A naturalistic theory of intentionality is proposed that differs from previous evolutionary and tracking theories. Full-blown intentionality is constructed through a series of evolvable refinements. A first, minimal version of intentionality originates from a conjectured internal process that estimates an organism’s own fitness and that continually modifies the organism. This process produces the directedness of intentionality. The internal estimator can be parsed into intentional components that point to components of the process that produces fitness. It is argued that such intentional (...) components can point to mistaken or non-existing entities. Different Fregian senses of the same reference correspond to different components that have different roles in the estimator. Intentional components that point to intentional components in other organisms produce directedness towards semi-abstract entities. Finally, adding a general, population-wide means of communication enables intentional components that point to fully abstract entities. Intentionality thus naturalized has all of its expected properties: being directed; potentially making errors; possibly pointing to non-existent, abstract, or rigid entities; capable of pointing many-to-one and one-to-many; distinguishing sense and reference; having perspective and grain; and having determinate content. Several examples, such as ‘swampman’ and ‘brain-in-a-vat’, illustrate how the theory can be applied. (shrink)

According to recent suggestions within the global pragmatism discussion, metaethical debate must be fundamentally re-framed. Instead of carving out metaethical differences in representational terms, it has been argued that metaethics should be given an inferentialist footing. In this paper, I put inferentialist metaethics to the test by subjecting it to the following two criteria for success: Inferentialist metaethicists must be able to save the metaethical differences between moral realism and expressivism, and do so in a way that employs understandings of (...) these metaethical accounts which would be acceptable to moral realists or expressivists who endorse an inferentialist theory of meaning. Two results follow from my discussion. The first concerns inferentialist metaethics more narrowly, casting doubts on inferentialists’ ability to fulfil the two criteria for success by showing that proposed metaethical demarcation attempts either meet the first criterion but violate the second, or pass the second criterion but fail the first. The second upshot pertains to the global pragmatism debate more widely, pressing the point that inferentialists have not as yet provided a convincing account of ontological commitment. (shrink)

Modality presents notorious philosophical problems, including the epistemic problem of how we could come to know modal facts and metaphysical problems about how to place modal facts in the natural world. These problems arise from thinking of modal claims as attempts to describe modal features of this world that explain what makes them true. Here I propose a different view of modal discourse in which talk about what is “metaphysically necessary” does not aim to describe modal features of the world, (...) but, rather, provides a particularly useful way of expressing constitutive semantic and conceptual rules in the object language. The result is a “modal normativist” view that enables us to avoid the epistemic problems of modality and mitigate the metaphysical worries, while also leaving open the possibility of a unified account of the function of modal language. Finally, I address a serious challenge: we have the norms we do in order to track the modal facts of the world, so that the order of explanation must go in the opposite direction. I close by showing how the normativist may answer that challenge. (shrink)

Those who aim to give an account of modal knowledge face two challenges: the integration challenge of reconciling an account of what is involved in knowing modal truths with a plausible story about how we can come to know them, and the reliability challenge of giving a plausible account of how we could have evolved a reliable capacity to acquire modal knowledge. I argue that recent counterfactual and dispositional accounts of modal knowledge cannot solve these problems regarding specifically metaphysical modal (...) truths—leaving us with the threat of skepticism about large portions of metaphysics, and certain other areas of philosophy. I argue, however, that both of these problems look insuperable only if we assume that metaphysical modal discourse serves a describing or tracking function. If we adopt instead a normativist approach to metaphysical modal discourse, which sees the basic function of modal discourse as giving us perspicuous ways of conveying, reasoning with, and renegotiating semantic rules, the problems show up very differently. The modal normativist can give a plausible response to both of the classic problems of how we can come to know metaphysical modal truths. (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)

Although Brandom is critical of some features of narrowly conceived classical pragmatism, at the same time he explicitly embraces a version of pragmatism, both in his overall philosophical outlook, and in his philosophy of language. Brandom’s distinctive theoretical approach is based on what he calls rationalist pragmatism, which is a version of fundamental pragmatism. Within the philosophy of language it takes the form of semantic pragmatism. The paper briefly discusses Brandomian version of fundamental pragmatism and its semantic underpinning, and subsequently (...) formulates a basic dilemma it encounters there. (shrink)

Many philosophers working today on the normativity of language have concluded that linguistic activity is not a matter of rule following. These conversations have been framed by a conception of linguistic normativity with roots in Wittgenstein and Kripke. In this paper I use conceptual resources developed by the classical American pragmatists and their descendants to argue that punctate linguistic acts are governed by rules in a sense that has been neglected in the recent literature on the normativity of language. In (...) the course of arguing for this conclusion I defend a Kantian conception of rationality as rule-obeying activity, and I argue that this conception is compatible with a naturalistic understanding of ourselves as rational beings governed by rules of thought and action. (shrink)

How should we understand validity? A standard way to characterize validity is in terms of the preservation of truth (or truth in a model). But there are several problems facing such characterizations. An alternative approach is to characterize validity epistemically, for instance in terms of the preservation of an epistemic status. In this paper, I raise a problem for such views. First, I argue that if the relevant epistemic status is factive, such as being in a position to know or (...) having conclusive evidence for, then the account runs into trouble if we endorse certain familiar logical principles. Second, I argue that if the relevant epistemic status is non-factive, such as is rationally committed to or has justification for believing, then a similar problem arises if we endorse the logical principles as well as a sufficiently strong epistemic “level-bridging” principle. Finally, I argue that an analogous problem arises for the most natural characterization of validity in terms of rational credence. (shrink)

According to the Adoption Problem certain basic logical principles cannot be adopted. Drawing on the AP, Suki Finn presents an argument against logical pluralism: Modus Ponens and Universal Instantiation both govern a general structure shared by every logical rule. As such, analogues of these two rules must be present in every meta-logic for any logical system L, effectively imposing a restriction to logical pluralism at the meta-level through their presence constituting a “meta-logical monism”. We find a tension in the dual (...) role that the “unadoptable rules” must play in Finn’s “meta-logical monism” rendering it ineffective to restrict logical theories and systems. Consequently, we argue they cannot be both analogues of MP and UI and inferentially productive. We conclude with a series of suggestions regarding where a more satisfying and robust interpretation of the AP could lie. (shrink)

Analytic pragmatism is a framework of analysis elaborated by Robert Brandom, whose goal is to explain the relations between meaning and use according to a systematic and general method of inquiry. In April 2009, a workshop was organized to discuss the recent developments of this new theoretical approach. Brandom delivered three lectures, where he explored some aspects of analytic pragmatism and addressed the motivating themes of this enterprise, while the contribution from the other speakers ranged over specific aspects of the (...) theory. This special issue is the outcome of that workshop. In this introduction we briefly outline the context of the debate and present the contribution to this issue selected from a much wider range of papers, using the reviewing process of Philosophia. (shrink)

A possible way out to Kripke’s Puzzle About Belief could start from the rejection of the notion of epistemic transparency. Epistemic transparency seems, indeed, irremediably incompatible with an externalist conception of mental content. However, Brandom’s inferentialism could be considered a version of externalism that allows, at least in some cases, to save the principle of transparency. Appealing to a normative account of the content of our beliefs, from the inferentialist’s standpoint, it is possible to state that a content is transparent (...) when name-components of that content are a priori associated with some application conditions and, at the same time, reflection alone provides an a priori access to those application conditions, with no need of any empirical investigation. Nevertheless, such requirements are only met in trivial cases. The aim of this paper is to argue that some application conditions of that sort, albeit trivial, can be ontologically ampliative. As a result, the related contents can be regarded as transparent in a substantial and rich way. (shrink)

In his recent John Locke Lectures – published as Between Saying and Doing – Brandom extends and refines his views on the nature of language and philosophy by developing a position that he calls Analytic Pragmatism. Although Brandom’s project bears on an extraordinarily rich array of different philosophical issues, we focus here on the contention that certain vocabularies have a privileged status within our linguistic practices, and that when adequately understood, the practices in which these vocabularies figure can help furnish (...) us with an account of semantic intentionality. Brandom’s claim is that such vocabularies are privileged because they are a species of what he calls universal LX vocabulary –roughly, vocabulary whose mastery is implicit in any linguistic practice whatsoever. We show that, contrary to Brandom’s claim, logical vocabulary per se fails to satisfy the conditions that must be met for something to count as universal LX vocabulary. Further, we show that exactly analogous considerations undermine his claim that modal vocabulary is universal LX. If our arguments are sound, then, contrary to what Brandom maintains, intentionality cannot be explicated as a “pragmatically mediated semantic phenomenon”, at any rate not of the sort that he proposes. (shrink)

Our purpose in this paper is to contribute to a practice-based characterization of scientific inference. We want to explore whether Brandom’s pragmatist–inferentialist framework can suitably accommodate several types of ampliative inference common in scientific reasoning and explanation (probabilistic reasoning, abduction and idealisation). First, we argue that Brandom’s view of induction in terms of merely permissive inferences is inadequate; in order to overcome the shortcoming of Brandom’s proposal, we put forward an alternative conception of inductive, probabilistic reasoning by appeal to the (...) notion of degrees of commitment. Moreover, we examine the sorts of inferential commitments operative in other types of ampliative inferences, such as abduction or reasoning involving idealizations and assumptions. We suggest that agents engaging in these forms of reasoning often undertake restricted inferential commitments, whose scope and reach are more limited that in the case of the commitments associated with full beliefs. (shrink)

The paper investigates the epistemological and communicative competences the experts need to use and communicate evidence in the reasoning process leading to diagnosis. The diagnosis and diagnosis communication are presented as intertwined processes that should be jointly addressed in medical consultations, to empower patients’ compliance in illness management. The paper presents defeasible reasoning as specific to the diagnostic praxis, showing how this type of reasoning threatens effective diagnosis communication and entails that we should understand diagnostic evidence as defeasible as well. (...) It argues that metaphors might be effective communicative devices to let the patients understand the relevant defeasors in the diagnostic reasoning process, helping to improve effective diagnosis communication, and also encouraging a change in patients’ beliefs and attitudes on their own experience of illness and illness’ management. (shrink)

Discursive pluralism, recently fostered by anti-representationalist views, by stating that not all assertions conform to a descriptive model of language, poses an interesting challenge to representationalism. Although in recent years alethic pluralism has become more and more popular as an interesting way out for this issue, the discussion also hosts other interesting minority approaches in the anti-representationalist camp. In particular, the late stage of contemporary expressivism offers a few relevant insights, going from Price's denunciation of “placement problems” to Brandom's inferentialism. (...) This paper attempts to show how these expressivist ideas combine well together, composing a unitary and metaphysically sober metaphilosophical framework. (shrink)

We present an inferentialist account of collective rationality and intentionality, according to which beliefs and other intentional states are understood in terms of the normative statuses attributed to, and undertaken by, the participants of a discursive practice—namely, their discursive or practical commitments and entitlements. Although these statuses are instituted by the performances and attitudes of the agents, they are not identified with any physical or psychological entity, process or relation. Therefore, we argue that inferentialism allows us to talk of collective (...) intentionality and agency without needing to posit the existence of any sort of collective psychology or mind. (shrink)

Experience, it is widely agreed, constrains our thinking and is also thoroughly theory-laden. But how can it constrain our thinking while depending on what it purports to constrain? To address this issue, I revisit and carefully analyze the account of observation provided by Norwood Russell Hanson, who introduced the term ‘theory-ladenness of observation’ in the first place. I show that Hanson’s account provides an original and coherent response to the initial question and argue that, if suitably developed, his account provides (...) a distinctive, powerful, and attractive alternative to relationalist and standard representationalist conceptions of experience. (shrink)

In his program of analytic pragmatism, Robert Brandom has presented a thoroughgoing reinterpretation of the place of analytic philosophy in the history of philosophy by linking his own non-representational ‘inferentialist’ approach to semantics to the rationalist – idealist tradition, and in particular, to Hegel. Brandom, however, has not been without his critics in regard to both his approach to semantics and his interpretation of Hegel. Here I single out four interlinked problematic areas facing Brandom's inferentialist semantics – his approach of (...) perceptual content, to de re attitudes, to perceptual experience and to modality, and then go on to contrast the different approach to these issues that is found in Hegel. While Hegel can helpfully be understood as anticipating an inferentialist semantics as Brandom claims, his is a weak inferentialism in contrast to Brandom's strong version. With his weakly inferentialist approach Hegel can, I suggest, be seen as providing a solution to the tangle of problems.. (shrink)

Reviews Brian Bruya's edited collection The Philosophical Challenge from China.

In this paper, I propose a new way to distinguish between indexicals, like “I” and “today”, and demonstratives, like “she” and “this”. The main test case is the second person singular pronoun “you”. The tradition would generally count it as a demonstrative, because the speaker’s intentions play a role in providing it with a semantic value. I present cross-linguistic data and explanations offered of the data in typology and semantics to show that “you” belongs on the indexical side, and argue (...) that they can be generalized to a novel criterion for distinguishing between indexicals and demonstratives. The central theoretical claim is that the semantic values of indexicals are objects which play certain utterance-related roles, which are fixed independently of the words being used in the utterance. For instance, the speaker plays the speaker role whether or not she uses the word “I”, and the addressee plays that role whether or not the speaker uses the word “you”. Demonstratives, on the other hand, pick out objects that play no such role, and are instead helped by the speaker’s word-specific intentions. (shrink)

In Between Saying and Doing: Towards an Analytic Pragmatism , Robert B. Brandom puts forward a general method of formally representing relations between meaning and use (between vocabularies and practices-or-abilities) and shows how discursive intentionality can be understood as a pragmatically mediated semantic relation. In this context, the activity that pragmatically mediates the semantic relations characteristic of discursive intentionality is specified as a practice of discursive updating —a practice of rectifying commitments and removing incompatibilities. The aim of the paper is (...) to take a closer look at the practice of discursive updating and to show that the role of inconsistencies and disagreements in discursive practice can only be fully understood if the interactional dimension of updating processes is taken into account—i.e. if one looks at the explicitly social, interactional role of discursive updating in cases of disagreements between different subjects. (shrink)

This paper aims to develop the implications of logical expressivism for a theory of dialogue coherence. I proceed in three steps. Firstly, certain structural properties of cooperative dialogue are identified. Secondly, I describe a variant of the multi-agent natural deduction calculus that I introduced in Piwek (J Logic Lang Inf 16(4):403–421, 2007 ) and demonstrate how it accounts for the aforementioned structures. Thirdly, I examine how the aforementioned system can be used to formalise an expressivist account of logical vocabulary that (...) is inspired by Brandom (Making it explicit: reasoning, representing, and discursive commitment, 1994 ; Articulating reasons: an introduction to inferentialism, 2000 ). This account conceives of the logical vocabulary as a tool which allows speakers to describe the inferential practices which underlie their language use, i.e., it allows them to make those practices explicit. The rewards of this exercise are twofold: (1) We obtain a more precise account of logical expressivism which can be defended more effectively against the critique that such accounts lead to cultural relativism. (2) The formalised distinction between engaging in a practice and expressing it, opens the way for a revision of the theory of dialogue coherence. This revision eliminates the need for logically complex formulae to account for certain structural properties of cooperative dialogue. (shrink)

Formal semantics is an enterprise which accounts for meaning in formal, mathematical terms, in the expectation of providing a helpful explication1 of the concept of the meaning of specific word kinds (such as logical ones), or of words and expressions generally. Its roots go back to Frege, who proposed exempting concepts, meanings of predicative expressions, from the legislation of psychology and relocating them under that of mathematics. This started a spectacular enterprise, fostered at first within formal logic and later moving (...) into the realm of natural languages, and featuring a series of eminent scholars, from Tarski and Carnap to Montague and David Lewis. Partly independently of this, Frege set the agenda for a long-term discussion of the question of what a natural language is, his own contribution being that language should be seen not as a matter of subjective psychology, but rather as a reality objective in the sense in which mathematics is objective. His formal semantics, then, was just an expression of this conception of language. And many theoreticians now take it for granted that formal semantics is inseparably connected with a Platonist conception of language. Moreover, the more recent champions of formal semantics, Montague and David Lewis, took for granted that natural language is nothing else than a structure of the very kind envisaged by the theories of formal logicians. While Montague claims quite plainly that there is no substantial difference between formal and natural languages ("I reject the contention," he says, 1974, p. 188, "that an important theoretical difference exists between formal and natural languages"), Lewis states that it is fully correct to say that a linguistic community entertains a language in the form of a mathematical structure ("we can say", states Lewis, 1975, p.. (shrink)

This article suggests reasons why Donald Davidson’s work in philosophy of mind and metaphysics can be identified as Spinozist and also explores the significance of using proper names from the history of philosophy to describe contemporary projects. It argues that what makes Davidson’s work Spinozist is not just its internal features, but the role it occupies in relation to other positions identified as Kantian and Hegelian in today’s philosophical terrain. Finally, it suggests that the core animus at the heart of (...) Davidson’s Spinozism is its indifference to autonomy as a concept in need of metaphysical grounding or essential to normative commitment. (shrink)

Abstract This paper discusses the semantic theory presented in Robert Brandom’s Making It Explicit . I argue that it is best understood as a special version of dynamic semantics, so that these semantics by themselves offer an interesting theoretical alternative to more standard truth-conditional theories. This reorientation also has implications for more foundational issues. I argue that it gives us the resources for a renewed argument for the normativity of meaning. The paper ends by critically assessing the view in both (...) its development and motivations. Content Type Journal Article Pages 1-22 DOI 10.1007/s11098-011-9768-4 Authors Bernhard Nickel, Harvard University, Cambridge, MA, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

In this paper, I utilise the growing literature on scientific modelling to investigate the nature of formal semantics from the perspective of the philosophy of science. Specifically, I incorporate the inferential framework proposed by Bueno and Colyvan : 345–374, 2011) in the philosophy of applied mathematics to offer an account of how formal semantics explains and models its data. This view produces a picture of formal semantic models as involving an embedded process of inference and representation applying indirectly to linguistic (...) phenomena. The final aim of the paper is directed at proposing a novel account of the syntax–semantics interface while shedding light on empty categories, semantically null forms, underspecified content and compositionality as a whole. (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)

Even after Quine’s critique of the analytic-synthetic distinction in “Two Dogmas of Empiricism,” Wilfrid Sellars maintained some forms of analyticity or truth in virtue of meaning. This paper aims to reconstruct his neglected account of the analytic-synthetic distinction and the revisability of analytic sentences, its connection to his inferentialist account of meaning, and his response to Quine. While Sellars’s account of how analytic sentences can be revised bears certain similarities with Carnap’s and Grice and Strawson’s accounts, it is still striking (...) in that it is part of his broader picture of how our language develops dynamically in our ongoing inquiry. I aim to show how it relates within his broader picture to his account of how the diachronic continuity in meaning, language, or conceptual framework can be preserved through a revision of analytic sentences, and to his evolutionary account of the development of our language or conceptual framework. (shrink)

In his Locke Lectures Brandom proposes to extend what he calls the project of analysis to encompass various relationships between meaning and use. As the traditional project of analysis sought to clarify various logical relations between vocabularies so Brandom’s extended project seeks to clarify various pragmatically mediated semantic relations between vocabularies. The point of the exercise in both cases is to achieve what Brandom thinks of as algebraic understanding. Because the pragmatist critique of the traditional project of analysis was precisely (...) to deny that such understanding is appropriate to the case of natural language, the very idea of an analytic pragmatism is called into question by that critique. My aim is to clarify the prospects for Brandom’s project, or at least something in the vicinity of that project, through a comparison of it with what I will suggest we can think of as Kant’s analytic pragmatism as developed by Peirce. (shrink)

Frege introduced the notion of pragmatic force as what distinguishes statements from questions. This distinction was elaborated by Wittgenstein in his later works, and systematised as an account of different kinds of speech acts in formal dialogue theory by Hamblin. It lies at the heart of the inferential semantics more recently developed by Brandom. The present paper attempts to sketch some of the relations between these developments.

Whether or not deflationism is compatible with truth-conditional theories of meaning has often been discussed in very broad terms. This paper only focuses on Davidsonian semantics and Brandom's anaphoric deflationism and defends the claim that these are perfectly compatible. Critics of this view have voiced several objections, the most prominent of which claims that it involves an unacceptable form of circularity. The paper discusses how this general objection applies to the case of anaphoric deflationism and Davidsonian semantics and evaluates different (...) ways of responding to it (Williams 1999, Horisk 2008 and Lance 1997). Then, three further objections to the compatibility of these theories are assessed and eventually dismissed (Horisk 2007, Patterson 2005 and Collins 2002). It is shown how these considerations shed light on core issues of the debate. (shrink)

In recent years, several systematic theories of linguistic meaning have been offered that give pride of place to linguistic practice, or the process of linguistic communication. Often these theories are referred to as neo-pragmatist or new pragmatist; I call them 'practice-based'. According to practice-based theories of meaning, the process of linguistic communication is somehow constitutive of, or otherwise essential for the existence of, propositional linguistic meaning. Moreover, these theories disavow, or downplay, the semantic importance of inflationary notions of representation. I (...) introduce the basic ideas and motives behind some practice-based theories of meaning, and offer some reasons why an eliminativist, non-quietist, epistemic practice-based approach to meaning that 1) disavows any explanatory role for the linguistic community as such, 2) prioritizes sentence meaning over word meaning, and 3) may , in the end, be naturalistic, should be favored over its practice-based competitors. (shrink)

Counterpossibles are counterfactuals that involve some metaphysical impossibility. Modal normativism is a non-descriptivist account of metaphysical necessity and possibility according to which modal claims, e.g. ‘necessarily, all bachelors are unmarried’, do not function as descriptive claims about the modal nature of reality but function as normative illustrations of constitutive rules and permissions that govern the use of ordinary non-modal vocabulary, e.g. ‘bachelor’. In this paper, I assume modal normativism and develop a novel account of counterpossibles and claims about metaphysical similarity (...) between possible and impossible worlds. I argue that considerations of metaphysical similarity between various impossible worlds and the actual world only require us to tacitly consider how the actual constitutive rules that govern the use of our terms change in order to accommodate the description of some hypothetical impossible scenario. I then argue for my account by raising worries for alternative epistemic and realist accounts of counterpossibles and showing how my account avoids those worries. (shrink)

This article grapples with Robert Brandom’s account of singular terms. I argue that neither Brandom’s answer to the question “What are singular terms?” nor his answer to the question “Why are there any singular terms?” works as they currently stand. Brandom’s substitution-inferential semantic account of what singular terms are fails to distinguish between the semantic role of singular terms and indefinite descriptions, and Brandom’s “expressive transcendental deduction” for why there are any singular terms fails to deciseively show that singular terms (...) are expressively necessary for the use of logical vocabulary. Still, I then characterize how Brandom does have resources within his substitution-inferential semantics to give a better, revised answer to the question “What are singular terms?” that both fits programmatically within his framework and has a curious Kantian parallel. I leave the matter offering a Brandom-friendly replacement account for why there are any singular terms thus conceived for another occasion. (shrink)