Logic and computation in philosophy