If physicalism is true, everything is physical. In other words, everything supervenes on, or is necessitated by, the physical. Accordingly, if there are logical/mathematical facts, they must be necessitated by the physical facts of the world. The aim of this paper is to clarify what logical/mathematical facts actually are and how these facts can be accommodated in a purely physical world.

The law of gravitation, an example of physical law The relation of mathematics to physics The great conservation principles Symmetry in physical law The distinction of past and future Probability and uncertainty: the quantum mechanical view of nature Seeking new laws.

The common cause principle states that correlations have prior common causes which screen off those correlations. I argue that the common cause principle is false in many circumstances, some of which are very general. I then suggest that more restricted versions of the common cause principle might hold, and I prove such a restricted version.

In this article I discuss a recent argument due to Dan McArthur, who suggests that the charge that Michael Friedman’s relativised a priori leads to irrationality in theory change can be avoided by adopting structural realism. I provide several arguments to show that the conjunction of Friedman’s relativised a priori with structural realism cannot make the former avoid the charge of irrationality. I also explore the extent to which Friedman’s view and structural realism are compatible, a presupposition of McArthur’s argument. (...) This compatibility is usually questioned, due to the Kantian aspect of Friedman’s view, which clashes with the metaphysical premise of scientific realism. I argue that structural realism does not necessarily depend on this premise and as a consequence can be compatible with Friedman’s view, but more importantly I question whether Friedman’s view really implies mind dependence. (shrink)

Modern empiricism has been conditioned in large part by two dogmas. One is a belief in some fundamental cleavage between truths which are analytic, or grounded in meanings independently of matters of fact, and truth which are synthetic, or grounded in fact. The other dogma is reductionism: the belief that each meaningful statement is equivalent to some logical construct upon terms which refer to immediate experience. Both dogmas, I shall argue, are ill founded. One effect of abandoning them is, as (...) we shall see, a blurring of the supposed boundary between speculative metaphysics and natural science. Another effect is a shift toward pragmatism. (shrink)

The Theory of Relativity and A Priori Knowledge will hereafter be cited as "RAK. " The German edition is out of print. 2 H. Reichenbach, The Philosophy of ...

A dissertation in the tradition of logical positivism includes a discussion of the functions and methods of philosophy and a critique of ethics and theology.

The final work of a distinguished physicist, this remarkable volume examines the emotive significance of time, the time order of mechanics, the time direction of thermodynamics and microstatistics, the time direction of macrostatistics, and the time of quantum physics. Coherent discussions include accounts of analytic methods of scientific philosophy in the investigation of probability, quantum mechanics, the theory of relativity, and causality. "[Reichenbach’s] best by a good deal."—Physics Today. 1971 ed.

An intrinsic property, as David Lewis puts it, is a property "which things have in virtue of the way they themselves are", as opposed to an extrinsic property, which things have "in virtue of their relations or lack of relations to other things".1 Having long hair is an intrinsic property; having a long-haired brother is not. Intuitive as this notion is (and valuable in doing philosophy, I might add), it seems to resist analysis. Analysis, that is, to “quasi-logical” notions such (...) as necessity, spatiotemporal location: using stronger tools, Lewis has given an analysis of intrinsicality that I take to be roughly correct. Lewis initially described intrinsic properties in his 1983 paper "Extrinsic Properties" as follows. (shrink)

Several intrinsic/extrinsic distinctions amongst properties, current in the literature, are discussed and contrasted. The proponents of such distinctions tend to present them as competing, but it is suggested here that at least three of the relevant distinctions (including here that between non-relational and relational properties) arise out of separate perfectly legitimate intuitive considerations: though of course different proposed explications of the informal distinctions involved in any one case may well conflict. Special attention is paid to the question of whether a (...) single notion of property is capable of supporting the various distinctions. (shrink)

We discuss the differences between first-order set theory and second-order logic as a foundation for mathematics. We analyse these languages in terms of two levels of formalization. The analysis shows that if second-order logic is understood in its full semantics capable of characterizing categorically central mathematical concepts, it relies entirely on informal reasoning. On the other hand, if it is given a weak semantics, it loses its power in expressing concepts categorically. First-order set theory and second-order logic are not radically (...) different: the latter is a major fragment of the former. (shrink)

Several alleged counterexamples to the definition of ‘intrinsic’ proposed in Rae Langton and David Lewis, ‘Defining “Intrinsic”’, are unconvincing. Yet there are reasons for dissatisfaction, and room for improvement. One desirable change is to raise the standard of non-disjunctiveness, thereby putting less burden on contentious judgements of comparative naturalness. A second is to deal with spurious independence by throwing out just the disjunctive troublemakers, instead of throwing out disjunctive properties wholesale, and afterward reinstating those impeccably intrinsic disjunctive properties that are (...) not troublemakers. A third, suggested by Brian Weatherson, would be to invoke the general principle that the intrinsic and the extrinsic characters of things are independent, rather than relying just on one special case of this principle; but it is none too obvious how to do this. (shrink)

