
Predicate Logic
L. Epstein Richard(Author)
Advanced Reasoning Forum (Publisher)
Published on 15. March 2012
Book
Hardback
430 pages
978-0-9834521-8-8 (ISBN)
Description
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.
More details
Language
English
Place of publication
Socorro
United States
Product notice
Laminated cover
Illustrations
black & white illustrations
Dimensions
Height: 250 mm
Width: 175 mm
Thickness: 28 mm
Weight
917 gr
ISBN-13
978-0-9834521-8-8 (9780983452188)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions

Richard L. Epstein
Predicate Logic
E-Book
11/2018
1st Edition
Advanced Reasoning Forum
from
€27.99
Available for download
Person
Richard L. Epstein is the author of Computability (with Walter Carnielli), the series The Semantic Foundations of Logic (Propositional Logics, Predicate Logic, Classical Mathematical Logic), the series Logic as the Art of Reasoning Well, and this current series Logic, Language, and the World (An Introduction to Formal Logic, The Internal Structure of Predicates and Names). He is currently the Head of the Advanced Reasoning Forum.