Ship-Ship-Hooray! Free Shipping on $25+ Details >
Predicate Logic : The Semantic Foundations of Logic

Predicate Logic : The Semantic Foundations of Logic - 01 edition

Predicate Logic : The Semantic Foundations of Logic - 01 edition

ISBN13: 9780534558468

ISBN10: 0534558461

Predicate Logic : The Semantic Foundations of Logic by Richard L. Epstein - ISBN 9780534558468
Edition: 01
Copyright: 2001
Publisher: Wadsworth, Inc
Published:
International: No
Predicate Logic : The Semantic Foundations of Logic by Richard L. Epstein - ISBN 9780534558468

ISBN13: 9780534558468

ISBN10: 0534558461

Edition: 01

shop us with confidence

Summary

A presentation of the fundamental ideas that generate the formal systems of predicate logic. This text clearly relates predicate logic to reasoning in ordinary language, with hundreds of examples of formalization, with a clear theory of how to formalize ordinary arguments. The writing is exceptionally clear and easy to read.

Table of Contents

Table of Contents

Introduction.
1. Propositions and Propositional Logic.
2. The Internal Structure of Propositions.
3. A Formal Language for Predicate Logic.
4. Semantics.
5. The Logical Form of a Proposition.
6. Identity.
7. Quantifiers.
8. Descriptive Names.
9. Functions.
10. Quantifying Over Predicates: Second-Order Logic.
11. Language, the World, and Predicate Logic.

Appendices.
The Notion of Thing in Predicate Logic.
What There Is: Restrictions on the Universe of Realization.
Primitives and Assumptions of Predicate Logic.
Formalization: Criteria and Agreements.
Bibliography.
Index of Examples.
Index of Notation.
Index.