Philosophical and Mathematical Logic

Harrie de Swart has almost fifty years of experience in teaching Logic in all its aspects at three different universities. The author has great experience in making the insights and highlights of logic accessible to students, also to those students who are not keen on mathematical methods. He is convinced that the interest of logic is in its relationships with philosophy, mathematics, artificial intelligence, computer science and linguistics. Apart from logic, also the theory of social choice belongs to his research interests.

“The book can be recommended not only to students and teachers of mathematic and philosophy, but also to a wider circle of readers interested in all aspects of applications of modern symbolic logic in linguistic, computer science, and philosophy and methodology of science.” (Branislav Boričić, zbMATH 1446.03001, 2020)“The book is very well-written and obviously includes some very serious mathematical logic … . For the reader for whom this subject, or these subjects with their particular philosophical connections, is (are) candy … this book is a wonderful source indeed.” (Michael Berg, MAA Reviews, July 21, 2019)

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