This is a paradigmatic work of contemporary philosophy.

Classical American pragmatism: the pragmatist -- Enlightenment-and its problematic semantics -- Analyzing pragmatism: pragmatics and pragmatisms -- A Kantian rationalist pragmatism: pragmatism -- Inferentialism, and modality in Sellars's arguments against -- Empiricism -- Linguistic pragmatism and pragmatism about norms: an arc of -- Thought from Rorty's eliminative materialism to his pragmatism -- Vocabularies of pragmatism: synthesizing naturalism and -- Historicism -- Towards an analytic pragmatism: meaning-use analysis -- Pragmatism, expressivism, and anti-representationalism: -- Local and global possibilities.

1 Meaning and Truth Objection to propositions Propositions as information Diffuseness of empirical meaning Propositions dismissed Truth and semantic ascent Tokens and eternal sentences 2 Grammar Grammar by recursion Categories Immanence and transcendence Grammarian's goal reexamined Logical grammar Redundant devices Names and functors Lexicon, particle, and name Criterion of lexicon Time, events, adverbs Attitudes and modality 3 Truth Truth and satisfaction Satisfaction by sequences Tarski's definition of truth Paradox in the object language Resolution in set theory 4 Logical Truth In (...) terms of structure In terms of substitution In terms of models Adequacy of substituteon In terms of proof In terms of grammar 5 The Scope of Logic Affinities of identity Identity reduced Set theory Set theory in sheep's clothing Logic in wolf's clothing Scope of the virtual theory Simulated class quantification Other simulated quantification Annexes 6 Deviant Login Change of logic, change of subject Logic in translation Law of excluded middle Debate about the dichotomy Intuitionism Branched quantifiers Substitutional quantification Its strength 7 The Ground of Logical Truth The semblance of a theory An untenable dualism The place of logic For Further Reading Index. (shrink)

In this study two strands of inferentialism are brought together: the philosophical doctrine of Brandom, according to which meanings are generally inferential roles, and the logical doctrine prioritizing proof-theory over model theory and approaching meaning in logical, especially proof-theoretical terms.

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)

This paper examines two explanations Sellars gives, at successive stages of his career, of how semantic vocabulary lets us relate linguistic expressions to extra-linguistic reality. Despite their differences, both explanations reveal a distinctive pragmatist approach. According to Sellars, we do not use semantic vocabulary to describe language-world relations. Rather, our taking language to relate to the world is implicit in the moves licensed by our semantic assertions. I argue that Sellars's discussions of the function of semantic vocabulary point to an (...) overlooked position regarding the relation between the concepts of meaning and truth. According to him, the function of meaning ascriptions cannot be explained independently of the function of truth ascriptions. That is because the function of meaning ascriptions essentially involves licensing claims about the world when combined with truth ascriptions. If he is right, this poses a challenge to deflationary accounts of the function of truth talk. (shrink)

Rejecting structural contraction has been proposed as a strategy for escaping semantic paradoxes. The challenge for its advocates has been to make intuitive sense of how contraction might fail. I offer a way of doing so, based on a “naive” interpretation of the relation between structure and logical vocabulary in a sequent proof system. The naive interpretation of structure motivates the most common way of blaming Curry-style paradoxes on illicit contraction. By contrast, the naive interpretation will not as easily motivate (...) one recent noncontractive approach to the Liar paradox. (shrink)

Deflationists about truth seek to undermine debates about the nature of truth by arguing that the truth predicate is merely a device that allows us to express a certain kind of generality. I argue that a parallel approach is available in the case of logical consequence. Just as deflationism about truth offers an alternative to accounts of truth's nature in terms of correspondence or justification, deflationism about consequence promises an alternative to model-theoretic or proof-theoretic accounts of consequence's nature. I then (...) argue, against considerations put forward by Field and Beall, that Curry's paradox no more rules out deflationism about consequence than the liar paradox rules out deflationism about truth. (shrink)

We introduce a sequent calculus B for a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic, quantum and non-modal linear logics, are all obtained as extensions in a uniform way and in a single framework. We isolate three properties, which characterize B positively: reflection, symmetry and visibility. A logical constant obeys to the principle of reflection if it is characterized semantically by an equation binding it with (...) a metalinguistic link between assertions, and if its syntactic inference rules are obtained by solving that equation. All connectives of basic logic satisfy reflection. To the control of weakening and contraction of linear logic, basic logic adds a strict control of contexts, by requiring that all active formulae in all rules are isolated, that is visible. From visibility, cut-elimination follows. The full, geometric symmetry of basic logic induces known symmetries of its extensions, and adds a symmetry among them, producing the structure of a cube. (shrink)

