Types, Tableaus, and Gödel’s God
by M. Fitting
181 pages· 2012· ISBN 9789401004114
About
Gödel'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 Gödel argument is fully formalized. Parts of the book are mathematical, parts philosophical.
Discuss Types, Tableaus, and Gödel’s God with other readers
Join or start a book club for Types, Tableaus, and Gödel’s God on Readfeed. Live chat, shared reading progress, and AI discussion questions — free to get started.
Frequently asked questions
How do I join a book club for Types, Tableaus, and Gödel’s God?
Sign up free on Readfeed, then browse public clubs or start your own club with Types, Tableaus, and Gödel’s God as the current read. Invite friends with a share link and discuss together with live chat and AI discussion questions.
Can I discuss Types, Tableaus, and Gödel’s God with other readers online?
Yes. Readfeed book clubs let you chat live, share progress, and join discussions about Types, Tableaus, and Gödel’s God with readers worldwide — whether your club is virtual, in-person, or hybrid.
Is Readfeed free?
Yes. Creating an account and joining book clubs is free. Sign up to find readers who love the same books and start discussing today.