Description
Prentice-Hall Symbolic Logic by Copi M Irving
The most widely adopted of all symbolic logic texts leads students, gradually but progressively, to a thorough understanding of symbolic logic fundamentals. The treatment of the subject is mathematically rigorous, wherever necessary (e.g. Chapter on Set Theory) and the presentation is lucid. Solutions to selected exercises are provided at the end of the book and the three appendices, besides the list of symbolic notations, rules of inference, and quantification rules, enrich the readability of the text.Table of ContentsIntroduction: Logic and Language. Arguments Containing Compound Statements. The Method of Deduction. Quantification Theory. The Logic of Relations. Deductive Systems. Set Theory. A Prepositional Calculus. Alternative Systems and Notations. A First-Order Function Calculus. Appendix A: Incompleteness of the Nineteen Rules. Appendix B: Normal Forms and Boolean Expansions. Appendix C: The Ramified Theory of Types. Solutions to Selected Exercises. Special Symbols. Index.