Gordon Belot investigates the distinctive notion of geometric possibility that relationalists rely upon. He examines the prospects for adapting to the geometric case the standard philosophical accounts of the related notion of physical possibility, with particular emphasis on Humean, primitivist, and necessitarian accounts of physical and geometric possibility. This contribution to the debate concerning the nature of space will be of interest not only to philosophers and metaphysicians concerned with space and time, but also to those interested in laws of (...) nature, modal notions, or more general issues in ontology. (shrink)

When faced with uncertainty, consequentialists often advocate choosing the option with the largest expected utility, as calculated using the arithmetic average. I provide some arguments to suggest that instead, one should consider choosing the option with the largest geometric average of utility. I explore the difference between these two approaches in a variety of ethical dilemmas and argue that geometric averaging has some appealing properties as a normative decision-making tool.

At some point in the Incessu Animalium, Aristotle appeals to some geometrical claims in order to explain why animal progression necessarily involves the bending (of the limbs), and this appeal to geometrical claims might be taking as violating the recommendation to avoid “kind-crossing” (as found in the Posterior Analytic). But a very unclear notion of kind-crossing has been assumed in most debates. I will argue that kind-crossing in the Posterior Analytics does not mean any employment of premises from a discipline (...) other than that to which the explanandum belongs. Kind-crossing was meant to cover a specific sort of employment of premises from a different discipline, namely, the case in which premises from a discipline X are taken as the most important explanatory factor that delivers the fullest appropriate explanation of an explanandum within discipline Y. If this is so, the employment of geometrical premises in the Incessu Animalium is not an instance of the prohibited kind-crossing, but something that is in line with the theory of the Posterior Analytics. (shrink)

Evans’ 1968 ANALOGY system was the first computer model of analogy. This paper demonstrates that the structure mapping model of analogy, when combined with high‐level visual processing and qualitative representations, can solve the same kinds of geometric analogy problems as were solved by ANALOGY. Importantly, the bulk of the computations are not particular to the model of this task but are general purpose: We use our existing sketch understanding system, CogSketch, to compute visual structure that is used by our existing (...) analogical matcher, Structure Mapping Engine (SME). We show how SME can be used to facilitate high‐level visual matching, proposing a role for structural alignment in mental rotation. We show how second‐order analogies over differences computed via analogies between pictures provide a more elegant model of the geometric analogy task. We compare our model against human data on a set of problems, showing that the model aligns well with both the answers chosen by people and the reaction times required to choose the answers. (shrink)

The question of the existence of gravitational stress-energy in general relativity has exercised investigators in the field since the inception of the theory. Folklore has it that no adequate definition of a localized gravitational stress-energetic quantity can be given. Most arguments to that effect invoke one version or another of the Principle of Equivalence. I argue that not only are such arguments of necessity vague and hand-waving but, worse, are beside the point and do not address the heart of the (...) issue. Based on a novel analysis of what it may mean for one tensor to depend in the proper way on another, which, en passant, provides a precise characterization of the idea of a "geometric object", I prove that, under certain natural conditions, there can be no tensor whose interpretation could be that it represents gravitational stress-energy in general relativity. It follows that gravitational energy, such as it is in general relativity, is necessarily non-local. Along the way, I prove a result of some interest in own right about the structure of the associated jet bundles of the bundle of Lorentz metrics over spacetime. I conclude by showing that my results also imply that, under a few natural conditions, the Einstein field equation is the unique equation relating gravitational phenomena to spatiotemporal structure, and discuss how this relates to the non-localizability of gravitational stress-energy. (shrink)

It is a well-known fact that although the poset of open sets of a topological space is a Heyting algebra, its Heyting implication is not necessarily stable under the inverse image of continuous functions and hence is not a geometric concept. This leaves us wondering if there is any stable family of implications that can be safely called geometric. In this paper, we will first recall the abstract notion of implication as a binary modality introduced in Akbar Tabatabai (Implication via (...) spacetime. In: Mathematics, logic, and their philosophies: essays in honour of Mohammad Ardeshir, pp 161–216, 2021). Then, we will use a weaker version of categorical fibrations to define the geometricity of a category of pairs of spaces and implications over a given category of spaces. We will identify the greatest geometric category over the subcategories of open-irreducible (closed-irreducible) maps as a generalization of the usual injective open (closed) maps. Using this identification, we will then characterize all geometric categories over a given category $${\mathcal {S}}$$ S, provided that $${\mathcal {S}}$$ S has some basic closure properties. Specially, we will show that there is no non-trivial geometric category over the full category of spaces. Finally, as the implications we identified are also interesting in their own right, we will spend some time to investigate their algebraic properties. We will first use a Yoneda-type argument to provide a representation theorem, making the implications a part of an adjunction-style pair. Then, we will use this result to provide a Kripke-style representation for any arbitrary implication. (shrink)

