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)

This book gives an analysis of Hertz's posthumously published Principles of Mechanics in its philosophical, physical and mathematical context. In a period of heated debates about the true foundation of physical sciences, Hertz's book was conceived and highly regarded as an original and rigorous foundation for a mechanistic research program. Insisting that a law-like account of nature would require hypothetical unobservables, Hertz viewed physical theories as images of the world rather than the true design behind the phenomena. This paved the (...) way for the modern conception of a model. Rejecting the concept of force as a coherent basic notion of physics he built his mechanics on hidden masses and rigid connections, and formulated it as a new differential geometric language.Recently many philosophers have studied Hertz's image theory and historians of physics have discussed his forceless mechanics. The present book shows how these aspects, as well as the hitherto overlooked mathematical aspects, form an integrated whole which is closely connected to the mechanistic world view of the time and which is a natural continuation of Hertz's earlier research on electromagnetism. Therefore it is also a case study of the strong interactions between philosophy, physics and mathematics. Moreover, the book presents an analysis of the genesis of many of the central elements of Hertz's mechanics based on his manuscripts and drafts. Hertz's research program was cut short by the advent of relativity theory but its image theory influenced many philosophers as well as some physicists and mathematicians and its geometric form had a lasting influence on advanced expositions of mechanics. (shrink)

Scientists use models to know the world. It i susually assumed that mathematicians doing pure mathematics do not. Mathematicians doing pure mathematics prove theorems about mathematical entities like sets, numbers, geometric figures, spaces, etc., they compute various functions and solve equations. In this paper, I want to exhibit models build by mathematicians to study the fundamental components of spaces and, more generally, of mathematical forms. I focus on one area of mathematics where models occupy a central role, namely homotopy (...) theory. I argue that mathematicians introduce genuine models and I offer a rough classification of these models. (shrink)

En esta obra monumental de Jesper Lützen sobre la mecánica de Heinrich Hertz encontramos una magnífica exposición de la vida y obra de este insigne físico germano. Un interesante relato de las influencias intelectuales que modelaron su pensamiento científico, culmina con un exhaustivo análisis de la reformulación de la mecánica clásica que Hertz planteó poco antes de su prematuro fallecimiento.

Philosophers unacquainted with the workings of actual scientific practice are prone to imagine that our best scientific theories deliver univocal representations of the physical world that we can use to calibrate our metaphysics and epistemology. Those few philosophers who are also scientists, like Heinrich Hertz, tend to contest this assumption. As Jesper Lützen relates in his scholarly and engaging book, Hertz's Principles of Mechanics contributed to a lively debate about the content of classical mechanics and what, if anything, this highly (...) successful scientific theory told us about the physical world. Lützen provides an in-depth reconstruction of how Hertz reacted to the foundational problems within the physics of his day and then used these problems to motivate his influential philosophical reflections on the nature of science and scientific theorizing. While giving a thorough portrait of how Hertz brought together science and philosophy, Lützen himself offers an excellent example of the benefits of combining philosophy, the history of science, and the history of mathematics. Lützen convincingly argues that Hertz's most influential innovation was in bringing geometrical concepts to bear on mechanics in a novel and productive fashion. In his preface he motivates his book by noting that most of the work on Hertz's philosophy of science fails to engage with what Hertz does after the Introduction of his Principles. The bulk of Lützen's book, then, concerns the physical and mathematical content of Hertz's image of mechanics. This places certain demands on the reader who is otherwise unacquainted with analytic mechanics, but is sure to repay those who are willing to work carefully through the more technical details of Lützen's reconstruction.1Hertz is well known for his conception of scientific theories as images [Bilder] and for the fact that his preferred image of mechanics takes only space, …. (shrink)

It is well-known that Newton’s theory of gravity, commonly held to describe a gravitational force, can be recast in a geometrical form: Newton- Cartan theory. It is less well-known that general relativity, an apparently geometrical theory, can be reformulated in such a way that it resembles a force theory; teleparallel gravity does just this. This raises questions. One of these concerns theoretical underdetermination. I argue that these theories do not, in fact, represent cases of worrying underdetermination. On close (...) examination, the alternative formulations are best interpreted as postulating the same spacetime ontology. In accepting this, we see that the ontological commitments of these theories cannot be directly deduced from their mathematical form. The geometrical nature of a gravitational theory is not a straightforward consequence of anything internal to that theory as a theory of gravity. Rather, it essentially relies on the rest of nature (the nongravitational interactions) conspiring to choose the appropriate set of inertial frames. (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)

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.

A connection viewed from the perspective of integration has the Bianchi identities as constraints. It is shown that the removal of these constraints admits a natural solution on manifolds endowed with a metric and teleparallelism. In the process, the equations of structure and the Bianchi identities take standard forms of field equations and conservation laws.The Levi-Civita (part of the) connection ends up as the potential for the gravity sector, where the source is geometric and tensorial and contains an explicit (...) gravitational contribution.Nonlinear field equations for the torsion result. In a “low-energy” approximation (linearity andlow energy-momentumtransfer), the postulate that only charge and velocities contribute to the source transforms these equations into the Maxwell system. Moreover, the affine geodesics become the equations of motion of special relativity with Lorentz force in the same approximation [J. G. Vargas,Found. Phys. 21, 379 (1991)]. The field equations for the torsion must then be viewed as applying to an electromagnetic/strong interaction.A classical unified theory thus arises where the underlying geometry confers their contrasting characters to Maxwell-Lorentz electrodynamics and to an Einstein's-like theory of gravity. The highly compact field equations must, however, be developed in phase-spacetime, since the connection is velocity-dependent, i.e., Finsler-like.Further opportunities for similarities with present-day physics are discussed: (a) teleparallelism allows for the formulation of the torsion sector of the theory as a flat space theory with concomitant point-dependent transformations; (b) spinors should replace Lorentz frames in their role as the subjects to which the connection refers; (c) the Dirac equation consistent with the frame bundle for a velocity-dependent metric with Lorentz signature generates a weak-like interaction in the torsion sector. (shrink)

