Back to home page
|Listed in category:
|
Add to Watchlist

Picture 1 of 1

Types, Tableaus, and Gdels God by M. Fitting (English) Paperback Book - Picture 1 of 1
Have one to sell?
Sell it yourself

Types, Tableaus, and Gdels God by M. Fitting (English) Paperback Book

Condition:
Brand New
3 available
Price:
US $123.92
ApproximatelyC $169.99
Breathe easy. Returns accepted.
Shipping:
Free Economy Shipping. See detailsfor shipping
Located in: Fairfield, Ohio, United States
Delivery:
Estimated between Sat, Jun 22 and Wed, Jul 3 to 43230
Estimated delivery dates - opens in a new window or tab include seller's handling time, origin ZIP Code, destination ZIP Code and time of acceptance and will depend on shipping service selected and receipt of cleared paymentcleared payment - opens in a new window or tab. Delivery times may vary, especially during peak periods.
Returns:
30 days return. Buyer pays for return shipping. See details- for more information about returns
Payments:
     

Shop with confidence

eBay Money Back Guarantee
Get the item you ordered or your money back. 
Learn moreeBay Money Back Guarantee - opens new window or tab

Seller information

Registered as a Business Seller
Report this item - opens in new window or tab
Seller assumes all responsibility for this listing.
eBay item number:386700107027
Last updated on May 19, 2024 06:25:22 EDTView all revisionsView all revisions

Item specifics

Condition
Brand New: A new, unread, unused book in perfect condition with no missing or damaged pages. See the ...
ISBN-13
9789401039123
Book Title
Types, Tableaus, and Gdels God
ISBN
9789401039123
Subject Area
Philosophy
Publication Name
Types, Tableaus, and Gödel's God
Item Length
9.4 in
Publisher
Springer Netherlands
Subject
Religious, Metaphysics, Logic
Publication Year
2012
Series
Trends in Logic Ser.
Type
Textbook
Format
Trade Paperback
Language
English
Author
M. Fitting
Item Width
6.3 in
Item Weight
11.7 Oz
Number of Pages
Xv, 181 Pages

About this product

Product Information

G del'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 G del argument is fully formalized. Objections to the G del argument are examined, including one due to Howard Sobel showing G del'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 G del's argument can omit the more mathematical portions, such as the completeness proof for tableaus. There should be something for everybody (and perhaps everything for somebody).

Product Identifiers

Publisher
Springer Netherlands
ISBN-10
9401039127
ISBN-13
9789401039123
eBay Product ID (ePID)
175717715

Product Key Features

Author
M. Fitting
Publication Name
Types, Tableaus, and Gödel's God
Format
Trade Paperback
Language
English
Subject
Religious, Metaphysics, Logic
Publication Year
2012
Series
Trends in Logic Ser.
Type
Textbook
Subject Area
Philosophy
Number of Pages
Xv, 181 Pages

Dimensions

Item Length
9.4 in
Item Width
6.3 in
Item Weight
11.7 Oz

Additional Product Features

Intended Audience
Scholarly & Professional
Series Volume Number
12
Number of Volumes
1 Vol.
Lc Classification Number
Bc1-199
Table of Content
I Classical Logic.- Classical Logic-Syntax.- Classical Logic-Semantics.- Classical Logic-Basic Tableaus.- Soundness And Completeness.- Equality.- Extensionality.- II Modal Logic.- Modal Logic, Syntax And Semantics.- Modal Tableaus.- Miscellaneous Matters.- III Ontological Arguments.- Godel's Argument, Background.- Godel's Argument, Formally.- References.
Copyright Date
2002
Illustrated
Yes

Item description from the seller

grandeagleretail

grandeagleretail

98.3% positive feedback
2.7M items sold
Visit storeContact
Usually responds within 24 hours

Detailed seller ratings

Average for the last 12 months

Accurate description
4.9
Reasonable shipping cost
5.0
Shipping speed
4.9
Communication
4.9

Popular categories from this store

See allcategories
The ArtsBiography & True StoriesChildren's & Young AdultComputing & ITEarth Sciences & GeographyFinance, Econ, Business & MgtFictionHealth & Personal DevelopmentHumanities

Seller feedback (1,024,478)

i***6 (139)- Feedback left by buyer.
Past 6 months
Verified purchase
Item as described, good price, well packaged, arrived slightly later than hoped (not in time for Christmas ) but the order was placed in a very busy shipping period. No issue with the seller’s speed of response and sending the item. Great seller!
Throne of Glass Box Set (Paperback) Book & Merchandise Book (#394683576484)
l***a (3503)- Feedback left by buyer.
Past month
Verified purchase
Excellent seller. Timely shipping, safe packing, good communication, great price and as described. Thank you. A+++
Ranma 1/2 (2-in-1 Edition), Vol. 19: Includes Volumes 37 & 38 by Rumiko Takahash (#395409599045)
i***k (17)- Feedback left by buyer.
Past month
Verified purchase
Great seller with great communication! Item arrived complete, as described and for a good price. There was a bit of an issue with tracking the order at one point (not the seller's fault), but seller was proactive in reaching out to the carrier and myself to get everything back on track. Arrived when expected.
Dungeons & Dragons: Dragonfire Character Pack - Heroes of The Sword Coast - Cata (#364857737796)
See all feedback

Product ratings and reviews

Learn more
Write a review
No ratings or reviews yet
Be the first to write the review.

More to explore: