Types, Tableaus, and Gödel's God

by Melvin Fitting

Book Overview

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...

• Format: Hardcover
• Language: English
• ISBN: 1402006047
• ISBN13: 9781402006043
• Release Date: May 2002
• Publisher: Springer
• Length: 181 Pages
• Weight: 1.01 lbs.
• Dimensions: 0.6" x 6.3" x 9.9"