In an accompanying paper (I), it is shown that the basic equations of the theory of Lorentzian connections with teleparallelism (TP) acquire standard forms of physical field equations upon removal of the constraints represented by the Bianchi identities. A classical physical theory results that supersedes general relativity and Maxwell-Lorentz electrodynamics if the connection is viewed as Finslerian. The theory also encompasses a short-range, strong, classical interaction. It has, however, an open end, since the source side of the torsion field (...) equation is not geometric.In this paper, Kaehler's partial geometrization of the Dirac equation is taken as a starting point for the development of fully geometric Dirac equations via the correspondence principle given in I. For this purpose, Kaehler's calculus (where the spinors are differential forms) is generalized so that it also applies when the torsion is not zero. The point is then made that the forms can take values in tangent Clifford algebras rather than in tensor algebras. The basic “Eigenschaft” of the Kaehler calculus also is examined from the physical perspective of dimensional analysis.Geometric Dirac equations of great structural simplicity are finally inferred from the standard Dirac equation by using the aforementioned correspondence principle. The realm of application of the Dirac theory is thus enriched in principle, though only at an abstract level at this point: the standard spinors, which are scalar-valued forms in the Kaehler version of that theory, become Clifford-valued. In addition, the geometrization of the Dirac equation implies a geometrization of the Dirac current. When this current is replaced in the field equations for the torsion, the theory of Paper I becomes fully geometric. (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)

Hobbes' philosophy of geometry was eccentric to contemporary movements and worsted in specific controversy. But he laid down stipulations defining geometry and its method which might provide a significant and workable alternative "meta-geometry". Some of these are isolated and reinterpreted here, especially those concerned with describing magnitudes, motions and quantities, and with his use of proportions. Rather than refutation of commentaries and historical rehash, the effort here is to isolate definitive texts and to offer a reinterpretation of their arguments in (...) succinct form showing their coherence and their interdependence with his other philosophic principles. (shrink)

Each relational structure X has an associated Gaifman graph, which endows X with the properties of a graph. If x is an element of X, let $B_n (x)$ be the ball of radius n around x. Suppose that X is infinite, connected and of bounded degree. A first-order sentence ϕ in the language of X is almost surely true (resp. a. s. false) for finite substructures of X if for every x ∈ X, the fraction of substructures of $B_n (x)$ (...) satisfying ϕ approaches 1 (resp. 0) as n approaches infinity. Suppose further that, for every finite substructure, X has a disjoint isomorphic substructure. Then every ϕ is a. s. true or a. s. false for finite substructures of X. This is one form of the geometric zero-one law. We formulate it also in a form that does not mention the ambient infinite structure. In addition, we investigate various questions related to the geometric zero-one law. (shrink)

In this paper, we focus on the development of geometric cognition. We argue that to understand how geometric cognition has been constituted, one must appreciate not only individual cognitive factors, such as phylogenetically ancient and ontogenetically early core cognitive systems, but also the social history of the spread and use of cognitive artifacts. In particular, we show that the development of Greek mathematics, enshrined in Euclid’s Elements, was driven by the use of two tightly intertwined cognitive artifacts: the use of (...) lettered diagrams; and the creation of linguistic formulae. Together, these artifacts formed the professional language of geometry. In this respect, the case of Greek geometry clearly shows that explanations of geometric reasoning have to go beyond the confines of methodological individualism to account for how the distributed practice of artifact use has stabilized over time. This practice, as we suggest, has also contributed heavily to the understanding of what mathematical proof is; classically, it has been assumed that proofs are not merely deductively correct but also remain invariant over various individuals sharing the same cognitive practice. Cognitive artifacts in Greek geometry constrained the repertoire of admissible inferential operations, which made these proofs inter-subjectively testable and compelling. By focusing on the cognitive operations on artifacts, we also stress that mental mechanisms that contribute to these operations are still poorly understood, in contrast to those mechanisms which drive symbolic logical inference. (shrink)

The paper has two related aims. One is to outline a proposal for a spatially motivated model of discourse, called Discourse Space Theory. The other is to use this framework to explore, in a relatively formalised way, the spatial basis of the conceptual complexities arising in the uses of the English progressive verb form. The theory utilises an abstract space in three dimensions. Verb stems are associated with Aktionsart schemas; aspectual forms like the progressive are viewed as operations on (...) these schemas. The proposal is that geometric concepts, specifically coordinate systems and vectors, can provide a motivated formalism for investigating conceptual structures generated by a human discourse processor. (shrink)

We define and investigate a family of local–global principles for fields involving both orderings and p-valuations. This family contains the PAC, PRC and PpC fields and exhausts the class of pseudo classically closed fields. We show that the fields satisfying such a local–global principle form an elementary class, admit diophantine definitions of holomorphy domains, and their orderings satisfy the strong approximation property.

