In the four decades since Imre Lakatos declared mathematics a "quasi-empirical science," increasing attention has been paid to the process of proof and argumentation in the field -- a development paralleled by the rise of computer technology and the mounting interest in the logical underpinnings of mathematics.  Explanantion...

The thirteen chapters written expressly for this book by logicians, theoretical computer scientists, philosophers, and semanticists address, from the perspective of mathematical logic, the problems of understanding and studying the flow of information through any information-processing system.The logic of information flow has applications in...

This is a treatise devoted to the foundations of quantum physics and the role that causality plays in the microscopic world governed by the laws of quantum mechanics. There is no sharp dividing line between physics and philosophy of physics. This is especially true for quantum physics where debate on its interpretation and the status of the...