Types, Tableaus, and Gödel's God

by Melvin Fitting

Book Overview

G del's modal ontological argument is the centrepiece 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, semantically and through tableau rules, to produce a modified version of Montague/Gallin intensional logic. Extensionality, rigidity, equality, identity, and definite descriptions...

• Format: Paperback
• Language: English
• ISBN: 9401039127
• ISBN13: 9789401039123
• Release Date: October 2012
• Publisher: Springer
• Length: 181 Pages
• Weight: 0.63 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"