The cognitive foundations of geometry have puzzled academics for a long time, and even today are mostly unknown to many scholars, including mathematical cognition researchers. -/- Foundations of Geometric Cognition shows that basic geometric skills are deeply hardwired in the visuospatial cognitive capacities of our brains, namely spatial navigation and object recognition. These capacities, shared with non-human animals and appearing in early stages of the human ontogeny, cannot, however, fully explain a uniquely human form of geometric cognition. In the book, (...) Hohol argues that Euclidean geometry would not be possible without the human capacity to create and use abstract concepts, demonstrating how language and diagrams provide cognitive scaffolding for abstract geometric thinking, within a context of a Euclidean system of thought. -/- Taking an interdisciplinary approach and drawing on research from diverse fields including psychology, cognitive science, and mathematics, this book is a must-read for cognitive psychologists and cognitive scientists of mathematics, alongside anyone interested in mathematical education or the philosophical and historical aspects of geometry. (shrink)

The Fermi energy at 0°K is evaluated for electrons confined to cubical and spherical rigid-walled boxes of equal volume, respectively, in the Sommerfeld approximation. Due primarily to large differences in single-particle degeneracies, Fermi energies compared for equal numbers of particles in these two configurations are found to be unequal. Approximate expressions of the Fermi energy in the large particle-number limit for the spherical case reveal that it agrees in form with the Fermi energy for the cubical configuration. The finite cylindrical (...) box is also examined and it is found that for fixed number of particles and fixed volume, the Fermi energy varies as the two characteristic lengths of the box are changed. Experimental corroboration of the theory is suggested through measurement of the work function for equal-volume micrometallic samples in the different geometries. (shrink)

The brain, rather than being homogeneous, displays an almost infinite topological genus, since it is punctured with a high number of “cavities”. We might think to the brain as a sponge equipped with countless, uniformly placed, holes. Here we show how these holes, termed topological vortexes, stand for nesting, non-concentric brain signal cycles resulting from the activity of inhibitory neurons. Such inhibitory spike activity is inversely correlated with its counterpart, i.e., the excitatory spike activity propagating throughout the whole brain tissue. (...) We illustrate how Pascal’s triangles and linear and nonlinear arithmetic octahedrons are capable of describing the three-dimensional random walks generated by the inhbitory/excitatory activity of the nervous tissue. In case of nonlinear 3D paths, the trajectories of excitatory spiking oscillations can be depicted as the operation of filling the numbers of octahedrons in the form of “islands of numbers”: this leads to excitatory neuronal assemblies, spaced out by empty areas of inhibitory neuronal assemblies. These mathematical procedures allow us to describe the topology of a brain of infinite genus, to represent inhibitory neurons in terms of Betti numbers and to highlight how spike diffusion in neural tissues is generated by the random activation of tiny groups of excitatory neurons. Our approach suggests the existence of a strong mathematical background subtending the intricate oscillatory activity of the central nervous system. (shrink)

The Bell inequalities of the metric form are introduced. The quantum-mechanical correlations of the particles with s=1/2 and photons are described using the relative measure of probability on the concave surfaces. The relation of the proposed scheme with the Bayes theorem about conditional information entropy and J. von Neumann's postulates is discussed.

Since Tversky argued that similarity judgments violate the three metric axioms, asymmetrical similarity judgments have been particularly challenging for standard, geometric models of similarity, such as multidimensional scaling. According to Tversky, asymmetrical similarity judgments are driven by differences in salience or extent of knowledge. However, the notion of salience has been difficult to operationalize, especially for perceptual stimuli for which there are no apparent differences in extent of knowledge. To investigate similarity judgments between perceptual stimuli, across three experiments, we collected (...) data where individuals would rate the similarity of a pair of temporally separated color patches. We identified several violations of symmetry in the empirical results, which the conventional multidimensional scaling model cannot readily capture. Pothos et al. proposed a quantum geometric model of similarity to account for Tversky's findings. In the present work, we extended this model to a more general framework that can be fit to similarity judgments. We fitted several variants of quantum and multidimensional scaling models to the behavioral data and concluded in favor of the quantum approach. Without further modifications of the model, the best-fit quantum model additionally predicted violations of the triangle inequality that we observed in the same data. Overall, by offering a different form of geometric representation, the quantum geometric framework of similarity provides a viable alternative to multidimensional scaling for modeling similarity judgments, while still allowing a convenient, spatial illustration of similarity. (shrink)

Components of the Ricci and Einstein tensors are expressed in terms of the Gaussian curvatures of elementary two-spaces formed by the orthogonal coordinate planes, and the results are applied to some standard metrics.

