The aim of this paper is to introduce a new member of the family of the modal interpretations of quantum mechanics. In this modal-Hamiltonian interpretation, the Hamiltonian of the quantum system plays a decisive role in the property-ascription rule that selects the definite-valued observables whose possible values become actual. We show that this interpretation is effective for solving the measurement problem, both in its ideal and its non-ideal versions, and we argue for the physical (...) relevance of the property-ascription rule by applying it to well-known physical situations. Moreover, we explain how this interpretation supplies a description of the elemental categories of the ontology referred to by the theory, where quantum systems turn out to be bundles of possible properties. (shrink)

The aim of this paper is to introduce a new member of the family of the modal interpretations of quantum mechanics. In this modal-Hamiltonian interpretation, the Hamiltonian of the quantum system plays a decisive role in the property-ascription rule that selects the definite-valued observables whose possible values become actual. We show that this interpretation is effective for solving the measurement problem, both in its ideal and its non-ideal versions, and we argue for the physical (...) relevance of the property-ascription rule by applying it to well-known physical situations. Moreover, we explain how this interpretation supplies a description of the elemental categories of the ontology referred to by the theory, where quantum systems turn out to be bundles of possible properties. (shrink)

The modal-Hamiltonian interpretation belongs to the modal family of interpretations of quantum mechanics. By endowing the Hamiltonian with the role of selecting the subset of the definite-valued observables of the system, it accounts for ideal and non-ideal measurements, and also supplies a criterion to distinguish between reliable and non-reliable measurements in the non-ideal case. It can be reformulated in an explicitly invariant form, in terms of the Casimir operators of the Galilean group, and the compatibility (...) of the MHI with the theory of decoherence has been proved. Nevertheless, perhaps its main advantage in the eyes of a scientist is given by its several applications to well-known physical situations, leading to results compatible with experimental evidence. The purpose of this paper is to add a new application to the list: the case of optical isomerism, which is a central issue for the philosophy of physics and of chemistry since it points to the core of the problem of the relationship between physics and chemistry. Here it will be shown that the MHI supplies a direct and physically natural solution to the problem, a solution that does not require putting classical assumptions in “by hand.”. (shrink)

Given the impressive success of environment-induced decoherence, nowadays no interpretation of quantum mechanics can ignore its results. The modal-Hamiltonian interpretation has proved to be effective for solving several interpretative problems, but since its actualization rule applies to closed systems, it seems to stand at odds with EID. The purpose of this article is to show that this is not the case: the states einselected by the interaction with the environment according to EID are the eigenvectors of (...) an actual-valued observable belonging to the preferred context selected by the MHI. (shrink)

In the literature on the interpretation of quantum mechanics, not many works attempt to adopt a proactive perspective aimed at seeing how different interpretations can enrich each other through a productive dialogue. In particular, few proposals have been devised to show that different approaches can be clarified by comparing them, and can even complement each other, improving or leading to a more fertile overall approach. The purpose of this paper is framed within this perspective of complementation and mutual enrichment. (...) In particular, the Relational Quantum Mechanics and the Modal-Hamiltonian Interpretation are compared, highlighting their differences and points of contact. The final purpose is to show that, in spite of their disagreements, they are not contradictory but, on the contrary, they can be made compatible from an overarching perspective and can even complement each other in a fruitful way. (shrink)

The aim of this paper is to consider in what sense the modal-Hamiltonian interpretation of quantum mechanics satisfies the physical constraints imposed by the Galilean group. In particular, we show that the only apparent conflict, which follows from boost-transformations, can be overcome when the definition of quantum systems and subsystems is taken into account. On this basis, we apply the interpretation to different well-known models, in order to obtain concrete examples of the previous conceptual conclusions. Finally, (...) we consider the role played by the Casimir operators of the Galilean group in the interpretation. (shrink)