Large portions of mathematics such as algebra and geometry can be formalized using first-order axiomatizations. In many cases it is even possible to use a very well-behaved class of first-order axioms, namely, what are called coherent or geometric implications. Such class of axioms can be translated to inference rules that can be added to a sequent calculus while preserving its structural properties. In this work, this fundamental result is extended to their infinitary generalizations as extensions of sequent calculi for both (...) classical and intuitionistic infinitary logic. As an application, a simple proof of the infinitary Barr’s theorem without the axioms of choice is shown. (shrink)

The purpose of this work is to address what notion of geometrical object and geometrical figure we have in different kinds of geometry: practical, pure, and applied. Also, we address the relation between geometrical objects and figures when this is possible, which is the case of pure and applied geometry. In practical geometry it turns out that there is no conception of geometrical object.

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)

Modern formal accounts of the constructive nature of elementary geometry do not aim to capture the intuitive or concrete character of geometrical construction. In line with the general abstract approach of modern axiomatics, nothing is presumed of the objects that a geometric construction produces. This study explores the possibility of a formal account of geometric construction where the basic geometric objects are understood from the outset to possess certain spatial properties. The discussion is centered around Eu , a recently developed (...) formal system of proof (presented in Mumma (Synthese 175:255–287, 2010 )) within which Euclid’s diagrammatic proofs can be represented. (shrink)

The paper argues that Roger Bacon adhered to a unique form of geometrical atomism, according to which elemental matter can be analysed into cubic (when at rest) or pyramidal (when in motion) portions. Bacon addressed geometrical atomism from the perspective of the Aristotelian review, using his interpretation of Aristotelian principles to render the theory plausible. He was mostly concerned with solving the contradiction between the angular shapes of the portions and the shape of the elemental spheres. His motivation for doing (...) so, I argue, was his conviction in the applicability of geometry onto natural philosophy, and his goal was to render matter capable of geometrical analysis. In this way, he was convinced, geometrical properties can be considered efficient causes of matter’s spatial formation and motion. (shrink)

The aim of this paper is to provide a logic-based conceptual analysis of the twin paradox (TwP) theorem within a first-order logic framework. A geometrical characterization of TwP and its variants is given. It is shown that TwP is not logically equivalent to the assumption of the slowing down of moving clocks, and the lack of TwP is not logically equivalent to the Newtonian assumption of absolute time. The logical connection between TwP and a symmetry axiom of special relativity is (...) also studied. (shrink)

There is little agreement about Aristotle’s philosophy of geometry, partly due to the textual evidence and partly part to disagreement over what constitutes a plausible view. I keep separate the questions ‘What is Aristotle’s philosophy of geometry?’ and ‘Is Aristotle right?’, and consider the textual evidence in the context of Greek geometrical practice, and show that, for Aristotle, plane geometry is about properties of certain sensible objects—specifically, dimensional continuity—and certain properties possessed by actual and potential compass-and-straightedge drawings qua quantitative and (...) continuous. For their part, the objects of stereometry are potential sensible three-dimensional figures qua quantitative and continuous. (shrink)

I draw together some recent literature on the debate between dynamical versus geometrical approaches to spacetime theories, in order to argue that there exist defensible versions of the geometr...

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)

We present a geometrical analysis of the principles that lay at the basis of Categorial Grammar and of the Lambek Calculus. In Abrusci it is shown that the basic properties known as Residuation laws can be characterized in the framework of Cyclic Multiplicative Linear Logic, a purely non-commutative fragment of Linear Logic. We present a summary of this result and, pursuing this line of investigation, we analyze a well-known set of categorial grammar laws: Monotonicity, Application, Expansion, Type-raising, Composition, Geach laws (...) and Switching laws. (shrink)

The Geometrical Method The Geometrical Method is the style of proof that was used in Euclid’s proofs in geometry, and that was used in philosophy in Spinoza’s proofs in his Ethics. The term appeared first in 16th century Europe when mathematics was on an upswing due to the new science of mechanics. … Continue reading Geometrical Method →.

