Types, Tableaus, and Gödel’s God (Trends in Logic)

0 avg rating
( 0 ratings by Goodreads )
 
9789401039123: Types, Tableaus, and Gödel’s God (Trends in Logic)
View all copies of this ISBN edition:
 
 

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.

"synopsis" may belong to another edition of this title.

Buy New View Book
List Price: US$ 109.99
US$ 108.37

Convert currency

Shipping: FREE
From United Kingdom to U.S.A.

Destination, rates & speeds

Add to Basket

Other Popular Editions of the Same Title

9781402006043: Types, Tableaus, and Gödel’s God (Trends in Logic)

Featured Edition

ISBN 10:  1402006047 ISBN 13:  9781402006043
Publisher: Springer, 2002
Hardcover

Top Search Results from the AbeBooks Marketplace

1.

M. Fitting
Published by Springer, Netherlands (2012)
ISBN 10: 9401039127 ISBN 13: 9789401039123
New Paperback Quantity Available: 10
Seller:
Book Depository International
(London, United Kingdom)
Rating
[?]

Book Description Springer, Netherlands, 2012. Paperback. Condition: New. Language: English. Brand new Book. Goedel'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 Goedel argument is fully formalized. Parts of the book are mathematical, parts philosophical. Softcover reprint of the original 1st ed. 2002. Seller Inventory # AAV9789401039123

More information about this seller | Contact this seller

Buy New
US$ 108.37
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

2.

M. Fitting
Published by Springer (2012)
ISBN 10: 9401039127 ISBN 13: 9789401039123
New Quantity Available: > 20
Print on Demand
Seller:
Paperbackshop-US
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Springer, 2012. PAP. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9789401039123

More information about this seller | Contact this seller

Buy New
US$ 104.39
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

3.

M. Fitting
Published by Springer, Netherlands (2012)
ISBN 10: 9401039127 ISBN 13: 9789401039123
New Paperback Quantity Available: 10
Seller:
Book Depository hard to find
(London, United Kingdom)
Rating
[?]

Book Description Springer, Netherlands, 2012. Paperback. Condition: New. Language: English. Brand new Book. Goedel'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 Goedel argument is fully formalized. Parts of the book are mathematical, parts philosophical. Softcover reprint of the original 1st ed. 2002. Seller Inventory # LIE9789401039123

More information about this seller | Contact this seller

Buy New
US$ 114.85
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

4.

M. Fitting
Published by Springer, Netherlands (2012)
ISBN 10: 9401039127 ISBN 13: 9789401039123
New Paperback Quantity Available: 10
Seller:
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description Springer, Netherlands, 2012. Paperback. Condition: New. Language: English. Brand new Book. Goedel'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 Goedel argument is fully formalized. Parts of the book are mathematical, parts philosophical. Softcover reprint of the original 1st ed. 2002. Seller Inventory # AAV9789401039123

More information about this seller | Contact this seller

Buy New
US$ 114.85
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

5.

M. Fitting
Published by Springer (2013)
ISBN 10: 9401039127 ISBN 13: 9789401039123
New Softcover Quantity Available: 15
Print on Demand
Seller:
Rating
[?]

Book Description Springer, 2013. Condition: New. This item is printed on demand for shipment within 3 working days. Seller Inventory # LP9789401039123

More information about this seller | Contact this seller

Buy New
US$ 116.37
Convert currency

Add to Basket

Shipping: US$ 4.31
From Germany to U.S.A.
Destination, rates & speeds

6.

M. Fitting
Published by Springer (2012)
ISBN 10: 9401039127 ISBN 13: 9789401039123
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Springer, 2012. PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9789401039123

More information about this seller | Contact this seller

Buy New
US$ 111.22
Convert currency

Add to Basket

Shipping: US$ 11.39
From United Kingdom to U.S.A.
Destination, rates & speeds

7.

Fitting, M.
Published by Springer (2018)
ISBN 10: 9401039127 ISBN 13: 9789401039123
New Paperback Quantity Available: > 20
Print on Demand
Seller:
Murray Media
(NORTH MIAMI BEACH, FL, U.S.A.)
Rating
[?]

Book Description Springer, 2018. Paperback. Condition: New. Never used! This item is printed on demand. Seller Inventory # 9401039127

More information about this seller | Contact this seller

Buy New
US$ 124.41
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

8.

M. Fitting
Published by Springer (2012)
ISBN 10: 9401039127 ISBN 13: 9789401039123
New Softcover Quantity Available: 1
Seller:
Irish Booksellers
(Portland, ME, U.S.A.)
Rating
[?]

Book Description Springer, 2012. Condition: New. book. Seller Inventory # M9401039127

More information about this seller | Contact this seller

Buy New
US$ 149.34
Convert currency

Add to Basket

Shipping: US$ 3.27
Within U.S.A.
Destination, rates & speeds

9.

M. Fitting
Published by Springer (2012)
ISBN 10: 9401039127 ISBN 13: 9789401039123
New Paperback Quantity Available: 1
Seller:
Books Express
(Portsmouth, NH, U.S.A.)
Rating
[?]

Book Description Springer, 2012. Paperback. Condition: New. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. Buy with confidence, excellent customer service! Softcover reprint of the original 1st ed. 2002. Seller Inventory # 9401039127n

More information about this seller | Contact this seller

Buy New
US$ 359.83
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds