We present an elementary system of axioms for the geometry of Minkowski spacetime. It strikes a balance between a simple and streamlined set of axioms and the attempt to give a direct formalization in first-order logic of the standard account of Minkowski spacetime in [Maudlin 2012] and [Malament, unpublished]. It is intended for future use in the formalization of physical theories in Minkowski spacetime. The choice of primitives is in the spirit of [Tarski 1959]: a predicate of betwenness and (...) a four place predicate to compare the square of the relativistic intervals. Minkowski spacetime is described as a four dimensional ‘vector space’ that can be decomposed everywhere into a spacelike hyperplane - which obeys the Euclidean axioms in [Tarski and Givant, 1999] - and an orthogonal timelike line. The length of other ‘vectors’ are calculated according to Pythagora’s theorem. We conclude with a Representation Theorem relating models of our system that satisfy second order continuity to the mathematical structure called ‘Minkowski spacetime’ in physics textbooks. (shrink)

Euclidean geometry, statics, and classical mechanics, being in some sense the simplest physical theories based on a full-fledged mathematical apparatus, are well suited to a historico-philosophical analysis of the way in which a physical theory differs from a purely mathematical theory. Through a series of examples including Newton’s Principia and later forms of mechanics, we will identify the interpretive substructure that connects the mathematical apparatus of the theory to the world of experience. This substructure includes models of (...) experiments, models of measurement, and modular connections with partial theories. It evolves during the life of a theory as physicists learn how to apply it in various contexts. It should nevertheless be regarded as an integral part of a genuine physical theory since the theory would otherwise degenerate into pure mathematics. (shrink)

Most commentators agree that (part of what) Kant means by characterizing the propositions of geometry as synthetic is that they are not true merely in virtue of logic or meaning, and that this characterization has something to do with his views about the construction of geometrical concepts in intuition. Many commentators regard construction in intuition as an essential part of geometrical proofs on Kant’s view. On this reading, the propositions of geometry are synthetic because the geometrical (...) theorems cannot be proved in purely conceptual or logical terms. Other commentators see the main role of pure intuition and the figures constructed in pure intuition in that they provide a model for Euclidean geometry. On views of this kind, the propositions of geometry are synthetic because the geometrical axioms are substantive truths about one of our forms of intuition. On the interpretation proposed in this essay, what Kant means by claiming that the propositions of geometry are synthetic is not only that the Euclidean axioms and theorems cannot be reduced to tautologies or logical truths, but also that they apply to really possible objects. Construction in intuition plays no essential role in (what we now call) ‘pure’ geometry on Kant’s view. But the fact that the concepts of geometry can be constructed in intuition is of crucial importance in the context of Kant’s transcendental philosophy of geometry, because, among other things, it allows him to explain how Euclidean geometry is possible as an a priori synthetic science in the sense just indicated. (shrink)

79. This study of the interaction between mechanics and differential geometry does not pretend to be exhaustive. In particular, there is probably more to be said about the mathematical side of the history from Darboux to Ricci and Levi Civita and beyond. Statistical mechanics may also be of interest and there is definitely more to be said about Hertz (I plan to continue in this direction) and about Poincaré's geometric and topological reasonings for example about the three (...) body problem [Poincaré 1890] (cf. also [Poincaré 1993], [Andersson 1994] and [Barrow-Green 1994]). Moreover, it would be interesting to find out how the 19th century ideas discussed here influenced the developments in the 20th century. Einstein himself is a hotly debated case. Yet, despite these shortcommings, I hope that this paper has shown that the interactions between mechanics and differential geometry is not a 20th century invention. Klein's view (see my Introduction) that Riemannian geometry grew out of mechanics, more specifically the principle of least action, cannot be maintained. On the other hand, when Riemannian geometry became known around 1870 it was immediately used in mechanics by Lipschitz. He began a continued tradition in this field, which had several elements in common with the new view of mechanics conceived by the physicists and explicitly carried out by Hertz. Before 1870 we found only scattered interactions between differential geometry and mechanics and only direct ones for systems of two or three degrees of freedom. For more degrees of freedom the geometrical ideas were in some interesting cases taken over by analogy, but these analogies did not lead to formal introduction of geometries of more than three dimensions. (shrink)

The contribution describes some aspects related to the representation of special curves; recalling mechanisms created specifically for the design of these curves, which have particular characteristics. Through the construction of a simple apparatus, consisting of two pendulums—which oscillate at the same time- it is possible to graphically reproduce Lissajous’ experiments on the commuting vibrations of the diapasons. This equipment was first built by Samuel Charles Tisley (London 1829-Unknown), under the name of harmonographer. The contribution aslo illustrates the essential characteristics of (...) the harmonograph—born as a means of analysing vibrations—but which, by its principle belongs to mechanics, for its applications to acoustic science and geometry for the ability to draw “harmonious” curves. (shrink)

The Conventionality of Simultaneity espoused by Reichenbach, Grunbaum, Edwards, and Winnie is herein extended to mechanics and electrodynamics. The extension is seen to be a special case of a generally covariant formulation of physics, and therefore consistent with Special Relativity as the geometry of flat space-time. Many of the quantities of classical physics, such as mass, charge density, and force, are found to be synchronization dependent in this formulation and, therefore, in Reichenbach's terminology, "metrogenic." The relationship of these (...) quantities to 4-vectors and their physical significance is discussed. (shrink)

