Nixon diamond

to get instant updates about 'Nixon Diamond' on your MyPage. Meet other similar minded people. Its Free!


All Updates

In nonmonotonic reasoning, the Nixon diamond is a scenario in which default assumptions can lead to mutually inconsistent conclusions. This scenario is:

Since Nixon is a Quaker, one could assume that he is a pacifist; since he is Republican, however, one could also assume he is not a pacifist. The problem is how a formal logic of nonmonotonic reasoning should deal with such cases. Two approaches can be adopted:

since Nixon can neither be proved to be a pacifist nor the contrary, no conclusion is drawn;
since Nixon can be proved to be a pacifist in at least one case, he is believed to be a pacifist; however, since he can also be proved not be a pacifist, he is also believed not to be a pacifist.

The credulous approach can allow proving both something and its contrary. For this reason, the skeptical 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.

The name diamond comes from the fact that such a scenario, when expressed in inheritance networks, is a diamond shape. This example is mentioned for the first time by Reiter and Criscuolo in a slightly different form where the person that is...
Read More

No feeds found

Posting your question. Please wait!...

No updates available.
No messages found
Suggested Pages
Tell your friends >
about this page
 Create a new Page
for companies, colleges, celebrities or anything you like.Get updates on MyPage.
Create a new Page
 Find your friends
  Find friends on MyPage from