9780983452188: Predicate Logic
Rilegato
ISBN 10: 0983452180 ISBN 13: 9780983452188
Casa editrice: Advanced Reasoning Forum, 2012

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Product Description

Book by Epstein Richard L

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Advanced Reasoning Forum
Data di pubblicazione
2012
Lingua
Inglese
ISBN 10 
0983452180
ISBN 13 
9780983452188
Rilegatura
Copertina rigida
Numero di pagine
430
Contatto del produttore
non disponibile
Persona responsabile
GPSR Kontakt
gpsr@libri.de

Europaallee 1
Bad Hersfeld
36244
Germania

Altre edizioni note dello stesso titolo

9780534558468: Predicate Logic: The Semantic Foundations of Logic

Edizione in evidenza

ISBN 10:  0534558461 ISBN 13:  9780534558468
Casa editrice: Wadsworth Pub Co, 2001
Brossura