Predicate Logic: The Semantic Foundations of Logic: v.2 - Rilegato

Epstein, Richard L.

Rilegato

ISBN 10: 0195087607 ISBN 13: 9780195087604

Casa editrice: Oxford Univ Pr, 1994

Riassunto

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.

Su questo libro

Product Description

Book by Epstein Richard L

Dettagli dell'edizione

• Editore: Oxford Univ Pr
• Data di pubblicazione: 1994
• Lingua: Inglese
• ISBN 10: 0195087607
• ISBN 13: 9780195087604
• Rilegatura: Copertina rigida
• Numero di pagine: 431
• Contatto del produttore: non disponibile
• Persona responsabile: Ufficio Anagrafiche Messaggerie; ufficio.anagrafiche@meli.it; ; Via Verdi, 8; Assago Milano; 20090; Italia