Beginning Logic

Front Cover
CRC Press, Sep 30, 1971 - Mathematics - 240 pages
The aim of this book is to provide an exposition of elementary formal logic. The course, which is primarily intended for first-year students who have no previous knowledge of the subject, forms a working basis for more advanced reading and is presented in such a way as to be intelligible to the layman. The nature of logic is examined with the gradual introduction of worked samples showing how to distinguish the sound statement from the unsound. Arguments whose soundness cannot be proved by propositional calculus are discussed, and it is shown how formalization can reveal the logical form of arguments. The final section of the book deals with the application of the predicate calculus as applied in various other fields of logic.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

THE PROPOSITIONAL CALCULUS 2
42
THE PREDICATE CALCULUS 1
92
THE PREDICATE CALCULUS 2
138
Appendix A Normal forms
189
Appendix B The elementary theory of classes
201
Bibliography
211
Index
217
Copyright

Common terms and phrases

Bibliographic information