In this paper we show a duality between two approaches to represent quantum structures abstractly and to model the logic and dynamics therein. One approach puts forward a “quantum dynamic frame” :2267–2282, 2005), a labelled transition system whose transition relations are intended to represent projections and unitaries on a Hilbert space. The other approach considers a “Piron lattice”, which characterizes the algebra of closed linear subspaces of a Hilbert space. We define categories of these two sorts of (...) structures and show a duality between them. This result establishes, on one direction of the duality, that quantum dynamic frames represent quantum structures correctly; on the other direction, it gives rise to a representation of dynamics on a Piron lattice. (shrink)

In this paper and its sequel, I consider the significance of Jarrett’s and Shimony’s analyses of the so-called factorisability condition for clarifying the nature of quantum non-locality. In this paper, I focus on four types of non-locality: superluminal signalling, action-at-a-distance, non-separability and holism. In the second paper, I consider a fifth type of non-locality: superluminal causation according to ‘logically weak’ concepts of causation, where causal dependence requires neither action nor signalling. In this connection, I pay special attention to the (...) difficulties that superluminal causation raises in relativistic space–time. I conclude by evaluating the relevance of Jarrett’s and Shimony’s analyses for clarifying the question of the compatibility of quantum non-locality with relativity theory. My main conclusions are, first: these analyses are significant for clarifying the questions of superluminal signalling in quantum phenomena and for the compatibility of these phenomena with relativity. But, second, by contrast: these analyses are not very significant for the study of action-at-a distance, superluminal causation, non-separability and holism in quantum phenomena. (shrink)

In this paper and its sequel, I consider the significance of Jarrett’s and Shimony’s analyses of the so-called factorisability condition for clarifying the nature of quantum non-locality. In this paper, I focus on four types of non-locality: superluminal signalling, action-at-a-distance, non-separability and holism. In the second paper, I consider a fifth type of non-locality: superluminal causation according to ‘logically weak’ concepts of causation, where causal dependence requires neither action nor signalling. In this connection, I pay special attention to the (...) difficulties that superluminal causation raises in relativistic space–time. I conclude by evaluating the relevance of Jarrett’s and Shimony’s analyses for clarifying the question of the compatibility of quantum non-locality with relativity theory. My main conclusions are, first: these analyses are significant for clarifying the questions of superluminal signalling in quantum phenomena and for the compatibility of these phenomena with relativity. But, second, by contrast: these analyses are not very significant for the study of action-at-a distance, superluminal causation, non-separability and holism in quantum phenomena. (shrink)

In a preceding paper, I studied the significance of Jarrett's and Shimony's analyses of 'factorisability' into 'parameter independence' and 'outcome independence' for clarifying the nature of non-locality in quantum phenomena. I focused on four types of non-locality; superluminal signalling, action-at-a-distance, non-separability and holism. In this paper, I consider a fifth type of non-locality: superluminal causation according to 'logically weak' concepts of causation, where causal dependence requires neither action nor signalling. I conclude by considering the compatibility of non-factorisable theories with (...) relativity theory. In this connection, I pay special attention to the difficulties that superluminal causation raises in relativistic spacetime. My main findings in this paper are: first, parameter-dependent and outcome-dependent theories both involve superluminal causal connections between outcomes and between settings and outcomes. Second, while relativistic deterministic parameter-dependent theories seem impossible on pain of causal paradoxes, relativistic indeterministic parameter-dependent theories are not subjected to the same challenge. Third, current relativistic non-factorisable theories seem to have some rather unattractive characteristics. (shrink)

We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others (Among whom we may count or not E. W. Beth, depending on how we interpret some of his statements), our answer is a clear "no". Philosophically, our argument is based on combining a formal semantic approach, in the spirit of E. W. Beth's proposal of applying Tarski's semantical methods to the analysis of physical (...) theories, with an empirical-experimental approach to Logic, as advocated by both Beth and Putnam, but understood by us in the view of the operationalrealistic tradition of Jauch and Piron, i. e. as an investigation of "the logic of yes-no experiments" (or "questions"). Technically, we use the recently-developed setting of Quantum Dynamic Logic (Baltag and Smets 2005, 2008) to make explicit the operational meaning of quantum-mechanical concepts in our formal semantics. Based on our recent results (Baltag and Smets 2005), we show that the correct interpretation of quantum-logical connectives is dynamical, rather than purely propositional. We conclude that there is no contradiction between classical logic and (our dynamic reinterpretation of) quantum logic. Moreover, we argue that the Dynamic-Logical perspective leads to a better and deeper understanding of the "non-classicality" of quantum behavior than any perspective based on static Propositional Logic. (shrink)

