Introduction To The Theory Of Logic by Jose L. Zalabardo - 9780367316358

Taylor & Francis

This book presents some of the central ideas and results in metalogic without presupposing a substantial mathematical background. It is primarily intended for use as a textbook in logic courses for students having mastered the contents of a standard introductory course in formal logic. > This book provides a rigorous introduction to the basic concepts and results of contemporary logic. It also presents, in two unhurried chapters, the mathematical tools (mainly from set theory) that are needed to master the technical aspects of the subject. Methods of definition and proof are also discussed at length, with special emphasis on induct > Chapter 1: The Elements -- Chapter 2: Propositional Logic -- Chapter 3: First-order Logic: Syntax and Semantics -- Chapter 4: Deduction -- Chapter 5: Soundness and Completeness -- Chapter 6: Cardinality -- Chapter 7: Expressive Limitations -- Chapter 8: Decidability