Picture 1 of 1
Gallery
Picture 1 of 1
Have one to sell?
Fathoming Formal Logic: Vol II: Semantics and Proof Theory for Predicate Logic
US $37.42
ApproximatelyS$ 48.05
Condition:
Brand New
A new, unread, unused book in perfect condition with no missing or damaged pages.
3 available
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Shipping:
Free USPS Media MailTM.
Located in: MD, United States
Delivery:
Estimated between Sat, 6 Sep and Sat, 13 Sep to 94104
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:335223120048
Item specifics
- Condition
- Brand New: A new, unread, unused book in perfect condition with no missing or damaged pages. See all condition definitionsopens in a new window or tab
- PublishedOn
- 2018-02-01
- Title
- Fathoming Formal Logic: Vol II: Semantics and Proof Theory for P
- Artist
- Not Specified
- ISBN
- 9781848902671
About this product
Product Identifiers
Publisher
College Publications
ISBN-10
1848902670
ISBN-13
9781848902671
eBay Product ID (ePID)
2309531483
Product Key Features
Number of Pages
444 Pages
Language
English
Publication Name
Fathoming Formal Logic : Vol II: Semantics and Proof Theory for Predicate Logic
Subject
Logic
Publication Year
2018
Type
Textbook
Subject Area
Mathematics, Philosophy
Format
Trade Paperback
Dimensions
Item Height
0.9 in
Item Weight
21.8 Oz
Item Length
9.2 in
Item Width
6.1 in
Additional Product Features
Intended Audience
Trade
Illustrated
Yes
Synopsis
This text, volume II of a two-volume work, examines in depth the so-called "standard" predicate logic. Including a foundational lexicon of terms and a detour through the classical propositional logic, this volume can be used independently of the first. As a means toward teasing out theoretical subtleties and negotiating formal and philosophic challenges, this work uses detailed examples and exercises; because of this feature, the text can also be used to study formal logic in a rigorous fashion. Given its expressive power, predicate logic is deemed as minimally adequate for formalization of such fundamental languages as that of Mathematics and for translations of the meanings of English (or other natural-language) sentences. Laying foundations in this area is key to a technical understanding of deductive reasoning and to honing rigorous critical thinking and problem-solving skills. Notable (some of them unusual) features that are covered in the present volume include the following: The overview of propositional logic includes positive semantic trees, in addition to the negative semantic tree method. Prenex forms and conversion to equivalent prenex forms. Relational (ultimately polyadic) predicate symbols, function symbols and identity are made available. The decision problem and the Lwenheim Result are discussed. Proof-theoretic methods are presented analytically and extensive justifications are offered for the required restrictions on the deduction rules. The semantics of predicate logic modeling are presented in analytical detail along with inquiries into the logical-philosophical significance of predicate logic. Translation from English into the predicate logic idiom (formalization, symbolization) is examined thoroughly, accompanied by motivating linguistic observations and thorough scrutiny of available options; aspects of this inquiry include translations under restricted and unrestricted domains, translations of compacted predicates, rendering of non-classically quantified phrases, translations of numerical statements, definite descriptions and regimentation, and guidance on how to render existential presuppositions. Disambiguation is imposed on translations and an extensive list of examples is presented. Translations of idiomatic linguistic expressions are studied. Semantic tree decision procedures (for finitarian domains) - including negative and positive semantic tree systems - are constructed and applied. Appendices on Set Theory, Mathematical Induction and Dialogical Logic are presented.
Item description from the seller
Seller business information
VAT number: GB 724498118
Popular categories from this store
Seller feedback (546,482)
- a***a (99)- Feedback left by buyer.Past monthVerified purchaseItem arrived on time in the condition described. No complaints!
- b***6 (25)- Feedback left by buyer.Past monthVerified purchaseBook was received promptly and in the condition as described.
- 0***t (501)- Feedback left by buyer.Past monthVerified purchaseGreat seller!
Popular categories from this store
Seller feedback (546,482)
- a***a (99)- Feedback left by buyer.Past monthVerified purchaseItem arrived on time in the condition described. No complaints!
- b***6 (25)- Feedback left by buyer.Past monthVerified purchaseBook was received promptly and in the condition as described.
- 0***t (501)- Feedback left by buyer.Past monthVerified purchaseGreat seller!