As a continuation of ideas initiated in [19], we study bi-colored (generic) expansions of geometric theories in the style of the Fraïssé–Hrushovski construction method. Here we examine that the properties $NTP_{2}$, strongness, $NSOP_{1}$, and simplicity can be transferred to the expansions. As a consequence, while the corresponding bi-colored expansion of a red non-principal ultraproduct of p-adic fields is $NTP_{2}$, the expansion of algebraically closed fields with generic automorphism is a simple theory. Furthermore, these theories are strong with $\operatorname (...) {\mathrm {bdn}}(\text {"}x=x\text {"})=(\aleph _0)_{-}$. (shrink)

Using Butz and Moerdijk's topological groupoid representation of a topos with enough points, a ‘syntax-semantics’ duality for geometric theories is constructed. The emphasis is on a logical presentation, starting with a description of the semantic topological groupoid of models and isomorphisms of a theory. It is then shown how to extract a theory from equivariant sheaves on a topological groupoid in such a way that the result is a contravariant adjunction between theories and groupoids, the restriction of (...) which is a duality between theories with enough models and semantic groupoids. Technically a variant of the syntax-semantics duality constructed in 1 for first-order logic, the construction here works for arbitrary geometric theories and uses a slice construction on the side of groupoids—reflecting the use of ‘indexed’ models in the representation theorem—which in several respects simplifies the construction and the characterization of semantic groupoids. (shrink)

We study the theory of the structure induced by parameter free formulas on a “dense” algebraically independent subset of a model of a geometric theory T. We show that while being a trivial geometric theory, inherits most of the model theoretic complexity of T related to stability, simplicity, rosiness, the NIP and the NTP2. In particular, we show that T is strongly minimal, supersimple of SU‐rank 1, has the NIP or the NTP2 exactly when has (...) these properties. We show that if T is superrosy of thorn rank 1, then so is, and that the converse holds if T satisfies acl = dcl. (shrink)

We study the class of weakly locally modular geometric theories introduced in [4], a common generalization of the classes of linear SU-rank 1 and linear o-minimal theories. We find new conditions equivalent to weak local modularity: "weak one-basedness", absence of type definable "almost quasidesigns", and "generic linearity". Among other things, we show that weak one-basedness is closed under reducts. We also show that the lovely pair expansion of a non-trivial weakly one-based ω-categorical geometric theory interprets an infinite (...) vector space over a finite field. (shrink)

This paper primarily deals with the conceptual prospects for generalizing the aim of abduction from the standard one of explaining surprising or anomalous observations to that of empirical progress or even truth approximation. It turns out that the main abduction task then becomes the instrumentalist task of theory revision aiming at an empirically more successful theory, relative to the available data, but not necessarily compatible with them. The rest, that is, genuine empirical progress as well as observational, referential (...) and theoretical truth approximation, is a matter of evaluation and selection, and possibly new generation tasks for further improvement. The paper concludes with a survey of possible points of departure, in AI and logic, for computational treatment of the instrumentalist task guided by the ‘comparative evaluation matrix’. (shrink)

The class of geometric surgical theories is examined. The main theorem is that every stable theory that is interpretable in a geometric surgical theory is superstable of finite U-rank.

Geometric theories are presented as contraction- and cut-free systems of sequent calculi with mathematical rules following a prescribed rule-scheme that extends the scheme given in Negri and von Plato. Examples include cut-free calculi for Robinson arithmetic and real closed fields. As an immediate consequence of cut elimination, it is shown that if a geometric implication is classically derivable from a geometric theory then it is intuitionistically derivable.

French mathematician Michel Chasles, a staunch defender of pure geometrical methods, is now mostly remembered as the author of the Aperçu historique. In this book, he retraced the history of geometry in order to expound epistemological theses on what constitutes a virtuous practice of geometry. Amongst these stands out the assertion that the values of generality and simplicity in mathematics are intimately connected. In this paper, we flesh out this claim by analysing Chasles’s geometrical solutions to the century-old problem of (...) the attraction of the ellipsoids. We show how these solutions echo Chasles’s evaluation of the relative strengths of geometrical and analytical methods, and how they embody a set of normative rules for the geometer’s practice whose observance Chasles deemed necessary and sufficient for the development of general methods and theories. (shrink)

