Philosophical and Mathematical Logic

• Κύριος συγγραφέας: de Swart, Harrie (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2018.
• Έκδοση: 1st ed. 2018.
• Σειρά: Springer Undergraduate Texts in Philosophy,
• Θέματα: 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...

Πίνακας περιεχομένων:

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