Types, Tableaus, and Gödel’s God

By:

M Fitting

Format:

Hardback

Series:

Trends in Logic

Show Hide Adult Content

$263.99

RRP:: ~~$307.95~~ save $43.96

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Buy Now, Pay Later with:

4 payments of $66.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

Around 2-12 July using International Courier

Description

Godel'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 are investigated. Finally, various ontological proofs for the existence of God are discussed informally, and the Godel argument is fully formalized. Objections to the Godel argument are examined, including one due to Howard Sobel showing Godel's assumptions are so strong that the modal logic collapses. It is shown that this argument depends critically on whether properties are understood intensionally or extensionally. Parts of the book are mathematical, parts philosophical. A reader interested in (modal) type theory can safely skip ontological issues, just as one interested in Godel's argument can omit the more mathematical portions, such as the completeness proof for tableaus.

Release date Australia

May 31st, 2002

Author

M Fitting

Audiences

Postgraduate, Research & Scholarly
Professional & Vocational
Undergraduate

Illustrations

XV, 181 p.

Pages

181

Series

Trends in Logic

Dimensions

155x235x12

ISBN-13

9781402006043

Product ID

5268310

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here