Types, Tableaus, and Godel's God Paperback

by M. Fitting;

Stock available


Free UK delivery when you spend £10 or more

Price and Purchase

Offer price: £96.55 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.

Reviews of Types, Tableaus, and Godel's God

Customer reviews and testimonials Write a review

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

Page last updated 23rd April 2017
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
Eden is an accredited Living Wage employer