menu
{ "item_title" : "Predicate Logic", "item_author" : [" Richard L. Epstein "], "item_description" : "The forms and scope of logic rest on assumptions of how language and reasoning connect to experience. In this volume an analysis of meaning and truth provides a foundation for studying modern propositional and predicate logics. Chapters on propositional logic, parsing propositions, and meaning, truth and reference give a basis for criteria that can be used to judge formalizations of ordinary language arguments. Over 120 worked examples of formalizations of propositions and arguments illustrate the scope and limitations of modern logic, as analyzed in chapters on identity, quantifiers, descriptive names, functions, and second-order logic. The chapter on second-order logic illustrates how different conceptions of predicates and propositions do not lead to a common basis for quantification over predicates, as they do for quantification over things. Notable for its clarity of presentation, and supplemented by many exercises, this volume is suitable for philosophers, linguists, mathematicians, and computer scientists who wish to better understand the tools they use in formalizing reasoning.", "item_img_path" : "https://covers1.booksamillion.com/covers/bam/0/98/345/218/0983452180_b.jpg", "price_data" : { "retail_price" : "49.95", "online_price" : "49.95", "our_price" : "49.95", "club_price" : "49.95", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : "" } }
Predicate Logic|Richard L. Epstein

Predicate Logic

local_shippingShip to Me
In Stock.
FREE Shipping for Club Members help

Overview

The forms and scope of logic rest on assumptions of how language and reasoning connect to experience. In this volume an analysis of meaning and truth provides a foundation for studying modern propositional and predicate logics. Chapters on propositional logic, parsing propositions, and meaning, truth and reference give a basis for criteria that can be used to judge formalizations of ordinary language arguments. Over 120 worked examples of formalizations of propositions and arguments illustrate the scope and limitations of modern logic, as analyzed in chapters on identity, quantifiers, descriptive names, functions, and second-order logic. The chapter on second-order logic illustrates how different conceptions of predicates and propositions do not lead to a common basis for quantification over predicates, as they do for quantification over things. Notable for its clarity of presentation, and supplemented by many exercises, this volume is suitable for philosophers, linguists, mathematicians, and computer scientists who wish to better understand the tools they use in formalizing reasoning.

This item is Non-Returnable

Details

  • ISBN-13: 9780983452188
  • ISBN-10: 0983452180
  • Publisher: Advanced Reasoning Forum
  • Publish Date: March 2012
  • Dimensions: 9.61 x 6.69 x 0.94 inches
  • Shipping Weight: 1.94 pounds
  • Page Count: 430

Related Categories

You May Also Like...

    1

BAM Customer Reviews