John Symons

Giandomenico Sica’s volume is a collection of eleven papers on category theory by philosophers, mathematicians, and mathematical physicists. In addition to papers of direct interest to philosophers of mathematics, the volume contains some introductory expositions of category theory along with a valuable discussion of the relationship between category theory and physics by Bob Coecke. While there are several technically difficult papers, the volume as a whole is reasonably accessible to those with some familiarity with the basics of category theory. The importance of the volume lies in the possibility that it will encourage broader interest in category theory among philosophers.

Functionalism in the philosophy of mind rests on the claim that mental states are multiply realizable; mental states can be realized by or instantiated in a variety of distinct physical structures. To see them as multiply realizable we take mental states as causal roles rather than particular physical structures. As such, functionalism can be contrasted with metaphysical accounts which treat mental states as instances of a mental substance. Instead of puzzling over the relationship between mental and physical kinds, functionalists understand our talk of minds as a way of describing the functions of bodies. The attraction of a functionalist position is obvious. It seems to solve the traditional problem of mind-body dualism, while simultaneously reconciling the apparent irreducibility of psychological discourse with a broadly physicalistic or materialistic ontology.

Computational modeling plays an increasingly important explanatory role in cases where we investigate systems or problems that exceed our native epistemic capacities. One clear case where technological enhancement is indispensable involves the study of complex systems.1 However, even in contexts where the number of parameters and interactions that define a problem is small, simple systems sometimes exhibit non-linear features which computational models can illustrate and track. In recent decades, computational models have been proposed as a way to assist us in understanding emergent phenomena.

This volume gathers together essays from some of Hintikka’s colleagues and former students exploring his influence on their work and pursuing some of the insights that we have found in his work. This book includes a comprehensive overview of Hintikka’s philosophy by Dan Kolak and John Symons and an annotated bibliography of Hintikka’s work. Table of Contents: Foreword; Daniel Kolak and John Symons. Hintikka on Epistemological Axiomatizations; Vincent F. Hendricks. Hintikka on the Problem with the Problem of Transworld Identity; Troy Catterson. What is Epistemic Discourse About? Radu J. Bogdan. Interrogative Logic and the Economic Theory of Information; Raymond Dacey. A Metalogical Critique of Wittgensteinian ‘Phenomenology’; William Boos. Theoretical Commensurability By Correspondence Relations: When Empirical Success Implies Theoretical Reference; Gerhard Schurz. What is Abduction?: An Assessment of Jaakko Hintikka's Conception; James H. Fetzer. The dialogic of just being different: Hintikka's new approach to the notion of episteme and its impact on 'second generation' dialogics; Shahid Rahman. Probabilistic Features in Logic Games; Johan F. A. K. van Benthem. On Some Logical Properties of ‘Is True’; Jan Wolenski. The Results are in: The Scope and Import of Hintikka's Philosophy; Daniel Kolak and John Symons. Annotated Bibliography of Jaakko Hintikka. Index.

This paper argues that the difference between contemporary software intensive scientific practice and more traditional non-software intensive varieties results from the characteristically high conditionality of software. We explain why the path complexity of programs with high conditionality imposes limits on standard error correction techniques and why this matters. While it is possible, in general, to characterize the error distribution in inquiry that does not involve high conditionality, we cannot characterize the error distribution in inquiry that depends on software. Software intensive science presents distinctive error and uncertainty modalities that pose new challenges for the epistemology of science