9780983452188: Predicate Logic
Tapa dura
ISBN 10: 0983452180 ISBN 13: 9780983452188
Editorial: Advanced Reasoning Forum, 2012

Sinopsis

The forms and scope of logic rest on assumptions of how language and reasoning connect toexperience. In this volume an analysis of meaning and truth provides a foundation for studyingmodern 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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Advanced Reasoning Forum
Año de publicación
2012
Idioma
Inglés
ISBN 10 
0983452180
ISBN 13 
9780983452188
Encuadernación
Tapa dura
Número de páginas
430
Contacto del fabricante
no disponible
Persona responsable
gpsr@libri.de
gpsr@libri.de

Friedensallee 273
Hamburg
22763
Alemania

Otras ediciones populares con el mismo título

9780534558468: Predicate Logic: The Semantic Foundations of Logic

Edición Destacada

ISBN 10:  0534558461 ISBN 13:  9780534558468
Editorial: Wadsworth Publishing Co Inc, 2001
Tapa blanda