No início do século XIV, Raimundo Lúlio, contrapondo-se aos mestres em Artes por ele identificados como averroistae, desenvolveria não menos que dois métodos resolutivos de inconsistência, a fim de refutar aquelas teses filosóficas que divergem da fé cristã. Um deles serve-se de silogismos contraditórios capazes de expressar a estrutura de um argumento ad hominem, ao passo que o outro nada mais é do que uma reductio ad impossibile elaborada com base em suposições contraditórias.

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.