In this paper I argue that human pattern recognition can be simulated by automata. In particular, I show that gestalt recognition and recognition of family resemblances are within the capabilities of sufficiently complex Turing machines. The argument rests on elementary facts of automata and computability theory which are used to explicate our preanalytic, informal concepts concerning gestalt patterns and recognition. The central idea is that of a machine which “knows” its own structure. Although the paper thus aims to support mechanism, especially as a framework hypothesis for perception, it contains suggestions for philosophy of science and philosophy of language as well. Some of these suggestions are sketched in the final section.

David Hull accounts for the success of science in terms of an invisible hand mechanism, arguing that it is difficult to reconcile scientists' self-interestedness or their desire for recognition with traditional philosophical explanations for the success of science. I argue that we have less reason to invoke an invisible hand mechanism to explain the success of science than Hull implies, and that many of the practices and institutions constitutive of science are intentionally designed by scientists with an eye to realizing the very goals that Hull believes need to be explained by reference to an invisible hand mechanism. Thus, I reduce the scope of Hull's invisible hand explanation and supplement it by appealing to a hidden hand explanation.

In a material theory of induction, inductive inferences are warranted by facts that prevail locally. This approach, it is urged, is preferable to formal theories of induction in which the good inductive inferences are delineated as those conforming to universal schemas. An inductive inference problem concerning indeterministic, nonprobabilistic systems in physics is posed, and it is argued that Bayesians cannot responsibly analyze it, thereby demonstrating that the probability calculus is not the universal logic of induction.

It is argued that neither the “theory-informity” of observations nor the Quine-Duhem thesis pose any in principle threat to the objectivity of theory evaluation. The employment of exploratory theories does not generate incommensurability, but on the contrary is responsible for the mensurability and commensurability of explanatory theories, since exploratory theories enable scientists to make observations which are critical in the evaluation of explanatory theories. The employment of exploratory theories and other auxiliary hypotheses does not enable a theory to always accommodate recalcitrant observations to preserve evidential equivalence with a rival theory. Explanatory theories become rapidly degenerating if exploratory theories or other auxiliary hypotheses which inform the original confirmation base are modified to accommodate recalcitrant observations.

John Stuart Mill regards economics as an inexact and separate science which employs a deductive method. This paper analyzes and restates Mill's views and considers whether they help one to understand philosophical peculiarities of contemporary microeconomic theory. The author concludes that it is philosophically enlightening to interpret microeconomics as an inexact and separate science, but that Mill's notion of a deductive method has only a little to contribute.

This paper develops and draws the consequences of an etiological analysis of goal-directedness modeled on one that functions centrally in Charles Taylor's work on action. The author first presents, criticizes, and modifies Taylor's formulation, and then shows his modified formulation accounts easily for much of the fine-structure of teleological concepts and conceptualizations. Throughout, the author is at pains to show that teleological explanations are orthodox from an empiricist's point of view: they require nothing novel methodologically.

It is argued in this paper that the valid argument forms coming under the general heading of Demonstrative Induction have played a highly significant role in the history of theoretical physics. This situation was thoroughly appreciated by several earlier philosophers of science and deserves to be more widely known and understood.

The reward system of science is the priority rule. The first scientist making a new discovery is rewarded with prestige, while second runners get little or nothing. Michael Strevens, following Philip Kitcher, defends this reward system, arguing that it incentivizes an efficient division of cognitive labor. I argue that this assessment depends on strong implicit assumptions about the replicability of findings. I question these assumptions on the basis of metascientific evidence and argue that the priority rule systematically discourages replication. My analysis leads us to qualify Kitcher and Strevens’s contention that a priority-based reward system is normatively desirable for science.

There is a bias in neuroscience toward localizing and modularizing brain functions. Single cell recording, imaging studies, and the study of neurological deficits all feed into the Gallian view that different brain areas do different things and the things being done are confined to particular processing streams. At the same time, there is a growing sentiment that brains probably don't work like that after all; it is better to conceive of them as fundamentally distributed units, multi-tasking at every level. This sentiment, however, is much less congenial to the tried-and-true experimental protocols available today and to theorizing about the brain in general. This essay examines the tension between current experimental methods and large-scale views of the brain. We argue that this disconnection between experiment and what really are guiding theoretical metaphors seriously impedes progress in neuroscience.

Philip Kitcher has proposed a theory of explanation based on the notion of unification. Despite the genuine interest and power of the theory, I argue here that the theory suffers from a fatal deficiency: It is intrinsically unable to account for the asymmetric structure of explanation, and thus ultimately falls prey to a problem similar to the one which beset Hempel's D-N model. I conclude that Kitcher is wrong to claim that one can settle the issue of an argument's explanatory force merely on the basis of considerations about the unifying power of the argument pattern the argument instantiates.

