One of the main controversies of the Logic Schools of the 12th century centered on the question: What follows from the impossible? In this paper arguments for two diametrically opposed positions are examined. The author of the ‘Avranches Text’ who probably belonged to the school of the Parvipontani defended the view that from an impossible proposition everything follows (‘Ex impossibili quodlibet’). In particular he developed a proof to show that by means of so-called ‘disjunctive syllogism’ any arbitrary proposition B (...) can be logically derived from a pair of contradictory propositions A and Not-A. The author of the Ars Meliduna instead argued that nothing follows from an impossible proposition (‘ex falso nihil sequitur’). This view is supported by various counterexamples which aimed to show that the admission of impossible premises would give rise to inconsistent conclusions. Upon closer analysis these inconsistencies do not, however, have the formal structure of a real contradiction like A and Not-A, but rather the structure of two rivalling conditionals like ‘If B then A’ and ‘If B then Not-A’. Hence these counterexamples rather have to be considered as refutations of the basic principles of ‘connexive logic’. (shrink)

_ Source: _Volume 56, Issue 3-4, pp 340 - 366 The history of thinking about consequences in the Middle Ages divides into three periods. During the first of these, from the eleventh to the middle of the twelfth century, and the second, from then until the beginning of the fourteenth century, the notion of natural consequence played a crucial role in logic, metaphysics, and theology. The first part of this paper traces the development of the theory of natural consequence in (...) Abaelard’s work as the conditional of a connexive logic with an equivalent connexive disjunction and the crisis precipitated by the discovery of inconsistency in this system. The second part considers the accounts of natural consequence given in the thirteenth century as a special case of the standard modal definition of consequence, one for which the principle _ex impossibili quidlibet_ does not hold, in logics in which disjunction is understood extensionally. (shrink)

Impossible antecedents entered the scene of medieval logic around the 1120s and soon started to dominate this scene, becoming one of the most debated issues from the second half of the twelfth century onwards. This article focuses on theories of counterpossibles from this period and aims to offer an overview of the different responses offered by twelfth-century logicians on whether everything, something, or nothing follows from an impossible statement. Rather than trying to historically reconstruct the positions of the different authors (...) – an operation that may be premature given the insufficient notions we still have of the authorship and dating of sources – I aim to provide a provisional map of the main arguments that were advanced in favour of or against the ex impossibili quodlibet principle. The article also aims to show that the strategies developed by twelfth-century logical schools in their approach to counterpossibles survive in logical discussions of the same topic during the thirteenth and the early fourteenth century, especially in the syncategoremata and sophistaria traditions. (shrink)