Recently, Bechtel and Abrahamsen have argued that mathematical models study the dynamics of mechanisms by recomposing the components and their operations into an appropriately organized system. We will study this claim through the practice of combinational modeling in circadian clock research. In combinational modeling, experiments on model organisms and mathematical/computational models are combined with a new type of model—a synthetic model. We argue that the strategy of recomposition is more complicated than what Bechtel and Abrahamsen indicate. Moreover, synthetic (...) modeling as a kind of material recomposition strategy also points beyond the mechanistic paradigm. (shrink)

The purpose of this paper is to explore the significance of Kant's claim that geometry is synthetic. I begin by outlining certain criticisms of the Kantian position, criticisms selected with an eye to their popularity, rather than their importance in the abstract. I am no expert on the textual exegesis of Kant, and serious Kantian scholars would not, perhaps, be much troubled by the criticisms I propose to discuss: indeed, they might properly maintain that some of these problems (...) were, for them, resolved long ago. But within the prevailing tradition of English-speaking philosophy certain sorts of criticism of Kant do seem to have sunk deep into our attitudes. It is with these criticisms that I hope to settle accounts. This small aim leads to the more difficult one of trying to understand what Kant means when he says that geometry is synthetic: about this larger task I will make only some preliminary remarks. (shrink)

The question is discussed how noise gained a functional meaning in the context of biology. According to the common view, noise is considered a disturbance or perturbation. I analyze how this understanding changed and what kind of developments during the last 10 years contributed to the emergence of a new understanding of noise. Results gained during a field study in a synthetic biology laboratory show that the emergence of this new research discipline—its highly interdisciplinary character, its new technologies and (...) novel modeling strategies—provided essential impulses, which led to the observed change in the concept of noise. The laboratory study is combined with a historical analysis, which explores the general question as to how concepts travel between disciplines and, specifically, how noise was transferred from engineering and physics into biology. In the past, scientists, such as Lotka and Goodwin, tried to introduce a statistical mechanics into biology and discussed the problem of “unfitting” concepts. The change in the meaning of the concept can be interpreted as a way of making it fit to the novel context in which it is applied. (shrink)

The paper summarizes, generalizes and reveals the physical content of a recently proposed framework that unifies the standard formalisms of special relativity and quantum mechanics. The framework is based on Hilbert spaces H of functions of four space-time variables x,t, furnished with an additional indefinite inner product invariant under Poincaré transformations. The indefinite metric is responsible for breaking the symmetry between space and time variables and for selecting a family of Hilbert subspaces that are preserved under Galileo transformations. Within (...) these subspaces the usual quantum mechanics with Shrödinger evolution and t as the evolution parameter is derived. Simultaneously, the Minkowski space-time is embedded into H as a set of point-localized states, Poincaré transformations obtain unique extensions to H and the embedding commutes with Poincaré transformations. Furthermore, the framework accommodates arbitrary pseudo-Riemannian space-times furnished with the action of the diffeomorphism group. (shrink)

In the Introduction to the Critique of Pure Reason Kant formulates what he calls “the general problem of pure reason,” namely, “How are synthetic a priori judgements possible?” Kant explains that this general problem involves two more specific questions about particular a priori sciences: “How is pure mathematics possible?” and “How is pure natural science possible?”— where the first concerns, above all, the possibility of Euclidean geometry, and the second concerns the possibility of fundamental laws of Newtonian (...) class='Hi'>mechanics such as conservation of mass, inertia, and the equality of action and reaction. In answering these questions Kant develops what he calls a “transcendental” philosophical theory of our human cognitive faculties — in terms of “forms of sensible intuition” and “pure concepts” or “categories” of rational thought. These cognitive structures are taken to describe a fixed and absolutely universal rationality — common to all human beings at all times and in all places — and thereby to explain the sense in which mathematical natural science represents a model or exemplar of such rationality. (shrink)

