In his paper 'Generalised Ortho Negation' [2] J.Michael Dunn mentions a claim of mine to the effect that there is no condition on 'perp frames' equivalent to the holding of double negation elimination ∼∼A ⊩ A. That claim is wrong. In this paper I correct my error and analyse the behaviour of conditions on frames for negations which verify a number of different theses.

Logical inferentialism claims that the meaning of the logical constants should be given, not model-theoretically, but by the rules of inference of a suitable calculus. It has been claimed that certain proof-theoretical systems, most particularly, labelled deductive systems for modal logic, are unsuitable, on the grounds that they are semantically polluted and suffer from an untoward intrusion of semantics into syntax. The charge is shown to be mistaken. It is argued on inferentialist grounds that labelled deductive systems are as syntactically (...) pure as any formal system in which the rules define the meanings of the logical constants. (shrink)

Of the various accounts of negation that have been offered by logicians in the history of Western logic, that of negation as cancellation is a very distinctive one, quite different from the explosive accounts of modern "classical" and intuitionist logics, and from the accounts offered in standard relevant and paraconsistent logics. Despite its ancient origin, however, a precise understanding of the notion is still wanting. The first half of this paper offers one. Both conceptually and historically, the account of negation (...) as cancellation is intimately connected with connexivist principles such as ¬( ¬). Despite this, standard connexivist logics incorporate quite different accounts of negation. The second half of the paper shows how the cancellation account of negation of the first part gives rise to a semantics for a simple connexivist logic. (shrink)

The axiomatic presentation of modal systems and the standard formulations of natural deduction and sequent calculus for modal logic are reviewed, together with the difficulties that emerge with these approaches. Generalizations of standard proof systems are then presented. These include, among others, display calculi, hypersequents, and labelled systems, with the latter surveyed from a closer perspective.

I identify a notion of logical grounding, clarify it, and show how it can be used (i) to characterise various consequence relations, and (ii) to give a precise syntactic account of the notion of “groundedness” at work in the literature on the paradoxes of truth.

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)

We present and defend the Australian Plan semantics for negation. This is a comprehensive account, suitable for a variety of different logics. It is based on two ideas. The first is that negation is an exclusion-expressing device: we utter negations to express incompatibilities. The second is that, because incompatibility is modal, negation is a modal operator as well. It can, then, be modelled as a quantifier over points in frames, restricted by accessibility relations representing compatibilities and incompatibilities between such points. (...) We defuse a number of objections to this Plan, raised by supporters of the American Plan for negation, in which negation is handled via a many-valued semantics. We show that the Australian Plan has substantial advantages over the American Plan. (shrink)

General discussion of grounding, including its formal features, relations to other notions, and applications.

A number of philosophers have recently become receptive to the idea that, in addition to scientific or causal explanation, there may be a distinctive kind of metaphysical explanation, in which explanans and explanandum are connected, not through some sort of causal mechanism, but through some constitutive form of determination. I myself have long been sympathetic to this idea of constitutive determination or ‘ontological ground’; and it is the aim of the present paper to help put the idea on a firmer (...) footing - to explain how it is to be understood, how it relates to other ideas, and how it might be of use in philosophy. (shrink)