The essays in this volume were written by leading researchers on classical mechanics, statistical mechanics, quantum theory, and relativity. They detail central topics in the foundations of physics, including the role of symmetry principles in classical and quantum physics, Einstein's hole argument in general relativity, quantum mechanics and special relativity, quantum correlations, quantum logic, and quantum probability and information.

This book reconstructs the kalām theories of matter, space, and void in the tenth and eleventh centuries A.D., using texts that have only recently become available.

In my dissertation I analyze the structure of fundamental physical theories. I start with an analysis of what an adequate primitive ontology is, discussing the measurement problem in quantum mechanics and theirs solutions. It is commonly said that these theories have little in common. I argue instead that the moral of the measurement problem is that the wave function cannot represent physical objects and a common structure between these solutions can be recognized: each of them is about a (...) clear three-dimensional primitive ontology that evolves according to a law determined by the wave function. The primitive ontology is what matter is made of while the wave function tells the matter how to move. One might think that what is important in the notion of primitive ontology is their three-dimensionality. If so, in a theory like classical electrodynamics electromagnetic fields would be part of the primitive ontology. I argue that, reflecting on what the purpose of a fundamental physical theory is, namely to explain the behavior of objects in three--dimensional space, one can recognize that a fundamental physical theory has a particular architecture. If so, electromagnetic fields play a different role in the theory than the particles and therefore should be considered, like the wave function, as part of the law. Therefore, we can characterize the general structure of a fundamental physical theory as a mathematical structure grounded on a primitive ontology. I explore this idea to better understand theories like classical mechanics and relativity, emphasizing that primitive ontology is crucial in the process of building new theories, being fundamental in identifying the symmetries. Finally, I analyze what it means to explain the word around us in terms of the notion of primitive ontology in the case of regularities of statistical character. Here is where the notion of typicality comes into play: we have explained a phenomenon if the typical histories of the primitive ontology give rise to the statistical regularities we observe. (shrink)

In nine new essays, distinguished philosophers of science discuss outstanding issues in scientific methodology --especially that of the physical sciences-and address philosophical questions that arise in the exploration of the foundations of contemporary science.

Formalized physical theories are not, as a rule, stated in intensional languages. Yet in talking about them we often treat them as if they were. We say for instance: 'Consider what would happen if instead of p's being true q were. In such a case r would be likely.' If we say this sort of thing, p, q and r appear to stand for the meanings of sentences of the theory, but meanings in some intensional sense. Now it (...) is very easy to extend the syntax of the formal theory by adding all sorts of intensional operators, e.g. a modal operator; and it is possible to extend the semantics by adding a set of possible worlds and evaluating the modal formulae in the usual way. But this procedure is open to the criticism that we are extending the theory by adding something which is not already there. In particular the criticism will be that the possible worlds required by the semantics seem to have no connection with the intended interpretations of the original physical theory. The aim of this paper is to shew how a set of possible worlds is already implicit in the intended interpretations of a formally presented physical theory and that these interpretations induce, in a comparatively direct way, an intensional semantics which corresponds to the original one. (shrink)

With the help of syncretiсs as a new philosophical logic, the philosophy of carriers, the theory of similarity and the theory of Infinite Hierarchical Nesting of Matter, the problems of modern physics are analyzed. We consider the classical and relativistic mechanics, the special and general theories of relativity, the theory of electromagnetic and gravitational fields, of weak and strong interactions. The goal is axiomatization of these theories, building models of elementary particles and of their interactions with each (...) other. The main obtained results are: description of the electrokinetic theory of the origin of magnetic fields in cosmic bodies; calculation of metric in the uniformly accelerated reference frame; the axiomatic construction of electrodynamics, Lorentz invariant (LITG) and covariant theories of gravitation (CTG); comparing CTG with the general theory of relativity and with the results of gravitational experiments. Among other results – the analysis of the properties of ether as the medium responsible for transfer of electromagnetic and gravitational waves, and derivation of the formula for entropy in a tensor form. For students and researchers, as well as for those interested in physical and philosophical problems. (shrink)