A new variational method, the principle of least radix economy, is formulated. The mathematical and physical relevance of the radix economy, also called digit capacity, is established, showing how physical laws can be derived from this concept in a unified way. The principle reinterprets and generalizes the principle of least action yielding two classes of physical solutions: least action paths and quantum wavefunctions. A new physical foundation of the Hilbert space of quantum mechanics is then accomplished and it is (...) used to derive the Schrödinger and Dirac equations and the breaking of the commutativity of spacetime geometry. The formulation provides an explanation of how determinism and random statistical behavior coexist in spacetime and a framework is developed that allows dynamical processes to be formulated in terms of chains of digits. These methods lead to a new foundation for Lorentz transformations and special relativity. The Parker-Rhodes combinatorial hierarchy is encompassed within our approach and this leads to an estimate of the interaction strength of the electromagnetic and gravitational forces that agrees with the experimental values to an error of less than one thousandth. Finally, it is shown how the principle of least-radix economy naturally gives rise to Boltzmann’s principle of classical statistical thermodynamics. A new expression for a general nonequilibrium entropy is proposed satisfying the Second Law of Thermodynamics. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:66. ' HUME ON SPACE AND GEOMETRY * : A REJOINDER TO FLEW ' S 'ONE RESERVATION '.? Flew' s reservation about my assertion that the Enquiry contains no significant revision of the Treatise conception of geometry as a body of necessary and synthetic knowledge, appears to involve two charges. Firstly, he alleges that I dismiss but offer no substantial argument against his own view that (...) the Enquiry restores pure geometry "to its place alongside the other two elements of the trinity ". Secondly, he thinks that I have committed a serious sin of omission in failing to take into consideration a certain passage in the Enquiry (page 31, section 27) which, in his opinion, constitutes "a quite decisive reason" for supposing that Hume abandoned the Treatise position, in that it contains an account of applied mathematics, a subject on which the Treatise is silent. To the charge of omission I plead guilty, and I shall presently seek to remedy this defect and to state why I do not share Flew' s view of the significance of the said passage. To the former charge I am not so ready to plead guilty, and I shall counter-charge that Flew has failed not only to do justice to my proposed reading of Enquiry page 25, section 20, but also to provide clear and convincing support for his own. One difficulty encountered in answering Flew lies in understanding whether or not his claim about the status of geometry as a pure science in the Enquiry is put forward independently of his interpretation of E31. As originally presented in Hume's Philosophy of Belief this appears to be the case, and if so, on what evidence does it rest? 2 In his book, Flew' s statement about Hume replacing pure geometry alongside arithmetic and algebra follows directly upon a paragraph in which he comments that Hume's references to geometrical propositions at E25 signify "an important advance from the position of the Treatise". For whereas the status of perfect precision and certainty was 67. there withheld from geometry (T71), Hume now speaks of the certainty and evidence of the propositions of Euclidean geometry, and declares such propositions to be discoverable by the mere operation of thought, without dependence on what is anywhere existent in the universe. (E25) Now, I argued at some length in my paper (pp. 21-24) that Hume is prepared to grant scientific status to geometry in the Enquiry because he has come to regard its certainty as that proper to a mathematics of space. He has abandoned the Treatise contrast between an ideal or theoretical standard of equality, viewed therein as necessary to geometry considered as a science proper, and the merely sensible standard of equality upon which geometry as practised depends. It should not be forgotten that Hume recognises two kinds of certainty where "Relations of Ideas" are concerned, intuitive and demonstrative. Since he fails to provide any detail of the place of each of these in mathematics, the door is left open for speculation along the lines followed in pp. 28-29 of my paper. For there is nothing in?25 which implies that the certainty of all geometrical propositions is of the same kind, or that the process of geometrical demonstration is of the same logical nature as demonstrative reasoning in arithmetic and algebra. In his comment on my position Flew makes no reference to my proposed reason why Hume classes geometry as a science in the Enquiry.· Yet, even if this reclassification does mark an advance of a kind, the fact remains that E25 does not furnish incontrovertible evidence for that advance which Flew thinks he finds there. Nor, therefore, is it conclusive against my assertion that Hume in both works regards the propositions of geometry as necessary and synthetic truths. Given that Flew does not wish to deny the inclusion of a synthetic element even in the Enquiry account of mathematics (see H. P. B. pp. 64-66), I find it difficult to see why he supposes that the logical status of the propositions of geometry is different in the Enquiry from that in the Treatise, since in the latter too they are held 68. to be truths which depend... (shrink)

This is an in-depth study of J.G. Fichte’s philosophy of mathematics and theory of geometry. It investigates both the external formal and internal cognitive parallels between the axioms, intuitions and constructions of geometry and the scientific methodology of the Fichtean system of philosophy. In contrast to “ordinary” Euclidean geometry, in his Erlanger Logik of 1805 Fichte posits a model of an “ursprüngliche” or original geometry – that is to say, a synthetic and constructivistic conception grounded (...) in ideal archetypal elements that are grasped through geometrical or intelligible intuition. -/- Accordingly, this study classifies Fichte’s philosophy of mathematics as a whole as a species of mathematical Platonism or neo-Platonism, and concludes that the Wissenschaftslehre itself may be read as an attempt at a new philosophical mathesis, or “mathesis of the mind.” -/- “This work testifies to the author's exact and extensive knowledge of the Fichtean texts, as well as of the philosophical, scientific and historical contexts. Wood has opened up completely new paths for Fichte research, and examines with clarity and precision a domain that up to now has hardly been researched.” Professor Dr. Marco Ivaldo -/- “This study, written in a language distinguished by its limpidity and precision, and constantly supported by a close reading of the Fichtean texts and secondary literature, furnishes highly detailed and convincing demonstrations. In directly confronting the difficult historical relationship between the Wissenschaftslehre and mathematics, the author has broken new ground that is at once stimulating, decidedly innovative, and elegantly audacious.” Professor Dr. Emmanuel Cattin. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:62. 'HUME ON SPACE AND GEOMETRY': ONE RESERVATION In so far as Rosemary Newman disagrees with any2 thing said in my 'Infinite Divisibility in Hume's Treatise ' - which seems, happily, not to be so very far - I hasten to report that I am now persuaded. Thus my suggested reason for refusing to allow that an impression of blackness could give rise to the idea of extension (...) was not, after all, 3 Hume's. And no doubt his conviction that whatever ^s capable of being divided in_ infinitum, must consist of an infinite number of parts (T26) was in part sustained by "the atomistic type of phenomenalism advanced in the first Part 4 of Book I of the Treatise". For to any objection that this nowadays so plainly unacceptable conviction had been accepted as obviously correct by such formidable predecessors as Berkeley and Hobbes, it could be replied that they too had their commitments to their own brands of atomism. In her further comments upon "Hume's phenomenalist atomism" Newman notices, as "a very curious claim", his statement that when - like the true philosopher he was! - he locked at a table:- My senses convey to me only the impressions of colour 'd points, dispos 'd in a certain manner (T34). So I was sorry that she seems to have missed the bold priority claim which, referring to the same passage, I made on Hume's behalf in that article: "Anyone familiar with the theories and the paintings of Seurat might also mischievously characterize the Hume of this Section as 'the Father of Pointillisme' "! But at the end of her paper, although I think only at the end, Newman begins to go very wrong indeed. She says: "Turning to the Enquiry there is little to indicate any shift in Hume's opinion of geometry as a body of synthetic but necessary knowledge." After remarking that Hume does not repeat "any of his earlier arguments" against infinite divisibility "nor those in support of a system of mathematical 63. points", she notices that, in the paragraph characterizing propositions stating only the relations of ideas, geometry "is classed as a science alongside arithmetic and algebra (E25) ".7 Next she quotes the end of that paragraph, and at once comments: "Flew thinks that in the Enquiry Hume is to be seen as 'restoring pure geometry to its place alongside Q the other two elements in the trinity',..." Newman does not, so far as I can see, offer any reason for dismissing this suggestion - apart, that is, from asserting that the paragraph from which she has just quoted "can be interpreted so as to remove any apparent inconsistency with the claim that the impossibility of conceiving the negation of a geometrical axiom has the same ground in the Enquiry as in the Treatise, namely, the invariant character of sensible space." She just tells us that "Where geometry is concerned I follow Atkinson's opinion in finding no reason to suppose that 9 Hume abandoned the Treatise stand." This I find, to say the least, surprising since the very sentence of Hume's Philosophy of Belief from which she quoted my contrary opinion does provide what I still consider to be a quite decisive reason. Since she does not discuss either my reason or the Hume passage to which I was referring, I can here do nothing else or better than repeat myself; adding only and by the way that Professor Atkinson's paper 'Hume on Mathematics' was published a year before that book:Besides restoring pure geometry to its place alongside the other two elements of the trinity, the Inquiry also sketches an account of applied mathematics. This is something the earlier book did not provide at all. 'Every part of mixed mathematics proceeds on the supposition that certain laws are established by nature in her operations, and abstract reasonings are employed, either to assist experience in the discovery of these laws or to determine their influence in particular instances... Thus it is a law of motion, discovered by experience, that the moment or force of any body in motion is in 64. the compound ratio or proportion of its solid contents and its velocity, and, consequently... (shrink)