The equivalence principle, being one of the building blocks of general relativity, seems to be crucial for analysis of quantum effects in gravity. In this paper we consider the relation between the equivalence principle and the consistency of quantum information processing in gravitational field. We propose an analysis with a looped evolution consisting of steps both in the gravitational field and in the accelerated reference frame. We show that without the equivalence principle the looped quantum evolution cannot (...) be unitary and looses its consistency. For this reasoning the equivalence principle is formulated in terms of the gauge transformations and is analyzed for particles acquiring an appropriate phase associated with the action over the looped path. In consequence, to keep consistency of quantum operations in gravitational field, it is required to keep a quantum variant of the equivalence principle. This proves importance of the quantized version of this fundamental gravitational principle for quantum information processing. (shrink)

The principle of least action (PLA) has often been cited as a counterexample to the dominant mode of causal explanation in physics. In particular, PLA seems to involve an appeal to final causes or some other teleological ideology. However, Ben-Menahem (Causation in science, Princeton University Press, Princeton, 2018) argues that such implications no longer apply given that PLA can be recovered as limiting case from quantum theory. In this paper, I argue that the metaphysical implications of PLA-based explanations are (...) not undermined by its status as derivative. However, I contend that PLA functions as a diachronic constraint that licenses explanations by constraint (Lange, Because without cause: non-casual explanations in science and mathematics. Oxford University Press, Oxford, 2016). PLA-based explanations, on this account, are non-causal but also differ from familiar cases of teleological explanations in several respects. (shrink)

We present a logical calculus for reasoning about information flow in quantum programs. In particular we introduce a dynamic logic that is capable of dealing with quantum measurements, unitary evolutions and entanglements in compound quantum systems. We give a syntax and a relational semantics in which we abstract away from phases and probabilities. We present a sound proof system for this logic, and we show how to characterize by logical means various forms of entanglement (e.g. (...) the Bell states) and various linear operators. As an example we sketch an analysis of the teleportation protocol. (shrink)

The work of the Brussels-Austin groups on irreversibility over the last years has shown that Quantum Large Poincaré systems with diagonal singularity lead to an extension of the conventional formulation of dynamics at the level of mixtures which is manifestly time asymmetric. States with diagonal singularity acquire meaning as linear fractionals over the involutive Banach algebra of operators with diagonal singularity. We show in this paper that the logic of quantum systems with diagonal singularity is not the (...) conventional logic of Hilbert space, because only finite combinations of prepositions are allowed. (shrink)

Physical superpositions exist both in classical and in quantum physics. However, what is exactly meant by ‘superposition’ in each case is extremely different. In this paper we discuss some of the multiple interpretations which exist in the literature regarding superpositions in quantum mechanics. We argue that all these interpretations have something in common: they all attempt to avoid ‘contradiction’. We argue in this paper, in favor of the importance of developing a new interpretation of superpositions which takes into (...) account contradiction, as a key element of the formal structure of the theory, “right from the start”. In order to show the feasibility of our interpretational project we present an outline of a paraconsistent approach to quantum superpositions which attempts to account for the contradictory properties present in general within quantum superpositions. This approach must not be understood as a closed formal and conceptual scheme but rather as a first step towards a different type of understanding regarding quantum superpositions. (shrink)

