This essay argues that the main lesson of Lewis Carroll's Regress is that arguments are constitutively presuppositional.

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)

In this paper I deal with epistemological issues that stem from the hypothesis that reasoning is not only a means of transmitting knowledge from premise-beliefs to conclusion-beliefs, but also a primary source of knowledge in its own right. The idea is that one can gain new knowledge on the basis of suppositional reasoning. After making some preliminary distinctions, I argue that there are no good reasons to think that purported examples of knowledge grounded on pure reasoning are just examples of (...) premise-based inferences in disguise. Next, I establish what kinds of true propositions can to a first approximation be known on the basis of pure reasoning. Finally, I argue that beliefs that are competently formed on the basis of suppositional reasoning satisfy both externalist and internalist criteria of justification. (shrink)

Neste artigo trato da questão sobre o que torna uma dedução confiável. Uma resposta satisfatória a tal questão nos ajudaria a entender como dedução pode expandir ou gerar conhecimento. Eu exploro duas respostas a tal questão. A primeira faz uso da noção de acarretamento lógico-formal, enquanto que a segunda faz uso da noção de acarretamento metafísico. A última é superior à primeira, pois nos permite explicar a confiabilidade de uma classe mais ampla de deduções.

In this paper I explore alternative ways of addressing the infinite regress problem of inference, as it was depicted in Lewis Carroll’s ‘What the Tortoise said to Achilles’. Roughly put, the problem is that if a claim to the effect that one’s premises give support to one’s conclusion must itself be part of one’s premises, then an infinite regress of reasons ensues. I discuss some recent attempts to solve that problem, but I find all of them to be wanting. Those (...) attempts either require the reasoner to believe that her premises give support to her conclusion, or to take her premises to give support to her conclusion, where taking is not a doxastic attitude. I conclude that, on the face of the failure of those attempts to solve the problem, there is a strong prima facie case for allowing inference to be blind. (shrink)

Proposition 5.122 of Wittgenstein’s Tractatus has been the source of much puzzlement among interpreters, so much so that no fully satisfactory account is yet available. This is unfortunate, if only because the containment account of logical consequence has a venerable tradition behind it. Pasquale Frascolla’s interpretation of proposition 5.122 is based on a valid argument and one true premise. However, the argument explains sense containment only in an indirect way, leaving some crucial questions unanswered. Besides, Frascolla does not address the (...) issue of how to make sense containment notationally perspicuous, an essential theme in Wittgenstein’s reflections. In this paper, we elaborate on Frascolla’s account by looking at the issue through the Tractarian notion of logical space. Our analysis shows that, for containment to be fully appreciated, one should adopt a negative perspective on the notion of sense, in line with the exclusionary theory of conceptual content, as labelled by Ian Rumfitt. Besides this, we introduce and discuss two methods—one envisaged by Wittgenstein himself—for making sense containment notationally perspicuous. (shrink)

The philosophical literature on reasoning is dominated by the assumption that reasoning is essentially a matter of following rules. This paper challenges this view, by arguing that it misrepresents the nature of reasoning as a personal level activity. Reasoning must reflect the reasoner’s take on her evidence. The rule-following model seems ill-suited to accommodate this fact. Accordingly, this paper suggests replacing the rule-following model with a different, semantic approach to reasoning.

This special issue collects together nine new essays on logical consequence :the relation obtaining between the premises and the conclusion of a logically valid argument. The present paper is a partial, and opinionated,introduction to the contemporary debate on the topic. We focus on two influential accounts of consequence, the model-theoretic and the proof-theoretic, and on the seeming platitude that valid arguments necessarilypreserve truth. We briefly discuss the main objections these accounts face, as well as Hartry Field’s contention that such objections (...) show consequenceto be a primitive, indefinable notion, and that we must reject the claim that valid arguments necessarily preserve truth. We suggest that the accountsin question have the resources to meet the objections standardly thought to herald their demise and make two main claims: (i) that consequence, as opposed to logical consequence, is the epistemologically significant relation philosophers should be mainly interested in; and (ii) that consequence is a paradoxical notion if truth is. (shrink)

Bilateral proof systems, which provide rules for both affirming and denying sentences, have been prominent in the development of proof-theoretic semantics for classical logic in recent years. However, such systems provide a substantial amount of freedom in the formulation of the rules, and, as a result, a number of different sets of rules have been put forward as definitive of the meanings of the classical connectives. In this paper, I argue that a single general schema for bilateral proof rules has (...) a reasonable claim to inferentially articulating the core meaning of all of the classical connectives. I propose this schema in the context of a bilateral sequent calculus in which each connective is given exactly two rules: a rule for affirmation and a rule for denial. Positive and negative rules for all of the classical connectives are given by a single rule schema, harmony between these positive and negative rules is established at the schematic level by a pair of elimination theorems, and the truth-conditions for all of the classical connectives are read off at once from the schema itself. (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)

What exactly is reasoning? While debate on this question is ongoing, most philosophers seem to agree on at least the following: reasoning is a mental process operating on contents, which consists in adopting or revising some of your attitudes in light of others. In this paper, I argue that this characterisation is mistaken: there is no single mental phenomenon that satisfies both of these conditions. Instead, I characterise two distinct mental phenomena, which I call ‘deducing’, on the one hand, and (...) ‘reasoning’ or ‘inference’ on the other, to play each of these roles. Recognising this division of labour is essential to developing a better understanding of our rational economy. (shrink)

Nontransitive responses to the validity Curry paradox face a dilemma that was recently formulated by Barrio, Rosenblatt and Tajer. It seems that, in the nontransitive logic ST enriched with a validity predicate, either you cannot prove that all derivable metarules preserve validity, or you can prove that instances of Cut that are not admissible in the logic preserve validity. I respond on behalf of the nontransitive approach. The paper argues, first, that we should reject the detachment principle for naive validity. (...) Secondly, I show how to add a validity predicate to ST while avoiding the dilemma. (shrink)