Luminance and color are strong and self-sufficient cues to pictorial depth in visual scenes and images. The present study investigates the conditions Under which luminance or color either strengthens or overrides geometric depth cues. We investigated how luminance contrasts associated with color contrast interact with relative height in the visual field, partial occlusion, and interposition in determining the probability that a given figure is perceived as ‘‘nearer’’ than another. Latencies of ‘‘near’’ responses were analyzed to test for effects of attentional (...) selection. Figures in a pair were supported by luminance contrast or isoluminant color contrast and combined with one of the three geometric cues. The results of Experiment 1 show that luminance contrasts associated with hue, when it does not interact with other hues, produces the same effects as achromatic luminance contrasts: The probability of‘‘near’’ increases with luminance contrast while the latencies for ‘‘near’’ responses decrease. Partial occlusion is found to be a strong enough pictorial cue to support a weaker red luminance contrast. Interposition cues lose out against cues of spatial position and partial occlusion. The results of Experiment 2, with isoluminant displays of varying color contrast, reveal that red color contrast on a light background supported by any of the three geometric cues wins over green or white supported by any of the three geometric cues. On a dark background, red color contrast supported by the interposition cue loses out against green or white color contrast supported by partial occlusion. These findings reveal that color is not an independent depth cue, but is strongly influenced by luminance contrast and stimulus geometry. Systematically shorter response latencies for stronger ‘‘near’’ percepts demonstrate that selective visual attention reliably detects the most likely depth cue combination in a given configuration. (shrink)

This essay offers an in-depth reading of the geometrical illustration of Ethics IIP8S and shows how it can be used to explicate the whole architecture of Spinoza’s system by specifying the way in which all the key structural features of his basic ontology find their analogies in the example. The illustration can also throw light on Spinoza’s ontology of finite things and inform us about what is at stake when we form universal ideas. In general, my reading of IIP8S (...) thus elucidates what it means, for Spinoza, to think geometrically or to consider geometry as a model: fundamentally, geometricity is not a form of exposition but the way in which reality itself is structured. (shrink)

This paper develops the conjecture that the electromagnetic interaction is the manifestation of the torsion Ωμ of spacetime. This conjecture is made feasible by the natural separation of the connection ω μ v into “gravitational” and “electromagnetic” parts α μ v and β μ v , respectively, related to the metric and to the torsion. When α μ v is neglected in front of β μ v , the affine geodesics are shown to become the equations of motion of charged (...) particles with Lorentz force, for an appropriate choice of Ωμ. Since β μ v contains the factor q/m, neutral particles do not see the torsional part of the connection and behave as if Ωμ were zero, i.e., as in Einstein's theory of gravity (the same effect is obviously obtained for charged particles when β μ v 《 α μ v ).In addition to the factor q/m, the velocity of the test particle appears in Ωμ. This indicates that the appropriate context for this problem is to be found in velocity-dependent connections. The velocities are now coordinates and become the actual velocities of the test particles only in the system of equations that one solves for obtaining the affine geodesics in connections of this type.When written with differential forms, the combination of Maxwell's equations and of the pertinent form of the torsion suggests geometric field equations for electrodynamics. As for the gravitational part of the connection, it can be made to obey equations similar in form to the Einstein field equations. A unified geometric theory of electrodynamics and gravitation spontaneously emerges. The present state of the theory does not yet permit us to ascertain whether the right-hand side of the fully geometric, gravitational field equations corresponds to the energy-momentum tensor. (shrink)

In contrast to symbolic or associationist representations, I advocate a third form of representing information that employs geometrical structures. I argue that this form is appropriate for modelling concept learning. By using the geometrical structures of what I call conceptual spaces, I define properties and concepts. A learning model that shows how properties and concepts can be learned in a simple but naturalistic way is then presented. I also discuss the advantages of the geometric approach over the symbolic (...) and associationist traditions. (shrink)

In contrast to symbolic or associationist representations, I advocate a third form of representing information that employs geometrical structures. I argue that this form is appropriate for modelling concept learning. By using the geometrical structures of what I call conceptual spaces, I define properties and concepts. A learning model that shows how properties and concepts can be learned in a simple but naturalistic way is then presented. I also discuss the advantages of the geometric approach over the symbolic (...) and associationist traditions. (shrink)

Context: Technology has not only changed the way we teach mathematical concepts but also the nature of knowledge, and thus what is possible to learn. While geometric transformations are recognized to be foundational to the formation of students’ geometric conceptions, little research has focused on how these notions can be introduced in elementary schooling. Problem: This project addressed the need for development of students’ reasoning about and with geometric transformations in elementary school. We investigated the nature of students’ understandings of (...) translations, rotations, scaling, and stretching in two dimensions in the context of use of the software application Graphs ’n Glyphs. More specifically, we explored the question “What is the nature of elementary students’ reasoning of geometric transformations when instruction exploits the technological tool Graphs ’n Glyphs?” Method: Using a design research perspective, we present the conduct of a teaching experiment with one pair of fourth-graders, studying translation and rotation. The project investigated how and to what extent activity using Graphs ’n Glyphs can elicit students’ reasoning about geometric transformations, and explored the constraints and affordances of Graphs ’n Glyphs for thinking-in-change about geometric transformations. Results: The students proved adept using the software with carefully designed tasks to explore the behavior of two-dimensional shapes, distinguish among transformations, and develop predictions. In relation to varied conditions of transformations, they formed generalizations about the way a shape behaves, including the use of referent points in predicting outcomes of translations, and recognizing the role of the center of rotation. Implications: The generalizations that the students developed are foundational for developing an understanding of the properties of transformations in the later years of schooling. Dynamic technological approaches to geometry may prove as valuable to elementary students’ understanding of geometry as it is for older students. Constructivist content: This study contributes to ongoing constructivism/constructionism conversations by concentrating on the transformation of ideas when engaging learners in activity through particular contexts and tools. Key Words: Geometry, transformations, constructionist technologies. (shrink)

