Initially proposed as rivals of classical logic, alternative logics have become increasingly important in sciences such as quantum physics, computer science, and artificial intelligence. The contributions collected in this volume address and explore the question whether the usage of logic in the sciences, especially in modern physics, requires a deviation from classical mathematical logic. The articles in the first part of the book set the scene by describing the context and the dilemma when applying logic in science. In part II the authors offer several logics that deviate in different ways from classical logics. The twelve papers in part III investigate in detail specific aspects such as quantum logic, quantum computation, computer-science considerations, praxic logic, and quantum probability. Most of the contributions are revised and partially extended versions of papers presented at a conference of the same title of the Académie Internationale de Philosophie des Sciences held at the Internationales Forschungszentrum Salzburg in May 1999. Others have been added to complete the picture of recent research in alternative logics as they have been developed for applications in the sciences.
From the reviews: "This is a valuable anthology of invited papers about the role of alternative logics in science, especially physics. ... this is a worthwhile book, especially for those interested in 'the logic' of quantum theory." (Dr. J.N. Butterfield, Contemporary Physics Vol. 46 (1), January - February, 2005) "Alternative Logics is a panoramic overview of several logics, with an emphasis on the question whether science needs them. ... A physics library could take pride in having a copy of Alternative Logics on its shelves." (F. A. Muller, Europhysics News, Vol. 36 (1), 2005)