Philosophy of Computing

This book features a unique selection of works presented at the 2019 annual international conference of the International Association for Computing and Philosophy (IACAP). Every contribution has been peer-reviewed, revised, and extended. The included chapters are thematically diverse; topics include epistemology, dynamic epistemic logic, topology, philosophy of science and computation, game theory and abductive inferences, automated reasoning and mathematical proofs, computer simulations, scientific modelling, applied ethics, pedagogy, human-robot interactions, and big data, algorithms, and artificial intelligence. The volume is a testament to the value of interdisciplinary approaches to the computational and informational turn. We live in a time of tremendous development, which requires rigorous reflection on the philosophical nature of these technologies and how they are changing the world. How can we understand these technologies? How do these technologies change our understanding of the world? And how do these technologies affect our place as humans in the world? These questions, and more, are addressed in this volume which is of interest to philosophers, engineers, and computer scientists alike.