In this paper we give a differential lifting principle which provides a general method to geometrically axiomatize the model companion (if it exists) of some theories of differential topological fields. The topological fields we consider here are in fact topological systems in the sense of van den Dries, and the lifting principle we develop is a generalization of the geometric axiomatization of the theory DCF₀ given by Pierce and Pillay. Moreover, it provides a geometric alternative to the (...) axiomatizations obtained by Tressl and Guzy/Point in separate papers where the authors also build general schemes of axioms for some model complete theories of differential fields. We first characterize the existentially closed models of a given theory of differential topological fields and then, under an additional hypothesis of largeness, we show how to modify this characterization to get a general scheme of first-order axioms for the model companion of any large theory of differential topological fields. We conclude with an application of this lifting principle proving that, in existentially closed models of a large theory of differential topological fields, the jet-spaces are dense in their ambient topological space. (shrink)

We analyze the geometric foundations of classical Yang-Mills theory by studying the relationships between internal relativity, locality, global/local invariance, and background independence. We argue that internal relativity and background independence are the two independent defining principles of Yang-Mills theory. We show that local gauge invariance -heuristically implemented by means of the gauge argument- is a direct consequence of internal relativity. Finally, we analyze the conceptual meaning of BRST symmetry in terms of the invariance of the gauge fixed (...) theory under general local gauge transformations. (shrink)

This article investigates an intertwined systematic and historical view on theories of matter. It follows an approach brought forward by Hermann Weyl around 1925, applies it to recent theories of matter in physics (including geometrodynamics and quantum gravity), and embeds it into a more general philosophical framework. First, I shall discuss the physical and philosophical problems of a unified field theory on the basis of Weyl's own abandonment of his 1918 ‘pure field theory’ in favour of an ‘agent (...) theory’ of matter. The difference between agent and field theories of matter is then used to establish a sort of dialectic meta-view. With reference to Weyl this view can be understood as being a particular Fichtean transcendental idealist approach which attempts to combine the strengths of the Husserlian phenomenology and Cassirer's neo-Kantianism. (shrink)

Generalizing the work of Einstein and Mayer, it is assumed that at each point of space-time there exists an N-dimensional linear vector space with N≥5. This space is decomposed into a four-dimensional tangent space and an (N - 4)-dimensional internal space. On the basis of geometric considerations, one arrives at a number of fields, the field equations being derived from a variational principle. Among the fields obtained there are the electromagnetic field, Yang-Mills gauge fields, and fields that can be (...) interpreted as describing matter. As a simple example, the case N=6 is considered. (shrink)

The quest for a ‘unified field theory’, which aims to integrate gravitational and electromagnetic fields into a single field structure, spanned most of Einstein’s professional life from 1919 until his death in 1955. It is seldom noted that Hans Reichenbach was possibly the only philosopher who could navigate the technical intricacies of the various unification attempts. By analyzing published writings and private correspondences, this paper aims to provide an overview of the Einstein-Reichenbach relationship from the point of view of (...) their evolving attitudes toward the program of unifying electricity and gravitation. The paper concludes that the Einstein-Reichenbach relationship is more complex than usually portrayed. Reichenbach was not only the indefatigable ‘defender’ of relativity theory but also the caustic ‘attacker’ of Einstein’s and others’ attempts at unified field theory. Over the years, Reichenbach managed to provide the first, and possibly only, overall philosophical reflection on the unified field theory program. Thereby, Reichenbach was responsible for bringing to the debate, often for the first time, some of the central issues of the philosophy of space-time physics: (a) the relation between a theory’s abstract geometrical structures (metric, affine connection) and the behavior of physical probes (rods and clocks, free particles, and so on); (b) the question of whether such association should be regarded as a geometrization of physics or a physicalization of geometry; (c) the interplay between geometrization and unification in the context of a field theory. (shrink)

