This specific ISBN edition is currently not available.View all copies of this ISBN edition:
This book presents modern logic as the formalization of reasoning that needs and deserves a semantic foundation. Chapters on propositional logic; parsing propositions; and meaning, truth and reference give the reader a basis for establishing criteria that can be used to judge formalizations of ordinary language arguments. Over 120 worked examples illustrate the scope and limitations of modern logic, as analyzed in chapters on identity, quantifiers, descriptive names, and functions. The chapter on second-order logic shows 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 will be invaluable for philosophers, linguists, mathematicians, and computer scientists who wish to better understand the tools they use in formal reasoning.
"synopsis" may belong to another edition of this title.
Richard L. Epstein is at San Jose State University.Review:
"This book is for philosophers and researchers in artificial intelligence or natural language processing. It is dedicated to designing a foundation for as many logics as possible....can be worthwhile reading." --Computing Reviews
"About this title" may belong to another edition of this title.
Book Description Oxford University Press, 1994. Hardcover. Condition: New. Never used!. Seller Inventory # P110195087607
Book Description Oxford University Press, USA, 1994. Hardcover. Condition: New. Seller Inventory # DADAX0195087607
Book Description Oxford University Press, 1994. Condition: New. book. Seller Inventory # M0195087607
Book Description Condition: New. New. Seller Inventory # S-0195087607
Book Description Condition: New. This is Brand NEW. Seller Inventory # Ahuja-19062018-10485