With the help of syncretiсs as a new philosophical logic, the philosophy of carriers, the theory of similarity and the theory of Infinite Hierarchical Nesting of Matter, the problems of modern physics are analyzed. We consider the classical and relativistic mechanics, the special and general theories of relativity, the theory of electromagnetic and gravitational fields, of weak and strong interactions. The goal is axiomatization of these theories, building models of elementary particles and of their interactions with each (...) other. The main obtained results are: the model of bead lightning; an explanation of redshift of the spectra of galaxies; the derivation of the Newton law in the concept of gravitons; the calculation of nuclear forces and the structure of simplest nuclei with the help of the theory of strong gravitation; building the model of weak interactions of elementary particles; presentation of quarks as a particular type of quasiparticles; explanation of the electron spin. The book should be useful for students and researchers, as well as for those interested in physical and philosophical problems. Tables 20. Fig. 30. Ref. 155 titles. (shrink)

An engineer views mind as a graduated development of, and complement to the physical world, aided by the principle of microphysical coding of information.--G. L. C.

Up to the present time the science of physics has given us no purely physical theory by which the characteristic formal properties of sensation can be derived. No explanation of the sense world purely in terms of the postulated physical world has been forthcoming, so that the psychologist has had either to ignore sensations or consider them as at least partially unaccountable additions to the entities of physics.That there is, nevertheless, a purely physical explanation of the (...) sense world we hope the following pages will make clear. We will present a theory in which the characteristic properties of sensation are derived from postulated physical entities. (shrink)

This paper addresses the extent to which both Julian Barbour‘s Machian formulation of general relativity and his interpretation of canonical quantum gravity can be called timeless. We differentiate two types of timelessness in Barbour‘s (1994a, 1994b and 1999c). We argue that Barbour‘s metaphysical contention that ours is a timeless world is crucially lacking an account of the essential features of time—an account of what features our world would need to have if it were to count as being one in which (...) there is time. We attempt to provide such an account through considerations of both the representation of time in physical theory and in orthodox metaphysical analyses. We subsequently argue that Barbour‘s claim of timelessness is dubious with respect to his Machian formulation of general relativity but warranted with respect to his interpretation of canonical quantum gravity. We conclude by discussing the extent to which we should be concerned by the implications of Barbour‘s view. (shrink)

I argue that an adequate semantics for physical theories must be grounded on an account of the way that a theory provides formal and conceptual resources appropriate for---that have propriety in---the construction of representations of the physical systems the theory purports to treat. I sketch a precise, rigorous definition of the required forms of propriety, and argue that semantic content accrues to scientific representations of physical systems primarily in virtue of the propriety of its resources. (...) In particular, neither the adequacy of those representations nor any referential relations their terms may enter into play any fundamental role in the determination of the representation's semantic content. One consequence is that anything like traditional Tarskian semantics is inadequate for the task. (shrink)

Virtually all philosophers of science have construed fundamental theories as descriptions of entities, properties, and/or structures. Call this the “descriptive-ontological” view. I argue that this view is incorrect, at least insofar as physical theories are concerned. I propose a novel construal of theories that I call the “prescriptive-dynamical” view. The central tenet of this view, roughly put, is that the essential content of fundamental physical theories is a prescription for interfacing with natural systems and translating local data into (...) compact theoretical language. The descriptive-ontological aspects of theories, if any, are taken as inessential content on this view: they do not contribute to the predictive success of the theory. Rather than describing what is there, the essence of a physical theory is to tell us what to do when interfacing with a physical system. (shrink)

Any advanced theory of physics contains modules defined as essential components that are themselves theories with different domains of application. Different kinds of modules can be distinguished according to the way in which they fit in the symbolic and interpretive apparatus of a theory. The number and kind of the modules of a given theory vary as the theory evolves in time. The relative stability of modules and the variability of their insertion in other theories play (...) a vital role in the application, comparison, construction, and communication of theories. Modularity conveys some global unity to physics through the sharing of modules by diverse theories. This alternative to rigid hierarchies and holistic totalities permits a dynamical, plastic, and symbiotic approach to physical theory. (shrink)