The article investigates one of the key contributions to modern structural mathematics, namely Hilbert’sFoundations of Geometry(1899) and its mathematical roots in nineteenth-century projective geometry. A central innovation of Hilbert’s book was to provide semantically minded independence proofs for various fragments of Euclidean geometry, thereby contributing to the development of the model-theoretic point of view in logical theory. Though it is generally acknowledged that the development of model theory is intimately bound up with innovations in 19th century geometry (in (...) particular, the development of non-Euclidean geometries), so far, little has been said about how exactly model-theoretic concepts grew out of methodological investigations within projective geometry. This article is supposed to fill this lacuna and investigates this geometrical prehistory of modern model theory, eventually leading up to Hilbert’sFoundations. (shrink)

A new gauge theory of gravity on flat spacetime has recently been developed by Lasenby, Doran, and Gull. Einstein’s principles of equivalence and general relativity are replaced by gauge principles asserting, respectively, local rotation and global displacement gauge invariance. A new unitary formulation of Einstein’s tensor illuminates long-standing problems with energy–momentum conservation in general relativity. Geometric calculus provides many simplifications and fresh insights in theoretical formulation and physical applications of the theory.

It is shown that classical Dirac fields with the same couplings obey the Pauli exclusion principle in the following sense: If at a certain time two Dirac fields are in different states, they can never reach the same one. This is geometrically interpreted as analogous to the impossibility of crossing of trajectories in the phase space of a dynamical system. An application is made to a model in which extended particles are represented as solitary waves of a set of several (...) fundamental, confined nonlinear Dirac fields, with the result that the same mechanism accounts both for fermion and boson behaviors. (shrink)

The history and philosophy of science are destined to play a fundamental role in an epoch marked by a major scientific revolution. This ongoing revolution, principally affecting mathematics and physics, entails a profound upheaval of our conception of space, space–time, and, consequently, of natural laws themselves. Briefly, this revolution can be summarized by the following two trends: by the search for a unified theory of the four fundamental forces of nature, which are known, as of now, as gravity, electromagnetism, (...) and strong and weak nuclear forces; by the search for new mathematical concepts capable of elucidating and therefore explaining such a relationship. In fact, the first search is essentially dependent on the second; that is to say, that in order for a new theory of physics to come to light, the development of a deeper geometric theory capable of explaining the structure of space–time on a quantum scale appears to be necessary. On careful consideration, we notice that both of these developments converge in the direction of a unitary and fundamental tendency of modern science—which is the geometrization of theoretical physics and of natural sciences. This new emergent situation carries within it a profound conceptual change, affecting the way in which relations are conceived of, first and foremost, between mathematics and physics. This new paradigm can be summed up by the intimately interdependent points: the immense variety of physical phenomena and of natural forms follows from the equally infinite variety of geometric and topological objects that can be made out in space and from which space is made up; the second point, which ensues from the former one and which is of great historical and epistemological significance, is that mathematics is involved in rather than applied to phenomena. In other words, phenomena are effects that emerge from the geometrical structure of space–time. There is no doubt that this new conception of the relationship between the universe of mathematical ideas and objects and the world of natural phenomena is the true scientific revolution of our century, of great conceptual importance, and consequently, capable of changing our view of science and of nature at one and the same time. It is all at once of a scientific, philosophical and aesthetic order. (shrink)