Charge, like mass in Newtonian mechanics, is an irreducible element of electromagnetic theory that must be introduced ab initio. Its origin is not properly a part of the theory. Fields are then defined in terms of forces on either masses—in the case of Newtonian mechanics, or charges in the case of electromagnetism. General Relativity changed our way of thinking about the gravitational field by replacing the concept of a force field with the curvature of space-time. Mass, however, remained (...) an irreducible element. It is shown here that the Reissner-Nordström solution to the Einstein field equations tells us that charge, like mass, has a unique space-time signature. (shrink)

Using as a starting point recent and apparently incompatible conclusions by Saunders and Knox, I revisit the question of the correct spacetime setting for Newtonian physics. I argue that understood correctly, these two versions of Newtonian physics make the same claims both about the background geometry required to define the theory, and about the inertial structure of the theory. In doing so I illustrate and explore in detail the view—espoused by Knox, and also by Brown —that inertial structure is (...) defined by the dynamics governing subsystems of a larger system. This clarifies some interesting features of Newtonian physics, notably the distinction between using the theory to model subsystems of a larger whole and using it to model complete universes, and the scale-relativity of spacetime structure. _1_ Introduction _2_ Newtonian Mechanics and Galilean Spacetime _3_ Vector Relationism and Maxwellian Spacetime _4_ Recovering the Galilei Group: Dynamics of Subsystems _5_ Knox on Inertial Structure _6_ Connections on Maxwellian Spacetime _7_ Knox on Newtonian Gravity _8_ Vector Relationism and Newton–Cartan Theory _9_ Inertial Structure in Newton–Cartan Gravity _10_ Reconciling Knox and Saunders _11_ Conclusions. (shrink)

