Nonideal theory and a logic of abduction | Synapse