A nem monoton logika , Nixon gyémánt egy olyan forgatókönyv, ahol az alapértelmezett feltételezések vezetnek ellentmondó következtetéseket .
A forgatókönyv a következő:
Mivel Nixon kvéker, feltételezhetjük, hogy pacifista; mivel republikánus, azt is feltételezhetjük, hogy nem pacifista. A probléma az, hogy a nem monoton érvelés formális logikájának hogyan kell kezelnie az ilyen eseteket. Két megközelítés alkalmazható:
szkeptikus Mivel Nixonról nem lehet bebizonyítani, hogy pacifista, vagy éppen ellenkezőleg, nem vonnak le következtetéseket; hiszékeny Mivel Nixon legalább egy esetben pacifistának bizonyítható, úgy vélik, hogy pacifista; mivel azonban azt is be lehet bizonyítani, hogy nem pacifista, feltételezik, hogy nem is pacifista.A hiszékeny megközelítés bizonyíthat valamit és ennek ellentétét. Emiatt gyakran a szkeptikus megközelítést részesítik előnyben. A probléma másik megoldása az alapértelmezett feltételezések rangsorolása; például feltételezhető, hogy "általában a republikánusok nem pacifisták" igazabb, mint "általában a kvákerek pacifisták", ami arra a következtetésre vezet, hogy Nixon nem pacifista.
Ezt a példát Reiter és Criscuolo említi először kissé eltérő formában 1981-ben.
A gyémánt elnevezés onnan származik, hogy egy ilyen forgatókönyv öröklési hálózatokban kifejezve gyémánt alakú .