In a recent paper, Takacs and Bourrat (Biol Philos 37:12, 2022) examine the use of geometric mean reproductive output as a measure of biological fitness. We welcome Takacs and Bourrat’s scrutiny of a fitness definition that some philosophers have adopted uncritically. We also welcome Takacs and Bourrat’s attempt to marry the philosophical literature on fitness with the biological literature on mathematical measures of fitness. However, some of the main claims made by Takacs and Bourrat are not correct, while others are (...) correct but not for the reasons they give. (shrink)

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

The object of this paper is to show the predominance of the influence of geometrical ideas in Aristotle's account of first principles in the Posterior Analytics— to show that his analysis of first principles is in its essentials an analysis of the first principles of geometry as he conceived them. My proof of this falls into two parts. I. A consideration of the parallel between Aristotle's and Euclid's account of first principles. II. A comparison between the general movement of thought (...) in the Aristotelian παγωγ and πδειξις and in the δινοια and νησις of the Platonic dialectic. (shrink)

Much of our information comes to us indirectly, in the form of conclusions others have drawn from evidence they gathered. When we hear these conclusions, how can we modify our own opinions so as to gain the benefit of their evidence? In this paper we study the method known as geometric pooling. We consider two arguments in its favour, raising several objections to one, and proposing an amendment to the other.

This article analyzes Galileo's mathematization of motion, focusing in particular on his use of geometrical diagrams. It argues that Galileo regarded his diagrams of acceleration not just as a complement to his mathematical demonstrations, but as a powerful heuristic tool. Galileo probably abandoned the wrong assumption of the proportionality between the degree of velocity and the space traversed in accelerated motion when he realized that it was impossible, on the basis of that hypothesis, to build a diagram of the law (...) of fall. The article also shows how Galileo's discussion of the paradoxes of infinity in the First Day of the Two New Sciences is meant to provide a visual solution to problems linked to the theory of acceleration presented in Day Three of the work. Finally, it explores the reasons why Cavalieri and Gassendi, although endorsing Galileo's law of free fall, replaced Galileo's diagrams of acceleration with alternative ones. (shrink)

L'A. établit la biographie de Jean le Géomètre en se référant à ses poèmes et à ses épigrammes. Ces poèmes à Basile le Nothos apportent des éclaircissements sur sa carrière comme poète lauréat et sur ses attachements politiques. Il a notamment été renvoyé du service militaire juste après 985 à cause de son attachement à la faction de Basile le Nothos. Ces poèmes à Psenas prouvent indirectement qu'il a vécu au monastère de Kyros vers la fin de sa vie.

Joannes Geometres gehörte als einer der führenden Rhetoriker und Dichter seiner Zeit und als Offizier in der byzantinischen Armee – ϰαί σοφίη θάλλων ϰαί τόλμη ϰϱαδίης – zur politischen und literarischen Elite Konstantinopels. Nicht lange vor dem Jahr 986 wurde er aus dem Militärdienst entlassen; wie er selbst zu verstehen gibt, lag seine Tätigkeit als Soldat und Dichter, die bei seinen Zeitgenossen Neid ausgelöst hätte, diesem Ereignis zugrunde; die wirkliche Ursache war aller Wahrscheinlichkeit nach jedoch seine Sympathie für Basileios Nothos, (...) der seit 976 de facto als Kaiser des Reiches aufgetreten war, 985 aber gestürzt wurde. Wie dem auch sei, Joannes verließ seine luxuriöse Wohnung im Mesomphalos-Bezirk der Metropole und zog sich als Mönch ins Kloster Τα Κύϱου zurück; möglicherweise bekam er infolgedessen seinen zweiten Namen: Kyriotes. (shrink)

Frege writes in Numbers and Arithmetic about kindergarten-numbers and “an a priori mode of cognition” that they may have “a geometrical source.” This resembles recent findings on arithmetical cognition. In my paper, I explore this resemblance between Gottlob Frege’s later position concerning the geometrical source of arithmetical knowledge, and some current positions in the literature dedicated to arithmetical cognition, especially that of Stanislas Dehaene. In my analysis, I shall try to mainly see to what extent (Frege’s) logicism is compatible with (...) (Dehaene’s) intuitionism. (shrink)

We give a self-contained geometric proof of the completeness theorem for the infinite-valued sentential calculus of Łukasiewicz.

