Types, Tableaus, and Goedel's God

Types, Tableaus, and Goedel's God

3 (1 rating by Goodreads)
By (author) 

Free delivery worldwide

Available. Expected delivery to the United States in 10-15 business days.

Not ordering to the United States? Click here.


Goedel's modal ontological argument is the centerpiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz/Takahashi completeness proof is given. Then modal machinery is added to produce a modified version of Montague/Gallin intensional logic. Finally, various ontological proofs for the existence of God are discussed informally, and the Goedel argument is fully formalized. Parts of the book are mathematical, parts philosophical.
show more

Product details

  • Paperback | 181 pages
  • 160 x 240 x 10.67mm | 329g
  • Dordrecht, Netherlands
  • English
  • Softcover reprint of the original 1st ed. 2002
  • XV, 181 p.
  • 9401039127
  • 9789401039123
  • 2,740,464

Table of contents

Preface. Part I: Classical Logic. 1. Classical Logic - Syntax. 2. Classical Logic - Semantics. 3. Classical Logic - Basic Tableaus. 4. Soundness and Completeness. 5. Equality. 6. Extensionality. Part II: Modal Logic. 7. Modal Logic, Syntax and Semantics. 8. Modal Tableaus. 9. Miscellaneous Matters. Part III: Ontological Arguments. 10. Goedel's Argument, Background. 11. Goedel's Argument, Formally. References. Index.
show more

Rating details

1 rating
3 out of 5 stars
5 0% (0)
4 0% (0)
3 100% (1)
2 0% (0)
1 0% (0)
Book ratings by Goodreads
Goodreads is the world's largest site for readers with over 50 million reviews. We're featuring millions of their reader ratings on our book pages to help you find your new favourite book. Close X