Our purpose in this paper is to delineate an ontology for quantum mechanics that results adequate to the formalism of the theory. We will restrict our aim to the search of an ontology that expresses the conceptual content of the recently proposed modal-Hamiltonian interpretation, according to which the domain referred to by non-relativistic quantum mechanics is an ontology of properties. The usual strategy in the literature has been to focus on only one of the interpretive problems of (...) the theory and to design an interpretation to solve it, leaving aside the remaining difficulties. On the contrary, our aim in the present work is to formulate a “global” solution, according to which different problems can be adequately tackled in terms of a single ontology populated of properties, in which systems are bundles of properties. In particular, we will conceive indistinguishability between bundles as a relation derived from indistinguishability between properties, and we will show that states, when operating on combinations of indistinguishable bundles, act as if they were symmetric with no need of a symmetrization postulate. (shrink)

Our purpose in this paper is to delineate an ontology for quantum mechanics that results adequate to the formalism of the theory. We will restrict our aim to the search of an ontology that expresses the conceptual content of the recently proposed modal-Hamiltonian interpretation, according to which the domain referred to by non-relativistic quantum mechanics is an ontology of properties. The usual strategy in the literature has been to focus on only one of the interpretive problems of (...) the theory and to design an interpretation to solve it, leaving aside the remaining difficulties. On the contrary, our aim in the present work is to formulate a “global” solution, according to which different problems can be adequately tackled in terms of a single ontology populated of properties, in which systems are bundles of properties. In particular, we will conceive indistinguishability between bundles as a relation derived from indistinguishability between properties, and we will show that states, when operating on combinations of indistinguishable bundles, act as if they were symmetric with no need of a symmetrization postulate. (shrink)

When young Kant meditated upon the distinction between his right and left hands, he could not foresee that the problem of incongruent counterparts would revive in the twentieth century under a new form. In the early days of quantum chemistry, Friedrich Hund developed the so-called Hund paradox that arises from the supposed inability of quantum mechanics to account for the difference between enantiomers. In this paper, the paradox is expressed as a case of quantum measurement, stressing that decoherence does not (...) offer a way out of the problem. The main purpose is to argue for the need to adopt a clear interpretation of quantum mechanics in order to solve the paradox. In particular, I claim that the Modal-Hamiltonian Interpretation, which conceives measurement as a breaking-symmetry process, supplies the tools required to explain the dextro-rotation or levo-rotation properties of optical isomers. (shrink)

The core of the environment-induced decoherence program relies on the interaction between the system and its environment; this interaction leads interference to vanish with respect to a definite “preferred basis”. On the other hand, modal interpretations of quantum mechanics supply criteria to select the “preferred context”, where observables acquire definite values. The purpose of this paper is to show the compatibility between the modal interpretative framework and the results of the decoherence program, a compatibility that comes to the (...) light when the Hamiltonian is conceived as the main character of the quantum play. (shrink)

This book proposes a novel position in the debate on scientific realism: Modal Empiricism. Modal empiricism is the view that the aim of science is to provide theories that correctly delimit, in a unified way, the range of experiences that are naturally possible given our position in the world. The view is associated with a pragmatic account of scientific representation and an original notion of situated modalities, together with an inductive epistemology for modalities. It purports to provide a (...) faithful account of scientific practice and of its impressive achievements, and defuses the main motivations for scientific realism. More generally, Modal Empiricism purports to be the precise articulation of a pragmatist stance towards science. This book is of interest to any philosopher involved in the debate on scientific realism, or interested in how to properly understand the content, aim and achievements of science. (shrink)

Some authors, inspired by the theoretical requirements for the formulation of a quantum theory of gravity, proposed a relational reconstruction of the quantum parameter-time—the time of the unitary evolution, which would make quantum mechanics compatible with relativity. The aim of the present work is to follow the lead of those relational programs by proposing a relational reconstruction of the event-time—which orders the detection of the definite values of the system’s observables. Such a reconstruction will be based on the modal- (...) class='Hi'>Hamiltonian interpretation of quantum mechanics, which provides a clear criterion to select which observables acquire a definite value and to specify in what situation they do so. (shrink)

