In the Light of Logic (Logic and Computation in Philosophy)