Philosophical and Mathematical Logic

Philosophical and Mathematical Logic

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας: 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.
Διαθέσιμο Online:Full Text via HEAL-Link
Πίνακας περιεχομένων:
  • 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.

Παρόμοια τεκμήρια