I see model theory as becoming increasingly detached from set theory, and the Tarskian notion of set-theoretic model being no longer central to model theory. In much of modern mathematics, the set-theoretic component is of minor interest, and basic notions are geometric or category-theoretic. In algebraic geometry, schemes or algebraic spaces are the basic notions, with the older “sets of points in affine or projective space” no more than restrictive special cases. The basic notions may be (...) given sheaf-theoretically, or functorially. To understand in depth the historically important affine cases, one does best to work with more general schemes. The resulting relativization and “transfer of structure” is incomparably more flexible and powerful than anything yet known in “set-theoretic model theory”.It seems to me now uncontroversial to see the fine structure of definitions as becoming the central concern of model theory, to the extent that one can easily imagine the subject being called “Definability Theory” in the near future.Tarski's set-theoretic foundational formulations are still favoured by the majority of model-theorists, and evolution towards a more suggestive language has been perplexingly slow. None of the main texts uses in any nontrivial way the language of category theory, far less sheaf theory or topos theory. Given that the most notable interactions of model theory with geometry are in areas of geometry where the language of sheaves is almost indispensable, this is a curious situation, and I find it hard to imagine that it will not change soon, and rapidly. (shrink)

In der 1970 gegründeten Reihe erscheinen Arbeiten, die philosophiehistorische Studien mit einem systematischen Ansatz oder systematische Studien mit philosophiehistorischen Rekonstruktionen verbinden. Neben deutschsprachigen werden auch englischsprachige Monographien veröffentlicht. Gründungsherausgeber sind: Erhard Scheibe (Herausgeber bis 1991), Günther Patzig (bis 1999) und Wolfgang Wieland (bis 2003). Von 1990 bis 2007 wurde die Reihe von Jürgen Mittelstraß mitherausgegeben.

This paper describes Alfred Clebsch’s 1871 article that gave a geometrical interpretation of elements of the theory of the general algebraic equation of degree 5. Clebsch’s approach is used here to illuminate the relations between geometry, intuition, figures, and visualization at the time. In this paper, we try to delineate clearly what he perceived as geometric in his approach, and to show that Clebsch’s use of geometrical objects and techniques is not intended to aid visualization matters, but rather (...) is a way of directing algebraic calculations. We also discuss the possible reasons why the article of Clebsch has been eventually completely forgotten by the historiography. (shrink)

We unify three approaches within the vast body of gauge-theory research that have independently developed distinct representations of a geometrical surface-like structure underlying the vector-potential. The three approaches that we unify are: those who use the compactified dimensions of Kaluza–Klein theory, those who use Grassmannian models models) to represent gauge fields, and those who use a hidden spatial metric to replace the gauge fields. In this paper we identify a correspondence between the geometrical representations of the three schools. (...) Each school was mostly independently developed, does not compete with other schools, and attempts to isolate the gauge-invariant geometrical surface-like structures that are responsible for the resulting physics. By providing a mapping between geometrical representations, we hope physicists can now isolate representation-dependent physics from gauge-invariant physical results and share results between each school. We provide visual examples of the geometrical relationships between each school for \\) electric and magnetic fields. We highlight a first new result: in all three representations a static electric field has a hidden gauge-invariant time dependent surface that is underlying the vector potential. (shrink)

We establish a criterion for deciding whether a class of structures is the class of models of a geometric theory inside Grothendieck toposes; then we specialize this result to obtain a characterization of the infinitary first-order theories which are geometric in terms of their models in Grothendieck toposes, solving a problem posed by Ieke Moerdijk in 1989.

It is argued that quantum mechanics is fundamentally a geometric theory. This is illustrated by means of the connection and symplectic structures associated with the projective Hilbert space, using which the geometric phase can be understood. A prescription is given for obtaining the geometric phase from the motion of a time dependent invariant along a closed curve in a parameter space, which may be finite dimensional even for nonadiabatic cyclic evolutions in an infinite dimensional Hilbert space. (...) Using the natural metric on the projective space, we reformulate Schrödinger's equation for an isolated system. This metric is generalized to the space of all density matrices, and a physical meaning is proposed. (shrink)