As Classical Propositional Logic finds its algebraic counterpart in Boolean algebras, the logic of Quantum Mechanics, as outlined within G. Birkhoff and J. von Neumann’s approach to Quantum Theory (Birkhoff and von Neumann in Ann Math 37:823–843, 1936) [see also (Husimi in I Proc Phys-Math Soc Japan 19:766–789, 1937)] finds its algebraic alter ego in orthomodular lattices. However, this logic does not incorporate time dimension although it is apparent that the propositions occurring in the (...) class='Hi'>logic of Quantum Mechanics are depending on time. The aim of the present paper is to show that tense operators can be introduced in every logic based on a complete lattice, in particular in the logic of quantum mechanics based on a complete orthomodular lattice. If the time set is given together with a preference relation, we introduce tense operators in a purely algebraic way. We derive several important properties of such operators, in particular we show that they form dynamic pairs and, altogether, a dynamic algebra. We investigate connections of these operators with logical connectives conjunction and implication derived from Sasaki projections in an orthomodular lattice. Then we solve the converse problem, namely to find for given time set and given tense operators a time preference relation in order that the resulting time frame induces the given operators. We show that the given operators can be obtained as restrictions of operators induced by a suitable extended time frame. (shrink)

This paper shows that the non-Boolean logic of quantum measurements is more naturally represented by a relatively new 4-operation system of Boolean fractions—conditional events—than by the standard representation using Hilbert Space. After the requirements of quantum mechanics and the properties of conditional event algebra are introduced, the quantum concepts of orthogonality, completeness, simultaneous verifiability, logical operations, and deductions are expressed in terms of conditional events thereby demonstrating the adequacy and efficacy of this formulation. Since conditional event (...) algebra is nearly Boolean and consists merely of ordered pairs of standard events or propositions, quantum events and the so-called “superpositions” of states need not be mysterious, and are here fully explicated. Conditional event algebra nicely explains these non-standard “superpositions” of quantum states as conjunctions or disjunctions of conditional events, Boolean fractions, but does not address the so-called “entanglement phenomena” of quantum mechanics, which remain physically mysterious. Nevertheless, separating the latter phenomena from superposition issues adds clarity to the interpretation of quantum entanglement, the phenomenon of influence propagated at faster than light speeds. With such treacherous possibilities present in all quantum situations, an observer has every reason to be completely explicit about the environmental–instrumental configuration, the conditions present when attempting quantum measurements. Conditional event algebra allows such explication without the physical and algebraic remoteness of Hilbert space. (shrink)

Arguments pertaining to the mind-brain connection and to the physical effectiveness of our conscious choices have been presented in two recent books, one by John Searle, the other by Jaegwon Kim. These arguments are examined, and it is explained how the encountered difficulties arise from a defective understanding and application of a pertinent part of contemporary science, namely quantum mechanics. The principled quantum uncertainties entering at the microscopic levels of brain processing cannot be confined to the micro level, (...) but percolate up to the macroscopic regime. To cope with the conflict between the resulting macroscopic indefiniteness and the definiteness of our conscious experiences, orthodox quantum mechanics introduces the idea of agent-generated probing actions, each of which specifies a definite set of alternative possible empirically/experientially distinguishable outcomes. Quantum theory then introduces the mathematical concept of randomness to describe the probabilities of the various alternative possible outcomes of the chosen probing action. But the agent-generated choice of which probing action to perform is not governed by any known law or rule, statistical or otherwise. This causal gap provides a logical opening, and indeed a logical need, for the entry into the dynamical structure of nature of a process that goes beyond the currently understood quantum mechanical statistical generalization of the deterministic laws of classical physics. The well-known quantum Zeno effect can then be exploited to provide a natural process that establishes a causal psychophysical link within the complex structure consisting of a stream of conscious experiences and certain macroscopic classical features of a quantum mechanically described brain. This naturally created causal link effectively allows consciously felt intentions to affect brain activity in a way that tends to produce the intended feedback. This quantum mechanism provides an eminently satisfactory alternative to the classical physics conclusion that the physical present is 1 completely determined by the physical past, and hence provides a physicsbased way out of the dilemma that Searle and Kim tried to resolve by philosophical analysis.. (shrink)