Something could be round even if it were the only thing in the universe, unaccompanied by anything distinct from itself. Jaegwon Kim once suggested that we define an intrinsic property as one that can belong to something unaccompanied. Wrong: unaccompaniment itself is not intrinsic, yet it can belong to something unaccompanied. But there is a better Kim-style definition. Say that P is independent of accompaniment iff four different cases are possible: something accompanied may have P or lack P, something unaccompanied (...) may have P or lack P. P is basic intrinsic iff (1) P and not-P are nondisjunctive and contingent, and (2) P is independent of accompaniment. Two things (actual or possible) are duplicates iff they have exactly the same basic intrinsic properties. P is intrinsic iff no two duplicates differ with respect to P. (shrink)

An intrinsic property, according to one important account, is a property that is had by all of one's duplicates. Instead, one might choose to characterize intrinsic properties as those that can be had in the absence of all distinct individuals. After reviewing the problems with these earlier accounts, the author presents a less problematic analysis. The goal is to clarify the rough idea that an intrinsic property is a special sort of non-relational property; having the property does not consist in (...) any relation one bears to distinct individuals. (shrink)

Intuitively, a property is intrinsic just in case a thing’s having it (at a time) depends only on what that thing is like (at that time), and not on what any wholly distinct contingent object (or wholly distinct time) is like. A property is extrinsic just in case it is non-intrinsic. Redness and squareness are intrinsic properties. Being next to a red object is extrinsic.

The common cause principle says that every correlation is either due to a direct causal effect linking the correlated entities or is brought about by a third factor, a so-called common cause. The principle is of central importance in the philosophy of science, especially in causal explanation, causal modeling and in the foundations of quantum physics. Written for philosophers of science, physicists and statisticians, this book contributes to the debate over the validity of the common cause principle, by proving results (...) that bring to the surface the nature of explanation by common causes. It provides a technical and mathematically rigorous examination of the notion of common cause, providing an analysis not only in terms of classical probability measure spaces, which is typical in the available literature, but in quantum probability theory as well. The authors provide numerous open problems to further the debate and encourage future research in this field. (shrink)

It is common in the literature on classical electrodynamics and relativity theory that the transformation rules for the basic electrodynamical quantities are derived from the pre-assumption that the equations of electrodynamics are covariant against these---unknown---transformation rules. There are several problems to be raised concerning these derivations. This is, however, not our main concern in this paper. Even if these derivations were completely correct, they leave open the following fundamental question: Are the so-obtained transformation rules indeed identical with the true transformation (...) rules of the fundamental electrodynamical quantities? In other words, is it indeed the case that the values calculated from the quantities in one inertial frame by means of the transformation rules we derived are equal to the values of the same quantities obtained by the same operations with the same measuring equipments when they are co-moving with the other inertial frame? This is of course an empirical question. In this paper, we will investigate the problem in a purely theoretical framework by applying what J. S. Bell calls “Lorentzian pedagogy”---according to which the laws of physics in any one reference frame account for all physical phenomena. We will show that the transformation rules of the electrodynamical quantities are indeed identical with the ones obtained by presuming the covariance of the equations of electrodynamics, and that the covariance is indeed satisfied. Beforehand, however, we need to clarify the operational definitions of the fundamental electrodynamical quantities. As we will see, these semantic issues are not as trivial as one might think. (shrink)

This book introduces a new approach to the issue of radical scientific revolutions, or "paradigm-shifts," given prominence in the work of Thomas Kuhn. The book articulates a dynamical and historicized version of the conception of scientific a priori principles first developed by the philosopher Immanuel Kant. This approach defends the Enlightenment ideal of scientific objectivity and universality while simultaneously doing justice to the revolutionary changes within the sciences that have since undermined Kant's original defense of this ideal. Through a modified (...) Kantian approach to epistemology and philosophy of science, this book opposes both Quinean naturalistic holism and the post-Kuhnian conceptual relativism that has dominated recent literature in science studies. Focussing on the development of "scientific philosophy" from Kant to Rudolf Carnap, along with the parallel developments taking place in the sciences during the same period, the author articulates a new dynamical conception of relativized a priori principles. This idea applied within the physical sciences aims to show that rational intersubjective consensus is intricately preserved across radical scientific revolutions or "paradigm-shifts and how this is achieved. (shrink)

