Philosophical and Mathematical Logic

• Main Author: de Swart, Harrie (Author, http://id.loc.gov/vocabulary/relators/aut)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Edition: 1st ed. 2018.
• Series: Springer Undergraduate Texts in Philosophy,
• Subjects: Epistemology.; Mathematical logic.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.

This book was written to serve as an introduction to logic, with in each chapter - if applicable - special emphasis on the interplay between logic and philosophy, mathematics, language and (theoretical) computer science. The reader will not only be provided with an introduction to classical logic, b...

Table of Contents:

• Chapter 1. Propositional Logic
• Chapter 2. Predicate Logic
• Chapter 3. Arithmetic and Gödel's incompleteness theorem
• Chapter 4. Sets (finite and infinite)
• Chapter 5. Philosophical logic: modal, epistemic, deontic, temporal
• Chapter 6. Philosophy of language
• Chapter 7. Intuitionism and intuitionistic logic
• Chapter 8. Applications of logic and set theory: logic programming; relational databases.