During the Winter of 2011 I visited SADAF and gave a series of talks based on the central chapters of my manuscript on the Yablo paradox. The following year, I visited again, and was pleased and honored to find out that Eduardo Barrio and six of his students had written ‘responses’ that addressed the claims and arguments found in the manuscript, as well as explored new directions in which to take the ideas and themes found there. These comments reflect my (...) thoughts on these responses (also collected in this issue), as well as my thoughts on further issues that arose during the symposium that was based on the papers and during the many hours I spent talking and working with Eduardo and his students. Durante el invierno de 2011, visité SADAF y dí una serie de conferencias sobre los capítulos centrales de mi manuscrito sobre la paradoja de Yablo. El año siguiente, visité Buenos aires nuevamente y tuve el placer y el honor de descubrir que Eduardo Barrio y seis de sus estudiantes habían escrito respuestas que abordan las afirmaciones y argumentos de mi manuscrito, además de explorar nuevas direcciones en las cuales considerar las ideas y temas encontrados allí. El presente trabajo refleja mis pensamientos sobre estas respuestas (también incluidas en este volumen), así como mis ideas sobre otras cuestiones que surgieron durante el simposio en el que se presentaron los artículos y en las muchas horas que nosotros discutimos y trabajamos con Eduardo y sus estudiantes. (shrink)

Logical pluralism is the view that there is more than one formal logic that correctly (or best, or legitimately) codifies the logical consequence relation in natural language. This essay provides a taxonomy of different variations on the logical pluralist theme based on a five-part structure, and then identifies an unoccupied position in this taxonomy: perspectival logical pluralism. Perspectival pluralism provides an attractive position from which to formulate a philosophy of logic from a feminist perspective (and from other, identity-based perspectives, such (...) as critical race theory). An example of how such an account might be developed is sketched. The essay concludes by defusing an obvious objection to the perspectival approach: the claim that the correct logic (or logics), in virtue of the formal nature of logic, should be independent of considerations regarding the identity of the reasoner. (shrink)

Logical pluralism is the view that there is more than one correct logic. In this article, I explore what logical pluralism is, and what it entails, by: (i) distinguishing clearly between relativism about a particular domain and pluralism about that domain; (ii) distinguishing between a number of forms logical pluralism might take; (iii) attempting to distinguish between those versions of pluralism that are clearly true and those that are might be controversial; and (iv) surveying three prominent attempts to argue for (...) logical pluralism and evaluating them along the criteria provided by (ii) and (iii). (shrink)

Carnap’s seminal ‘Empiricism, Semantics and Ontology’ makes important use of the notion of a framework and the related distinction between internal and external questions. But what exactly is a framework? And what role does the internal/external distinction play in Carnap’s metaontology? In an influential series of papers, Matti Eklund has recently defended a bracingly straightforward interpretation: A Carnapian framework, Eklund says, is just a natural language. To ask an internal question, then, is just to ask a question in, say, English. (...) To try to ask an external question is to try, absurdly, to ask a question in no language at all. Finding that so trivial an I/e distinction can’t help to explain Carnap’s deflationary metaontology, Eklund is led to attribute to Carnap a view he calls ontological pluralism. In this paper, I show that Eklund misreads Carnap, and I argue that this misreading obscures fundamental features of Carnap’s philosophy. I then defend an account of frameworks as what Carnap called semantical systems, and I place this account in the context of Carnap’s philosophical program of explication. Finally, I discuss the role that frameworks and the I/e distinction play in ESO, showing that ESO provides no reason to attribute the doctrine of ontological pluralism to Carnap. (shrink)

This paper argues that logical inferentialists should reject multiple-conclusion logics. Logical inferentialism is the position that the meanings of the logical constants are determined by the rules of inference they obey. As such, logical inferentialism requires a proof-theoretic framework within which to operate. However, in order to fulfil its semantic duties, a deductive system has to be suitably connected to our inferential practices. I argue that, contrary to an established tradition, multiple-conclusion systems are ill-suited for this purpose because they fail (...) to provide a 'natural' representation of our ordinary modes of inference. Moreover, the two most plausible attempts at bringing multiple conclusions into line with our ordinary forms of reasoning, the disjunctive reading and the bilateralist denial interpretation, are unacceptable by inferentialist standards. (shrink)

We show that, by choosing definitions carefully, a version of Frege's theorem can be proved in intuitionistic logic.

According to logical inferentialists, the meanings of logical expressions are fully determined by the rules for their correct use. Two key proof-theoretic requirements on admissible logical rules, harmony and separability, directly stem from this thesis—requirements, however, that standard single-conclusion and assertion-based formalizations of classical logic provably fail to satisfy :1035–1051, 2011). On the plausible assumption that our logical practice is both single-conclusion and assertion-based, it seemingly follows that classical logic, unlike intuitionistic logic, can’t be accounted for in inferentialist terms. In (...) this paper, I challenge orthodoxy and introduce an assertion-based and single-conclusion formalization of classical propositional logic that is both harmonious and separable. In the framework I propose, classicality emerges as a structural feature of the logic. (shrink)

This article offers an overview of inferential role semantics. We aim to provide a map of the terrain as well as challenging some of the inferentialist’s standard commitments. We begin by introducing inferentialism and placing it into the wider context of contemporary philosophy of language. §2 focuses on what is standardly considered both the most important test case for and the most natural application of inferential role semantics: the case of the logical constants. We discuss some of the (alleged) benefits (...) of logical inferentialism, chiefly with regards to the epistemology of logic, and consider a number of objections. §3 introduces and critically examines the most influential and most fully developed form of global inferentialism: Robert Brandom’s inferentialism about linguistic and conceptual content in general. Finally, in §4 we consider a number of general objections to IRS and consider possible responses on the inferentialist’s behalf. (shrink)