- Intended for a course for students in philosophy, mathematics, linguistics, or computer science, and excellent for self-study.
- Motivation is given for each formal concept and each step in building a formal logic in terms of formalizing reasoning. Summaries are given at important junctures in the book to keep students aware of what they are doing and where they are going.
- Criteria of formalization are developed and applied to formalizing ordinary language reasoning in an example-analysis format.
- More than 300 worked examples.
- More than 500 exercises with answers available on the web.
- Intended for a course for students in philosophy, mathematics, linguistics, or computer science, and excellent for self-study.
- Motivation is given for each formal concept and each step in building a formal logic in terms of formalizing reasoning. Summaries are given at important junctures in the book to keep students aware of what they are doing and where they are going.
- Criteria of formalization are developed and applied to formalizing ordinary language reasoning in an example-analysis format.
- More than 300 worked examples.
- More than 500 exercises with answers available on the web.
Richard L. Epstein received his Ph.D. from the University of California, Berkeley in mathematics and then studied philosophy in Wellington, New Zeland and later with Benson Mates at Berkeley. He has been a Fulbright Fellow to Brazil and a National Academy of Sciences Scholar to Poland. He has written books on propositional logics, computability, and predicate logic. In his recent work has enlarged the scope of modern formal logic considerably. He is the Head of the Advanced Reasoning Forum.
|
Ask a Question About this Product More... |
|