RESUMEN: El propósito del presente trabajo consiste en analizar los vínculos entre la interpretación modal-hamiltoniana de la mecánica cuántica y las transformaciones de Galileo, a fin de poner de manifiesto que el grupo de tales transformaciones permite reformular la regla de actualización de un modo más básico desde un punto de vista teórico, aplicable a otras teorías cuánticas. Además se argumentará que, bajo esta nueva forma, la regla de actualización manifiesta explícitamente su invariancia frente al grupo de Galileo.ABSTRACT: The (...) purpose of the present work consists in analyzing the links between the modal-Hamiltonian interpretation of quantummechanics and the Galilean transformations, with the aim of showing that the group of such transformations allows to reformulate the actualization rule in a theoretically more basic way, applicable to other quantum theories. Moreover, it will be argued that, under this new form, the actualization rule explicitly manifests its invariance with respect to the Galilean group. (shrink)

Develops a structuralist understanding of mathematics, as an alternative to set- or type-theoretic foundations, that respects classical mathematical truth while ...

This paper concerns the applications of two-dimensional modal semantics to the explanation of the contents of speech and thought. Different interpretations and applications of the apparatus are contrasted. First, it is argued that David Kaplan's two-dimensional semantics for indexical expressions is different from the use that I made of a formally similar framework to represent the role of contingent information in the determination of what is said. But the two applications are complementary rather than conflicting. Second, my interpretation (...) of the apparatus is contrasted with that of David Chalmers, Frank Jackson, and David Lewis. It is argued that this difference reflects a contrast between internalist and externalist approaches to the problem of intentionality. (shrink)

In this paper we attempt to physically interpret the Modal Kochen–Specker theorem. In order to do so, we analyze the features of the possible properties of quantum systems arising from the elements in an orthomodular lattice and distinguish the use of “possibility” in the classical and quantum formalisms. Taking into account the modal and many worlds non-collapse interpretation of the projection postulate, we discuss how the MKS theorem rules the constraints to actualization, and thus, the relation between (...) actual and possible realms. (shrink)

According to the modal interpretation, the standard mathematical framework of quantum mechanics specifies the physical magnitudes of a system, which have definite values. Probabilities are assigned to the possible values that these magnitudes may adopt. The interpretation is thus concerned with physical properties rather than with measurement results: it is a realistic interpretation. One of the notable achievements of this interpretation is that it dissolves the notorious measurement problem. The papers collected here, together with the (...) introduction and concluding critical appraisal, explain the various forms of the modal interpretation, survey its achievements, and discuss those problems that have yet to be solved. Audience: Philosophers of science, theoretical physicists, and graduate students in these disciplines. (shrink)

A proof is given, at a greater level of generality than previous 'no-go' theorems, of the impossibility of formulating a modal interpretation that exhibits 'serious' Lorentz invariance at the fundamental level. Particular attention is given to modal interpretations of the type proposed by Bub.

We generalize the modal interpretation of quantum mechanics so that it may be applied to composite systems represented by arbitrary density operators. We discuss the interpretation these density operators receive and relate this to the discussion about the interpretation of proper and improper mixtures in the standard interpretation.

We argue that Hamiltonian mechanics is more fundamental than Lagrangian mechanics. Our argument provides a non-metaphysical strategy for privileging one formulation of a theory over another: ceteris paribus, a more general formulation is more fundamental. We illustrate this criterion through a novel interpretation of classical mechanics, based on three physical conditions. Two of these conditions suffice for recovering Hamiltonian mechanics. A third condition is necessary for Lagrangian mechanics. Hence, Lagrangian systems are a proper subset of Hamiltonian (...) systems. Finally, we provide a geometric interpretation of the principle of stationary action and rebut arguments for privileging Lagrangian mechanics. (shrink)

We study modal completeness and incompleteness of several sublogics of the interpretability logic. We introduce the sublogic, and prove that is sound and complete with respect to Veltman prestructures which are introduced by Visser. Moreover, we prove the modal completeness of twelve logics between and with respect to Veltman prestructures. On the other hand, we prove that eight natural sublogics of are modally incomplete. Finally, we prove that these incomplete logics are complete with respect to generalized Veltman prestructures. (...) As a consequence of these investigations, we obtain that the twenty logics studied in this paper are all decidable. (shrink)

We deal with the modal logic of cluster-decomposable Kripke interpretations, present an axiomatization, and prove some additional results regarding this logic.

