En el razonamiento no monótono , el diamante de Nixon es un escenario en el que las suposiciones predeterminadas conducen a conclusiones mutuamente incoherentes. El escenario es:
Como Nixon es cuáquero, se podría suponer que es pacifista; pero como es republicano, también se podría suponer que no lo es. El problema es cómo una lógica formal de razonamiento no monótono debería abordar estos casos. Se pueden adoptar dos enfoques:
El enfoque crédulo permite probar tanto algo como lo contrario. Por esta razón, a menudo se prefiere el enfoque escéptico. Otra solución a este problema es asignar prioridades a los supuestos predeterminados; por ejemplo, se puede suponer con mayor probabilidad que “normalmente los republicanos no son pacifistas” que “normalmente los cuáqueros son pacifistas”, lo que lleva a la conclusión de que Nixon no es pacifista.
El nombre diamante proviene del hecho de que un escenario de este tipo, cuando se expresa como una red de creencias , forma una figura de diamante . Reiter y Criscuolo mencionan este ejemplo por primera vez en una forma ligeramente diferente, donde la persona que es a la vez republicana y cuáquera es un John en lugar de Richard Nixon.