Symbolic Logic

Copi (Autor)

Buch | Hardcover

416 Seiten

1979 | 5th edition
Pearson (Verlag)
9780023249808 (ISBN)

Infos

Takes students through the basic principles of symbolic logic - from the concept of validity to a first-order function calculus.

---

For courses in Formal Logic.

The general approach of this book to logic remains the same as in earlier editions. Following Aristotle, we regard logic from two different points of view: on the one hand, logic is an instrument or organon for appraising the correctness of reasoning; on the other hand, the principles and methods of logic used as organon are interesting and important topics to be themselves systematically investigated.

Inhalt

 1. Introduction: Logic and Language.


 2. Arguments Containing compound Statements.


 3. The Method of Deduction.


 4. Qualification Theory.


 5. The Logic of Relations.


 6. Deductive Systems.


 7. Set Theory.


 8. A Propositional Calculus.


 9. Alternative systems and Notations.


10. 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.


Index.

Produkt-Details

• Erscheint lt. Verlag: 1.4.1979
• Sprache: englisch
• Maße: 160 x 240 mm
• Gewicht: 759 g
• Themenwelt: Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
• ISBN-13: 9780023249808 / 9780023249808
• Zustand: Neuware