In this transdisciplinary article which stems from philosophical considerations (that depart from phenomenology—after Merleau-Ponty, Heidegger and Rosen—and Hegelian dialectics), we develop a conception based on topological (the Moebius surface and the Klein bottle) and geometrical considerations (based on torsion and non-orientability of manifolds), and multivalued logics which we develop into a unified world conception that surmounts the Cartesian cut and Aristotelian logic. The role of torsion appears in a self-referential construction of space and time, which will be further related to (...) the commutator of the True and False operators of matrix logic, still with a quantum superposed state related to a Moebius surface, and as the physical field at the basis of Spencer-Brown’s primitive distinction in the protologic of the calculus of distinction. In this setting, paradox, self-reference, depth, time and space, higher-order non-dual logic, perception, spin and a time operator, the Klein bottle, hypernumbers due to Musès which include non-trivial square roots of ±1 and in particular non-trivial nilpotents, quantum field operators, the transformation of cognition to spin for two-state quantum systems, are found to be keenly interwoven in a world conception compatible with the philosophical approach taken for basis of this article. The Klein bottle is found not only to be the topological in-formation for self-reference and paradox whose logical counterpart in the calculus of indications are the paradoxical imaginary time waves, but also a classical-quantum transformer (Hadamard’s gate in quantum computation) which is indispensable to be able to obtain a complete multivalued logical system, and still to generate the matrix extension of classical connective Boolean logic. We further find that the multivalued logic that stems from considering the paradoxical equation in the calculus of distinctions, and in particular, the imaginary solutions to this equation, generates the matrix logic which supersedes the classical logic of connectives and which has for particular subtheories fuzzy and quantum logics. Thus, from a primitive distinction in the vacuum plane and the axioms of the calculus of distinction, we can derive by incorporating paradox, the world conception succinctly described above. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:62. 'HUME ON SPACE AND GEOMETRY': ONE RESERVATION In so far as Rosemary Newman disagrees with any2 thing said in my 'Infinite Divisibility in Hume's Treatise ' - which seems, happily, not to be so very far - I hasten to report that I am now persuaded. Thus my suggested reason for refusing to allow that an impression of blackness could give rise to the idea of extension (...) was not, after all, 3 Hume's. And no doubt his conviction that whatever ^s capable of being divided in_ infinitum, must consist of an infinite number of parts (T26) was in part sustained by "the atomistic type of phenomenalism advanced in the first Part 4 of Book I of the Treatise". For to any objection that this nowadays so plainly unacceptable conviction had been accepted as obviously correct by such formidable predecessors as Berkeley and Hobbes, it could be replied that they too had their commitments to their own brands of atomism. In her further comments upon "Hume's phenomenalist atomism" Newman notices, as "a very curious claim", his statement that when - like the true philosopher he was! - he locked at a table:- My senses convey to me only the impressions of colour 'd points, dispos 'd in a certain manner (T34). So I was sorry that she seems to have missed the bold priority claim which, referring to the same passage, I made on Hume's behalf in that article: "Anyone familiar with the theories and the paintings of Seurat might also mischievously characterize the Hume of this Section as 'the Father of Pointillisme' "! But at the end of her paper, although I think only at the end, Newman begins to go very wrong indeed. She says: "Turning to the Enquiry there is little to indicate any shift in Hume's opinion of geometry as a body of synthetic but necessary knowledge." After remarking that Hume does not repeat "any of his earlier arguments" against infinite divisibility "nor those in support of a system of mathematical 63. points", she notices that, in the paragraph characterizing propositions stating only the relations of ideas, geometry "is classed as a science alongside arithmetic and algebra (E25) ".7 Next she quotes the end of that paragraph, and at once comments: "Flew thinks that in the Enquiry Hume is to be seen as 'restoring pure geometry to its place alongside Q the other two elements in the trinity',..." Newman does not, so far as I can see, offer any reason for dismissing this suggestion - apart, that is, from asserting that the paragraph from which she has just quoted "can be interpreted so as to remove any apparent inconsistency with the claim that the impossibility of conceiving the negation of a geometrical axiom has the same ground in the Enquiry as in the Treatise, namely, the invariant character of sensible space." She just tells us that "Where geometry is concerned I follow Atkinson's opinion in finding no reason to suppose that 9 Hume abandoned the Treatise stand." This I find, to say the least, surprising since the very sentence of Hume's Philosophy of Belief from which she quoted my contrary opinion does provide what I still consider to be a quite decisive reason. Since she does not discuss either my reason or the Hume passage to which I was referring, I can here do nothing else or better than repeat myself; adding only and by the way that Professor Atkinson's paper 'Hume on Mathematics' was published a year before that book:Besides restoring pure geometry to its place alongside the other two elements of the trinity, the Inquiry also sketches an account of applied mathematics. This is something the earlier book did not provide at all. 'Every part of mixed mathematics proceeds on the supposition that certain laws are established by nature in her operations, and abstract reasonings are employed, either to assist experience in the discovery of these laws or to determine their influence in particular instances... Thus it is a law of motion, discovered by experience, that the moment or force of any body in motion is in 64. the compound ratio or proportion of its solid contents and its velocity, and, consequently... (shrink)

In their publications during the 1820s, Jakob Steiner and Julius Plücker frequently derived the same results while claiming different methods. This paper focuses on two such results in order to compare their approaches to constructing figures, calculating with symbols, and representing geometric magnitudes. Underlying the repetitive display of similar problems and theorems, Steiner and Plücker redefined synthetic and analytic methods in distinctly personal practices.

in Stochastic Processes, Physics and Geometry II, edited by S. Albeverio, U. Cattaneo, D. Merlini (World Scientific, Singapore, 1995) pp. 221-232.

In this paper I draw a clear and precise distinction between pure or mathematical geometry and applied or physical geometry. I make this distinction inside two contexts : one, the reflections about foundations of geometry due to the source of non-Euclidean geometry and, other one, the discussions by the logical positivists on general structure of empirical theories. In particular, such and like propose the logical positivists, I defend that pure geometry is a formal system that (...) doesn’t tell us anything about physical reality, whereas applied geometry is a theory about physical space that comes of to interpret a mathematical geometry. I support this thesis in some Einstein ’s ideas about the general theory of relativity. Finally, even though this picture of structure of physical geometry is relatively appropriate, I insist on the thesis of that main mistake of logical empiricist philosophy would be in making of this picture the dominant character of structure of scientific theories in general. (shrink)

En este artículo se traza una distinción clara y precisa entre geometría pura y geometría aplicada dentro del marco de las reflexiones sobre los fundamentos de la geometría promovidas por la aparición de geometrías no-euclidianas y en el contexto de las discusiones mantenidas por los empiristas lógicos sobre la estructura general de las teorías empíricas. De manera más particular, se defiende, tal y como proponen los empiristas lógicos, que una geometría pura es un sistema formal que no nos dice nada (...) sobre la realidad física, mientras que una geometría aplicada es una teoría empírica, una teoría física (una teoría del espacio) que resulta de dotar de significado a una geometría matemática. Para sostener esta tesis se recurre, en parte, a ciertas ideas expresadas por Einstein sobre la teoría general de la relatividad. Por último, si bien parece que esta imagen de la estructura de una geometría física es relativamente adecuada, se insiste en la tesis de que el error principal de los empiristas lógicos estaría entonces en pretender hacer de ella el carácter predominante de la estructura de las teorías científicas en general. (shrink)