In this paper we show how recent concepts from Dynamic Logic, and in particular from Dynamic Epistemic logic, can be used to model and interpret quantum behavior. Our main thesis is that all the non-classical properties of quantum systems are explainable in terms of the non-classical flow of quantum information. We give a logical analysis of quantum measurements (formalized using modal operators) as triggers for quantum information flow, and we compare them with other (...) logical operators previously used to model various forms of classical information flow: the “test” operator from Dynamic Logic, the “announcement” operator from Dynamic Epistemic Logic and the “revision” operator from Belief Revision theory. The main points stressed in our investigation are the following: (1) The perspective and the techniques of “logical dynamics” are useful for understanding quantum information flow. (2) Quantum mechanics does not require any modification of the classical laws of “static” propositional logic, but only a non-classical dynamics of information. (3) The main such non-classical feature is that, in a quantum world, all information-gathering actions have some ontic side-effects. (4) This ontic impact can affect in its turn the flow of information, leading to non-classical epistemic side-effects (e.g. a type of non-monotonicity) and to states of “objectively imperfect information”. (5) Moreover, the ontic impact is non-local: an information-gathering action on one part of a quantum system can have ontic side-effects on other, far-away parts of the system. (shrink)

Baltag, Moss, and Solecki proposed an expansion of classical modal logic, called logic of epistemic actions and knowledge (EAK), in which one can reason about knowledge and change of knowledge. Kurz and Palmigiano showed how duality theory provides a flexible framework for modeling such epistemic changes, allowing one to develop dynamic epistemic logics on a weaker propositional basis than classical logic (for example an intuitionistic basis). In this paper we show how the techniques of Kurz and (...) Palmigiano can be further extended to define and axiomatize a bilattice logic of epistemic actions and knowledge (BEAK). Our propositional basis is a modal expansion of the well-known four-valued logic of Belnap and Dunn, which is a system designed for handling inconsistent as well as potentially conflicting information. These features, we believe, make our framework particularly promising from a computer science perspective. (shrink)

A probabilistic propositional logic, endowed with a constructor for asserting compatibility of diagonalisable and bounded observables, is presented and illustrated for reasoning about the random results of projective measurements made on a given quantum state. Simultaneous measurements are assumed to imply that the underlying observables are compatible. A sound and weakly complete axiomatisation is provided relying on the decidable first-order theory of real closed ordered fields. The proposed logic is proved to be a conservative extension of classical (...) propositional logic. (shrink)

The book discusses philosophical and logical problems of quantum physics and its interpretations. Emphasis lies on the compatibility of quantum physics with classical logic and various ontological stances.

Quantum feminicity is a term that refers to the intersection of quantum theory, a technological branch of physics, with feminist theory, a social and political movement. Engaging the modal logics of this intersection, the article explores this intersection through one aspect of quantum literacy; that of the quantum splitting of the concept of the temporal narrative. The article examines what are the interdisciplinary convergences of feminist and physics’s respective philosophies. Focussing on the quantum modalities that (...) are being practiced in relation to the situated nature of technological platforms engaged, the article proposes that modelling a quantum feminicity can assist in disengaging modes of sexual difference that are used to gender all kinds of bodies through a countermanding the temporal. Experiences of bodies are considered as experimental modes that provide quantum vectors for feminist actions. (shrink)

