There is a natural map which assigns to every modelU of typeτ, (U ε Stτ) a groupG (U) in such a way that elementarily equivalent models are mapped into isomorphic groups.G(U) is a subset of a collection whose members are called Fraisse arrows (they are decreasing sequences of sets of partial isomorphisms) and which arise in connection with the Fraisse characterization of elementary equivalence. LetEC λ U be defined as {U εStr τ: ℬ ≡U and |ℬ|=λ; thenEG λ U (...) can be faithfully (i.e. 1-1) represented onto G(U) ×π *, whereπ *, is a collection of partitions over λ∪λ2∪.. (shrink)

This paper is concerned with a two-sorted probabilistic language, denoted by $\textsf{QPL}$, which contains quantifiers over events and over reals, and can be viewed as an elementary language for reasoning about probability spaces. The fragment of $\textsf{QPL}$ containing only quantifiers over reals is a variant of the well-known ‘polynomial’ language from Fagin et al. (1990, Inform. Comput., 87, 78–128). We shall prove that the $\textsf{QPL}$-theory of the Lebesgue measure on $\left [ 0, 1 \right ]$ is decidable, and moreover, (...) all atomless spaces have the same $\textsf{QPL}$-theory. Also, we shall introduce the notion of elementary invariant for $\textsf{QPL}$ and use it to translate the semantics for $\textsf{QPL}$ into the setting of elementary analysis. This will allow us to obtain further decidability results as well as to provide exact complexity upper bounds for a range of interesting undecidable theories. (shrink)

We consider probabilistic theories in which the most elementary system, a two-dimensional system, contains one bit of information. The bit is assumed to be contained in any complete set of mutually complementary measurements. The requirement of invariance of the information under a continuous change of the set of mutually complementary measurements uniquely singles out a measure of information, which is quadratic in probabilities. The assumption which gives the same scaling of the number of degrees of freedom with the dimension (...) as in quantum theory follows essentially from the assumption that all physical states of a higher dimensional system are those and only those from which one can post-select physical states of two-dimensional systems. The requirement that no more than one bit of information (as quantified by the quadratic measure) is contained in all possible post-selected two-dimensional systems is equivalent to the positivity of density operator in quantum theory. (shrink)

This paper is a sequel to various papers by the author devoted to the EPR correlation. The leading idea remains that the EPR correlation (either in its well-known form of nonseparability of future measurements, or in its less well-known time-reversed form of nonseparability of past preparations) displays the intrinsic time symmetry existing in almost all physical theories at the elementary level. But, as explicit Lorentz invariance has been an essential requirement in both the formalization and the conceptualization of my (...) papers, the noninvariant concept ofT symmetry has to yield in favor of the invariant concept ofPT symmetry, or even (asC symmetry is not universally valid) to that ofCPT invariance. A distinction is then drawn between “macro” special relativity, defined by invariance under the orthochronous Lorentz group and submission to the retarded causality concept, and “micro” special relativity, defined by invariance under the full Lorentz group and includingCPT symmetry. TheCPT theorem clearly implies that “micro special relativity”is relativity theory at the quantal level. It is thus of fundamental significance not only in the search of interaction Lagrangians, etc., but also in the basic interpretation of quantum mechanics, including the understanding of the EPR correlation. While the experimental existence of the EPR correlations is manifestly incompatible with macro relativity, it is fully consistent with micro relativity. Going from a retarded concept of causality to one that isCPT invariant has very radical consequences, which are briefly discussed. (shrink)

David Albert claims that classical electromagnetic theory is not time reversal invariant. He acknowledges that all physics books say that it is, but claims they are ``simply wrong" because they rely on an incorrect account of how the time reversal operator acts on magnetic fields. On that account, electric fields are left intact by the operator, but magnetic fields are inverted. Albert sees no reason for the asymmetric treatment, and insists that neither field should be inverted. I argue, to the (...) contrary, that the inversion of magnetic fields makes good sense and is, in fact, forced by elementary geometric considerations. I also suggest a way of thinking about the time reversal invariance of classical electromagnetic theory -- one that makes use of the invariant (four-dimensional) formulation of the theory -- that makes no reference to magnetic fields at all. It is my hope that it will be of interest in its own right, Albert aside. It has the advantage that it allows for arbitrary curvature in the background spacetime structure, and is therefore suitable for the framework of general relativity. (The only assumption one needs is temporal orientability.). (shrink)

We consider semi‐algebraic sets and properties of these sets that are expressible by sentences in first‐order logic over the reals. We are interested in first‐order properties that are invariant under topological transformations of the ambient space. Two semi‐algebraic sets are called topologically elementarily equivalent if they cannot be distinguished by such topological first‐order sentences. So far, only semi‐algebraic sets in one and two‐dimensional space have been considered in this context. Our contribution is a natural characterisation of topological elementary equivalence (...) of regular closed semi‐algebraic sets in three‐dimensional space, extending a known characterisation for the two‐dimensional case. Our characterisation is based on the local topological behaviour of semi‐algebraic sets and the key observation that topologically elementarily equivalent sets can be transformed into each other by means of geometric transformations, each of them mapping a set to a first‐order indistinguishable one. (shrink)

The property of fundamental mechanical theories which allows to treat compound objects as particles under suitable conditions is considered. It is argued that such a property, called compoundation invariance, is a nonreleasable property of any mechanical theory not declaring to which elementary constituents it applies. Compoundation invariance is discussed in the framework of Bohmian mechanics. It is found that standard Bohmian mechanics satisfies the requirement of compoundation invariance, with some reservation in the case of compound objects with spin. On (...) the contrary that requirement is violated when additional terms are added to the standard velocity. (shrink)

Elementary submodels of some initial segment of the set-theoretic universe are useful in order to prove certain theorems in general topology as well as in algebra. As an illustration we give proofs of two theorems due to Arkhangelskii concerning cardinal invariants of compact spaces.

The interpretation of propositions in Lukasiewicz's infinite-valued calculus as answers in Ulam's game with lies--the Boolean case corresponding to the traditional Twenty Questions game--gives added interest to the completeness theorem. The literature contains several different proofs, but they invariably require technical prerequisites from such areas as model-theory, algebraic geometry, or the theory of ordered groups. The aim of this paper is to provide a self-contained proof, only requiring the rudiments of algebra and convexity in finite-dimensional vector spaces.

We generalize Shelah's analysis of cardinality quantifiers for a superstable theory from Chapter V of Classification Theory and the Number of Nonisomorphic Models. We start with a set of bounds for the cardinality of each formula in some general invariant family of formulas in a superstable theory (in Classification Theory, a uniform family of formulas is considered) and find a set of derived bounds for all formulas. The set of derived bounds is sharp: up to a technical restriction, every model (...) that satisfies the original bounds has a sufficiently saturated elementary extension that satisfies the original bounds and such that for each formula the set of its realizations in the extension has arbitrarily large cardinality below the corresponding derived bound of the formula. (shrink)

Tarski defined a way of assigning to each Boolean algebra, B, an invariant inv(B) ∈ In, where In is a set of triples from ℕ, such that two Boolean algebras have the same invariant if and only if they are elementarily equivalent. Moreover, given the invariant of a Boolean algebra, there is a computable procedure that decides its elementary theory. If we restrict our attention to dense Boolean algebras, these invariants determine the algebra up to isomorphism. In this (...) paper we analyze the complexity of the question "Does B have invariant x?" For each x ∈ In we define a complexity class Γx that could be either Σⁿ, Πⁿ, Σⁿ ∧ Πⁿ, or Πω+1 depending on x, and we prove that the set of indices for computable Boolean algebras with invariant x is complete for the class Γx. Analogs of many of these results for computably enumerable Boolean algebras were proven in earlier works by Selivanov. In a more recent work, he showed that similar methods can be used to obtain the results for computable ones. Our methods are quite different and give new results as well. As the algebras we construct to witness hardness are all dense, we establish new similar results for the complexity of various isomorphism problems for dense Boolean algebras. (shrink)

Fundamental physics contains an important link between properties of elementary particles and continuous symmetries of particle systems. For example, properties such as mass and spin are said to be 'associated' with specific continuous symmetries. -/- These 'associations' have played a key role in the discovery of various new particle kinds, but more importantly: they are thought to provide a deep insight into the nature of physical reality. The link between properties and symmetries has been said to call for a (...) radical revision of perceived metaphysical orthodoxy. However, if we are to use claims about an 'association' between properties and symmetries in the articulation of metaphysical views, we first need to develop a sufficiently precise understanding of the content of these claims. The goal of this paper is to do just that. (shrink)

We generalize two concepts from special cases of Polish group actions to the general case. The two concepts are elementary embeddability, from model theory, and analytic sets, from the usual descriptive set theory.

We prove a number of results concerning the variety of first-order theories and isomorphism types of pairs of the form $(N,M)$ , where $N$ is a countable recursively saturated model of Peano Arithmetic and $M$ is its cofinal submodel. We identify two new isomorphism invariants for such pairs. In the strongest result we obtain continuum many theories of such pairs with the fixed greatest common initial segment of $N$ and $M$ and fixed lattice of interstructures $K$ , such that (...) $M\prec K\prec N$. (shrink)

We formulate an elementary statistical game which captures the essence of some fundamental quantum experiments such as photon polarization and spin measurement. We explore and compare the significance of the principle of maximum Shannon entropy and the principle of minimum Fisher information in solving such a game. The solution based on the principle of minimum Fisher information coincides with the solution based on an invariance principle, and provides an informational explanation of Malus' law for photon polarization. There is no (...) solution based on the principle of maximum Shannon entropy. The result demonstrates the merits of Fisher information, and the demerits of Shannon entropy, in treating some fundamental quantum problems. It also provides a quantitative example in support of a general philosophy: Nature intends to hide Fisher information, while obeying some simple rules. (shrink)

Conventional particle theories such as the Standard Model have a number of freely adjustable coupling constants and mass parameters, depending on the symmetry algebra of the local gauge group and the representations chosen for the spinor and scalar fields. There seems to be no physical principle to determine these parameters as long as they stay within certain domains dictated by the renormalization group. Here however, reasons are given to demand that, when gravity is coupled to the system, local conformal invariance (...) should be a spontaneously broken exact symmetry. The argument has to do with the requirement that black holes obey a complementarity principle relating ingoing observers to outside observers, or equivalently, initial states to final states. This condition fixes all parameters, including masses and the cosmological constant. We suspect that only examples can be found where these are all of order one in Planck units, but the values depend on the algebra chosen. This paper combines findings reported in two previous preprints (G. ’t Hooft in arXiv:1009.0669 [gr-qc], 2010; arXiv:1011.0061 [gr-qc], 2010) and puts these in a clearer perspective by shifting the emphasis towards the implications for particle models. (shrink)

Atomism is the programme explaining all changes in terms of invariant units. The development of physics during the 20th century may be treated as a spectacular triumph of atomism. However, paradoxically, changes and conceptual difficulties brought about by quantum mechanics lead to the conclusion that the ontological model provided by classical atomism has become inadequate. Atoms (and elementary particles) are not atomos—indivisible, perfectly solid, unchangeable, ungenerated and indestructible (eternal), and the void is not simply an empty space. According to (...) quantum mechanics and quantum field theory, there is no unchanging substance at all. If we want to understand contemporary notions of matter and develop an ontological model of the world, consistent with contemporary natural sciences, we should probably go beyond the conceptual framework of atomic philosophy. (shrink)

The topology of definable sets in an o-minimal expansion of a group is not fully understood due to the lack of a triangulation theorem. Despite the general validity of the cell decomposition theorem, we do not know whether any definably compact set is a definable CW-complex. Moreover the closure of an o-minimal cell can have arbitrarily high Betti numbers. Nevertheless we prove that the cohomology groups of a definably compact set over an o-minimal expansion of a group are finitely generated (...) and invariant under elementary extensions and expansions of the language. (shrink)

Meaning in life has been widely recognized as a hallmark of psychological well-being and positive youth development. The goal of this study was to validate the Korean version of the Meaning in Life in Children Questionnaire utilizing the framework suggested by the Standards for Educational and Psychological Testing. Data were obtained from 277 fifth graders aged 10–11 in three elementary schools in Seoul and Gyeonggi through a paper-and-pencil survey. We translated the MIL-CQ, a 21-item self-report measure developed based on (...) Frankl’s “meaning triangle,” into Korean. Psychological well-being measures were also assessed. Validity and reliability data were collected. The content of domains and items was appropriate for measuring MIL among children. A three-factor model consisting of attitude, creativity, and experience pathways was extracted via exploratory factor analysis, and a three-factor hierarchical model including attitude, creativity, and experience as first-order factors and MIL as a second-order factor was confirmed via confirmatory factor analysis. Higher levels of MIL were related to higher levels of satisfaction with life, self-esteem, positive affectivity, and lower levels of negative affectivity. All item fit statistics were acceptable based on the Rasch model. The analysis of the measurement invariance of each item showed that the responses to one item varied by gender, suggesting that additional items might facilitate better measurement of MIL in children. This study provides validity and reliability evidence that K-MIL-CQ is appropriate for measuring MIL among South Korean elementary school students. (shrink)

Einstein's general relativity theory describes very well the gravitational phenomena in themacroscopic world. In themicroscopic domain of elementary particles, however, it does not exhibit gauge invariance or approximate Bjorken type scaling, properties which are believed to be indispensible for arenormalizable field theory. We argue that thelocal extension of space-time symmetries, such as of Lorentz and scale invariance, provides the clue for improvement. Eventually, this leads to aGL(4, R)-gauge approach to gravity in which the metric and the affine connection acquire (...) the status ofindependent fields. The Yang-Mills type field equations, the Noether identities, and conformal models of gravity are discussed within this framework. After symmetry breaking, Einstein's GR surfaces as an effective “low-energy” theory. (shrink)

Unitary field theories and “SUPER-GUT” theories work with an universal continuum, the structured spacetime of R. Descartes, B. Spinoza, B. Riemann, and A. Einstein, or a (Machian (1–3) ) structured vacuum according the quantum theory of unitary fields (Dirac, (4,5) and Heisenberg (6–8) ). The atomistic aspect of the substantial world is represented by the fundamental constants which are invariant against “all transformations” and which “depend on nothings” (Planck (9–11) ). A satisfactory unitary theory has to involve these constants like (...) the mathematical numbers. Today, Planck's conception of the three elementary constants ħ, c, and G may be the key to general relativistic quantum field theory like unitary theory. However, the elementary constants are a question of measurement-theory, also.According to Popper's theory (12–16) of induction, such unitary theories are “universal explaining theories.” The fundamental constants involve the complementarity between the universal statements in unitary theory and the “basic statements” in the language of classical observables. (shrink)

We consider the theory Thprin of Boolean algebras with a principal ideal, the theory Thmax of Boolean algebras with a maximal ideal, the theory Thac of atomic Boolean algebras with an ideal where the supremum of the ideal exists, and the theory Thsa of atomless Boolean algebras with an ideal where the supremum of the ideal exists. First, we find elementary invariants for Thprin and Thsa. If T is a theory in a first order language and α is (...) a linear order with least element, then we let Sentalg be the Lindenbaum-Tarski algebra with respect to T, and we let intalg be the interval algebra of α. Using rank diagrams, we show that Sentalg ⋍ intalg, Sentalg ⋍ intalg ⋍ Sentalg, and Sentalg ⋍ intalg. For Thmax and Thac we use Ershov's elementary invariants of these theories. We also show that the algebra of formulas of the theory Tx of Boolean algebras with finitely many ideals is atomic. (shrink)

The geometro-stochastic quantization of a gauge theory for extended objects based on the (4, 1)-de Sitter group is used for the description of quantized matter in interaction with gravitation. In this context a Hilbert bundle ℋ over curved space-time B is introduced, possessing the standard fiber ℋ $_{\bar \eta }^{(\rho )} $ , being a resolution kernel Hilbert space (with resolution generator $\tilde \eta $ and generalized coherent state basis) carrying a spin-zero phase space representation of G=SO(4, 1) belonging to (...) the principal series of unitary irreducible representations determined by the parameter ρ. The bundle ℋ, associated to the de Sitter frame bundle P(B, G), provides a geometric arena with built-in fundamental length parameter R (taken to be of the order of 10−13 cm characterizing hadron physics) yielding, in the presence of gravitation, a quantum kinematical framework for the geometro-stochastic description of spinless matter described in terms of generalized quantum mechanical wave functions, Ψ x ρ (ξ, ζ), defined on #x210B;. By going over to a nonlinear realization of the de Sitter group with the help of a section ξ(x) on the soldered bundle E, associated to P, with homogeneous fiber V′4⋍G/H, one is able to recover gravitation in a de Sitter gauge invariant manner as a gauge theory related to the Lorentz subgroup H of G. ξ(x) plays the dual role of a symmetry-reducing and an extension field. After introducing covariant bilinear source currents in the fields Ψ x ρ (ξ, ζ) and their adjoints determined by G-invariant integration over the local fibers in ℋ, a quantum fiber dynamical (QFD) framework is set up for the dynamics at small distances in B determining the geometric quantities beyond the classical metric of Einstein's theory through a set of current-curvature field equations representing the source equations for axial vector torsion and the de Sitter boost contributions to the bundle connection (the latter defining the soldering forms of the Cartan connection in P(B, G) in the nonlinear gauge). The presented bundle framework yields a theory for quantized material objects in interaction with gravitation, the long-range metrical part of which remains classical. (shrink)

Relational reasoning is a higher-order executive function that involves the ability to perceive meaningful patterns within a body of seemingly unrelated information. In this study, the ability of 749 fourth (Mage= 10), sixth (Mage= 12), eighth (Mage= 14), and tenth graders (Mage= 16) to identify meaningful relational patterns was investigated. This general cognitive ability was assessed by means of the Test of Relational Reasoning-Junior (TORRjr), a 32-item measure organized into four 8-item scales that assess analogical, anomalous, antinomous, and antithetical reasoning. (...) Students’ performance on the TORRjr was analyzed using confirmatory factor analysis, measurement invariance test, and non-parametric median-based analyses. The confirmatory factor analysis supported that the higher-order factor model was the best fit for the TORRjr data for the Korean students. The measurement was determined to be invariant by gender but variant across grade levels. The non-parametric analysis resulted in an asymptotic (a constant increasing up to grade 6 and then a level off witnessed from grades 8 to 10) development pattern in overall relational reasoning across the grades. In comparison to analogy and anomaly, antinomy and antithesis scores were more fully developed by grade 8 and that level of performance was maintained at grade 10. The TORRjr appeared to be a viable measure for the Korean samples up to approximately 15 years of age. The significance of these findings for research and instructional practice are discussed. (shrink)

We introduce and study the notions of a PAC-substructure of a stable structure, and a bounded substructure of an arbitrary substructure, generalizing [10]. We give precise definitions and equivalences, saying what it means for properties such as PAC to be first order, study some examples (such as differentially closed fields) in detail, relate the material to generic automorphisms, and generalize a "descent theorem" for pseudo-algebraically closed fields to the stable context. We also point out that the elementary invariants (...) of pseudo-algebraically closed fields from [6] are also valid for pseudo-differentially closed fields. (shrink)

We give a complete characterization of Boolean algebras admitting weak elimination of imaginaries in terms of elementary invariants.

Assuming the existence of a monster model, tameness, and continuity of nonsplitting in an abstract elementary class (AEC), we extend known superstability results: let $\mu>\operatorname {LS}(\mathbf {K})$ be a regular stability cardinal and let $\chi $ be the local character of $\mu $ -nonsplitting. The following holds: 1.When $\mu $ -nonforking is restricted to $(\mu,\geq \chi )$ -limit models ordered by universal extensions, it enjoys invariance, monotonicity, uniqueness, existence, extension, and continuity. It also has local character $\chi $. This (...) generalizes Vasey’s result [37, Corollary 13.16] which assumed $\mu $ -superstability to obtain same properties but with local character $\aleph _0$.2.There is $\lambda \in [\mu,h(\mu ))$ such that if $\mathbf {K}$ is stable in every cardinal between $\mu $ and $\lambda $, then $\mathbf {K}$ has $\mu $ -symmetry while $\mu $ -nonforking in (1) has symmetry. In this case:(a) $\mathbf {K}$ has the uniqueness of $(\mu,\geq \chi )$ -limit models: if $M_1,M_2$ are both $(\mu,\geq \chi )$ -limit over some $M_0\in K_{\mu }$, then $M_1\cong _{M_0}M_2$ ;(b)any increasing chain of $\mu ^+$ -saturated models of length $\geq \chi $ has a $\mu ^+$ -saturated union. These generalize [31] and remove the symmetry assumption in [10, 38].Under $(<\mu )$ -tameness, the conclusions of (1), (2)(a)(b) are equivalent to $\mathbf {K}$ having the $\chi $ -local character of $\mu $ -nonsplitting.Grossberg and Vasey [18, 38] gave eventual superstability criteria for tame AECs with a monster model. We remove the high cardinal threshold and reduce the cardinal jump between equivalent superstability criteria. We also add two new superstability criteria to the list: a weaker version of solvability and the boundedness of the U-rank. (shrink)

The idea that the mass m of an elementary particle is explained in the semi-classical approximation by quantum-mechanical zero-point vacuum fluctuations has been applied previously to spin-1/2 fermions to yield a real and positive constant value for m, expressed through the spinorial connection Γ i in the curved-space Dirac equation for the wave function ψ due to Fock. This conjecture is extended here to bosonic particles of spin 0 and spin 1, starting from the basic assumption that all fundamental (...) fields must be conformally invariant. As a result, in curved space-time there is an effective scalar mass-squared term $m_{0}^{2}=-R/6=2\varLambda_{\mathrm{b}}/3$ , where R is the Ricci scalar and Λ b is the cosmological constant, corresponding to the bosonic zero-point energy-density, which is positive, implying a real and positive constant value for m 0, through the positive-energy theorem. The Maxwell Lagrangian density $\mathcal{L} =- \sqrt{-g}F_{ij}F^{ij}/4$ for the Abelian vector field F ij ≡A j,i −A i,j is conformally invariant without modification, however, and the equation of motion for the four-vector potential A i contains no mass-like term in curved space. Therefore, according to our hypothesis, the free photon field A i must be massless, in agreement with both terrestrial experiment and the notion of gauge invariance. (shrink)

There has been much discussion recently about the scope and limits of purely symbolic models of the mind and about the proper role of connectionism in cognitive modeling. This paper describes the symbol grounding problem : How can the semantic interpretation of a formal symbol system be made intrinsic to the system, rather than just parasitic on the meanings in our heads? How can the meanings of the meaningless symbol tokens, manipulated solely on the basis of their shapes, be grounded (...) in anything but other meaningless symbols? The problem is analogous to trying to learn Chinese from a Chinese/Chinese dictionary alone. A candidate solution is sketched: Symbolic representations must be grounded bottom-up in nonsymbolic representations of two kinds: iconic representations, which are analogs of the proximal sensory projections of distal objects and events, and categorical representations, which are learned and innate feature-detectors that pick out the invariant features of object and event categories from their sensory projections. Elementary symbols are the names of these object and event categories, assigned on the basis of their categorical representations. Higher-order symbolic representations, grounded in these elementary symbols, consist of symbol strings describing category membership relations. Connectionism is one natural candidate for the mechanism that learns the invariant features underlying categorical representations, thereby connecting names to the proximal projections of the distal objects they stand for. In this way connectionism can be seen as a complementary component in a hybrid nonsymbolic/symbolic model of the mind, rather than a rival to purely symbolic modeling. Such a hybrid model would not have an autonomous symbolic module, however; the symbolic functions would emerge as an intrinsically dedicated symbol system as a consequence of the bottom-up grounding of categories ' names in their sensory representations. Symbol manipulation would be governed not just by the arbitrary shapes of the symbol tokens, but by the nonarbitrary shapes of the icons and category invariants in which they are grounded. (shrink)

This book is an attempt to get to the bottom of an acute and perennial tension between our best scientific pictures of the fundamental physical structure of the world and our everyday empirical experience of it. The trouble is about the direction of time. The situation (very briefly) is that it is a consequence of almost every one of those fundamental scientific pictures--and that it is at the same time radically at odds with our common sense--that whatever can happen can (...) just as naturally happen backwards. Albert provides an unprecedentedly clear, lively, and systematic new account--in the context of a Newtonian-Mechanical picture of the world--of the ultimate origins of the statistical regularities we see around us, of the temporal irreversibility of the Second Law of Thermodynamics, of the asymmetries in our epistemic access to the past and the future, and of our conviction that by acting now we can affect the future but not the past. Then, in the final section of the book, he generalizes the Newtonian picture to the quantum-mechanical case and (most interestingly) suggests a very deep potential connection between the problem of the direction of time and the quantum-mechanical measurement problem. The book aims to be both an original contribution to the present scientific and philosophical understanding of these matters at the most advanced level, and something in the nature of an elementary textbook on the subject accessible to interested high-school students. Table of Contents: Preface 1. Time-Reversal Invariance 2. Thermodynamics 3. Statistical Mechanics 4. The Reversibility Objections and the Past-Hypothesis 5. The Scope of Thermodynamics 6. The Asymmetries of Knowledge and Intervention 7. Quantum Mechanics Appendix: Gedankenexperiments with Heat Engines Index Reviews of this book: The foundations of statistical mechanisms are often presented in physics textbooks in a rather obscure and confused way. By challenging common ways of thinking about this subject, Time and Chance can do quite a lot to improve this situation. --Jean Bricmont, Science Albert is perfecting a style of foundational analysis that is uniquely his own...It has a surgical precision...and it is ruthless with pretensions. The foundations of thermodynamics is a topic that has accumulated a good deal of dead wood; this is a fire that will burn and burn. --Simon W. Saunders, Oxford University As usual with Albert's work, the exposition is brisk and to the point, and exceptionally clear...The book will be an extremely valuable contribution to the literature on the subject of philosophical issues in thermodynamics and statistical mechanics, a literature which has been thin on the ground but is now growing as it deserves to. --Lawrence Sklar, University of Michigan. (shrink)

We present a survey of the recent applications of continuous domains for providing simple computational models for classical spaces in mathematics including the real line, countably based locally compact spaces, complete separable metric spaces, separable Banach spaces and spaces of probability distributions. It is shown how these models have a logical and effective presentation and how they are used to give a computational framework in several areas in mathematics and physics. These include fractal geometry, where new results on existence and (...) uniqueness of attractors and invariant distributions have been obtained, measure and integration theory, where a generalization of the Riemann theory of integration has been developed, and real arithmetic, where a feasible setting for exact computer arithmetic has been formulated. We give a number of algorithms for computation in the theory of iterated function systems with applications in statistical physics and in period doubling route to chaos; we also show how efficient algorithms have been obtained for computing elementary functions in exact real arithmetic. (shrink)

We demonstrate that the quantum-mechanical description of composite physical systems of an arbitrary number of similar fermions in all their admissible states, mixed or pure, for all finite-dimensional Hilbert spaces, is not in conflict with Leibniz's Principle of the Identity of Indiscernibles (PII). We discern the fermions by means of physically meaningful, permutation-invariant categorical relations, i.e. relations independent of the quantum-mechanical probabilities. If, indeed, probabilistic relations are permitted as well, we argue that similar bosons can also be discerned in all (...) their admissible states; but their categorical discernibility turns out to be a state-dependent matter. In all demonstrated cases of discernibility, the fermions and the bosons are discerned (i) with only minimal assumptions on the interpretation of quantum mechanics; (ii) without appealing to metaphysical notions, such as Scotusian haecceitas, Lockean substrata, Postian transcendental individuality or Adamsian primitive thisness; and (iii) without revising the general framework of classical elementary predicate logic and standard set theory, thus without revising standard mathematics. This confutes: (a) the currently dominant view that, provided (i) and (ii), the quantum-mechanical description of such composite physical systems always conflicts with PII; and (b) that if PII can be saved at all, the only way to do it is by adopting one or other of the thick metaphysical notions mentioned above. Among the most general and influential arguments for the currently dominant view are those due to Schrodinger, Margenau, Cortes, Dalla Chiara, Di Francia, Redhead, French, Teller, Butterfield, Giuntini, Mittelstaedt, Castellani, Krause and Huggett. We review them succinctly and critically as well as related arguments by van Fraassen and Massimi. (shrink)

Aimed at graduate students, research logicians and mathematicians, this much-awaited text covers over 40 years of work on relative classification theory for nonstandard models of arithmetic. The book covers basic isomorphism invariants: families of type realized in a model, lattices of elementary substructures and automorphism groups.

Quite often the compatibility of the EPR correlations with the relativity theory has been questioned; it has been stated that “the first in time of two correlated measurements instantaneously collapses the other subsystem”; it has been suggested that a causal asymmetry is built into the Feynman propagator. However, the EPR transition amplitude, as derived from the S matrix, is Lorentz andCPT invariant; the correlation formula is symmetric in the two measurements irrespective of their time ordering, so that the link of (...) the correlations is the Feynman zigzag, and that causality isCPT invariant at the microlevel; finally, although the Feynman propagator has theP andCT symmetries, no causal asymmetry follows from that. As for Stapp's views concerning “process” and “becoming,” and his Whiteheadean concept of an advancing front, I object that they belong to “factlike macrophysics,” and are refuted at the microlevel by the EPR phenomenology, which displays direct Fokker-like space-time connections. The reason for this is a radical one. The very blending of a space-time picture and of a probability calculus is a paradox. The only adequate paradigm is one denying objectivity to space-time—but this, of course, is also required by the complementary of the x and the k pictures, which only “look” compatible at the macrolevel. Therefore, the classical “objectivity” must yield in favor of “intersubjectivity.” Only the macroscopic preparing and measuring devices have “factlike” objectivity; the “transition” of the “quantal system” takes place beyond both thex and thek 4-spaces. Then, the intrinsic symmetries between retarded and advanced waves, and statistical prediction and retrodiction, entails that the future has no less (but no more) existence than the past. It is the future that is significant in “creative process,” the “elementary” forms of which should be termed “precognition” or “psychokinesis”—respectively symmetric to the factlike taboos that “we can neither know into the future nor act into the past.” It is gratifying that Robert Jahn, at the Engineering School of Princeton University, is conducting (after others) conclusive experiments demonstrating “low level psychokinesis”—a phenomenon implied by the very symmetry of the negentropy-information transition. So, what pierces the veil of “maya” is the (rare) occurrence of “paranormal phenomena.” The essential severance between “act” and “potentia” is not a spacelike advancing front, but the “out of” and the “into” factlike space-time. Finally, I do not feel that an adequate understanding of the EPR phenomenology requires going beyond the present status of relativistic quantum mechanics. Rather, I believe that the potentialities of this formalism have not yet been fully exploited. (shrink)

We investigate model theoretic characterisations of the expressive power of modal logics in terms of bisimulation invariance. The paradigmatic result of this kind is van Benthem’s theorem, which says that a first-order formula is invariant under bisimulation if, and only if, it is equivalent to a formula of basic modal logic. The present investigation primarily concerns ramifications for specific classes of structures. We study in particular model classes defined through conditions on the underlying frames, with a focus on frame classes (...) that play a major role in modal correspondence theory and often correspond to typical application domains of modal logics. Classical model theoretic arguments do not apply to many of the most interesting classes–for instance, rooted frames, finite rooted frames, finite transitive frames, well-founded transitive frames, finite equivalence frames–as these are not elementary. Instead we develop and extend the game-based analysis over such classes and provide bisimulation preserving model constructions within these classes. Over most of the classes considered, we obtain finite model theory analogues of the classically expected characterisations, with new proofs also for the classical setting. The class of transitive frames is a notable exception, with a marked difference between the classical and the finite model theory of bisimulation invariant first-order properties. Over the class of all finite transitive frames in particular, we find that monadic second-order logic is no more expressive than first-order as far as bisimulation invariant properties are concerned — though both are more expressive here than basic modal logic. We obtain ramifications of the de Jongh–Sambin theorem and a new and specific analogue of the Janin–Walukiewicz characterisation of bisimulation invariant monadic second-order for finite transitive frames. (shrink)

This essay endeavors to define the concept of indefinite extensibility in the setting of category theory. I argue that the generative property of indefinite extensibility for set-theoretic truths in category theory is identifiable with the Grothendieck Universe Axiom and the elementary embeddings in Vopenka's principle. The interaction between the interpretational and objective modalities of indefinite extensibility is defined via the epistemic interpretation of two-dimensional semantics. The semantics can be defined intensionally or hyperintensionally. By characterizing the modal profile of $\Omega$-logical (...) validity, and thus the generic invariance of mathematical truth, modal coalgebras are further capable of capturing the notion of definiteness for set-theoretic truths, in order to yield a non-circular definition of indefinite extensibility. (shrink)

If p(x 1 ,...,x n ) and q(x 1 ,...,x n ) are two logically equivalent propositions then p(π (x 1 ),...,π (x n )) and q(π (x 1 ),...,π (x n )) are also logically equivalent where π is an arbitrary permutation of the elementary constituents x 1 ,...,x n . In Quantum Logic the invariance of logical equivalences breaks down. It is proved that the distribution rules of classical logic are in fact equivalent to the meta-linguistic rule (...) of universal substitution and that the more restrictive structure of the substitution group of Quantum Logic prevents us from defining truth in a classical fashion. These observations lead to a more profound understanding of the Logic of Quantum Mechanics and of the role that symmetry principles play in that theory. (shrink)

In the traditional formalism of quantum mechanics, a simple direct proof of the Spin Geometry Theorem of Penrose is given; and the structure of a model of the ‘space of the quantum directions’, defined in terms of elementary SU-invariant observables of the quantum mechanical systems, is sketched.

Some of the features of animal and human categorical perception (CP) for color, pitch and speech are exhibited by neural net simulations of CP with one-dimensional inputs: When a backprop net is trained to discriminate and then categorize a set of stimuli, the second task is accomplished by "warping" the similarity space (compressing within-category distances and expanding between-category distances). This natural side-effect also occurs in humans and animals. Such CP categories, consisting of named, bounded regions of similarity space, may be (...) the ground level out of which higher-order categories are constructed; nets are one possible candidate for the mechanism that learns the sensorimotor invariants that connect arbitrary names (elementary symbols?) to the nonarbitrary shapes of objects. This paper examines how and why such compression/expansion effects occur in neural nets. (shrink)

The classical interpretation of probability together with the principle of indifference is formulated in terms of probability measure spaces in which the probability is given by the Haar measure. A notion called labelling invariance is defined in the category of Haar probability spaces; it is shown that labelling invariance is violated, and Bertrand’s paradox is interpreted as the proof of violation of labelling invariance. It is shown that Bangu’s attempt to block the emergence of Bertrand’s paradox by requiring the re-labelling (...) of random events to preserve randomness cannot succeed non-trivially. A non-trivial strategy to preserve labelling invariance is identified, and it is argued that, under the interpretation of Bertrand’s paradox suggested in the paper, the paradox does not undermine either the principle of indifference or the classical interpretation and is in complete harmony with how mathematical probability theory is used in the sciences to model phenomena. It is shown in particular that violation of labelling invariance does not entail that labelling of random events affects the probabilities of random events. It also is argued, however, that the content of the principle of indifference cannot be specified in such a way that it can establish the classical interpretation of probability as descriptively accurate or predictively successful. 1 The Main Claims2 The Elementary Classical Interpretation of Probability3 The General Classical Interpretation of Probability in Terms of Haar Measures4 Labelling Invariance and Labelling Irrelevance5 General Bertrand’s Paradox6 Attempts to Save Labelling Invariance7 Comments on the Classical Interpretation of Probability. (shrink)

The spin geometry theorem of Penrose is extended from SU to E invariant elementary quantum mechanical systems. Using the natural decomposition of the total angular momentum into its spin and orbital parts, the distance between the centre-of-mass lines of the elementary subsystems of a classical composite system can be recovered from their relative orbital angular momenta by E-invariant classical observables. Motivated by this observation, an expression for the ‘empirical distance’ between the elementary subsystems of a composite quantum (...) mechanical system, given in terms of E-invariant quantum observables, is suggested. It is shown that, in the classical limit, this expression reproduces the a priori Euclidean distance between the subsystems, though at the quantum level it has a discrete character. ‘Empirical’ angles and 3-volume elements are also considered. (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)

Since Bohmian mechanics is explicitly nonlocal, it is widely believed that it is very hard, if not impossible, to make Bohmian mechanics compatible with relativistic quantum field theory. I explain, in simple terms, that it is not hard at all to construct a Bohmian theory that lacks Lorentz covariance, but makes the same measurable predictions as relativistic QFT. All one has to do is to construct a Bohmian theory that makes the same measurable predictions as QFT in one Lorentz frame, (...) because then standard relativistic QFT itself guarantees that those predictions are Lorentz invariant. I first explain this in general terms, then I describe a simple Bohmian model that makes the same measurable predictions as the Standard Model of elementary particles, after which I give some hints towards a more fundamental theory beyond standard model. Finally, I present a short story telling how my views of fundamental physics in general, and of Bohmian mechanics in particular, evolved over time. (shrink)

The original conception of atomism suggests “atoms”, which cannot be divided more into composing parts. However, the name “atom” in physics is reserved for entities, which can be divided into electrons, protons, neutrons and other “elementary particles”, some of which are in turn compounded by other, “more elementary” ones. Instead of this, quantum mechanics is grounded on the actually indivisible quanta of action limited by the fundamental Planck constant. It resolves the problem of how both discrete and continuous (...) (even smooth) to be described uniformly and invariantly in thus. Quantum mechanics can be interpreted in terms of quantum information. Qubit is the indivisible unit (“atom”) of quantum information. The imagery of atomism in modern physics moves from atoms of matter (or energy) via “atoms” (quanta) of action to “atoms” (qubits) of quantum information. This is a conceptual shift in the cognition of reality to terms of information, choice, and time. (shrink)

Pointing to the importance of invariance principles has been ranked as one of Einstein’s greatest merits. The symmetries represent an additional category used in a description of the physical world, additional to initial conditions and the very laws of Nature, as distinguished by Newton. Some invariances related to space and time are easy to describe: that the laws of nature are the same everywhere, that they are time independent, and that they do not change if some physical system is subjected (...) to a rotation around an axis in space. The relativistic invariance, which Einstein re-established in his special relativity, was based on giving a full physical meaning to the transformations which Lorentz used to relate observers moving uniformly with respect to each other. He realized that there is no absolute “at rest”, and no sensible “simultaneous” events. What is absolute in his relativity is the constant speed of light, and a well defined proper-time interval. The relativity entered physics as the first great creative principle on Einstein’s list. Subsequently, its marriage to the quantum principle established in atomic physics, brought out the quantum field theory as a mighty tool for the future investigation of the subatomic world. The newly discovered fundamental interactions urged to look for a principle explaining them. It has been found in the form of the gauge principle underlying the present day standard model of elementary particle interactions. It is remarkable that Einstein gave his magical touch also to quantum and gauge principles. Still, the most important Einstein’s idea is that the whole of physics has to be expressed in Minkowski’s space, subject to Lorentz transformations. Today we are aware that, like other symmetries with their restrictions, Lorentz symmetry would be restricted to the non cosmological scale. New ideas in conjunction with the forthcoming cosmological measurements may lead to astonishing results. (shrink)

The way, in which quantum information can unify quantum mechanics (and therefore the standard model) and general relativity, is investigated. Quantum information is defined as the generalization of the concept of information as to the choice among infinite sets of alternatives. Relevantly, the axiom of choice is necessary in general. The unit of quantum information, a qubit is interpreted as a relevant elementary choice among an infinite set of alternatives generalizing that of a bit. The invariance to the axiom (...) of choice shared by quantum mechanics is introduced: It constitutes quantum information as the relation of any state unorderable in principle (e.g. any coherent quantum state before measurement) and the same state already well-ordered (e.g. the well-ordered statistical ensemble of the measurement of the quantum system at issue). This allows of equating the classical and quantum time correspondingly as the well-ordering of any physical quantity or quantities and their coherent superposition. That equating is interpretable as the isomorphism of Minkowski space and Hilbert space. Quantum information is the structure interpretable in both ways and thus underlying their unification. Its deformation is representable correspondingly as gravitation in the deformed pseudo-Riemannian space of general relativity and the entanglement of two or more quantum systems. The standard model studies a single quantum system and thus privileges a single reference frame turning out to be inertial for the generalized symmetry [U(1)]X[SU(2)]X[SU(3)] “gauging” the standard model. As the standard model refers to a single quantum system, it is necessarily linear and thus the corresponding privileged reference frame is necessary inertial. The Higgs mechanism U(1) → [U(1)]X[SU(2)] confirmed enough already experimentally describes exactly the choice of the initial position of a privileged reference frame as the corresponding breaking of the symmetry. The standard model defines ‘mass at rest’ linearly and absolutely, but general relativity non-linearly and relatively. The “Big Bang” hypothesis is additional interpreting that position as that of the “Big Bang”. It serves also in order to reconcile the linear standard model in the singularity of the “Big Bang” with the observed nonlinearity of the further expansion of the universe described very well by general relativity. Quantum information links the standard model and general relativity in another way by mediation of entanglement. The linearity and absoluteness of the former and the nonlinearity and relativeness of the latter can be considered as the relation of a whole and the same whole divided into parts entangled in general. (shrink)

The paper follows the track of a previous paper “Natural cybernetics of time” in relation to history in a research of the ways to be mathematized regardless of being a descriptive humanitarian science withal investigating unique events and thus rejecting any repeatability. The pathway of classical experimental science to be mathematized gradually and smoothly by more and more relevant mathematical models seems to be inapplicable. Anyway quantum mechanics suggests another pathway for mathematization; considering the historical reality as dual or “complimentary” (...) to its model. The historical reality by itself can be seen as mathematical if one considers it in Hegel’s manner as a specific interpretation of the totality being in a permanent self-movement due to being just the totality, i.e. by means of the “speculative dialectics” of history, however realized as a theory both mathematical and empirical and thus falsifiable as by logical contradictions within itself as emprical discrepancies to facts. Not less, a Husserlian kind of “historical phenomenology” is possible along with Hegel’s historical dialectics sharing the postulate of the totality (and thus, that of transcendentalism). One would be to suggest the transcendental counterpart: an “eternal”, i.e. atemporal and aspatial history to the usual, descriptive temporal history, and equating the real course of history as with its alternative, actually happened branches of the regions of the world as with only imaginable, counterfactual histories. That universal and transcendental history is properly mathematical by itself, even in a neo-Pythagorean model. It is only represented on the temporal screen of the standard historiography as a discrete series of unique events. An analogy to the readings of the apparatus in quantum mechanics can be useful. Even more, that analogy is considered rigorously and logically as implied by the mathematical transcendental history and sharing with it the same quantity of information as an invariant to all possible alternative or counterfactual histories. One can involve the hypothetical external viewpoint to history (as if outside of history or from “God’s viewpoint to it), to which all alternative or counterfactual histories can be granted as a class of equivalence sharing the same information (i.e. the number choices, but realized in different sequence or adding redundant ones in each branch) being similar and even mathematically isomorphic to Feynman trajectories in quantum mechanics. Particularly, a fundamental law of mathematical history, the law of least choice of the real historical pathway is deducible from the same approach. Its counterpart in physics is the well-known and confirmed law of least action as far as the quantity of action corresponds equivocally to the quantity of information or that of number elementary historical choices. (shrink)

The discovery of the Higgs boson at LHC confirms that what we experience as empty space should actually be thought as a condensate of elementary quanta. This condensate characterizes the physically realized form of relativity and could play the role of preferred reference frame in a modern Lorentzian approach. This observation suggests a new interpretative scheme to understand the unexplained residuals in the old ether-drift experiments where light was still propagating in gaseous systems. Differently from present vacuum experiments, where (...) anyhow deviations from Special Relativity are expected to be at the limit of visibility, these now acquire a crucial importance and become consistent with the Earth’s velocity of 370 km/s which characterizes the CMB anisotropy. In the same scheme, one can also understand the difference with the other experiments where light propagates in strongly bound systems such as solid or liquid transparent media. This non-trivial level of consistency motivates a new generation of precise laser interferometry experiments which explore the same particle physics vacuum and, in this sense, are complementary to those with high-energy accelerators. (shrink)

In the context of research 2LAPRE 2 we observed sessions of Philosophically Orientated Discussion (POD)provided by the permanent teachers of the ordinary elementary and secondary school classes. In a formation context we are interested in the itinerary of three elementary school’s teachers of three different levels (1st Cycle, 2nd Cycle and 3rd Cycle). By the observation of actual practices at three moments during the scholar year, what can we spot of the POD norm’s construction? The analysis of the (...) linguistic exchanges, will identify what is played out for the teacher from its organizer’s point of view (beliefs, conceptions, values and what they judge as important). We will proceed with a systematic analysis: - of the communication networks through Flament’s theoretical framework (1965) to approach the linguistic productions distribution on the participants and the animation from that results; - and Geneva’s model (Roulet et al., 1985) where the communications are constructs that articulate components of different levels to study them in their structure-functional dimension. The analysis will permit to chart the variability of the activity for each of these three teachers, or not, around the conception of what is the POD. We will use the results already published in the article Saint-Dizier, Specogna, Luxembourger (2016) that we look at from the point of view of the question we want to deal with this article whether: POD norm, variability, invariability of the activity. (shrink)