We introduce a sequent calculusBfor a new logic, named basic logic. The aim of basic logic is to find a structure in the space of logics. Classical, intuitionistic. quantum and non-modal linear logics, are all obtained as extensions in a uniform way and in a single framework. We isolate three properties, which characterizeBpositively: reflection, symmetry and visibility.A logical constant obeys to the principle of reflection if it is characterized semantically by an equation binding it with a metalinguistic link between assertions, (...) and if its syntactic inference rules are obtained by solving that equation. All connectives of basic logic satisfy reflection.To the control of weakening and contraction of linear logic, basic logic adds a strict control of contexts, by requiring that all active formulae in all rules are isolated, that is visible. From visibility, cut-elimination follows. The full, geometric symmetry of basic logic induces known symmetries of its extensions, and adds a symmetry among them, producing the structure of a cube. (shrink)

The topic of this paper is the question whether there is a logic which could be justly called the logic of inference. It may seem that at least since Prawitz, Dummett and others demonstrated the proof-theoretical prominency of intuitionistic logic, the forthcoming answer is that it is this logic that is the obvious choice for the accolade. Though there is little doubt that this choice is correct (provided that inference is construed as inherently single-conclusion and complying with the Gentzenian structural (...) rules), I do not think that the usual justification of it is satisfactory. Therefore, I will first try to clarify what exactly is meant by the question, and then sketch a conceptual framework in which it can be reasonably handled. I will introduce the concept of 'inferentially native' logical operators (those which explicate inferential properties) and I will show that the axiomatization of these operators leads to the axiomatic system of intuitionistic logic. Finally, I will discuss what modifications of this answer enter the picture when more general notions of inference are considered. (shrink)

The paper presents an argument against a "metaphysical" conception of logic according to which logic spells out a specific kind of mathematical structure that is somehow inherently related to our factual reasoning. In contrast, it is argued that it is always an empirical question as to whether a given mathematical structure really does captures a principle of reasoning. (More generally, it is argued that it is not meaningful to replace an empirical investigation of a thing by an investigation of its (...) a priori analyzable structure without paying due attention to the question of whether it really is the structure of the thing in question.) It is proposed to elucidate the situation by distinguishing two essentially different realms with which our reason must deal: "the realm of the natural", constituted by the things of our empirical world, and "the realm of the formal", constituted by the structures that we use as "prisms" to view, to make sense of, and to reconstruct the world. It is suggested that this vantage point may throw light on many foundational problems of logic. (shrink)

What is truth. Paul Horwich advocates the controversial theory of minimalism, that is that the nature of truth is entirely captured in the trivial fact that each proposition specifies its own condition for being true, and that truth is therefore an entirely mundane and unpuzzling concept. The first edition of Truth, published in 1980, established itself as the best account of minimalism and as an excellent introduction to the debate for students. For this new edition, Horwich has refined and developed (...) his treatment of the subject in the light of subsequent discussions, while preserving the distinctive format that made the earlier edition so successful. (shrink)

A work in the history of systematic philosophy that is itself animated by a systematic philosophic aspiration, this book by one of the most prominent American ...

What would something unlike us--a chimpanzee, say, or a computer--have to be able to do to qualify as a possible knower, like us? To answer this question at the very heart of our sense of ourselves, philosophers have long focused on intentionality and have looked to language as a key to this condition. Making It Explicit is an investigation into the nature of language--the social practices that distinguish us as rational, logical creatures--that revises the very terms of this inquiry. Where (...) accounts of the relation between language and mind have traditionally rested on the concept of representation, this book sets out an alternate approach based on inference, and on a conception of certain kinds of implicit assessment that become explicit in language. Making It Explicit is the first attempt to work out in detail a theory that renders linguistic meaning in terms of use--in short, to explain how semantic content can be conferred on expressions and attitudes that are suitably caught up in social practices. -/- At the center of this enterprise is a notion of discursive commitment. Being able to talk--and so in the fullest sense being able to think--is a matter of mastering the practices that govern such commitments, being able to keep track of one’s own commitments and those of others. Assessing the pragmatic significance of speech acts is a matter of explaining the explicit in terms of the implicit. As he traces the inferential structure of the social practices within which things can be made conceptually explicit, the author defines the distinctively expressive role of logical vocabulary. This expressive account of language, mind, and logic is, finally, an account of who we are. (shrink)

Wilfrid Sellars ranks as one of the leading critics of empiricism—a philosophical approach to knowledge that seeks to ground it in human sense experience. Robert Brandom clarifies what Sellars had in mind when he talked about moving analytic philosophy from its Humean to its Kantian phase and why such a move might be of crucial importance today.