The two Heisenberg Uncertainties (UR) entail an incompatibility between the two pairs of conjugated variables E, t and p, q. But incompatibility comes in two kinds, exclusive of one another. There is incompatibility defineable as: (p → -q) & (q → -p) or defineable as [(p → -q) & (q → -p)] ↔ r. The former kind is unconditional, the latter conditional. The former, in accordance, is fact independent, and thus a matter of logic, the latter fact dependent, and (...) thus a matter of fact. The two types are therefore diametrically opposed. In spite of this, however, the existing derivations of the Uncertainties are shown here to entail both types of incompatibility simultaneously. ΔEΔt ≥ h is known to derive from the quantum relation E = hv plus the Fourier relation ΔvΔt ≥ 1. And the Fourier relation assigns a logical incompatibility between Δv = 0, Δt = 0. (Defining a repetitive phenomenon at an instant t → 0 is a self contradictory notion.) An incompatibility, therefore, which is fact independent and unconditional. How can one reconcile this with the fact that ΔEΔt exists if and only if h > 0, which latter supposition is a factual truth, entailing that a ΔE = 0, Δt = 0 incompatibility should itself be fact dependent? Are we to say that E and t are unconditionally incompatible (via ΔvΔt ≥ 1) on condition that E = hv is at all true? Hence, as presently standing, the UR express a self-contradicting type of incompatibility. To circumvent this undesirable result, I reinterpret E = hv as relating the energy with a period. Though only one such period. And not with frequency literally. (It is false that E = v. It is true that E = v times the quantum.) In this way, the literal concept of frequency does not enter as before, rendering ΔvΔt ≥ 1 inapplicable. So the above noted contradiction disappears. Nevertheless, the Uncertainties are derived. If energy is only to be defined over a period, momentum only over a distance (formerly a wavelength) resulting during such period, thus yielding quantized action of dimensions Et = pq, then energies will become indefinite at instants, momenta indefinite at points, leading, as demanded, to (symmetric!) ΔEΔt = ΔpΔq ≥ h's. (shrink)

SummaryThe following two questions are examined: 1o Do the unobservable parameters possess precise, though unknown, values ? 2o If these unobservable values were known, would it be possible to make precise predictions of the reults of later measurements ?The answer is shown to be negative; the questions, therefore, are not meaningless, being capable of a falsification. The inquiry leads to the establishment of a principle of anomaly, more precisely speaking, of causal anomaly, which is to be added to Heisenberg's principle (...) of indeterminacy. This principle states that the principle of action by contact is violated whenever definite values are assigned to the unobserved quantities, i. e., when an exhaustive interpretation of quantum mechanics is used. The two most important exhaustive interpretations are given by the corpuscle and the wave interpretation; each leads to causal anomalies, though for different places.The causal anomalies can be eliminated by the use of a restrictive interpretation, which separates statements about unobserved quantities, as a third propositional class, from true or false statements. Bohr and Heisenberg have called such statements meaningless, without being able to eliminate them completely; these statements arte thus merely shifted into the metalanguage. In another version of the restrictive interpretation such statements are assigned a third truth value, the value indeterminate, and quantum mechanics is then presented in the form of a three‐valued logic.The inquiry is carried through without the presupposition of any philosophical conception; every interpretation is examined with respect to the consequences to which it leads. ‐ H. R.'. (shrink)

The logical structure of quantum gravity is addressed in the framework of the so-called manifestly covariant approach. This permits to display its close analogy with the logics of quantum mechanics. More precisely, in QG the conventional 2-way principle of non-contradiction holding in Classical Mechanics is shown to be replaced by a 3-way principle. The third state of logical truth corresponds to quantum indeterminacy/undecidability, i.e., the occurrence of quantum observables with infinite standard deviation. The same principle coincides, (...) incidentally, with the earlier one shown to hold in Part I, in analogous circumstances, for QM. However, this conclusion is found to apply only provided a well-defined manifestly-covariant theory of the gravitational field is adopted both at the classical and quantum levels. Such a choice is crucial. In fact it makes possible the canonical quantization of the underlying unconstrained Hamiltonian structure of general relativity, according to an approach recently developed by Cremaschini and Tessarotto. Remarkably, in the semiclassical limit of the theory, Classical Logic is proved to be correctly restored, together with the validity of the conventional 2-way principle. (shrink)

This article offers a new understanding of populism. The argument unfolds as follows: first, the populist literature is reviewed and two main approaches are identified: ontic and logic-oriented, the more important of which is the Schmitt-Laclau logic of enmity. While the authors broadly agree with Laclau’s criticism of ontic approaches, they endorse neither his ontological understanding of enmity, nor his claim that populism is politics, and enmity is the logic of populism. Next, the origins of populism are (...) located in a paradox at the heart of democracy. Democracy defines itself as a community of inclusion, yet exclusion is constitutive of inclusion, including therefore democratic inclusion. Then is discussed what the authors believe to be the true logic of populism: resentment. Unlike enmity, which functions in Laclau’s populist theory as an ontology of non-identity, resentment operates within a rivalrous framework, which presupposes identification between the parts and refers to a set of normative commitments. Finally, the article concludes by presenting an understanding of populism as a specific logic of political action. (shrink)