I discuss Greg Restall’s attempt to generate an account of logical consequence from the incoherence of certain packages of assertions and denials. I take up his justification of the cut rule and argue that, in order to avoid counterexamples to cut, he needs, at least, to introduce a notion of logical form. I then suggest a few problems that will arise for his account if a notion of logical form is assumed. I close by sketching what I take to be (...) the most natural minimal way of distinguishing content and form and suggest further problems arising for this route. (shrink)

In ‘Reasoning and Regress’ I argued that inferring a conclusion from a set of propositions may simply consist in taking it that the conclusion follows from these propositions—thereby defusing familiar regress arguments. Sinan Dogramaci challenges the generality of this view, on the grounds that sometimes you may draw conclusions from no premisses that you believe. I respond by clarifying a distinction between the premisses of an argument from the reasons your conclusion is based upon. While suppositional reasoning may involve no (...) premisses in the former sense, it does not follow that it does not involve concluding something on the basis of reasons. This allows the view defended in ‘Reasoning and Regress’ to extend to suppositional reasoning. (shrink)

In this paper, I consider the connection between consequence relations and closure operations. I argue that one familiar connection makes good sense of some usual applications of consequence relations, and that a largeish family of familiar noncontractive consequence relations cannot respect this familiar connection.

I discuss Prawitz’s claim that a non-reliabilist answer to the question “What is a proof?” compels us to reject the standard Bolzano-Tarski account of validity, andto account for the meaning of a sentence in broadly verificationist terms. I sketch what I take to be a possible way of resisting Prawitz’s claim---one that concedes the anti-reliabilist assumption from which Prawitz’s argument proceeds.

This paper presents a novel position in the philosophy of logic: I argue that _validity_ is a thick concept. Hence, I propose to consider _validity_ in analogy to other thick concepts, such as _honesty_, _selfishness_ or _justice_. This proposal is motivated by the debate on the normativity of logic: while logic textbooks seem simply descriptive in their presentation of logical truths, many have argued that logic has consequences for how we ought to reason, for what we ought to believe, or (...) for what we ought to infer. How can logic be normative, if it appears to be descriptive? According to the proposal of this paper, the normativity of logic can be explained because a thick concept is in play: _validity_. Thus, I argue that the debate on how to best characterize validity and the debate on logic’s normativity are more connected than we think, because _validity_ is a thick concept. (shrink)

In bilateral systems for classical logic, assertion and denial occur as primitive signs on formulas. Such systems lend themselves to an inferentialist story about how truth-conditional content of connectives can be determined by inference rules. In particular, for classical logic there is a bilateral proof system which has a property that Carnap in 1943 called categoricity. We show that categorical systems can be given for any finite many-valued logic using $n$-sided sequent calculus. These systems are understood as a further development (...) of bilateralism—call it multilateralism. The overarching idea is that multilateral proof systems can incorporate the logic of a variety of denial speech acts. So against Frege we say that denial is not the negation of assertion and, with Mark Twain, that denial is more than a river in Egypt. (shrink)

In philosophical logic and proof theory, we often find multiple-conclusion systems that induce a conjunctive reading of premises and a disjunctive reading of conclusions. In mathematical logic, in contrast, we often find multiple-conclusion systems that induce a conjunctive reading of both premises and conclusions. This paper studies some technical and philosophical aspects of this latter approach to multiple-conclusion consequence. The takeaway is that, while the importance of disjunctive multiple conclusions is beyond doubt, conjunctive multiple conclusions also have philosophical interest. First, (...) because there is some evidence that there are arguments with conjunctive multiple conclusions in natural language. Second, because conjunctive multiple conclusions are compatible with the reflexivity and transitivity of logical consequence, and this allows them to cohere better with some of our best accounts of what logical consequence is. (shrink)

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)

On a bilateralist reading, sequents are interpreted as statements to the effect that, given the assertion of the antecedent it is incoherent to deny the succedent. This interpretation goes against its own ecumenical ambitions, endowing Cut with a meaning very close to that of tertium non datur and thus rendering it intuitionistically unpalatable. This paper explores a top-down route for arguing that, even intuitionistically, a prohibition to deny is as strong as a licence to assert.

Arguments, the story goes, have one or more premises and only one conclusion. A contentious generalisation allows arguments with several disjunctively connected conclusions. Contentious as this generalisation may be, I will argue nevertheless that it is justified. My main claim is that multiple conclusions are epiphenomena of the logical connectives: some connectives determine, in a certain sense, multiple-conclusion derivations. Therefore, such derivations are completely natural and can safely be used in proof-theoretic semantics.

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)

It is well known that classical inferentialist semantics runs into problems regarding abnormal valuations. It is equally well known that the issues can be resolved if we construct the inference relation in a multiple-conclusion sequent calculus. The latter has been prominently developed in recent work by Restall, with the guiding interpretation that the valid sequent says that the simultaneous assertion of all of Γ with the denial of all of Δ is incoherent. However, such structures face significant interpretive challenges, and (...) they do not provide an adequate grasp on the machinery of the duality of assertions and denials that could provide an abstract account of inferential semantics; show why the dual treatment is semantically superior. This paper explores a slightly different tack by considering a dual-calculus framework consisting of two, single-conclusion, inference relations dealing with the preservation of assertion and the preservation of denial, respectively. In this context, I develop an abstract inferentialist semantics, before going on to show that the framework is equivalent to Restall’s, whilst providing a better grasp on the underlying proof-structure. (shrink)