Название: Philosophical and Mathematical Logic
Автор: Harrie de Swart
Издательство: Springer
Год: 2018
Страниц: 539
Формат: PDF
Размер: 10 Mb
Язык: English
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, but to philosophical (modal, epistemic, deontic, temporal) and intuitionistic logic as well. The first chapter is an easy to read non-technical Introduction to the topics in the book. The next chapters are consecutively about Propositional Logic, Sets (finite and infinite), Predicate Logic, Arithmetic and G?del’s Incompleteness Theorems, Modal Logic, Philosophy of Language, Intuitionism and Intuitionistic Logic, Applications (Prolog; Relational Databases and SQL;