One of the most challenging and fascinating issue in mathematical and theoretical physics concerns the possibility of identifying the logic underlying the so-called quantum universe, i.e., Quantum Mechanics and Quantum Gravity. Besides the sheer difficulty of the problem, inherent in the actual formulation of Quantum Mechanics—and especially of Quantum Gravity—to be used for such a task, a crucial aspect lies in the identification of the appropriate axiomatic logical proposition calculus to be associated to such (...) theories. In this paper the issue of the validity of the conventional principle of non-contradiction is called into question and is investigated in the context of non-relativistic Quantum Mechanics. In the same framework a modified form of the principle, denoted as 3-way PNC is shown to apply, which relates the axioms of quantum logic with the physical requirements placed by the Heisenberg Indeterminacy Principle. (shrink)

Five purposive relations are investigated: endeavoring, endeavoring for a certain purpose, bringing something about in a certain endeavor, bringing something about for a certain purpose, and bringing something about intentionally. No satisfactory analysis of these terms has yet been proposed, either in mentalistic -- belief, desire, intending -- or in action terms. While bringing something about for a certain purpose may seem too obscure to be taken as a primitive, there are at least two arguments in favor of it. First, (...) no analyses in terms of other primitives has worked; second, the rather natural definitions of the other notions which it makes possible take us some way toward understanding the structure of intentional action. (shrink)

The aim of this paper is to state the single most powerful argument for use of a non-classical logic in quantum mechanics. In outline the argument is the following. The working logic of a science is the logic of the events and propositions to which probabilities are assigned. A probability should be assigned to every element of the algebra of events. In the case of quantum mechanics probabilities may be assigned to events but not, without (...) restriction, to the conjunction of two events. The conclusion is that the working logic of quantum mechanics is not classical. The nature of the logic that is appropriate for quantum mechanics is examined. (shrink)

In classical game theory the idea that players randomize between their actions according to a particular optimal probability distribution has always been viewed as puzzling. In this paper, we establish a fundamental connection between n-person normal form games and quantum mechanics, which eliminates the conceptual problems of these random strategies. While the two theories have been regarded as distinct, our main theorem proves that if we do not give any other piece of information to a player in a (...) game, than the payoff matrix—the axiom of “no-supplementary data” holds—then the state of mind of a rational player is algebraically isomorphic to a pure quantum state. The “no supplementary data” axiom is captured in a Lukasiewicz’s three-valued Kripke semantics wherein statements about whether a strategy or a belief of a player is rational are initially indeterminate i.e. neither true, nor false. As a corollary, we show that in a mixed Nash equilibrium, the knowledge structure of a player implies that probabilities must verify the standard “Born rule” postulate of QM. The puzzling “indifference condition” wherein each player must be rationally indifferent between all the pure actions of the support of his equilibrium strategy is resolved by his state of mind being described by a “quantum superposition” prior a player is asked to make a definite choice in a “measurement”. Finally, these results demonstrate that there is an intrinsic limitation to the predictions of game theory, on a par with the “irreducible randomness” of quantum physics. (shrink)

The four main essays in this volume investigate new sectors of the theory of decision, preference, act-characteristics, and action analysis. Herbert A. Simon applies tools developed in the theory of decision-making to the logic of action, and thereby develops a novel concept of heuristic power. Adapting ideas from utility and decision theory, Nicholas Rescher proposes a logic of preference by which conflicting theories proposed by G. H. von Wright, R. M. Chisholm, and others can be systematized. Donald Davidson (...) discusses difficulties in specifying the structure of action sentences to elucidate how their meaning depends on that structure. G. H. von Wright devises a method for describing each “state of the world” that results from an action, in a revision of his own earlier work. Additionally, a study of the logic of norms by Alan Ross Anderson is presented as an appendix, along with an appendix by Rescher outlining the aspects of action. (shrink)

