The Consistency of Arithmetic

Storrs McCall studied philosophy at McGill University and at Oxford. He taught for six years at the University of Pittsburgh and for five years at Makerere University, Uganda, where he initiated the subject and was the first instructor of philosophy. He works in logic and analytic philosophy and has written extensively on the metaphysics of space and time.

Provenance of the Essays ; Introduction ; Chapter One: The consistency of arithmetic. ; Chapter Two: Can a Turing machine know that the Godel sentence is true? ; Chapter Three: On "seeing" the truth of the Godel sentence. ; Chapter Four: How to make a decision. ; Chapter Five: Indeterminist Free Will. Storrs McCall and E.J. Lowe. ; Chapter Six: The determinists have run out of luck, for a good reason. Storrs McCall and E.J. Lowe. ; Chapter Seven: Action based on Deliberation and Decision. ; Chapter Eight: Controlled Indeterministic Processes in Action Theory. ; Chapter Nine: The Causative Power of Conscious Choice. ; Chapter Ten: The Open Future and its Exploitation by Rational Agents. ; Chapter Eleven: Does the brain lead the mind? ; Chapter Twelve: 3D/4D equivalence, the twins paradox, and absolute time. Storrs McCall and E.J. Lowe. ; Chapter Thirteen: Philosophical Consequences of the Twins Paradox. ; Chapter Fourteen: The 3D/4D Controversy: A Storm in a Teacup. Storrs McCall and E.J. Lowe. ; Chapter Fifteen: Laws of Nature and Branching Spacetime. ; Chapter Sixteen: Objective Time Flow. ; Chapter Seventeen: Time Flow ; Chapter Eighteen: QM and STR: The Combining of Quantum Mechanics and Relativity Theory. ; Chapter Nineteen: Downward causation, biological information, and development fields. StorrsMcCall and E.J. Lowe. ; Chapter Twenty: The supervenience of truth: freewill and omniscience. ; Chapter Twenty-One: An insoluble problem. ; Index