Nonideal theory and a logic of abduction