Beginning with a review the logically first stages in the project of Random Dynamics, hoping for all laws nature being emergent, we also review what can be considered a consequence of Random Dynamics, a model—by myself and Masao Ninomiya—, which in principle predicts the initial conditions in such a way as to minimize a certain functional of the history of the Universe through both past and future. This functional is indeed the imaginary part of the action, which exists (only) in (...) our model of complex action. The main point of the present is to suggest this complex action model to be also helpfull in solving some problems for quantum mechanics. Especially as our model almost makes it possible in principle to calculate the full history of the universe, it even makes it in principle calculable, which one among several measurement results in a quantum experiment will actually be realized!Our “complex action model” thus is a special case of superdeterminism—in Bells way—and does not have true causality, but rather even in some cases true backward causation. In fact we claim in our model that the SSC(Superconducting Supercollider) were stopped by the US Congress due to the backward causation from the big amounts of Higgs particles, which it would have produced, if it had been allowed to run. The noumenon (“das Ding an sich”) in our model is the Feyman path integrand or better some fundamental quantities determined from second order effects of the latter integrand. The quantum mechanics interpretation here is strongly similar to the much criticized “transactional interpretation” by John Cramer (Rev. Mod. Phys. 58:647–688, 1986), but we might respond to some of the criticism. (shrink)

The two Heisenberg Uncertainties (UR) entail an incompatibility between the two pairs of conjugated variables E, t and p, q. But incompatibility comes in two kinds, exclusive of one another. There is incompatibility defineable as: (p → − q) & (q→ − p) or defineable as [(p →− q) & (q →− p)] ↔ r. The former kind is unconditional, the latter conditional. The former, in accordance, is fact independent, and thus a matter of logic, the latter fact dependent, (...) and thus a matter of fact. The two types are therefore diametrically opposed. In spite of this, however, the existing derivations of the Uncertainties are shown here to entail both types of incompatibility simultaneously. Δ E Δ t ≥ h is known to derive from the quantum relation E = hν plus the Fourier relation Δ ν Δ t ≥ 1. And the Fourier relation assigns a logical incompatibility between Δ ν = 0, Δ t = 0. (Defining a repetitive phenomenon at an instant t → 0 is a self contradictory notion.) An incompatibility, therefore, which is fact independent and unconditional. How can one reconcile this with the fact that Δ EΔ t exists if and only if h > 0, which latter supposition is a factual truth, entailing that a Δ E = 0, Δ t = 0 incompatibility should itself be fact dependent? Are we to say that E and t are unconditionally incompatible (via Δ ν Δ t ≥ 1) on condition that E = hν is at all true? Hence, as presently standing, the UR express a self-contradicting type of incompatibility. To circumvent this undesirable result, I reinterpret E = hν as relating the energy with a period. Though only one such period. And not with frequency literally. (It is false that E = ν. It is true that E = ν times the quantum.) In this way, the literal concept of frequency does not enter as before, rendering Δ ν Δ t ≥ 1 inapplicable. So the above noted contradiction disappears. Nevertheless, the Uncertainties are derived. If energy is only to be defined over a period, momentum only over a distance (formerly a wavelength) resulting during such period, thus yielding quantized action of dimensions Et = pq, then energies will become indefinite at instants, momenta indefinite at points, leading, as demanded, to (symmetric!) Δ E Δ t = Δ p Δ q ≥ h’s. (shrink)

We present Dynamic Epistemic Temporal Logic, a framework for reasoning about operations on multi-agent Kripke models that contain a designated temporal relation. These operations are natural extensions of the well-known “action models” from Dynamic Epistemic Logic. Our “temporal action models” may be used to define a number of informational actions that can modify the “objective” temporal structure of a model along with the agents’ basic and higher-order knowledge and beliefs about this structure, including their beliefs about the (...) time. In essence, this approach provides one way to extend the domain of action model-style operations from atemporal Kripke models to temporal Kripke models in a manner that allows actions to control the flow of time. We present a number of examples to illustrate the subtleties involved in interpreting the effects of our extended action models on temporal Kripke models. We also study preservation of important epistemic-temporal properties of temporal Kripke models under temporal action model-induced operations, provide complete axiomatizations for two theories of temporal action models, and connect our approach with previous work on time in DEL. (shrink)