Pessimistic meta-induction is a powerful argument against scientific realism, so one of the major roles for advocates of scientific realism will be trying their best to give a sustained response to this argument. On the other hand, it is also alleged that structural realism is the most plausible form of scientific realism; therefore, the plausibility of scientific realism is threatened unless one is given the explicit form of a structural continuity and minimal structural preservation for all our current theories. This (...) essay aims to present what we call expansive structures, which are the structures that can be reconstructed from geometrized Newtonian gravitation and are capable of expanding into general relativity, explicitly. In this way, pessimistic meta-induction will be undermined. (shrink)

In the Critique of Pure Reason, Kant defends the mathematically deterministic world of physics by arguing that its essential features arise necessarily from innate forms of intuition and rules of understanding through combinatory acts of imagination. Knowing is active: it constructs the unity of nature by combining appearances in certain mandatory ways. What is mandated is that sensible awareness provide objects that conform to the structure of ostensive judgment: “This (S) is P.” -/- Sensibility alone provides no such objects, (...) so the imagination compensates by combining passing point-data into “pure” referents for the subject-position, predicate-position, and copula. The result is a cognitive encounter with a generic physical object whose characteristics—magnitude, substance, property, quality, and causality—are abstracted as the Kantian categories. Each characteristic is a product of “sensible synthesis” that has been “determined” by a “function of unity” in judgment. -/- Understanding the possibility of such determination by judgment is the chief difficulty for any rehabilitative reconstruction of Kant’s theory. I will show that Kant conceives of figurative synthesis as an act of line-drawing, and of the functions of unity as rules for attending to this act. The subject-position refers to substance, identified as the objective time-continuum; the predicate-position, to quality, identified as the continuum of property values (constituting the second-order type named by the predicate concept). The upshot is that both positions refer to continuous magnitudes, related so that one (time-value) is the condition of the other (property-value). -/- Kant’s theory of physically constructive grammar is thus equivalent to the analytic-geometric formalism at work in the practice of mathematical physics, which schematizes time and state as lines related by an algebraic formula. Kant theorizes the subject–predicate relation in ostensive judgment as an algebraic time–state function. When aimed towards sensibility, “S is P” functions as the algebraic relation “t → ƒ(t).”. (shrink)

