In nonmonotonic reasoning, the Nixon diamond is a scenario in which default assumptions lead to mutually inconsistent conclusions.
The problem is how a formal logic of nonmonotonic reasoning should deal with such cases.
For this reason, the sceptical approach is often preferred.
Another solution to this problem is to attach priorities to default assumptions; for example, the fact that “usually, Republicans are not pacifist” can be assumed more likely than “usually, Quakers are pacifist”, leading to the conclusion that Nixon is not pacifist.
This example is mentioned for the first time by Reiter and Criscuolo in a slightly different form where the person that is both a Republican and a Quaker is a John instead of Richard Nixon.