Introduction to the Theory of Logic

ISBN-13: 9780367316358 / Angielski / Twarda / 2019 / 347 str.

Jose L. Zalabardo

Opis

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

Spis treści

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

O autorze

Jose L. Zalabardo was born in Madrid in 1964, and educated at the Universidad Aut243noma de Madrid, the University of St. Andrews and the University of Michigan, where he obtained a Ph.D. in 1994. He was a lecturer at the University of Birmingham from 1994 to 2000. In 2000 he joined the University College London Philosophy Department, where he is now a reader. He is associate editor of Mind.