A Medieval Controversy about Entailments between Categorical and ‘Continuing’ Propositions

Abstract

The early thirteenth century tract Ars Meliduna deals with the issue whether categorical propositions entail, or are entailed by, ‘continuing’ propositions, i.e. by implications. From the perspective of modern logic, with implication interpreted as a material, truth-functional connective, the first question has to be answered in the affirmative because, e.g. β entails (α ⊃ β). But conversely (α ⊃ β) ‘normally’ doesn’t entail the truth (or the falsity) of any of the components α, β; hence the second question should be answered in the negative. These results cannot, however, be directly transferred to medieval logic because implication was there usually interpreted as a strict implication. Yet, within the framework of modal logic, one obtains parallel results. In particular, whenever β is necessary, then (α → β) must be true. Furthermore, if (α → β) is itself necessary, then it is entailed by α. Thus, in particular, ‘Socrates is a man’ entails the analytically true implication ‘If Socrates is a man, Socrates is an animal’, and the same premiss also entails the tautological consequent ‘If Socrates is white, Socrates is white’.