This paper is an amalgam of physics and mathematical logic. It contains an elementary axiomatization of spacetime in terms of the primitive concepts of particle, signal, and transmission and reception. In the elementary language formed with these predicates we state AxiomsE, C, andU, which are naturally interpretable as basic physical properties of particles and signals. We then determine all mathematical models of this axiom system; these represent certain generalizations of the standard model. Also, the automorphism groups of the models are (...) determined. Finally we give another physical model and discuss the philosophical implications. (shrink)

The leading account of intrinsicality over the last thirty years has arguably been David Lewis's account in terms of perfect naturalness. Lewis's account, however, has three serious problems: i) it cannot allow necessarily coextensive properties to differ in whether they are intrinsic; ii) it falsely classifies non-qualitative properties like being Obama as non-intrinsic; and iii) it is incompatible with a number of metaphysical theories that posit irreducibly non-categorical properties. I argue that, as a result of these problems, Lewis's account should (...) be rejected and replaced with an alternative account, which also analyses intrinsicality in terms of perfect naturalness, but which avoids these problems. (shrink)

This article is a brief formulation of a radical thesis. We start with the formalist doctrine that mathematical objects have no meanings; we have marks and rules governing how these marks can be combined. That's all. Then I go further by arguing that the signs of a formal system of mathematics should be considered as physical objects, and the formal operations as physical processes. The rules of the formal operations are or can be expressed in terms of the laws of (...) physics governing these processes. In accordance with the physicalist understanding of mind, this is true even if the operations in question are executed in the head. A truth obtained through (mathematical) reasoning is, therefore, an observed outcome of a neuro-physiological (or other physical) experiment. Consequently, deduction is nothing but a particular case of induction. (shrink)

Challenging prevailing interpretations of the development of modern philosophy, this book proposes a reinterpretation of the transcendental tradition, as represented primarily by Kant and Husserl, and counters Heidegger's influential reading of these philosophers. Author David Carr defends their subtle and complex transcendental investigations of the self and the life of subjectivity, and seeks to revive an understanding of what Husserl calls "the paradox of subjectivity"--an appreciation for the rich and sometimes contradictory character of experience.

In this paper I claim that Quinean naturalist accounts of science, that deny that there are any a priori statements in scientific frameworks, cannot account for the foundational role of certain classes of statements in scientific practice. In this I follow Michael Friedman who claims that certain a priori statements must be presupposed in order to formulate empirical hypotheses. I also show that Friedman's account, in spite of his claims to the contrary, is compatible with a type of non-Quinean naturalism (...) that I sketch. Finally I also show that Friedman's account needs amending because it cannot provide a rational account of theory change. I accomplish this by arguing for a structural realist view of theory change. I show how this view fits well with an account like Friedman's and helps it deal with the problem of theory change and in retaining its superiority over Quinean naturalism. (shrink)

Reviewed Works:Andrew Hodges, Rolf Herken, Alan Turing and the Turing Machine.Stephen C. Kleene, Turing's Analysis of Computability, and Major Applications of it.Robin Gandy, The Confluence of Ideas in 1936.Solomon Feferman, Turing in the Land of O.Martin Davis, Esther R. Phillips, Mathematical Logic and the Origin of Modern Computers.

This article is a brief formulation of a radical thesis. We start with the formalist doctrine that mathematical objects have no meanings; we have marks and rules governing how these marks can be combined. That's all. Then I go further by arguing that the signs of a formal system of mathematics should be considered as physical objects, and the formal operations as physical processes. The rules of the formal operations are or can be expressed in terms of the laws of (...) physics governing these processes. In accordance with the physicalist understanding of mind, this is true even if the operations in question are executed in the head. A truth obtained through (mathematical) reasoning is, therefore, an observed outcome of a neuro-physiological (or other physical) experiment. Consequently, deduction is nothing but a particular case of induction. (shrink)

Several alleged counterexamples to the definition of ‘intrinsic’ proposed in Rae Langton and David Lewis,‘Defining “Intrinsic”’, are unconvincing. Yet there are reasons for dissatisfaction, and room for improvement. One desirable change is to raise the standard of non‐disjunctiveness, thereby putting less burden on contentious judgements of comparative naturalness. A second is to deal with spurious independence by throwing out just the disjunctive troublemakers, instead of throwing out disjunctive properties wholesale, and afterward reinstating those impeccably intrinsic disjunctive properties that are not (...) troublemakers. (The second of these changes makes the first more affordable.) A third, suggested by Brian Weatherson, would be to invoke the general principle that the intrinsic and the extrinsic characters of things are independent, rather than relying just on one special case of this principle; but it is none too obvious how to do this. (shrink)