Connexive logic is a rather new branch of modern logic, based on the idea that no proposition ever implies its own negation. This idea goes back to Aristotle, who put forward the thesis that one and the same consequent cannot be "necessitated" by the same antecedent affirmed and denied. Many medieval logicians discovered, however, that the connexive theses fail to hold in certain cases, namely when the antecedent is impossible, or when the consequent is necessary.This book scrutinizes the theories of various medieval logicians such as Boethius, Abelard, Kilwardby, Burley, Buridan, Paul of Venice, Albert of Saxony, and the Pseudo-Scot, who endorsed a conception of conditionals as strict implications. This conception validates the "humble" version of the connexive principles, but invalidates their "hardcore" versions according to which, e.g., even the tautological disjunction 'p or not-p' is not implied by its own negation, i.e., by the self-contradictory conjunction 'p and not-p'. Wolfgang Lenzen was born in 1946 in Essen. In 1981 he became full professor of philosophy at the University of Osnabrück, where he stayed until his retirement in 2011. He has published 15 books and around 150 articles in various fields of philosophy. His current research is focussed on the history of logic, espcially medieval logic.
