Mathematical Theology


in The Freedom of the Will

Published in print September 1970 | ISBN: 9780198243434
Published online October 2011 | e-ISBN: 9780191680687 | DOI:
Mathematical Theology

Show Summary Details


Rationality, as an attribute of man, enters the argument at two points. It is because we are rational, and can get the hang of Gödel-type arguments, that we can be sure of our always being able to produce a suitable particular argument to fault any physical system the physical determinist thinks up — rationality gives us the last laugh. But more fundamentally still, it is because we are rational that we can see the Gödelian formula to be true even though it cannot be proved-in-the-logistic-calculus-L. Formalists eschew the notion of truth, and the debate with them must be carried on by means of Gödel's second theorem rather than his first with the concept of consistency as the crucial one.

Keywords: Gödel; Gödelian formula; physical determinism; second theorem; rationality

Chapter.  7717 words. 

Subjects: Metaphysics

Full text: subscription required

How to subscribe Recommend to my Librarian

Buy this work at Oxford University Press »

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.