Werezi Books
Cart 0
Types, Tableaus, and Gödel''s God
Click to zoom

Share this book

Types, Tableaus, and Gödel''s God

Softcover reprint of the original 1st ed. 2002

by M. Fitting

Book Details

Format Paperback / Softback
Book Series Trends in Logic
ISBN-10 9401039127
ISBN-13 9789401039123
Edition Softcover reprint of the original 1st ed. 2002
Publisher Springer
Imprint Springer
Country of Manufacture NL
Country of Publication GB
Publication Date Oct 11th, 2012
Print length 181 Pages
Product Classification: Philosophy: metaphysics & ontologyPhilosophy: logicPhilosophy of religionPhilosophy: metaphysics and ontologyPhilosophy: logicPhilosophy of religion
Ksh 17,350.00
Werezi Extended Catalogue 0 in stock

Delivery Location

Delivery fee: Select location

Secure
Quality
Fast
Gödel's modal ontological argument is the centrepiece of an extensive examination of intensional logic. A reader interested in (modal) type theory can safelyskip ontological issues, just as one interested in Gödel's argument can omit the more mathematical portions, such as the completeness proof for tableaus.

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

Get Types, Tableaus, and Gödel''s God by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer and it has pages.

Mind, Body, & Spirit

Mamba Mentality

Mamba Mentality

Shopping Cart

Africa largest book store

Sub Total:
Ebooks

Digital Library
Coming Soon

Our digital collection is currently being curated to ensure the best possible reading experience on Werezi. We'll be launching our Ebooks platform shortly.