Density matrices for mixed state qubits, parametrized by the Bloch vector in the open unit ball of the Euclidean 3-space, are well known in quantum computation theory. We bring the seemingly structureless set of all these density matrices under the umbrella of gyrovector spaces, where the Bloch vector is treated as a hyperbolic vector, called a gyrovector. As such, this article catalizes and supports interdisciplinary research spreading from mathematical physics to algebra and geometry. Gyrovector spaces are mathematical objects that form (...) the setting for the hyperbolic geometry of Bolyai and Lobachevski just as vector spaces form the setting for Euclidean geometry. It is thus interesting, in geometric quantum computation, to realize that the set of all qubit density matrices has rich structure with strong link to hyperbolic geometry. Concrete examples for the use of the gyro-structure to derive old and new, interesting identities for qubit density matrices are presented. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:61. HUME'S GEOMETRIC "OBJECTS" Arithmetic and algebra allow of precision and certainty. The science of geometry is not likewise a perfect and infallible science. At any rate, this is Hume's teaching in the Treatise. When two numbers are so combin ' d, as that the one has always an unite answering to every unite of the other, we pronounce them equal; and 'tis for want of such a standard (...) of equality in extension, that geometry can scarce be esteem'd a perfect and infallible science. 1 The ideas of, say, equality and right line shade into· inequality and curve. It must not be supposed, however, that the vagueness of these ideas renders all judgments uncertain and fallible. 'Tie evident, that the eye, or rather the mind is often able at one view to determine the proportions of bodies....Such judgments are not only common, but in many cases certain and infallible. (T47) Nevertheless, geometry is a fallible science because its essential ideas are vague. Vagueness, due to lack of boundaries between ideas, is in the ideas themselves. For this reason, 'tis impossible to produce any definition of them, which will fix the precise boundaries betwixt them. (T49) (Yet, some forty pages earlier Hume argued at length that the mind cannot form any notion of quantity or quality without forming a precise notion of the degrees of each [T18]) As far as the Treatise goes, geometry is the science of measurement and as such it must allow for error. Even if precise geometric standards could be had, they would not make the propositions of geometry certain. Thus, we might precisely define a right line by a rule of order of indivisible points. But geometry, construed as the science of measurement, would not be perfected. Nor, if it were (the standard), is there any such firmness in our senses or imagination, as to determine when such an order is violated or preserv ' d. The original standard of a right line is in reality nothing but a certain general appearance. (T52) 62. In the Enquiries, Hume continues to hold that notions essential to geometry, for example, equality, right line, and so on, are sensibles. But they are no longer generic appearances. They are determinate. The great advantage of the mathematical sciences above the moral consists in this, that the ideas of the former, being sensible, are always clear and determinate... even when no definition is employed, the object itself may be presented to the senses, and by that means be steadily and clearly apprehended. 2 In addition, geometry is no longer merely the science of measurement. The truths of Euclid, Hume holds, would remain truths even if there were no figures in nature. Though there never were a circle or triangle in nature, the truths demonstrated by Euclid would for ever retain their certainty and evidence. (EHU25) Professor Zabeeh, in his commentary on Hume, holds that Hume did not mean to imply that Euclid could dispense with the observation of figures. However, whenever possible Hume should be taken at his word: observation of figures is not a truth condition for propositions of geometry. A distinction must be drawn between discovery conditions and what Hume calls the "truth or evidence" of a geometric proposition. We may suppose that observation of figures is a discovery condition. But it is hardly a truth condition. The certainty, as opposed to the discovery, of geometric propositions does not depend on the existence in nature of any figure. I am mainly concerned, however, with Professor Zabeeh' s account of how, according to Hume, geometric propositions retain their certainty and evidence in the face of recalcitrant experience. Noting that Hume does not "fully explain," he gives the real reason for Hume's belief in the apodeictic certainty of mathematical truths. He appears to assume we never allow such truths to be controverted by empirical evidence. That is to say, if perchance we find, by measurement, that the sum of the angles of a Euclidean triangle 63. does not equal 180 degrees, either we say that we measured wrongly or we say that the triangle we have been measuring is not Euclidean.4 This formulation of Hume's reason avoids... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:61. HUME'S GEOMETRIC "OBJECTS" Arithmetic and algebra allow of precision and certainty. The science of geometry is not likewise a perfect and infallible science. At any rate, this is Hume's teaching in the Treatise. When two numbers are so combin ' d, as that the one has always an unite answering to every unite of the other, we pronounce them equal; and 'tis for want of such a standard (...) of equality in extension, that geometry can scarce be esteem'd a perfect and infallible science. 1 The ideas of, say, equality and right line shade into· inequality and curve. It must not be supposed, however, that the vagueness of these ideas renders all judgments uncertain and fallible. 'Tie evident, that the eye, or rather the mind is often able at one view to determine the proportions of bodies....Such judgments are not only common, but in many cases certain and infallible. (T47) Nevertheless, geometry is a fallible science because its essential ideas are vague. Vagueness, due to lack of boundaries between ideas, is in the ideas themselves. For this reason, 'tis impossible to produce any definition of them, which will fix the precise boundaries betwixt them. (T49) (Yet, some forty pages earlier Hume argued at length that the mind cannot form any notion of quantity or quality without forming a precise notion of the degrees of each [T18]) As far as the Treatise goes, geometry is the science of measurement and as such it must allow for error. Even if precise geometric standards could be had, they would not make the propositions of geometry certain. Thus, we might precisely define a right line by a rule of order of indivisible points. But geometry, construed as the science of measurement, would not be perfected. Nor, if it were (the standard), is there any such firmness in our senses or imagination, as to determine when such an order is violated or preserv ' d. The original standard of a right line is in reality nothing but a certain general appearance. (T52) 62. In the Enquiries, Hume continues to hold that notions essential to geometry, for example, equality, right line, and so on, are sensibles. But they are no longer generic appearances. They are determinate. The great advantage of the mathematical sciences above the moral consists in this, that the ideas of the former, being sensible, are always clear and determinate... even when no definition is employed, the object itself may be presented to the senses, and by that means be steadily and clearly apprehended. 2 In addition, geometry is no longer merely the science of measurement. The truths of Euclid, Hume holds, would remain truths even if there were no figures in nature. Though there never were a circle or triangle in nature, the truths demonstrated by Euclid would for ever retain their certainty and evidence. (EHU25) Professor Zabeeh, in his commentary on Hume, holds that Hume did not mean to imply that Euclid could dispense with the observation of figures. However, whenever possible Hume should be taken at his word: observation of figures is not a truth condition for propositions of geometry. A distinction must be drawn between discovery conditions and what Hume calls the "truth or evidence" of a geometric proposition. We may suppose that observation of figures is a discovery condition. But it is hardly a truth condition. The certainty, as opposed to the discovery, of geometric propositions does not depend on the existence in nature of any figure. I am mainly concerned, however, with Professor Zabeeh' s account of how, according to Hume, geometric propositions retain their certainty and evidence in the face of recalcitrant experience. Noting that Hume does not "fully explain," he gives the real reason for Hume's belief in the apodeictic certainty of mathematical truths. He appears to assume we never allow such truths to be controverted by empirical evidence. That is to say, if perchance we find, by measurement, that the sum of the angles of a Euclidean triangle 63. does not equal 180 degrees, either we say that we measured wrongly or we say that the triangle we have been measuring is not Euclidean.4 This formulation of Hume's reason avoids... (shrink)

Packing optimization problems have a wide spectrum of real-word applications. One of the applications of the problems is problem of placement of containers with spent nuclear fuel on the storage platform. The solution of the problem can be reduced to the solution of the problem of finding the optimal placement of a given set of congruent circles into a multiconnected domain taking into account technological restrictions. A mathematical model of the prob-lem is constructed and its peculiarities are considered. Our approach (...) is based on the mathematical modelling of rela-tions between geometric objects by means of phi-function technique. That allowed us to reduce the problem solving to nonlinear programming. Today, an important scientific problem is the problem of creating conditions for safe storage of spent nuclear fuel. In the process of creating any dry spent nuclear fuel storage, the following main stages can be identified: site selection, storage design, construction, operation and decommissioning. A full check for compliance of the repository and its elements with these standards usually begins at the design stage. At the stage of site selection, the inspection for compliance with safety standards is carried out only in terms of the impact of the repository as a whole on the environment. This approach cannot be considered fully appropriate, because, taking into account, for example, all the climatic features of the future storage site, it is possible to adjust the thermal storage regimes of spent nuclear fuel. Similarly, it can be considered necessary to analyze and select the shape of the storage site in order to accommo-date the maximum possible number of spent fuel containers. Such a choice, obviously, should be made taking into ac-count the norms of nuclear, radiation and thermal safety, as well as in compliance with technological limitations. The problem of finding the optimal placement of containers taking into account the given technological limitations can be formulated in the form of the problem of optimization of geometric design. Therefore, the purpose of the study is to build a mathematical model of the problem and study its characteristics to develop effective methods of solution. The proposed approach is based on mathematical modeling of relations between geometric objects using the method of phi-functions. This allowed to reduce the solution of the problem to the problem of nonlinear programming. (shrink)

