According to so-called epistemic theories of conditionals, the assertability/acceptability/acceptance of a conditional requires the existence of an epistemically significant relation between the conditional’s antecedent and its consequent. This paper points to some linguistic data that our current best theories of the foregoing type appear unable to explain. Further, it presents a new theory of the same type that does not have that shortcoming. The theory is then defended against some seemingly obvious objections.

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)

Jan Heylen and Leon Horsten object to my proposed analysis of ordinary-language conditionals by appealing to certain putative counter-examples. In this reply, I explain how, by ignoring my reading of the indicative/subjunctive distinction, their objection misses its target. I also criticize their underlying methodology.

Inferential or epistemic conditional sentences represent a blueprint of someone’s reasoning process from premise to conclusion. Declerck and Reed (2001) make a distinction between a direct and an indirect type. In the latter type the direction of reasoning goes backwards, from the blatant falsehood of the consequent to the falsehood of the antecedent. We first present a modal reinterpretation in terms of Argumentation Schemes of indirect inferential conditionals (IIC’s) in Declerck and Reed (2001). We furthermore argue for a distinction between (...) epistemic-modal strong and deontic-modal weak IIC’s. In addition, we extend the category of the indirect inferential conditionals in order to include several other deontic-modal subtypes. On the basis of the undesirability of the consequent the hearer in these cases infers that the antecedent is also undesirable. In this way the rhetoric-argumentative strategy of Reductio ad Absurdum is extended from the realm of deductive reasoning to that of practical reasoning. (shrink)