Reductio ad absurdum
Reductio ad absurdum, olmayana ergi ya da Osmanlıca abese irca, Latince saçma olana indirgeme anlamına gelir ve bir iddiayı doğru kabul ederek saçma bir sonuca varıp iddianın yanlış olduğu sonucuna ulaşıldığı bir mantık yöntemidir. Bu yöntemde, yanlış olamayacak bir önermeyi zorunlu olarak doğru olduğunu kabul eden üçüncü olanağın dışlanması kanunu kullanılır. Aristo'nun sıkça uyguladığı bir yöntemdir.