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.
Seguir leyendoexpand_more
Título : Predicate Logic
EAN : 9780983452195
Editorial : Advanced Reasoning Forum
Edad, de : 18 años
Fecha de publicación
: 5/11/18
Formato : PDF
Tamaño del archivo : 44.82 mb
Protección : Filigrane numérique
El libro electrónico Predicate Logic está en formato PDF
protegido por Filigrane numérique
- check_circle
Este eBook es compatible para su lectura en la aplicación Vivlio de iOs y Android.
- check_circle
Este eBook es compatible para leer en My Vivlio.
- check_circle
Este eBook es compatible para su lectura en el lector Vivlio.
- check_circle
Este libro electrónico es más adecuado para pantallas grandes que para las pequeñas porque no permite ajustar el tamaño de la letra.
¿Quieres leer en un eReader de otra marca? Sigue
nuestra guía.
Edición en Inglés
Conectarme
Mi cuenta