We discuss the mathematical structures that underlie quantum probabilities. More specifically, we explore possible connections between logic, geometry and probability theory. We propose an interpretation that generalizes the method developed by R. T. Cox to the quantum logical approach to physical theories. We stress the relevance of developing a geometrical interpretation of quantum mechanics.

A widespread and influential characterization of synthetic biology emphasizes that synthetic biology is the application of engineering principles to living systems. Furthermore, there is a strong tendency to express the engineering approach to organisms in terms of what seems to be an ontological claim: organisms are machines. In the paper I investigate the ontological and heuristic significance of the machine analogy in synthetic biology. I argue that the use of the machine analogy and the aim of producing (...) rationally designed organisms does not necessarily imply a commitment to mechanical biology. The ideal of applying engineering principles to biology is best understood as expressing recognition of the machine-unlikeness of natural organisms and the limits of human cognition. The paper suggests an interpretation of the identification of organisms with machines in synthetic biology according to which it expresses a strategy for representing, understanding, and constructing living systems that are more machine-like than natural organisms. (shrink)

The aim of this paper is to argue that there existed relevant interactions between mechanics and geometry during the first half of the nineteenth century, following a path that goes from Gauss to Riemann through Jacobi. By presenting a rich historical context we hope to throw light on the philosophical change of epistemological categories applied by these authors to the fundamental principles of both disciplines. We intend to show that presentations of the changing status of the principles of (...) mechanics as a mere epiphenomenon of the emergence of non-Euclidean geometries are inaccurate, that the relations between the two disciplines were richer than what is usually considered in the literature. These claims will be based on historical and philosophical arguments, starting from the fact that disciplinary boundaries at the time were not rigid as we are used today. It is widely known that the main figures we target worked in different areas, which is a first piece of evidence for the plausibility of our main thesis. (shrink)

The first edition of Newton’s Principia opens with a “Praefatio ad Lectorem.” The first lines of this Preface have received scant attention from historians, even though they contain the very first words addressed to the reader of one of the greatest classics of science. Instead, it is the second half of the Preface that historians have often referred to in connection with their treatments of Newton’s scientific methodology. Roughly in the middle of the Preface, Newton defines the purpose of philosophy (...) as a twofold task: to investigate the forces of the phenomena of nature and, once having established the forces, to demonstrate the remaining phenomena. Newton then introduces a distinction between the first two books, which deal with general propositions, and the third, where the propositions are applied to particular instances of celestial phenomena. From these phenomena, Newton claims, the force of gravity, thanks to which bodies tend toward the Sun, is derived. By assuming this force in mathematical propositions, other motions are deduced: the motions of the planets, the comets, the moon, and the sea. Newton then declares his hope that phenomena relative to small particles will also be explained, as per the celestial ones, thanks to the understanding of attractive forces hitherto unknown to philosophers. The Preface ends with a well-deserved laudatio of Edmond Halley and an apologetic passage concerning certain imperfections in the presentation of advanced subjects, such as the motions of the moon. It is these lines to which historians have given most attention in their various studies. (shrink)

In 1960–1962, E. Kähler enriched É. Cartan’s exterior calculus, making it suitable for quantum mechanics (QM) and not only classical physics. His “Kähler-Dirac” (KD) equation reproduces the fine structure of the hydrogen atom. Its positron solutions correspond to the same sign of the energy as electrons.The Cartan-Kähler view of some basic concepts of differential geometry is presented, as it explains why the components of Kähler’s tensor-valued differential forms have three series of indices. We demonstrate the power of his (...) calculus by developing for the electron’s and positron’s large components their standard Hamiltonian beyond the Pauli approximation, but without resort to Foldy-Wouthuysen transformations or ad hoc alternatives (positrons are not identified with small components in K ähler’s work). The emergence of negative energies for positrons in the Dirac theory is interpreted from the perspective of the KD equation. Hamiltonians in closed form (i.e. exact through a finite number of terms) are obtained for both large and small components when the potential is time-independent.A new but as yet modest new interpretation of QM starts to emerge from that calculus’ peculiarities, which are present even when the input differential form in the Kähler equation is scalar-valued. Examples are the presence of an extra spin term, the greater number of components of “wave functions” and the non-association of small components with antiparticles. Contact with geometry is made through a Kähler type equation pertaining to Clifford-valued differential forms. (shrink)

Gothic cathedrals like Chartres were built in a discontinuous process by groups of masons using their own local knowledge, measures, and techniques. They had neither plans nor knowledge of structural mechanics. The success of the masons in building such large complex innovative structures lies in the use of templates, string, constructive geometry, and social organization to assemble a coherent whole from the messy heterogeneous practices of diverse groups of workers. Chartres resulted from the ad hoc accumulation of the (...) work of many men. (shrink)

This is a basically expository article, with some new observations, tracing connections of the quantum potential to Fisher information, to Kähler geometry of the projective Hilbert space of a quantum system, and to the Weyl-Ricci scalar curvature of a Riemannian flat spacetime with quantum matter.