Modal interpretations are hidden-variable, no-collapse interpretations of quantum mechanics that were designed to solve the measurement problem and reconcile this theory with relativity. Yet, as no-go theorems by Dickson and Clifton, Arntzenius and Myrvold demonstrate, current modal interpretations are incompatible with relativity. In the mainstream modal interpretations, properties of composite systems are generally unrelated to the properties of their subsystems. We propose holistic and relational interpretations of properties to explain this failure of property composition. Based on these (...) interpretations, we consider strategies for circumventing Myrvold's theorem, which are also effective against the other two theorems. (shrink)

A simple, bivalent semantics is defined for Łukasiewicz’s 4-valued modal logic Łm4. It is shown that according to this semantics, the essential presupposition underlying Łm4 is the following: A is a theorem iff A is true conforming to both the reductionist and possibilist theses defined as follows: rt: the value of modal formulas is equivalent to the value of their respective argument iff A is true, etc.); pt: everything is possible. This presupposition highlights and explains all oddities arising (...) in Łm4. (shrink)

The modal object calculus is the system of logic which houses the (proper) axiomatic theory of abstract objects. The calculus has some rather interesting features in and of itself, independent of the proper theory. The most sophisticated, type-theoretic incarnation of the calculus can be used to analyze the intensional contexts of natural language and so constitutes an intensional logic. However, the simpler second-order version of the calculus couches a theory of fine-grained properties, relations and propositions and serves as a (...) framework for defining situations, possible worlds, stories, and fictional characters, among other things. In the present paper, we focus on the second-order calculus. The second-order modal object calculus is so-called to distinguish it from the second-order modal predicate calculus. Though the differences are slight, the extra expressive power of the object calculus significantly enhances its ability to resolve logical and philosophical concepts and problems. (shrink)

An outstanding problem in so-called modal interpretations of quantum mechanics has been the specification of a dynamics for the properties introduced in such interpretations. We develop a general framework (in the context of the theory of stochastic processes) for specifying a dynamics for interpretations in this class, focusing on the modal interpretation by Vermaas and Dieks. This framework admits many empirically equivalent dynamics. We give some examples, and discuss some of the properties of one of them. This (...) approach is applicable to a wider class of theories, in particular, those using (discrete) strict effective—as in decoherence theory—superselection rules. (shrink)

The chapter considers two semantic issues concerning will-sentences: Stalnaker’s Asymmetry and modal subordination in Karttunen-type discourses. The former points to a distinction between will and modal verbs, seeming to show that will does not license non-specific indefinites. The latter, conversely, suggests that will-sentences involve some kind of modality. To account for the data, the chapter proposes that will is semantically a tense, hence it doesn’t contribute a quantifier over modal alternatives; a modal feature, however, is introduced (...) in the interpretation of a will-sentence through a supervaluational strategy universally quantifying over possible futures. That this is not part of will’s lexical semantics is shown to have consequences that ultimately contribute to explain Stalnaker’s Asymmetry. Furthermore, that a modal quantification is present in the interpretation of a will-sentence is shown to imply the availability of modal subordination in Karttunen-type discourses. (shrink)

Two of the main interpretative problems in quantum mechanics are the so-called measurement problem and the question of the compatibility of quantum mechanics with relativity theory. Modal interpretations of quantum mechanics were designed to solve both of these problems. They are no-collapse (typically) indeterministic interpretations of quantum mechanics that supplement the orthodox state description of physical systems by a set of possessed properties that is supposed to be rich enough to account for the classical-like behavior of macroscopic systems, but (...) sufficiently restricted so as to avoid the no-hidden-variables theorems. But, as recent no-go theorems suggest, current modal interpretations are incompatible with relativity. In this paper, we suggest a strategy for circumventing these theorems. We then show how this strategy could naturally be integrated in a relational version of the modal interpretation, where quantum-mechanical states assign relational rather than intrinsic properties. (shrink)

This paper is the first in a series of three related papers on modal methods in interpretability logics and applications. In this first paper the fundaments are laid for later results. These fundaments consist of a thorough treatment of a construction method to obtain modal models. This construction method is used to reprove some known results in the area of interpretability like the modal completeness of the logic IL. Next, the method is applied to obtain new results: (...) the modal completeness of the logic ILMo, and modal completeness of ILW*. (shrink)