This article provides an overview of the historical and philosophical context from which originated G. Bachelard's concept of “phenomenotechnique”. It analyzes why phenomenotechnique is crucial for science studies. By incorporating the concept of phenomenotechnique into Hacking's and Galison's models of science, I argue that we can avoid the radicalism of both while also preventing the analysis of scientific practices from collapsing into the interpretive frames mandated by social constructivists.

The quantum gravity program seeks a theory that handles quantum matter fields and gravity consistently. But is such a theory really required and must it involve quantizing the gravitational field? We give reasons for a positive answer to the first question, but dispute a widespread contention that it is inconsistent for the gravitational field to be classical while matter is quantum. In particular, we show how a popular argument (Eppley and Hannah 1997) falls short of a no-go theorem, and discuss possible counterexamples. Important issues in the foundations of physics are shown to bear crucially on all these considerations.

It is strange to note so little discussion of the exclusion principle in the philosophical literature. Philosophers, largely engrossed in their perennial problems, are hardly aware of the fact that, during the last two decades, there has been introduced into physical methodology a principle of utmost philosophical importance, easily rivaling that of relativity and, in some respects, indeed that of causality. Discovered by Pauli in 1925, it immediately elucidated a whole realm of physical facts and was accepted by physicists with wide acclaim. Called the exclusion principle—or Pauli principle, or principle of anti-symmetry—it was embodied in the axiomatics of quantum mechanics; its peculiar methodological significance passed out of view.

Fitelson demonstrates that the validity of various central arguments within Bayesian confirmation theory depends on which confirmation measure is adopted. This article adds to the results set out by Fitelson, expanding on them in two principal respects. First, it considers more confirmation measures. Second, it shows that there are important arguments within Bayesian confirmation theory and that there is no confirmation measure that renders them all valid. Finally, the article reviews the ramifications that this “strengthened problem of measure sensitivity” has for Bayesian confirmation theory and discusses whether it points at pluralism about notions of confirmation.

It is shown that it is impossible for an observer to distinguish all present states of a system in which he or she is contained, irrespective of whether this system is a classical or a quantum mechanical one and irrespective of whether the time evolution is deterministic or stochastic. As a corollary, this implies that it is impossible for an observer to measure the EPR-correlations between himself or herself and an outside system. Implications of the main result are discussed for how we have to conceive of universally valid theories.

As is rather generally admitted today, the terms of our language in scientific as well as in everyday use, are not completely precise, but exhibit a more or less high degree of vagueness. It is the purpose of this paper to examine the consequences of this circumstance for a series of questions which belong to the field of logic. First of all, the meaning and the logical status of the concept of vagueness will be analyzed; then we will try to find out whether logical terms are free from vagueness, and whether vagueness has an influence upon the validity of the customary principles of logic; finally, the possibilities of diminishing the vagueness of scientific concepts by suitable logical devices will be briefly dealt with.

Climate change adaptation is largely a local matter, and adaptation planning can benefit from local climate change projections. Such projections are typically generated by accepting climate model outputs in a relatively uncritical way. We argue, based on the IPCC’s treatment of model outputs from the CMIP5 ensemble, that this approach is unwarranted and that subjective expert judgment should play a central role in the provision of local climate change projections intended to support decision-making.

In this paper I develop three conceptions of the relationship between evolutionary and developmental biology. I further argue that: (a) the choice between them largely turns on as yet unresolved empirical considerations; (b) none of these conceptions demand a fundamental conceptual reevaluation of evolutionary biology; and (c) while developmental systems theorists have constructed an important and innovative alternative to the standard view of the genotype/phenotype relations, in considering the general issue of the relationship between evolutionary and developmental biology, we can remain neutral on this debate.

Most contemporary chemists consider quantum mechanics to be the foundational theory of their discipline, although few of the calculations that a strict reduction would seem to require have ever been produced. In this essay I discuss contemporary algebraic and diagrammatic representations of molecular systems derived from quantum mechanical models, specifically configuration interaction wavefunctions for ab initio calculations and molecular orbital energy diagrams. My aim is to suggest that recent dissatisfaction with reductive accounts of chemical theory may stem from both the inability of standard accounts of reduction to incorporate the diverse forms of representation found in chemical practice and our philosophical predilection to analyze all connections between theories in terms of logical reduction.

The task of axiomatizing physical theories has attracted, in recent years, some interest among both empirical scientists and logicians. However, the axiomatizations produced by either one of these two groups seldom appear satisfactory to the members of the other. It is the purpose of this paper to develop an approach that will satisfy the criteria of both, hence permit us to construct axiomatizations that will meet simultaneously the standards and needs of logicians and of empirical scientists.