This article offers an analysis of the cognitive role of diagrammatic movements in the theater. Based on the recognition of a theatrical work’s inherent ability to provide new insights concerning reality, the article concentrates on the way by which actors’ movements on stage create spatial diagrams that can provide new insights into the spectators’ world. The suggested model of theater’s epistemology results from a combination of Charles S. Peirce’s doctrine of diagrammatic reasoning and David Lewis’s theoretical account of the truth (...) value of counterfactual conditionals. I argue that in several theatrical works – in particular those whose central image is dominated by movements – the relation of what Lewis names “comparative overall similarity” between the fictional and the actual world is based on diagrammatic homology. The cognitive process involved in deciphering them is, hence, based on diagrammatic reasoning. The main emphasis of the analysis is on the previously unnoticed but important cognitive role of observation in the theater: the idea that observation takes an active role in the reasoning process that enables the spectators to form new knowledge about their actual world. Samuel Beckett’s plays Quad and Come and Go serve here as case studies. (shrink)

We present the unification of Riemann–Cartan–Weyl (RCW) space-time geometries and random generalized Brownian motions. These are metric compatible connections (albeit the metric can be trivially euclidean) which have a propagating trace-torsion 1-form, whose metric conjugate describes the average motion interaction term. Thus, the universality of torsion fields is proved through the universality of Brownian motions. We extend this approach to give a random symplectic theory on phase-space. We present as a case study of this approach, the invariant Navier–Stokes equations for (...) viscous fluids, and the kinematic dynamo equation of magnetohydrodynamics. We give analytical random representations for these equations. We discuss briefly the relation between them and the Reynolds approach to turbulence. We discuss the role of the Cartan classical development method and the random extension of it as the method to generate these generalized Brownian motions, as well as the key to construct finite-dimensional almost everywhere smooth approximations of the random representations of these equations, the random symplectic theory, and the random Poincaré–Cartan invariants associated to it. We discuss the role of autoparallels of the RCW connections as providing polygonal smooth almost everywhere realizations of the random representations. (shrink)

We study a Weyl geometric scalar tensor theory of gravity with scalar field \ and scale invariant “aquadratic” kinematical Lagrange density. The Weylian scale connection in Einstein gauge induces an additional acceleration. In the weak field, static, low velocity limit it acquires the deep MOND form of Milgrom/Bekenstein’s gravity. The energy momentum of \ leads to another add on to Newton acceleration. Both additional accelerations together imply a MOND-ian phenomenology of the model. It has unusual transition functions \, \nu _w\). (...) They imply higher phantom energy density than in the case of the more common MOND models with transition functions \, \, \mu _2\). A considerable part of it is due to the scalar field’s energy density which, in our model, gives a scale and generally covariant expression for the self-energy of the gravitational field. (shrink)

The cognitive basis of geometry is still poorly understood, even the ‘simpler’ issue of what kind of representation of geometric objects we have. In this work, we set forward a tentative model of the neural representation of geometric objects for the case of the pure geometry of Euclid. To arrive at a coherent model, we found it necessary to consider earlier forms of geometry. We start by developing models of the neural representation of the geometric figures of ancient Greek (...) practical geometry. Then, we propose a related model for the earliest form of pure geometry – that of Hippocrates of Chios. Finally, we develop the model of the neural representation of the geometric objects of Euclidean geometry. The models are based on the hub-and-spoke theory. In our view, the existence of specific models opens the possibility of addressing the relationship between geometric figures and geometric objects, in a novel way, in terms of their neural representation. (shrink)

Dans le cadre de sa théorie de la production des figures géométriques par projection des raisons innées, Proclus est le premier à assimiler la phantasia (imagination) au nous pathetikos (intellect passif) évoqué furtivement par Aristote en De Anima III,5. Tout en maintenant cette assimilation, Ammonius (ré)intègrera la notion d’ epinoia dans le processus d’abstraction, statut de la chose abstraite du monde sensible. L’introduction de cette notion provoquera une certaine confusion chez les commentateurs ultérieurs qui, tout en gardant l’assimilation de Proclus, (...) n’hésiteront pas à faire de la phantasia la faculté intellective permettant d’abstraire les formes de la matière en étroite collaboration avec l’intellect actif, de séparer les accidents d’un substrat et de composer des êtres et formes sans substrat. (shrink)

Sen's classic social choice result supposedly demonstrates a conflict between Pareto and even minimal forms of liberalism. By providing the first direct mathematical proof of this seminal result, we underscore a significantly different interpretation: rather than conflicts among rights, Sen's result occurs because the liberalism assumption negates the assumption that voters have transitive preferences. This explanation enriches interpretations of Sen's conclusion by including radically new kinds of societal conflicts, it suggests ways to sidestep these difficulties, and it explains earlier (...) approaches to avoid the difficulties. (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)