The aim of this communication is to consider morphological processes in sociology, mainly through the study of the stability of forms of sociality. At the same time, it aims to study the regulation of constraints, related to an increasingly conflictual environment, through political organization. We use a specific theoretical framework: the catastrophe theory developed by René Thom in topology, further developed by Claude Bruter from a physics point of view, and reworked by Jacques Viret in biology. The idea is (...) to show the existence of archetypal processes organizing social forms. (shrink)

We construct the Extended Relativity Theory in Born-Clifford-Phase spaces with an upper R and lower length λ scales (infrared/ultraviolet cutoff). The invariance symmetry leads naturally to the real Clifford algebra Cl (2, 6, R) and complexified Clifford Cl C (4) algebra related to Twistors. A unified theory of all Noncommutative branes in Clifford-spaces is developed based on the Moyal-Yang star product deformation quantization whose deformation parameter involves the lower/upper scale $$(\hbar \lambda / R)$$. Previous work led us to (...) show from first principles why the observed value of the vacuum energy density (cosmological constant) is given by a geometric mean relationship $$\rho \sim L_{\rm Planck}^{-2}R^{-2} = L_{P}^{-4} (L_{\rm Planck} / R)^{2} \sim 10^{-122}M_{\rm Planck}^4$$, and can be obtained when the infrared scale R is set to be of the order of the present value of the Hubble radius. We proceed with an extensive review of Smith’s 8D model based on the Clifford algebra Cl (1, 7) that reproduces at low energies the physics of the Standard Model and Gravity, including the derivation of all the coupling constants, particle masses, mixing angles,....with high precision. Geometric actions are presented like the Clifford-Space extension of Maxwell’s Electrodynamics, and Brandt’s action related to the 8D spacetime tangent-bundle involving coordinates and velocities (Finsler geometries). Finally we outline the reasons why a Clifford-Space Geometric Unification of all forces is a very reasonable avenue to consider and propose an Einstein-Hilbert type action in Clifford-Phase spaces (associated with the 8D Phase space) as a Unified Field theory action candidate that should reproduce the physics of the Standard Model plus Gravity in the low energy limit. (shrink)

This study reconstructs the 1928–1929 correspondence between Reichenbach and Einstein about the latter’s latest distant parallelism-unified field theory, which attracted considerable public attention at the end of the 1920s. Reichenbach, who had recently become a Professor in Berlin, had the opportunity to discuss the theory with Einstein and therefore sent him a manuscript with some comments for feedback. The document has been preserved among Einstein’s papers. However, the subsequent correspondence took an unpleasant turn after Reichenbach published a popular (...) article on distant parallelism in a newspaper. Einstein directly wrote to the Editorial Board complaining about Reichenbach’s unfair use of off-the-record information. While Reichenbach’s reply demonstrates a sense of personal betrayal at Einstein’s behavior, his published writings of that period point to a sense of intellectual betrayal of their shared philosophical ideals. In his attempts to unify both electricity and gravitation, Einstein had abandoned the physical heuristic that guided him to the relativity theory, to embrace a more speculative, mathematical heuristic that he and Reichenbach had both previously condemned. A decade-long personal and intellectual friendship grew fainter and then never recovered. This study, relying on archival material, aims to revisit the Reichenbach–Einstein relationship in the late 1920s in light of Reichenbach’s neglected contributions to the epistemology of the unified field theory program. Thereby, it hopes to provide a richer account of Reichenbach’s philosophy of space and time. (shrink)

A Study of the History and Philosophy of Category Theory Jean-Pierre Marquis. to say that objects are dispensable in geometry. What is claimed is that the specific nature of the objects used is irrelevant. To use the terminology already ...

