In order to judge whether a theory is empirically adequate one must have epistemic access to reliable records of past measurement results that can be compared against the predictions of the theory. Some formulations of quantum mechanics fail to satisfy this condition. The standard theory without the collapse postulate is an example. Bell's reading of Everett's relative-state formulation is another. Furthermore, there are formulations of quantum mechanics that only satisfy this condition for a special class of observers, formulations whose empirical adequacy could only be judged by an observer who records her measurement results in a special way. Bohm's theory is an example. It is possible to formulate hidden-variable theories that do not suffer from such a restriction, but these encounter other problems.

Philosophers frequently cite Dalton's chemical atomism, and its nineteenth century developments, as a prime example of inference to the best explanation. This was a controversial issue in its time. But the critics are dismissed as positivist-inspired antirealists with no interest in explanation. Is this a reasonable assessment?

I challenge the usual approach of defining emergence in terms of properties of wholes “emerging” upon properties of parts. This approach indeed fails to meet the requirement of nontriviality, since it renders a bunch of ordinary properties emergent; however, by defining emergence as the incompressibility of a simulation process, we have an objective meaning of emergence because the difference between the processes satisfying the incompressibility criterion and the other processes does not depend on our cognitive abilities. Finally, this definition fulfills the nontriviality and the scientific-adequacy requirements better than the combinatorial approach, emergence here being a predicate of processes rather than of properties.

It is a common assumption in contemporary cognitive neuroscience that discovering a putative realized kind to be dissociably realized (i.e., to be realized in each instance by two or more distinct realizers) mandates splitting that kind. Here I explore some limits on this inference using two deceptively similar examples: the dissociation of declarative and procedural memory and Ramachandran's argument that the self is an illusion.

The large number of writers who have in recent years attacked the problem of the logical nature of commands appear generally in agreement in accepting the distinction of common grammar between imperative and declarative sentences as representing, albeit in no clear one-to-one manner, some real difference in the logical character of the two types of expression, and possibly in the psychological sign-functioning mechanism itself. The crucial logical difference adduced is that commands can apparently rot be classified as true or false. One is then, however, confronted with the problem of interpreting arguments involving imperatives which appear syllogistic in form, such as:

Keep your promises!

You promised to pay on Wednesday.

Pay on Wednesday!

The movement for the Unity of Science has been making headway for a number of years, and each year more workers in the various scientific domains have expressed their interest in it by participating in the discussion of its aims and its specific problems. A characteristic feature of this movement which explains this growing interest is that it does not propose a “super-science” which is to legislate to the special sciences. Its proposal of a Unity of Science is of a different kind, not based upon some grand metaphysical view of any sort. Those who are active within this movement are emphatic in their insistence that instead of aiming at a synthesis of the different sciences on the basis of a prior and independent philosophy, the special sciences will themselves supply their own synthesizing glue. For appreciating the significance of this movement it is therefore necessary to keep in mind that its tendency is toward a unified science, departmentalized into special sciences, and not toward an artificial and speculative juxtaposition of an autonomous philosophy and an autonomous group of sciences.

Fine has recently proved the surprising result that satisfaction of the Bell inequality in a Clauser-Horne experiment implies the existence of joint probabilities for pairs of noncommuting observables in the experiment. In this paper we show that if probabilities are interpreted in the von Mises-Church sense of relative frequencies on random sequences, a proof of the Bell inequality is nonetheless possible in which such joint probabilities are assumed not to exist. We also argue that Fine's theorem and related results do not impugn the common view that local realists are committed to the Bell inequality.

Bell's Theorem is proved for locality and conservation formulated in terms of subjunctive conditionals with chance consequents, rather than the usual conditional probability formulation. This brings into sharp focus the minimal counterfactual assumptions needed for Bell's theorem.

The primacy of physics generates a philosophical problem that the naturalist must solve in order to be entitled to an egalitarian acceptance of the ontological commitments he or she inherits from the special sciences and fundamental physics. The problem is the generalized causal exclusion argument. If there is no genuine causation in the domains of the special sciences but only in fundamental physics then there are grounds for doubting the existence of macroscopic objects and properties, or at least the concreteness of them. The aim of this paper is to show that the causal exclusion problem derives its force from a false dichotomy between Humeanism about causation and a notion of productive or generative causation based on a defunct model of the physical world.

It has been argued, most trenchantly by Nancy Cartwright, that the diversity of the concepts and regularities we actually use to describe nature and predict and explain its behavior leaves us with no reason to believe that our foundational physical theories actually “apply” outside of delicately contrived systems within the laboratory. This paper argues that, diversity of method notwithstanding, there is indeed good reason to think that the foundational laws of physics are universal in their scope.

