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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: de Swart, Harrie (VerfasserIn)
Format: Elektronisch E-Book
Sprache:Englisch
Veröffentlicht: Cham : Springer International Publishing, 2018.
Ausgabe:1st ed. 2018.
Schriftenreihe:Springer Undergraduate Texts in Philosophy,
Schlagworte:
Epistemology.
Mathematical logic.
ISBN:9783030032555
ISSN:2569-8737
Online-Zugang: Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Inhaltsangabe:
  • 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.

Ähnliche Einträge