ABSTRACT
This book explores the interplay of philosophy and computer science through the field of artificial intelligence (AI). Philosophy of psychology poses questions for both philosophy of science and philosophy of mind, while philosophies of other social or natural sciences are restricted studies in the philosophy of science. The range of perspectives from which this question can be addressed is as wide as the difference between the following view, expressed by C. A. R. Hoare: Computer programs are mathematical expressions. As B. Blum wrote: It should be clear that success in computer science rests on formal methods. Naur envisioned the use of mathematical thinking not only to prove the correctness of programs, but also to aid in the actual construction of program elements, particularly loops. During the 1980s, the national security agency funded research in the design of 'provably secure' computers, meaning computers that are mathematically guaranteed not to compromise a given multi-level security policy.
