Expressing a widely-held view, David Hitchcock claims that "an enthymematic argument ... assumes at least the truth of the argument's associated conditional ... whose antecedent is the conjunction of the argument's explicit premises and whose consequent is the argument's conclusion." But even definitionally, this view is problematic, since an argument's being "enthymematic" or incomplete with respect to its explicit premises means that the conclusion is not implied by these premises alone. The paper attempts to specify the ways in which the (...) view is incorrect, as well as seemingly correct (e.g., the case of a Modus Ponens wherein the major premise is implicit). -/- . (shrink)

L’article présente le concept de déductibilité que Bolzano introduit dans sa Wissenscahftslehre, indique quelques traits caractéristiques en vertu desquels ce concept diffère de plusieurs conceptions contemporaines de la conséquence et examine l’affirmation selon laquelle il présente une forte similarité avec la conception de Tarski et la logique de la pertinence.The article presents the concept of deducibility which Bolzano introduced in his Wissenschaftslehre, points out some of the characteristic features in virtue of which it differs from many modern conceptions of consequence (...) and examines the claims that it displays a strong similarity to Tarski’s account and relevance logic. (shrink)

In many actual arguments, the conclusion seems intuitively to follow from the premisses, even though we cannot show that it follows logically. The traditional approach to evaluating such arguments is to suppose that they have an unstated premiss whose explicit addition will produce an argument where the conclusion does follow logically. But there are good reasons for doubting that people so frequently leave the premisses of their arguments unstated. The inclination to suppose that they do stems from the belief that (...) the only way in which an argument's conclusion can follow definitely from its premisses is to follow logically. I argue that this belief is mistaken. I propose a revision of the current generic conception of logical consequence, and its variant specifications, to avoid the paradoxes of strict implication. The revised conception can then be naturally extended to include also what we might call 'enthymematic consequence'. This concept is a kind of consequence, whose properties merit investigation. (shrink)

In a series of publications beginning in the 1980s, John Etchemendy has argued that the standard semantical account of logical consequence, due in its essentials to Alfred Tarski, is fundamentally mistaken. He argues that, while Tarski's definition requires us to classify the terms of a language as logical or non-logical, no such division is guaranteed to deliver the correct extension of our pre-theoretical or intuitive consequence relation. In addition, and perhaps more importantly, Tarski's account is claimed to be incapable of (...) explaining an essential modal/epistemological feature of consequence, namely, its necessity and apriority. Bernard Bolzano (1781-1848) is widely recognized as having anticipated Tarski's definition in his Wissenschaftslehre (or Theory of Science ) of 1837. Because of the similarities between his account and Tarski's, Etchemendy's arguments have also been extended to cover Bolzano. The purpose of this article is to consider Bolzano's theory in the light of these criticisms. We argue that, due to important differences between Bolzano's and Tarski's theories, Etchemendy's objections do not apply immediately to Bolzano's account of consequence. Moreover, Bolzano's writings contain the elements of a detailed philosophical response to Etchemendy. (shrink)

Following David Hitchcock and Stephen Toulmin, this paper takes warrants to be material inference rules. It offers an account of the form such rules should take that is designed (a) to implement the idea that an argument/inference is valid only if it is entitlement preserving and (b) to support a qualitative version of evidence proportionalism. It attempts to capture what gives warrants their normative force by elaborating a concept of reliability tailored to its account of the form such rules should (...) take. (shrink)

This paper introduces the logics of super-strict implications, where a super-strict implication is a strengthening of C.I. Lewis' strict implication that avoids not only the paradoxes of material implication but also those of strict implication. The semantics of super-strict implications is obtained by strengthening the (normal) relational semantics for strict implication. We consider all logics of super-strict implications that are based on relational frames for modal logics in the modal cube. it is shown that all logics of super-strict implications are (...) connexive logics in that they validate Aristotle's Theses and (weak) Boethius's Theses. A proof-theoretic characterisation of logics of super-strict implications is given by means of G3-style labelled calculi, and it is proved that the structural rules of inference are admissible in these calculi. It is also shown that validity in the S5-based logic of super-strict implications is equivalent to validity in G. Priest's negation-as-cancellation-based logic. Hence, we also give a cut-free calculus for Priest's logic. (shrink)