If all philosophy starts with wondering, then Calculated Surprises starts with wondering about how computers are changing the face and inner workings of science. In this book, Lenhard concentrates on the ways in which computers and simulation are transforming the established conception of mathematical modeling. His core thesis is that simulation modeling constitutes a new mode of mathematical modeling that rearranges and inverts key features of the established conception. Although most of these new key features--such as experimentation, exploration, or epistemic opacity--have their precursors, the new ways in which they are being combined is generating a distinctive style of scientific reasoning. Lenhard also documents how simulation is affecting fundamental concepts of solution, understanding, and validation. He feeds these transformations back into philosophy of science, thereby opening up new perspectives on longstanding oppositions. By combining historical investigations with practical aspects, Calculated Surprises is accessible for a broad audience of readers. Numerous case studies covering a wide range of simulation techniques are balanced with broad reflections on science and technology. Initially, what computers are good at is calculating with a speed and accuracy far beyond human capabilities. Lenhard goes further and investigates the emerging characteristics of computer-based modeling, showing how this simple observation is creating a number of surprising challenges for the methodology and epistemology of science. These calculated surprises will attract both philosophers and scientific practitioners who are interested in reflecting on recent developments in science and technology.

If all philosophy starts with wondering, then Calculated Surprises starts with wondering about how computers are changing the face and inner workings of science. In this book, Lenhard concentrates on the ways in which computers and simulation are transforming the established conception of mathematical modeling. His core thesis is that simulation modeling constitutes a new mode of mathematical modeling that rearranges and inverts key features of the established conception. Although most of these new key features--such as experimentation, exploration, or epistemic opacity--have their precursors, the new ways in which they are being combined is generating a distinctive style of scientific reasoning. Lenhard also documents how simulation is affecting fundamental concepts of solution, understanding, and validation. He feeds these transformations back into philosophy of science, thereby opening up new perspectives on longstanding oppositions. By combining historical investigations with practical aspects, Calculated Surprises is accessible for a broad audience of readers. Numerous case studies covering a wide range of simulation techniques are balanced with broad reflections on science and technology. Initially, what computers are good at is calculating with a speed and accuracy far beyond human capabilities. Lenhard goes further and investigates the emerging characteristics of computer-based modeling, showing how this simple observation is creating a number of surprising challenges for the methodology and epistemology of science. These calculated surprises will attract both philosophers and scientific practitioners who are interested in reflecting on recent developments in science and technology.

This revised edition offers an approach to information theory that is more general than the classical approach of Shannon. Classically, information is defined for an alphabet of symbols or for a set of mutually exclusive propositions (a partition of the probability space Ω) with corresponding probabilities adding up to 1. The new definition is given for an arbitrary cover of Ω, i.e. for a set of possibly overlapping propositions. The generalized information concept is called novelty and it is accompanied by two concepts derived from it, designated as information and surprise, which describe "opposite" versions of novelty, information being related more to classical information theory and surprise being related more to the classical concept of statistical significance. In the discussion of these three concepts and their interrelations several properties or classes of covers are defined, which turn out to be lattices. The book also presents applications of these concepts, mostly in statistics and in neuroscience.

A fiction-writing text by a well-known sci-fi author, editor and professor.

In The Physical Signature of Computation, Neal Anderson and Gualtiero Piccinini articulate and defend the robust mapping account--the most systematic, rigorous, and comprehensive account of computational implementation to date. Drawing in part from recent results in physical information theory, they argue that mapping accounts of implementation can be made adequate by incorporating appropriate physical constraints. According to the robust mapping account, the key constraint on mappings from physical to computational states--the key for establishing that a computation is physically implemented--is physical-computational equivalence: evolving physical states bear neither more nor less information about the evolving computation than do the computational states they map onto. When this highly nontrivial constraint is satisfied, among others that are spelled out as part of the account, a physical system can be said to implement a computation in a robust sense, which means that the system bears the physical signature of the computation. Anderson and Piccinini apply their robust mapping account to important questions in physical foundations of computation and cognitive science, including the alleged indeterminacy of computation, pancomputationalism, and the computational theory of mind. They show that physical computation is determinate, nontrivial versions of pancomputationalism fail, and cognition involves computation only insofar as neurocognitive systems bear the physical signature of specific computations. They also argue that both consciousness and physics outstrip computation.