Types, Tableaus, and Godel's God Paperback

by M. Fitting

In Stock - Usually dispatched within 8 days


Free UK delivery when you spend £10 or more

Price and Purchase

Offer price: £96.03 Free UK Delivery
Go to Basket We accept VISA, Mastercard, Paypal and Buy Now Pay Later

If you're buying for a church, school or business, why not Buy Now Pay Later?

Find Out More

Types, Tableaus, and Godel's God

Full Product Description

Godel'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 Godel argument is fully formalized. Parts of the book are mathematical, parts philosophical.

Types, Tableaus, and Godel's God by M. Fitting was published by Springer in October 2012. The ISBN for Types, Tableaus, and Godel's God is 9789401039123.

Go to Basket

Reviews of Types, Tableaus, and Godel's God

Customer reviews and testimonials Write a review

Go to Basket

Product Q&A

Got a question? No problem! Just click here to ask us about Types, Tableaus, and Godel's God.


Details for Types, Tableaus, and Godel's God

Author / Artist
Book FormatPaperback
PublisherSpringer (October 2012)
EditionSoftcover reprint of the original 1st ed. 2002
Number of Pages181
Thickness11 mm
Height240 mm
Width160 mm
Product Code4265419
Page last updated 2nd October 2018
Eden is an accredited Living Wage employer