Since the nineteenth century, the problem of the arrow of time has been traditionally analyzed in terms of entropy by relating the direction past-to-future to the gradient of the entropy function of the universe. In this paper, we reject this traditional perspective and argue for a global and non-entropic approach to the problem, according to which the arrow of time can be defined in terms of the geometrical properties of spacetime. In particular, we show how the global non-entropic arrow (...) can be transferred to the local level, where it takes the form of a non-spacelike local energy flow that provides the criterion for breaking the symmetry resulting from time-reversal invariant local laws. (shrink)

According to a grand narrative that long ago ceased to be told, there was a seventeenth century Scientific Revolution, during which a few heroes conquered nature thanks to mathematics. This grand narrative began with the exhibition of quantitative laws that these heroes, Galileo and Newton for example, had disclosed: the law of falling bodies, according to which the speed of a falling body is proportional to the square of the time that has elapsed since the beginning of its fall; the (...) law of gravitation, according to which two bodies are attracted to one another in proportion to the sum of their masses and in inverse proportion to the square of the distance separating them -- according to his own preferences, each narrator added one or two quantitative laws of this kind. The essential feature was not so much the examples that were chosen, but, rather, the more or less explicit theses that accompanied them. First, mathematization would be taken as the criterion for distinguishing between a qualitative Aristotelian philosophy and the new quantitative physics. Secondly, mathematization was founded on the metaphysical conviction that the world was created pondere, numero et mensura, or that the ultimate components of natural things are triangles, circles, and other geometrical objects. This metaphysical conviction had two immediate consequences: that all the phenomena of nature can be in principle submitted to mathematics and that mathematical language is transparent; it is the language of nature itself and has simply to be picked up at the surface of phenomena. Finally, it goes without saying that, from a social point of view, the evolution of the sciences was apprehended through what has been aptly called the "relay runner model," according to which science progresses as a result of individual discoveries. Grand narratives such as this are perhaps simply fictions doomed to ruin as soon as they are clearly expressed. In any case, the very assumption on which this grand narrative relies can be brought into question: even in the canonical domain of mechanics, the relevant epistemological units crucial to understanding the dynamics of the Scientific Revolution are perhaps not a few laws of motion, but a complex set of problems embodied in mundane objects. Moreover, each of the theses just mentioned was actually challenged during the long period of historiographical reappraisal, out of which we have probably not yet stepped. Against the sharp distinction between a qualitative Aristotelian philosophy and the new quantitative physics, numerous studies insist that Rome wasn't built in a day, so to speak. Since Antiquity, there have always been mixed sciences; the emergence of pre-classical mechanics depends on both medieval treatises and the practical challenges met by Renaissance engineers. It is indeed true that, for Aristotle, mathematics merely captures the superficial properties of things, but the Aristotelianisms were many during the Renaissance and the Early Modern period, with some of them being compatible with the introduction of mathematics in natural philosophy. In addition, the gap between the alleged program of mathematizing nature and its effective realization was underlined as most natural phenomena actually escaped mathematization; at best they were enrolled in what Thomas Kuhn began to rehabilitate under the appellation of the "Baconian sciences," i.e., empirical investigations aiming at establishing isolated facts, without relating them to any overarching theory. Hence, mathematization of nature cannot pretend to capture a historical fact: at most, it expresses an indeterminate task for generations to come. On top of these first two considerations, and against the thesis of the neutrality of the mathematical language, it was urged that mathematics is not "only a language" and that, exactly as other symbolic means or cognitive tools, it has its own constraints. For example, it has been thoroughly explained that the Euclidean theory of proportions both guides and frustrates the Galilean analysis of motion; its shortages were particularly clear with respect to the expression of continuity, which is crucial in the case of motion. Consequently, when calculus was invented and applied to the analysis of motion, it was not a transposition that left things as they stood. Even more clearly than in the case of a translation from one natural language to another, the shift from one symbolic language to another entails that certain possibilities are opened while others are closed. The cognitive constraints imposed by established mathematical theories, as seen in the theory of proportions or calculus, were not the only ones to be studied in relation to mathematization. Certain schemes dependent on the grammar of natural languages, e.g., the scheme of contrariety, or certain symbolic means of representation, e.g. geometrical diagrams and numerical tables, were also subject to such scrutiny. Lastly, it was insisted that, even if we concede the existence of scientific geniuses, mathematics is largely produced by intellectual communities and embedded within social practices. More attention was consequently paid to the forms of communication in given mathematical networks, or to the teaching of the discipline in, for example, Jesuit colleges and universities. The set of mathematical practices specific to specialized craftsmen, highly-qualified experts and engineers began to be studied in its own right. All these reflections may have helped us change our perspectives on the question of mathematization. It seems, however, that they were instead set aside, both because of a general distrust towards sweeping narratives that are always subject to the suspicion that they overlook the unyielding complexity of real history, and because of a shift in our interests. The more obscure and idiosyncratic they are, an alchemist, a patron of the sciences or a lunatic collector is nowadays honored in journals of the history of sciences. As for the general issues involved in the question of mathematization, they are rejected as obsolete, or reserved for specialized journals in the history of mathematics. Consequently, before presenting the essays of this fascicle, I would like to say a few words in favor of a renewed study of the forms of mathematization in the history of the early sciences. (shrink)