The logic of reliable inquiry - Kelly, Kevin T. (Logic and computation in philosophy, 1996)