In this article I analyze process tracing, a causal mechanism-based technique for testing causal claims in the social sciences that requires one to specify a chain of intervening causes between any putative cause and effect. I argue that one should not only give evidence that the intervening causes are present in a suitable case study, as process tracing methodologists recommend, but also provide counterfactual evidence to show that each link in the chain is genuinely causal. I detail what that counterfactual evidence should consist of, using Woodward’s manipulability theory, and argue that this evidence relies on tentative comparisons to other case studies.

Previous simulation models have found positive effects of cognitive diversity on group performance, but have not explored effects of diversity in demographics (e.g., gender, ethnicity). In this paper, we present an agent-based model that captures two empirically supported hypotheses about how demographic diversity can improve group performance. The results of our simulations suggest that, even when social identities are not associated with distinctive task-related cognitive resources, demographic diversity can, in certain circumstances, benefit collective performance by counteracting two types of conformity that can arise in homogeneous groups: those relating to group-based trust and those connected to normative expectations toward in-groups.

Independently of any eighteenth century work on the geometry of parallels, Thomas Reid discovered the non-euclidean “geometry of visibles” in 1764. Reid's construction uses an idealized eye, incapable of making distance discriminations, to specify operationally a two dimensional visible space and a set of objects, the visibles. Reid offers sample theorems for his doubly elliptical geometry and proposes a natural model, the surface of the sphere. His construction draws on eighteenth century theory of vision for some of its technical features and is motivated by Reid's desire to defend realism against Berkeley's idealist treatment of visual space.

In the correspondence with Clarke, Leibniz proposes to construe physical theory in terms of physical (spatio-temporal) relations between physical objects, thus avoiding incorporation of infinite totalities of abstract entities (such as Newtonian space) in physical ontology. It has generally been felt that this proposal cannot be carried out.

I demonstrate an equivalence between formulations postulating space-time as an infinite totality and formulations allowing only possible spatio-temporal relations of physical (point -) objects. The resulting rigorous formulations of physical theory may be seen to follow Leibniz’ suggestion quite closely. On the other hand, physical assumptions implicit in the postulation of space-time totalities are made explicit in the reconstruction of the space-time versions from the physical-relation versions.

In this study of Auguste Comte's philosophy of science, an attempt is made to explicate his views on such methodological issues as explanation, prediction, induction and hypothesis. Comte's efforts to resolve the dual problems of demarcation and meaning led to the enunciation of principles of verifiability and predictability. Comte's hypothetico-deductive method is seen to permit conjectures dealing with unobservable entities.

The present attempt to indicate the general manner in which the kinship system of a people can be stated as an interpreted axiomatic system, with utilization of the symbolism of modern mathematical logic, is intended as a demonstration of the applicability of contemporary logical methods to problems in the social sciences. Aside from the obvious general advantages in the way of clarity and logical rigour to be gained by an application of axiomatic method, there emerges as by-products a convenient system of kinship symbolization and what is believed to be a solution to the long-standing controversy concerning the use of the terms ‘descriptive’ and ‘classificatory’ in reference to kinship systems. Since kinship terms are words in languages, the present exposition is perhaps of interest in that it shows how meaning in a semantic field of related terms can be defined by logical methods. So all the directional or temporal terms in a specific language might be treated as kinship terms are here. The possibility of a systematic treatment of the semantic aspects of linguistics which so far have resisted this type of treatment should be of interest to linguists.

After presenting the major objections raised against standard formulations of the H-D method of theory testing, I identify what seems to be an important element of truth underlying the method. I then draw upon this element in an effort to develop a plausible formulation of the H-D method which avoids the various objections.

The structure-mapping theory has become the de facto standard account of analogies in cognitive science and philosophy of science. In this paper I propose a distinction between two kinds of domains and I show how the account of analogies based on structure-preserving mappings fails in certain (object-rich) domains, which are very common in mathematics, and how the axiomatic approach to analogies, which is based on a common linguistic description of the analogs in terms of laws or axioms, can be used successfully to explicate analogies of this kind. Thus, the two accounts of analogies should be regarded as complementary, since each of them is adequate for explicating analogies that are drawn between different kinds of domains. In addition, I illustrate how the account of analogies based on axioms has also considerable practical advantages, for example, for the discovery of new analogies.

The theoretical construct of functional reference is the main tool used by animal communication researchers to explore how animals refer to the world in the absence of a language. Functionally referential signals are commonly defined as signals elicited by a specific class of stimuli and capable of causing behaviors adaptive to such stimuli in the absence of contextual cues. I will argue that this definition is conceptually flawed and propose an alternative definition according to which signals can functionally refer to things that rarely cause them while relying on the essential contribution of contextual cues.