We present the basic concepts of space and time, the Galilean and pseudo-Euclidean geometry. We use an elementary geometric framework of affine spaces and groups of affine transformations to illustrate the natural relationship between classical mechanics and theory of relativity, which is quite often hidden, despite its fundamental importance. We have emphasized a passage from the group of Galilean motions to the group of Poincaré transformations of a plane. In particular, a 1-parametric family of natural deformations of the (...) Poincaré group is described. We also visualized the underlying groups of Galilean, Euclidean, and pseudo-Euclidean rotations within the special linear group. (shrink)

Gene regulatory networks are intensively studied in biology. One of the main aims of these studies is to gain an understanding of how the structure of genetic networks relates to specific functions such as chemotaxis and the circadian clock. Scientists have examined this question by using model organisms such as Drosophila and mathematical models. In the last years, synthetic models—engineered genetic networks—have become more and more important in the exploration of gene regulation. What is the potential of this new (...) approach in the investigation of gene network structures? How do synthetic models relate to model organisms and mathematical models? (shrink)

The application of geometry to physics has provided us with new insightful information about many physical theories such as classical mechanics, general relativity, and quantum geometry. The geometry also plays an important role in foundations of quantum mechanics and quantum information. In this work we discuss a geometric framework for mixed quantum states represented by density matrices, where the quantum phase space of density matrices is equipped with a symplectic structure, an almost complex structure, and (...) a compatible Riemannian metric. This compatible triple allow us to investigate arbitrary quantum systems. We will also discuss some applications of the geometric framework. (shrink)

The paper outlines an interpretation of one of the most important and original contributions of David Hilbert’s monograph Foundations of Geometry , namely his internal arithmetization of geometry. It is claimed that Hilbert’s profound interest in the problem of the introduction of numbers into geometry responded to certain epistemological aims and methodological concerns that were fundamental to his early axiomatic investigations into the foundations of elementary geometry. In particular, it is shown that a central concern that (...) motivated Hilbert’s axiomatic investigations from very early on was the aim of providing an independent basis for geometry. Accordingly, these concerns about an independent grounding for elementary geometry determined very clear methodological constraints in the process of embedding it into a formal axiomatic system. It is argued that Hilbert not only sought to show that geometry could be considered a pure mathematical theory, once it was presented as a formal axiomatic system; he also aimed at showing that in the construction of such an axiomatic system one could proceed purely geometrically, avoiding concept formations borrowed from other mathematical disciplines like arithmetic or analysis. (shrink)

This paper discusses some of the technical problems related to a Weylian geometrical interpretation of the Schrödinger and Klein-Gordon equations proposed by E. Santamato. Solutions to these technical problems are proposed. A general prescription for finding out the interdependence between a particle's effective mass and Weyl's scalar curvature is presented which leads to the fundamental equation of geometric quantum mechanics, $$m(R)\frac{{dm(R)}}{{dR}} = \frac{{\hbar ^2 }}{{c^2 }}$$ The Dirac equation is rigorously derived within this formulation, and further problems to be (...) solved are proposed in the conclusion. The main one is based on obtaining the relationship between Feynman's path integral quantization method, among others, and the methods of geometric quantum mechanics. The solution of this problem will be a crucial test for this theory that attempts to “geometrize” quantum mechanics rather than the conventional approach in the past of quantizing geometry. A numerical prediction of this theory yields a 3×10−35 eV correction to the ground-state energy of the hydrogen atom. (shrink)

In this paper we discuss in some depth the main theorems pertaining to Carnot’s theory of transversals, their initial reception by Servois, and the applications that Brianchon made of them to the theory of conic sections. The contributions of these authors brought the long-forgotten theorems of Desargues and Pascal fully to light, renewed the interest in synthetic geometry in France, and prepared the ground from which projective geometry later developed.

The necessary appearance of Clifford algebras in the quantum description of fermions has prompted us to re-examine the fundamental role played by the quaternion Clifford algebra, C 0,2 . This algebra is essentially the geometric algebra describing the rotational properties of space. Hidden within this algebra are symplectic structures with Heisenberg algebras at their core. This algebra also enables us to define a Poisson algebra of all homogeneous quadratic polynomials on a two-dimensional sub-space, $\mathbb{F}^{a}$ of the Euclidean three-space. This enables (...) us to construct a Poisson Clifford algebra, ℍ F , of a finite dimensional phase space which will carry the dynamics. The quantum dynamics appears as a realisation of ℍ F in terms of a Clifford algebra consisting of Hermitian operators. (shrink)

The construction of synthetic life might appear to be the natural objective of the emerging discipline of synthetic biology. The situation, though, is not that simple. Plans to synthesize life appeared quite early, at the beginning of the 20th century (Bensaude-Vincent 2009; Deichmann 2009; Fox Keller 2002; Pereto and Catala 2007). Nor can synthetic biology be identified with work on the origin of life. Nevertheless, it is remarkable that a new, more integrated approach to the origin of (...) life appeared exactly when synthetic biology was emerging (Szostak, Bartel, and Luisi 2001).Most synthetic biologists have the more limited ambition of modifying existing organisms by giving them new functionalities. Synthetic .. (shrink)

The aim of the thesis is to show that there are some synthetic necessary truths, or that synthetic apriori knowledge is possible. This is really a pretext for an investigation into the general connection between meaning and truth, or between understanding and knowing, which, as pointed out in the preface, is really the first stage in a more general enquiry concerning meaning. After the preliminaries, in which the problem is stated and some methodological remarks made, the investigation proceeds (...) in two stages. First there is a detailed inquiry into the manner in which the meanings or functions of words occurring in a statement help to determine the conditions in which that statement would be true. This prepares the way for the second stage, which is an inquiry concerning the connection between meaning and necessary truth. The first stage occupies Part Two of the thesis, the second stage Part Three. In all this, only a restricted class of statements is discussed, namely those which contain nothing but logical words and descriptive words, such as "Not all round tables are scarlet" and "Every three-sided figure is three-angled". (shrink)

