Philosophers use logic to solve problems and answer questions. Logical consistency is a cornerstone of any acceptable theory. Philosophers who disagree with a theory will often try to find a logical contradiction in a theory. If they find a contradiction, this gives them a reason to reject that theory. If they do not find an inconsistency, the philosopher might show that the theory leads to a conclusion which is either unacceptable or ridiculous. This second approach is usually called reductio ad absurdum.