In the early fourteenth century, Ramond Lully, opposed to university philosophers whom he identified as averroistae, developed no less than two methods for the resolution of inconsistency, in order to refute philosophical theses which diverge from the Christian faith. The first of these uses contradictory syllogisms expressing the structure of an ad hominem argument, while the other is a reductio ad impossibile produced with contradictory suppositions.
Contradictory Syllogisms; Contradictory Suppositions; Inconsistency Resolution Methods; Raymond Lully