Supra-Bayesianism is the Bayesian response to learning the opinions of others. Probability pooling constitutes an alternative response. One natural question is whether there are cases where probability pooling gives the supra-Bayesian result. This has been called the problem of Bayes-compatibility for pooling functions. It is known that in a common prior setting, under standard assumptions, linear pooling cannot be nontrivially Bayes-compatible. We show by contrast that geometric pooling can be nontrivially Bayes-compatible. Indeed, we show that, under certain assumptions, geometric and (...) Bayes-compatible pooling are equivalent. Granting supra-Bayesianism its usual normative status, one upshot of our study is thus that, in a certain class of epistemic contexts, geometric pooling enjoys a normative advantage over linear pooling as a social learning mechanism. We discuss the philosophical ramifications of this advantage, which we show to be robust to variations in our statement of the Bayes-compatibility problem. (shrink)

Most of what is told in this paper has been told before by the same author, in a number of publications of various kinds, but this is the first time that all this material has been brought together and treated in a uniform way. Smaller errors in the earlier publications are corrected here without comment. It has been known since the 1920s that quadratic equations played a prominent role in Babylonian mathematics. See, most recently, Høyrup (Hist Sci 34:1–32, 1996, and (...) Lengths, widths, surfaces: a portrait of old Babylonian algebra and its kin. Springer, New York, 2002). What has not been known, however, is how quadratic equations came to play that role, since it is difficult to think of any practical use for quadratic equations in the life and work of a Babylonian scribe. One goal of the present paper is to show how the need to find solutions to quadratic equations actually arose in Mesopotamia not later than in the second half of the third millennium BC, and probably before that in connection with certain geometric division of property problems. This issue was brought up for the first time in Friberg (Cuneiform Digit Lib J 2009:3, 2009). In this connection, it is argued that the tool used for the first exact solution of a quadratic equation was either a clever use of the “conjugate rule” or a “completion of the square,” but that both methods ultimately depend on a certain division of a square, the same in both cases. Another, closely related goal of the paper is to discuss briefly certain of the most impressive achievements of anonymous Babylonian mathematicians in the first half of the second millennium BC, namely recursive geometric algorithms for the solution of various problems related to division of figures, more specifically trapezoidal fields. For an earlier, comprehensive (but less accessible) treatment of these issues, see Friberg (Amazing traces of a Babylonian origin in Greek mathematics. WorldScientific, Singapore 2007b, Ch. 11 and App. 1). (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 object of this paper is to show the predominance of the influence of geometrical ideas in Aristotle's account of first principles in the Posterior Analytics— to show that his analysis of first principles is in its essentials an analysis of the first principles of geometry as he conceived them. My proof of this falls into two parts. I. A consideration of the parallel between Aristotle's and Euclid's account of first principles. II. A comparison between the general movement of thought (...) in the Aristotelian παγωγ and πδειξις and in the δινοια and νησις of the Platonic dialectic. (shrink)

A ternary relation [Formula: see text] between subsets of the big model of a complete first-order theory T is called an independence relation if it satisfies a certain set of axioms. The primary example is forking in a simple theory, but o-minimal theories are also known to have an interesting independence relation. Our approach in this paper is to treat independence relations as mathematical objects worth studying. The main application is a better understanding of thorn-forking, which turns out to be (...) closely related to modular pairs in the lattice of algebraically closed sets. (shrink)

Alasdair Urquhart’s work on models for relevant logics is distinctive in a number of different ways. One key theme, present in both his undecidability proof for the relevant logic R and his proof of the failure of interpolation in R, is the use of techniques from geometry. In this paper, inspired by Urquhart’s work, I explore ways to generate natural models of R+\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^+$$\end{document} from geometries, and different constraints that an accessibility relation (...) in such a model might satisfy. I end by showing that a set of natural conditions on an accessibility relation, motivated by geometric considerations, is jointly unsatisfiable. (shrink)

Quantum observables can be identified with vector fields on the sphere of normalized states. Consequently, the uncertainty relations for quantum observables become geometric statements. In the Letter the familiar uncertainty relation follows from the following stronger statement: Of all parallelograms with given sides the rectangle has the largest area.

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)

This study presents a new type of foundational model unifying quantum theory, relativity theory and gravitational physics, with a novel cosmology. It proposes a six-dimensional geometric manifold as the foundational ontology for our universe. The theoretical unification is simple and powerful, and there are a number of novel empirical predictions and theoretical reductions that are strikingly accurate. It subsequently addresses a variety of current anomalies in physics. It shows how incomplete modern physics is by giving an example of a theory (...) that is genuinely unified. In doing this, it radically alters the metaphysical interpretation of the nature of time, space and matter currently interpreted from modern physics. It also profoundly challenges materialist expectations about a naturalistic account our own existence. I contend here that there is sufficient evidence to support this theory as a leading paradigm for a unified foundational theory. (shrink)

