1422744
9780534558468
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.Richard L. Epstein is the author of 'Predicate Logic: The Semantic Foundations of Logic', published 2000 under ISBN 9780534558468 and ISBN 0534558461.
[read more]