Orthodox quantum mechanics is technically built around an element that von Neumann called Process 1. In its basic form it consists of an action that reduces the prior state of a physical system to a sum of two parts, which can be regarded as the parts corresponding to the answers ‘Yes’ and ‘No’ to a specific question that this action poses, or ‘puts to nature’. Nature returns one answer or the other, in accordance with statistical weightings specified by the (...) theory. Thus the standard statistical element in quantum theory enters only after the Process-1 choice is made, while the known deterministic element in quantum theory governs the dynamics that prevails between the reduction events, but not the process that determines which of the continuum of allowed Process-1 probing actions will actually occur. The rules governing that selection process are not fixed by the theory in its present form. This freedom can be used to resolve in a natural way an apparent problem of the orthodox theory, its biocentrism. That resolution produces a rationally coherent realization of the theory that preserves the basic orthodox structure but allows naturally.. (shrink)

Examines the aims and tools of science for creating theories and explanations of phenomena, with an eye to answering the question of whether or not science ...

This dissertation is an investigation into the degree to which the mathematics used in physical theories can be constructivized. The techniques of recursive function theory and classical logic are used to separate out the algorithmic content of mathematical theories rather than attempting to reformulate them in terms of "intuitionistic" logic. The guiding question is: are there experimentally testable predictions in physics which are not computable from the data? ;The nature of Church's thesis, that the class of effectively calculable (...) functions on the natural numbers is identical to the class of general recursive functions, is discussed. It is argued that this thesis is an example of an explication of the very notion of an effectively calculable function. This is contrary to a view of the thesis as a hypothesis about the limitations of the human mind. ;The extension to functions of a real variable of the notion of effective calculability is discussed, and it is argued that a function of a real variable must be continuous in order to be considered effectively calculable . The relation between continuity and computability is significant for the problem at hand. The results of a well-designed experiment do not depend critically upon the precise values of the relevant parameters. Accordingly, if the solution to a problem in mathematical physics depends discontinuously upon the data, it cannot be regarded as an experimentally testable prediction of the theory. The principle that the testable predictions of a physical theory cannot be singular is known as the principle of regularity. This principle is significant, because discontinuities generate non-computability, but they also disqualify a prediction from being experimentally testable. ;A mathematical framework is set up for discussing computability in physical theories. This framework is then applied to the case of quantum mechanics. It is found that, due to the use of unbounded operators in the theory, noncomputable objects appear, but predictions which satisfy the principle of regularity are nevertheless computable functions of the data. (shrink)

The familiar theories of physics have the feature that the application of the theory to make predictions in specific circumstances can be done by means of an algorithm. We propose a more precise formulation of this feature—one based on the issue of whether or not the physically measurable numbers predicted by the theory are computable in the mathematical sense. Applying this formulation to one approach to a quantum theory of gravity, there are found indications that there may (...) exist no such algorithms in this case. Finally, we discuss the issue of whether the existence of an algorithm to implement a theory should be adopted as a criterion for acceptable physical theories.“Can it then be that there is... something of use for unraveling the universe to be learned from the philosophy of computer design?” —J. A. Wheeler(1). (shrink)

Several authors have recently attempted to provide a physicalist analysis of causation by appealing to terms from physics that characterise causal processes. Accounts based on forces, energy/momentum transfer and fundamental interactions have been suggested in the literature. In this paper, I wish to show that the former two are untenable when the effect of enclosed electromagnetic fluxes in quantum theory is considered. Furthermore, I suggest that even in the classical and non-relativistic limits, a theory of fundamental interactions should (...) not be reduced to either a theory of forces or of energy/momentum transfer, but should be understood as a classical account of mutual interactions. Causal links are therefore correctly characterised by generalised potentials. This leads to some speculation regarding the fundamental ontology of interactions and, in particular, the role of the quantum mechanical phase. (shrink)

In this paper we argue for an integrated inferential conception about theories and representations and its role in accounting for the theoretical value of philosophically disregarded representational practices, such as the systematic use of phase space diagrams within the theoretical context of statistical mechanics. This proposal would rely on both inferentialism about scientific representations (Suárez 2004) and inferentialism about particular physical theories (Wallace 2017). We defend that both perspectives somehow converge into an integrated inferentialism by means of the thesis (...) theories as being composed of representations, as defended from the representational semantic conception defended by Suárez and Pero (2019). (shrink)

Considerable work within the modern 'space-time theory' approach to relativity physics has been devoted to clarifying the role and meaning of the principle of relativity. Two recent discussions of the principle within this approach, due to Arntzenius (1990) and Friedman (1983), are found to contain difficulties.