The Topos of Music is the upgraded and vastly deepened English extension of the seminal German Geometrie der Töne. It reflects the dramatic progress of mathematical music theory and its operationalization by information technology since the publication of Geometrie der Töne in 1990. The conceptual basis has been vastly generalized to topos-theoretic foundations, including a corresponding thoroughly geometric musical logic. The theoretical models and results now include topologies for rhythm, melody, and harmony, as well as a classification (...) class='Hi'>theory of musical objects that comprises the topos-theoretic concept framework. Classification also implies techniques of algebraic moduli theory. The classical models of modulation and counterpoint have been extended to exotic scales and counterpoint interval dichotomies. The probably most exciting new field of research deals with musical performance and its implementation on advanced object-oriented software environments. This subject not only uses extensively the existing mathematical music theory, it also opens the language to differential equations and tools of differential geometry, such as Lie derivatives. Mathematical performance theory is the key to inverse performance theory, an advanced new research field which deals with the calculation of varieties of parameters which give rise to a determined performance. This field uses techniques of algebraic geometry and statistics, approaches which have already produced significant results in the understanding of highest-ranked human performances. The book's formal language and models are currently being used by leading researchers in Europe and Northern America and have become a foundation of music software design. This is also testified by the book's nineteen collaborators and the included CD-ROM containing software and music examples. (shrink)

The commentary is in general agreement with Roger Shepard's view of evolutionary internalization of certain procedural memories, but advocates the use of Lie groups to express the invariances of motion and color perception involved. For categorization, the dialectical pair is suggested. [Barlow; Hecht; Kubovy & Epstein; Schwartz; Shepard; Todorovic].

We develop the theory of the nonadiabatic geometric phase, in both the Abelian and non-Abelian cases, in quaternionic Hilbert space.

Significantly, Berkeley, in his Essay Towards a New Theory of Vision, leveled a sustained attack on just this geometrical theory of distance perception. At first glance it may seem, as it did to Berkeley, that Descartes’ geometrical theory is produced by a simple error: namely, by the idea that a physiological optics provides an adequate description of the psychological processes of judging distances. In truth, this is the weakest of Berkeley’s objections to Descartes’ theory. Obviously we (...) do not see the angles and lines of convergence when we focus on a distant object, nor are we aware of having used any geometrical rules in judging distance. And Descartes never claimed this. (shrink)

Despite its age, quantum theory still suffers from serious conceptual difficulties. To create clarity, mathematical physicists have been attempting to formulate quantum theory geometrically and to find a rigorous method of quantization, but this has not resolved the problem. In this article we argue that a quantum theory recursing to quantization algorithms is necessarily incomplete. To provide an alternative approach, we show that the Schrödinger equation is a consequence of three partial differential equations governing the time evolution (...) of a given probability density. These equations, discovered by Madelung, naturally ground the Schrödinger theory in Newtonian mechanics and Kolmogorovian probability theory. A variety of far-reaching consequences for the projection postulate, the correspondence principle, the measurement problem, the uncertainty principle, and the modeling of particle creation and annihilation are immediate. We also give a speculative interpretation of the equations following Bohm, Vigier and Tsekov, by claiming that quantum mechanical behavior is possibly caused by gravitational background noise. (shrink)

Kant's distinction between analytic and synthetic method is connected to the so-called Aristotelian model of science and has to be interpreted in a (broad) directional sense. With the distinction between analytic and synthetic judgments the critical Kant did introduced a new way of using the terms 'analytic'-'synthetic', but one that still lies in line with their directional sense. A careful comparison of the conceptions of the critical Kant with ideas of the precritical Kant as expressed in _Ãœber die Deutlichkeit, leads (...) to the interpretation defended here of Kant's distinction between analytic and synthetic judgments within his philosophy of mathematics. (shrink)

We reformulate minimalist grammars as partial functions on term algebras for strings and trees. Using filler/role bindings and tensor product representations, we construct homomorphisms for these data structures into geometric vector spaces. We prove that the structure-building functions as well as simple processors for minimalist languages can be realized by piecewise linear operators in representation space. We also propose harmony, i.e. the distance of an intermediate processing step from the final well-formed state in representation space, as a measure of (...) processing complexity. Finally, we illustrate our findings by means of two particular arithmetic and fractal representations. (shrink)