Reasoning With Arbitrary Objects (Aristotelian Society Series) [Hardcover]

Kit Fine (Author)

Product Details

• Hardcover: 240 pages
• Publisher: Blackwell Pub; First Edition edition (January 1986)
• Language: English
• ISBN-10: 0631138447
• ISBN-13: 978-0631138440
• Product Dimensions: 9.1 x 6.6 x 1.1 inches
• Shipping Weight: 1.6 pounds
• Average Customer Review: 4.0 out of 5 stars  See all reviews (1 customer review)
• Amazon Best Sellers Rank: #4,033,902 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Most Helpful Customer Reviews

1 of 2 people found the following review helpful

4.0 out of 5 stars Arbitrary objects as part of the semantic objects (structures, models, algebras) May 22, 2009

By Dr. Claus-peter Wirth

Format:Hardcover

Kit Fine move the talk on arbitrary objects and the free variables introduced by logic calculi from the syntax and the interpretation to the semantics and the semantical objects (structures, models, algebras).
An immediate advantage is that the talk on arbitrary objects receives a sound formal semantics and that the extended language of logic calculi becomes a semantics, so that the soundness of logic
inference becomes a truely local property.
The latter is also achieved in http://arxiv.org/abs/0902.3749
without changing the semantical objects.
But Kit Fine was first and his book contains a plentitude of great ideas not mentioned here.