Extending the project of analysis -- Elaborating abilities : the expressive role of logic -- Artificial intelligence and analytic pragmatism -- Modality and normativity : from Hume and Quine to Kant and Sellars -- Incompatibility, modal semantics, and intrinsic logic -- Intentionality as a pragmatically mediated semantic relation -- Afterword : philosophical analysis and analytic philosophy.

Robert Brandom's latest book, the product of his John Locke lectures in Oxford in 2006, is a return to the philosophy of language and is easily read as a continuation and development of the views defended in Making it Explicit. The text of the lectures is presented much as they were delivered, but it contains an ‘Afterword’ of more than 30 pages which responds to questions raised when he gave the lectures, and also when they were subsequently delivered in Prague (...) the following year. The published text also contains relatively technical appendices to two of the lectures.The individual lectures engage with some important and difficult issues, often ones that were explored in detail in the earlier book. However, these discussions are located within a broader meta-philosophical context, and it says something about the abstract and difficult character of these views that they provide the main subject matter of the Afterword. This framework affects how we should understand the relations between this book and Making It Explicit too. Although most of the detailed discussions happily belong within the general project of the earlier book, they are offered as illustrations of a framework that is independent of this project. Indeed, Brandom suggests that defenders of the semantic views of David Lewis, for example, could embrace his main message as well as those who favour Brandom's own form of pragmatism.Neo-pragmatist philosophers such as Brandom's teacher, Richard Rorty, often present themselves as rejecting the analytic tradition in philosophy. When Brandom describes the ‘pragmatist challenge’ to the ‘classical project of analysis’, he appeals to the criticisms found in the work of Wittgenstein and Sellars that are often appealed to by the critics of the analytic tradition. The message of the new book is that the views he has built on this …. (shrink)

This new work provides an approachable introduction to the complex system that Making It Explicit mapped out.

Paul Horwich gives the definitive exposition of a prominent philosophical theory about truth, `minimalism'. His theory has attracted much attention since the first edition of Truth in 1990; he has now developed, refined, and updated his treatment of the subject, while preserving the distinctive format of the book. This revised edition appears simultaneously with a new companion volume, Meaning; the two books demystify central philosophical issues, and will be essential reading for all who work on the philosophy of language.

This volume brings together fourteen major essays by one of contemporary philosophy's most challenging thinkers. Huw Price links themes from Quine, Carnap, Wittgenstein and Rorty, to craft a powerful critique of contemporary naturalistic metaphysics. He offers a new positive program for philosophy, cast from a pragmatist mould.

Dorit Bar-On develops and defends a novel view of avowals and self-knowledge. Drawing on resources from the philosophy of language, the theory of action, epistemology, and the philosophy of mind, she offers original and systematic answers to many long-standing questions concerning our ability to know our own minds. We are all very good at telling what states of mind we are in at a given moment. When it comes to our own present states of mind, what we say goes; an (...) avowal such as "I'm feeling so anxious" or "I'm thinking about my next trip to Paris," it is typically supposed, tells it like it is. But why is that? Why should what I say about my present mental states carry so much more weight than what others say about them? Why should avowals be more immune to criticism and correction than other claims we make? And if avowals are not based on any evidence or observation, how could they possibly express our knowledge of our own present mental states? Bar-On proposes a Neo-Expressivist view according to which an avowal is an act through which a person directly expresses, rather than merely reports, the very mental condition that the avowal ascribes. She argues that this expressivist idea, coupled with an adequate characterization of expression and a proper separation of the semantics of avowals from their pragmatics and epistemology, explains the special status we assign to avowals. As against many expressivists and their critics, she maintains that such an expressivist explanation is consistent with a non-deflationary view of self-knowledge and a robust realism about mental states. The view that emerges preserves many insights of the most prominent contributors to the subject, while offering a new perspective on our special relationship to our own minds. (shrink)

I discuss the relationship between the two forms of expressivism defended by Robert Brandom, on one hand, and philosophers in the Humean tradition, such as Simon Blackburn and Allan Gibbard, on the other. I identify three apparent points of difference between the two programs, but argue that all three are superficial. Both projects benefit from the insights of the other, and the combination is in a natural sense a global expressivism.

What are people who disagree about logic disagreeing about? The paper argues that (in a wide range of cases) they are primarily disagreeing about how to regulate their degrees of belief. An analogy is drawn between beliefs about validity and beliefs about chance: both sorts of belief serve primarily to regulate degrees of belief about other matters, but in both cases the concepts have a kind of objectivity nonetheless.

When I tell you that it’s raining, I describe a way the world is—viz., rainy. I say something whose truth turns on how things are with the weather in the world. Likewise when I tell you that the weatherman thinks that it’s raining. Here the truth of what I say turns on how things are with the weatherman’s state of mind in the world. Likewise when I tell you that I think that it’s raining. Here the truth of what I (...) say turns on how things are with my state of mind in the world. (shrink)