Physical theories are complex and necessary tools for gaining new knowledge about their areas of application. A distinction is made between abstract and practical theories. The last are constantly being improved in the cognitive activity of professional physicists and studied by future physicists. A variant of the philosophy of physics based on a modified structural-nominative reconstruction of practical theories is proposed. Readers should decide whether this option is useful for their understanding of the philosophy of physics, as well as (...) other philosophies of particular sciences. (shrink)

Normal 0 21 false false false ES X-NONE X-NONE MicrosoftInternetExplorer4 /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Tabla normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-qformat:yes; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:11.0pt; font-family:"Calibri","sans-serif"; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-fareast-font-family:"Times New Roman"; mso-fareast-theme-font:minor-fareast; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-bidi-font-family:"Times New Roman"; mso-bidi-theme-font:minor-bidi;} The main aim of this paper is to argue on behalf of instrumentalism in the philosophy of physics. Following Theo Kuipers’ terminology of domain extension and domain restriction I claim, contradicting him, that the methodology of domain (...) revision can only support an antirealist approach to the theory of physics. The existence of both extensions and restrictions of the application domain of theoretical models and the theoretical incompatibility between successive theories provide respectively with minor and major arguments for instrumentalism in physics. (shrink)

This paper discusses Husserl’s views on physical theories in the first volume of his Logical Investigations , and compares them with those of his contemporaries Pierre Duhem and Henri Poincaré. Poincaré’s views serve as a bridge to a discussion of Husserl’s almost unknown views on physical geometry from about 1890 on, which in comparison even with Poincaré’s—not to say Frege’s—or almost any other philosopher of his time, represented a rupture with the philosophical tradition and were much more in (...) tune with the physical geometry underlying the Einstein-Hilbert general theory of relativity developed more than two decades later. (shrink)

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.

Configuration space representations have utility in physics but are not generally taken to have ontological significance. We examine one salient reason to think configuration space representations fail to be relevant in determining the fundamental ontology of a physical theory. This is based on a claim due to several authors that fundamental theories must have primitive ontologies. This claim would,if correct, have broad ramifications for how to read metaphysics from physical theory. We survey ways of understanding the (...) argument for a primitive ontology in order to assess the case against configuration space realism. (shrink)

Recent discussions in the physical literature, designed to clarify the logical position of modern physical theory, have brought to light an amazing divergence of fundamental attitudes which may well bewilder the careful student of physics as well as philosophy. Quantum mechanics, representing an abstract formalism, should be capable of having its logical structure analyzed with great precision like any other mathematical discipline. Its consequences in all problems to which its method can be applied are so unambiguous, consistent, (...) and successful in predicting physical experience as to disperse immediately all thoughts of possible discrepancies in its fundamental texture. Yet it must be said that even the founders of quantum theory are not in harmony in their various expositions of the bases of that theory. However, while this situation seems disquieting on the face of it, there is no cause for serious brow raising, for it is a fact that there exists agreement with regard to the central axioms of the theory, and that the ambiguities affect only their philosophical interpretation, a field in which differences of opinion may at present be honestly entertained. (shrink)

This paper discusses Husserl’s views on physical theories in the first volume of his Logical Investigations, and compares them with those of his contemporaries Pierre Duhem and Henri Poincaré. Poincaré’s views serve as a bridge to a discussion of Husserl’s almost unknown views on physical geometry from about 1890 on, which in comparison even with Poincaré’s—not to say Frege’s—or almost any other philosopher of his time, represented a rupture with the philosophical tradition and were much more in tune (...) with the physical geometry underlying the Einstein-Hilbert general theory of relativity developed more than two decades later. (shrink)

There is good reason to suppose that our best physical theories are false: In addition to its own internal problems, the standard formulation of quantum mechanics is logically incompatible with special relativity. I will also argue that we have no concrete idea what it means to claim that these theories are approximately true.

Duhem's 1908 essay questions the relation between physical theory and metaphysics and, more specifically, between astronomy and physics–an issue still of importance today. He critiques the answers given by Greek thought, Arabic science, medieval Christian scholasticism, and, finally, the astronomers of the Renaissance.