As the word “optics” was understood from antiquity into and beyond the early modern period, it did not mean simply the physics and geometry of light, but meant the “theory of vision” and included what we should now call physiological and psychological aspects. From antiquity, these aspects were subject to geometrical analysis. Accordingly, the geometry of visual experience has long been an object of investigation. This chapter examines accounts of size and distance perception in antiquity (Euclid and Ptolemy) (...) and the Middle Ages (Ibn al-Haytham), before turning to "natural geometry" in Kepler and Descartes. It finds a purely mechanical realization of natural geometry in Descartes (primarily in his L'Homme, 1664), in which he conceives states of the visual system as varying in accordance with distance, much as his geometrical compasses vary their spatial relations in accordance with geometrical proportions. This reading challenges the notion that a two-dimensional sensation (without three-dimensional phenomenality) was universally accepted prior to the nineteenth century by positing a direct psychophysiological account of the experience of distance in Descartes. It thereby challenges the interpretations of Descartes on natural geometry of George Berkeley, Nancy Maull, Margaret Wilson, Erwin Panofsky, and Jonathan Crary. (shrink)

There are currently serious concerns that published scientific findings often fail to be reproducible, and that some solutions may be gleaned by attending the several methodological and sociological recommendations that could be found in the literature. However, researchers would also arrive at some answers by considering the advice of the philosophy of science, particularly semantics, about theses on truth related to scientific realism. Sometimes scientists understand the correspondence thesis of truth as asserting that the next unique empirical confirmation of a (...) hypothesis suffices to attribute truth to it provisionally. Such empiricist bias is not necessarily at the core of CTT, but Mario Bunge proposed the synthetic thesis of truth, based on CTT, to explicitly avoid the bias. STT requires considering a hypothesis corroborated, both by purely empirical confirmation and external consistency or compatibility with the bulk of existing background knowledge. While a capricious understanding of CTT could be rigged to recommend the “one shot game” in hypothesis testing, STT clearly demands the use of multiple approaches, empirical as well as theoretical, and it asserts that a scientific test is effective to the extent to which it is neither purely empirical, nor viewed in isolation. Pattern consistency together with an understanding of causal relations make confirmed hypotheses robust and more reliable. The militancy of the double mechanism of hypothesis control of STT can help mitigate the reproducibility crisis. Earl Werner’s research program in community ecology is an example of the use of STT criteria, which leads to the development of reliable, cross-checked, ecological results, with high predictive capacity. (shrink)

This unique book provides a self-contained conceptual and technical introduction to the theory of differential sheaves. This serves both the newcomer and the experienced researcher in undertaking a background-independent, natural and relational approach to "physical geometry". In this manner, this book is situated at the crossroads between the foundations of mathematical analysis with a view toward differential geometry and the foundations of theoretical physics with a view toward quantum mechanics and quantum gravity. The unifying thread is provided (...) by the theory of adjoint functors in category theory and the elucidation of the concepts of sheaf theory and homological algebra in relation to the description and analysis of dynamically constituted physical geometric spectrums. (shrink)

There are currently serious concerns that published scientific findings often fail to be reproducible, and that some solutions may be gleaned by attending the several methodological and sociological recommendations that could be found in the literature. However, researchers would also arrive at some answers by considering the advice of the philosophy of science, particularly semantics, about theses on truth related to scientific realism. Sometimes scientists understand the correspondence thesis of truth as asserting that the next unique empirical confirmation of a (...) hypothesis suffices to attribute truth to it provisionally. Such empiricist bias is not necessarily at the core of CTT, but Mario Bunge proposed the synthetic thesis of truth, based on CTT, to explicitly avoid the bias. STT requires considering a hypothesis corroborated, both by purely empirical confirmation and external consistency or compatibility with the bulk of existing background knowledge. While a capricious understanding of CTT could be rigged to recommend the “one shot game” in hypothesis testing, STT clearly demands the use of multiple approaches, empirical as well as theoretical, and it asserts that a scientific test is effective to the extent to which it is neither purely empirical, nor viewed in isolation. Pattern consistency together with an understanding of causal relations make confirmed hypotheses robust and more reliable. The militancy of the double mechanism of hypothesis control of STT can help mitigate the reproducibility crisis. Earl Werner’s research program in community ecology is an example of the use of STT criteria, which leads to the development of reliable, cross-checked, ecological results, with high predictive capacity. (shrink)

In this paper we address the question of minimal cognition by investigating the origin of some crucial cognitive properties from the very basic organisation of biological systems. More specifically, we propose a theoretical model of how a system can distinguish between specific features of its interaction with the environment, which is a fundamental requirement for the emergence of minimal forms of cognition. We argue that the appearance of this capacity is grounded in the molecular domain, and originates from basic mechanisms (...) of biological regulation. In doing so, our aim is to provide a theoretical account that can also work as a possible conceptual bridge between Synthetic Biology and Artificial Intelligence. In fact, we argue, Synthetic Biology can contribute to the study of minimal cognition, by providing a privileged approach to the study of these mechanisms by means of artificial systems. (shrink)