reduction to the absurd

The philosopher used reduction to the absurd to show that the opponent's premise led to a contradiction.