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.
Silogismos contraditórios; Suposições contraditórias; Métodos resolutivos de inconsistência; Raimundo Lúlio