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.

It is plausible that the models of our scientific theories correspond to possibilities. But exactly which models of which scientific theories stand in this correspondence? The answers to this question hinted at so far in the literature are too restrictive: they don't support the idea that the models of many of our best scientific theories correspond to physical possibilities. The paper thus provides a novel proposal for guiding belief about physical possibilities based on physics. The proposal draws on (...) the notion of an effective theory: a theory that applies very well to a particular, restricted domain. We argue that it is the models of effective theories that we should believe correspond, at least in part, to physical possibilities. It is thus effective theories that should guide modal reasoning in science. (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)

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)

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)

The basic theme of Popper's philosophy--that something can come from nothing--is related to the present situation in physical theory. Popper carries his investigation right to the center of current debate in quantum physics. He proposes an interpretation of physics--and indeed an entire cosmology--which is realist, conjectural, deductivist and objectivist, anti-positivist, and anti-instrumentalist. He stresses understanding, reminding us that our ignorance grows faster than our conjectural knowledge.

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 classic work in the philosophy of physical science is an incisive and readable account of the scientific method. Pierre Duhem was one of the great figures in French science, a devoted teacher, and a distinguished scholar of the history and philosophy of science. This book represents his most mature thought on a wide range of topics.

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)

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)

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.

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.

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)

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.

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)

The article analyzes the problem of physical theory nature and its criteria in the context of several concepts of modern physics. Such physical concepts allow multiple possible universes (the last usually happens to be a random consequence of the theory). Since the study requires several universe models, which basic principles (physical laws) can vary, the two theories have become the objects of analysis: the first, which includes the concept of eternal inflation, the second – the (...) string cosmology (the string landscape). Both theories allow for a large variation of physical laws (no matter, whether these are fundamentally different physical laws or different versions of the same basic principles). The amount of dark energy (cosmological constant) has been selected as a physical law parameter, changing its value in possible universes.The analysis of the physical theories, which allow a multiplicity of universes, has shown that the standard requirements for the theory, which connect its veracity with the criteria of observability and the need for validation of our universe basic principles, are not entirely consistent. Theoretical physics is moving towards the formulization of models that become a real (in some cases, apparently irresistible) challenge for experimental verification. The article proves that such verification probably can not be required in several physical theories, since, in particular, the postulation of this kind of connection between theory and reality is no more than a manifestation of anthropocentrism. However, the theory can trace more general grounds that lie beyond the scope of human observation. (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)

Throughout the history of the philosophy of science, theories have been linked to formulas as a privileged representational format. In this paper, following, I defend a semantic-representational conception of theories, where theories are identified with sets of scientific re-presentations by virtue of their epistemic potential and independently of their format. To show the potential of this proposal, I analyze as a case study the use of phase diagrams in statistical mechanics to convey in a semantically consistent and syntactically correct way (...) theoretical principles such as Liouville’s theorem. I conclude by defending this philosophical position as a tool to show the enormous representational richness underlying scientific practices. (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)

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)

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)

: The Hellenistic reception of Babylonian horoscopic astrology gave rise to the question of what the planets really do and whether astrology is a science. This question in turn became one of defining the Greco-Latin science of astronomy, a project that took Aristotle's views as a starting-point. Thus, I concentrate on one aspect of the various definitions of astronomy proposed in Hellenistic times, their demarcation of astronomy and physical theory. I explicate the account offered by Geminus and its (...) subordination of astronomy to arguments made in physical theory about what really is the case. I then show how Ptolemy treats the same topic but maintains that this science is sufficient on its own to determine the realia it studies. In this way, I identify two moments in an obvious process of intellectual change that had profound consequences for the history of astronomy and cosmology over the next 1500 years. My hope is that this will advance our understanding of the reception of horoscopic astrology in Hellenistic times and also serve to locate Ptolemy more fully in his intellectual context. (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)

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.

If one is interested in reasoning counterfactually within a physical theory, one cannot adequately use the standard possible world semantics. As developed by Lewis and others, this semantics depends on entertaining possible worlds with miracles, worlds in which laws of nature, as described by physical theory, are violated. Van Fraassen suggested instead to use the models of a theory as worlds, but gave up on determining the needed comparative similarity relation for the semantics objectively. I (...) present a third way, in which this similarity relation is determined from properties of the models contextually relevant to the truth of the counterfactual under evaluation. After illustrating this with a simple example from thermodynamics, I draw some implications for future work, including a renewed possibility for a viable deflationary account of laws of nature. (shrink)