Life giving resources. Faithfully delivered.
FREE delivery on orders over £10
Serving over 2 million Christians in the UK
with Bibles, Books and Church Supplies
Our Buy-Now-Pay-Later accounts used
by over 4,000 UK Churches & Schools
Excellent 4.8 out of 5

Trustpilot

You now have 0 of this item in your basket

Types, Tableaus, and Godel's God

[Paperback]

by M. Fitting

Author
M. Fitting
Book Format
Paperback
Publisher
Springer
Published
October 2012

Read full description

Click to expand

Today's Price

£87.44

Free UK Delivery

Available - Usually dispatched within 4 days

Buying for a school or church? Upgrade to a FREE Eden Advance Account

Enter the product quantity

Types, Tableaus, and Godel's God

Today's Price £87.44

Frequently Bought Together

Types, Tableaus, and Godel's God

by M. Fitting

Paperback

Warrant and Proper Function

by Alvin Plantinga

Paperback

Add both to basket for £129.49 and save £11.50

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.