Title: Computation, Logic, Philosophy