Sorin Bangu

Steiner defines naturalism in opposition to anthropocentrism, the doctrine that the human mind holds a privileged place in the universe. He assumes the anthropocentric nature of mathematics and argues that physicists' employment of mathematically guided strategies in the discovery of quantum mechanics challenges scientists' naturalism. In this paper I show that Steiner's assumption about the anthropocentric character of mathematics is questionable. I draw attention to mathematicians' rejection of what Maddy calls ‘definabilism’, a methodological maxim governing the development of mathematics. I contend that because definabilism is anthropocentric, its rejection casts doubts on Steiner's assumption.

In this paper I criticize one of the most convincing recent attempts to resist the underdetermination thesis, Laudan’s argument from indirect confirmation. Laudan highlights and rejects a tacit assumption of the underdetermination theorist, namely that theories can be confirmed only by empirical evidence that follows from them. He shows that once we accept that theories can also be confirmed indirectly, by evidence not entailed by them, the skeptical conclusion does not follow. I agree that Laudan is right to reject this assumption, but I argue that his explanation of how the rejection of this assumption blocks the skeptical conclusion is flawed. I conclude that the argument from indirect confirmation is not effective against the underdetermination thesis.

: Some of the great physicists' belief in the existence of a connection between the aesthetical features of a theory (such as beauty and simplicity) and its truth is still one of the most intriguing issues in the aesthetics of science. In this paper I explore the philosophical credibility of a version of this thesis, focusing on the connection between the mathematical beauty and simplicity of a theory and its truth. I discuss a heuristic interpretation of this thesis, attempting to clarify where the appeal of this Pythagorean view comes from and what are the arguments favoring its acceptance or rejection. Along the way, I sketch the historical context in which this heuristic interpretation gained credibility (the quantum crisis in physics in the 1920s), as well as the more general implications of this thesis for physicists' metaphysical outlook.

Modern mathematical sciences are hard to imagine without appeal to efficient computational algorithms. We address several conceptual problems arising from this interaction by outlining rival but complementary perspectives on mathematical tractability. More specifically, we articulate three alternative characterizations of the complexity hierarchy of mathematical problems that are themselves based on different understandings of computational constraints. These distinctions resolve the tension between epistemic contexts in which exact solutions can be found and the ones in which they cannot; however, contrary to a persistent myth, we conclude that having an exact solution is not generally more epistemologically beneficial than lacking one.

This book is meant as a part of the larger contemporary philosophical project of naturalizing logico-mathematical knowledge, and addresses the key question that motivates most of the work in this field: What is philosophically relevant about the nature of logico-mathematical knowledge in recent research in psychology and cognitive science? The question about this distinctive kind of knowledge is rooted in Plato’s dialogues, and virtually all major philosophers have expressed interest in it. The essays in this collection tackle this important philosophical query from the perspective of the modern sciences of cognition, namely cognitive psychology and neuroscience. _Naturalizing Logico-Mathematical Knowledge _contributes to consolidating a new, emerging direction in the philosophy of mathematics, which, while keeping the traditional concerns of this sub-discipline in sight, aims to engage with them in a scientifically-informed manner. A subsequent aim is to signal the philosophers’ willingness to enter into a fruitful dialogue with the community of cognitive scientists and psychologists by examining their methods and interpretive strategies.

According to standard (quantum) statistical mechanics, the phenomenon of a phase transition, as described in classical thermodynamics, cannot be derived unless one assumes that the system under study is infinite. This is naturally puzzling since real systems are composed of a finite number of particles; consequently, a well‐known reaction to this problem was to urge that the thermodynamic definition of phase transitions (in terms of singularities) should not be “taken seriously.” This article takes singularities seriously and analyzes their role by using the well‐known distinction between data and phenomena, in an attempt to better understand the origin of the puzzle. *Received April 2009; revised July 2009. †To contact the author, please write to: University of Cambridge, Department of History and Philosophy of Science, Free School Lane, Cambridge CB2 3RH, United Kingdom; e‐mail: [email protected].