This study analyses the predictions of the General Theory of Relativity (GTR) against a slightly modified version of the standard central mass solution (Schwarzschild solution). It is applied to central gravity in the solar system, the Pioneer spacecraft anomalies (which GTR fails to predict correctly), and planetary orbit distances and times, etc (where GTR is thought consistent.) -/- The modified gravity equation was motivated by a theory originally called ‘TFP’ (Time Flow Physics, 2004). This is now replaced by the ‘Geometric (...) Model’, 2014 [20], which retains the same theory of gravity. This analysis is offered partially as supporting detail for the claim in [20] that the theory is realistic in the solar system and explains the Pioneer anomalies. The overall conclusion is that the model can claim to explain the Pioneer anomalies, contingent on the analysis being independently verified and duplicated of course. -/- However the interest lies beyond testing this theory. To start with, it gives us a realistic scale on which gravity might vary from the accepted theory, remain consistent with most solar-scale astronomical observations. It is found here that the modified gravity equation would appear consistent with GTR for most phenomena, but it would retard the Pioneer spacecraft by about the observed amount (15 seconds or so at time). Hence it is a possible explanation of this anomaly, which as far as I know remains unexplained now for 20 years. -/- It also shows what many philosophers of science have emphasized: the pivotal role of counterfactual reasoning. By putting forward an exact alternative solution, and working through the full explanation, we discover a surprising ‘counterfactual paradox’: the modified theory slightly weakens GTR gravity – and yet the effect is to slow down the Pioneer trajectory, making it appear as if gravity is stronger than GTR. The inference that “there must be some tiny extra force…” (Musser, 1998 [1]) is wrong: there is a second option: “…or there may be a slightly weaker form of gravity than GTR.” . (shrink)

This review discusses the content of Mateusz Hohol’s new book Foundations of Geometric Cognition. Mathematical cognition has until now focused mainly on human numerical abilities. Hohol’s work tackles geometric cognition, an issue that has not been described in previous investigations into mathematical cognition. The main strength of the book lies in its critical analysis of a huge amount of results from empirical experiments. The author formulates his theoretical proposals very carefully, avoiding radical and one-sided solutions. He claims that human geometric (...) cognition is based mainly on two core systems, both being phylogenetically hardwired, namely the system of layout geometry and the system of object geometry. The interaction of these systems becomes amplified in the individual development of the mind, which, in turn, is supported by the use of language. The second part of the review contains the reviewer’s remarks concerning the history of geometry, experiments related to spatial representations, and the role of geometry in mathematical education. (shrink)

Consider the following well-known result from the theory of normed linear spaces ([2], p. 80, 4(b)): (g) the unit ball of the (continuous) dual of a normed linear space over the reals has an extreme point. The standard proof of (~) uses the axiom of choice (AG); thus the implication AC~(w) can be proved in set theory. In this paper we show that this implication can be reversed, so that (*) is actually eq7I2valent to the axiom of choice. From this (...) we derive various corollaries, for example: the conjunction of the Boolean prime ideal theorem and the Krein-Milman theorem implies the axiom of choice, and the Krein-Milman theorem is not derivable from the Boolean prime ideal theorem. (shrink)

How is knowledge of geometry developed and acquired? This central question in the philosophy of mathematics has received very different answers. Spelke and colleagues argue for a “core cognitivist”, nativist, view according to which geometric cognition is in an important way shaped by genetically determined abilities for shape recognition and orientation. Against the nativist position, Ferreirós and García-Pérez have argued for a “culturalist” account that takes geometric cognition to be fundamentally a culturally developed phenomenon. In this paper, I argue that (...) when understood as moderate versions supported by the state-of-the-art research, the nativist and culturalist views are in fact possible to reconcile. While Ferreirós and García-Pérez present the work of Spelke and colleagues as implying that geometric cognition is genetically determined, I argue that they fail to appreciate the role that Spelke and colleagues see for cultural factors. On this basis, I provide theoretical and terminological clarifications and show that moderate versions of the nativist and culturalist view are in fact consistent with each other. I then propose a unifying theoretical framework for future study that can integrate the two accounts in ontogeny by moving beyond the crude nature (nativism) vs. nurture (culturalism) dichotomy. (shrink)