In the light of logic - Feferman, Solomon. (Logic and computation in philosophy., 1998)