Suppose your evil sibling travels back in time, intending to lethally poison your grandfather during his infancy. Determined to save grandpa, you grab two antidotes and follow your sibling through the wormhole. Under normal circumstances, each antidote has a 50% chance of curing a poisoning. Upon finding young grandpa, poisoned, you administer the first antidote. Alas, it has no effect. The second antidote is your last hope. You administer it---and success: the paleness vanishes from grandpa's face, he is healed. As (...) you administered the first antidote, what was the chance that it would be effective? -/- This essay offers a systematic account of this case, and others like it. The central question is this: Given a certain time travel structure, what are the chances? In particular, I'll develop a theory about the connection between these chances and the chances in ordinary, time-travel-free contexts. Central to the account is a Markov condition involving the boundaries of spacetime regions. (shrink)

If there is an area of discourse in which disagreement is virtually absent, it is mathematics. After all, mathematicians justify their claims with deductive proofs: arguments that entail their conclusions. But is mathematics really exceptional in this respect? Looking at the history and practice of mathematics, we soon realize that it is not. First, deductive arguments must start somewhere. How should we choose the starting points (i.e., the axioms)? Second, mathematicians, like the rest of us, are fallible. Their ability to (...) recognize whether a putative proof is correct is not infallible. In most cases, disagreement over the correctness of a putative proof is, however, evanescent. Once an error is spotted and communicated, the disagreement disappears. But this is not always the case. Sometimes it is recalcitrant; that is, it persists over time. In order to zoom in on this type of disagreement and explain its very possibility, we focus on a single case study: a decades-long (1921-1949) controversy between Federigo Enriques and Francesco Severi, two prominent exponents of the Italian school of algebraic geometry. We suggest that the instability of the mathematical community to which they belonged can be explained by the gap between an abstract criterion of rigor and local criteria of acceptability. It is this instability that made the existence of recalcitrant disagreement over putative proofs possible. We do not condemn speculative mathematics but rather its pretense of being rigorous mathematics. In this respect, we show that the overly self-confident Severi and the more intuitive, visionary Enriques had a completely different attitude. (shrink)

This autodidactic paper wraps up an earlier epistemic art project and compactly collates the main unfolded scientific and philosophical strategies for epistemic resiliency against epistemic doom in the deepfake era. Retrospectively speaking, the existence of a dense condensate within which explanatory blockchain (EB) based science, EB-based philosophy and EB-based art overlap acts as a pointer to untapped non-algorithmic epistemic resources that could (if ever activated) exhibit the natural tendency to compel the reach of algorithmic computations – noticeably at the "cost" (...) of increasing non-algorithmic self-determination. (shrink)

This study attempts to spell out more explicitly than has been done previously the connection between two types of formal correspondence that arise in the study of quantum–classical relations: one the one hand, deformation quantization and the associated continuity between quantum and classical algebras of observables in the limit \, and, on the other, a certain generalization of Ehrenfest’s Theorem and the result that expectation values of position and momentum evolve approximately classically for narrow wave packet states. While deformation quantization (...) establishes a direct continuity between the abstract algebras of quantum and classical observables, the latter result makes in-eliminable reference to the quantum and classical state spaces on which these structures act—specifically, via restriction to narrow wave packet states. Here, we describe a certain geometrical re-formulation and extension of the result that expectation values evolve approximately classically for narrow wave packet states, which relies essentially on the postulates of deformation quantization, but describes a relationship between the actions of quantum and classical algebras and groups over their respective state spaces that is non-trivially distinct from deformation quantization. The goals of the discussion are partly pedagogical in that it aims to provide a clear, explicit synthesis of known results; however, the particular synthesis offered aspires to some novelty in its emphasis on a certain general type of mathematical and physical relationship between the state spaces of different models that represent the same physical system, and in the explicitness with which it details the above-mentioned connection between quantum and classical models. (shrink)

The paper describes an algorithm for semantic representation of behavioral contexts relative to a dichotomic decision alternative. The contexts are represented as quantum qubit states in two-dimensional Hilbert space visualized as points on the Bloch sphere. The azimuthal coordinate of this sphere functions as a one-dimensional semantic space in which the contexts are accommodated according to their subjective relevance to the considered uncertainty. The contexts are processed in triples defined by knowledge of a subject about a binary situational factor. The (...) obtained triads of context representations function as stable cognitive structure at the same time allowing a subject to model probabilistically-variative behavior. The developed algorithm illustrates an approach for quantitative subjectively-semantic modeling of behavior based on conceptual and mathematical apparatus of quantum theory. (shrink)

Independently of any eighteenth century work on the geometry of parallels, Thomas Reid discovered the non-euclidean "geometry of visibles" in 1764. Reid's construction uses an idealized eye, incapable of making distance discriminations, to specify operationally a two dimensional visible space and a set of objects, the visibles. Reid offers sample theorems for his doubly elliptical geometry and proposes a natural model, the surface of the sphere. His construction draws on eighteenth century theory of vision for some of (...) its technical features and is motivated by Reid's desire to defend realism against Berkeley's idealist treatment of visual space. (shrink)

The paper investigates Ernst Cassirer’s structuralist account of geometrical knowledge developed in his Substanzbegriff und Funktionsbegriff. The aim here is twofold. First, to give a closer study of several developments in projective geometry that form the direct background for Cassirer’s philosophical remarks on geometrical concept formation. Specifically, the paper will survey different attempts to justify the principle of duality in projective geometry as well as Felix Klein’s generalization of the use of geometrical transformations in his Erlangen program. The (...) second aim is to analyze the specific character of Cassirer’s geometrical structuralism formulated in 1910 as well as in subsequent writings. As will be argued, his account of modern geometry is best described as a “methodological structuralism”, that is, as a view mainly concerned with the role of structural methods in modern mathematical practice. (shrink)

Not simply set out in accompaniment of the Greek geometrical text, the diagram also is coaxed into existence manually (using straightedge and compasses) by commands in the text. The marks that a diligent reader thus sequentially produces typically sum, however, to a figure more complex than the provided one and also not (as it is) artful for being synoptically instructive. To provide a figure artfully is to balance multiple desiderata, interlocking the timelessness of insight with the temporality of construction. Our (...) account of the diagram complements those of Manders and Macbeth by more strongly emphasizing practical synthesis. (shrink)

Edmund Husserl has argued that we can intuit essences and, moreover, that it is possible to formulate a method for intuiting essences. Husserl calls this method 'ideation'. In this paper I bring a fresh perspective to bear on these claims by illustrating them in connection with some examples from modern pure geometry. I follow Husserl in describing geometric essences as invariants through different types of free variations and I then link this to the mapping out of geometric invariants in (...) modern mathematics. This view leads naturally to different types of spatial ontologies and it can be used to shed light on Husserl's general claim that there are different ontologies in the eidetic sciences that can be systematically related to one another. The paper is rounded out with a consideration of the role of ideation in the origins of modern geometry, and with a brief discussion of the use of ideation outside of pure geometry. (shrink)

This paper is an exposition and defense of Kant’s philosophy of geometry. The main thesis is that Euclidean geometry investigates the properties of geometrical objects in an inner space that is given to us a priori (pure space) and hence is a priori and synthetic. This thesis is supported by arguing that Euclidean geometry requires certain intuitive objects (Sect. 1), that these objects are a priori constructions in pure space (Sect. 2), and finally that the role of (...) geometrical construction is to provide geometrical objects, not concepts, as some have claimed (Sect. 3). (shrink)

When national borders in the modern sense first began to be established in early modern Europe, non-contiguous and perforated nations were a commonplace. According to the conception of the shapes of nations that is currently preferred, however, nations must conform to the topological model of circularity; their borders must guarantee contiguity and simple connectedness, and such borders must as far as possible conform to existing topographical features on the ground. The striving to conform to this model can be seen at (...) work today in Quebec and in Ireland, it underpins much of the rhetoric of the P.L.O., and was certainly to some degree involved as a motivating factor in much of the ethnic cleansing which took place in Bosnia in recent times. The question to be addressed in what follows is: to what extent could inter-group disputes be more peacefully resolved, and ethnic cleansing avoided, if political leaders, diplomats and others involved in the resolution of such disputes could be brought to accept weaker geometrical constraints on the shapes of nations? A number of associated questions then present themselves: What sorts of administrative and logistical problems have been encountered by existing non contiguous nations and by perforated nations, and by other nations deviating in different ways from the received geometrical ideal? To what degree is the desire for continuity and simple connectedness a rational desire, and to what degree does it rest on species of political rhetoric which might be countered by, for example, philosophical argument? These and a series of related questions will form the subject- matter of the present essay. (shrink)

I investigate the role of geometric intuition in Frege’s early mathematical works and the significance of his view of the role of intuition in geometry to properly understanding the aims of his logicist project. I critically evaluate the interpretations of Mark Wilson, Jamie Tappenden, and Michael Dummett. The final analysis that I provide clarifies the relationship of Frege’s restricted logicist project to dominant trends in German mathematical research, in particular to Weierstrassian arithmetization and to the Riemannian conceptual/geometrical tradition at (...) Göttingen. Concurring with Tappenden, I hold that Frege’s logicism should not be understood as a continuing a project of reductionist arithmetization. However, Frege does not quite take up the Riemannian banner either. His logicism supports a hierarchical understanding of the structure of mathematical knowledge, according to which arithmetic is applicable to geometry but not vice versa because the former is more general, as revealed by the strictly logical nature of its objects in comparison to the intuitional nature of geometric objects. I suggest, in particular, that Frege intended that foundational work would show the use of geometric intuition in complex analysis, a source of error for Riemann that Weierstrass was proud to have uncovered, to be inessential. (shrink)

A rigorous ab initio derivation of the (square of) Dirac’s equation for a particle with spin is presented. The Lagrangian of the classical relativistic spherical top is modified so to render it invariant with respect conformal changes of the metric of the top configuration space. The conformal invariance is achieved by replacing the particle mass in the Lagrangian with the conformal Weyl scalar curvature. The Hamilton-Jacobi equation for the particle is found to be linearized, exactly and in closed form, by (...) an ansatz solution that can be straightforwardly interpreted as the “quantum wave function” of the 4-spinor solution of Dirac’s equation. All quantum features arise from the subtle interplay between the conformal curvature acting on the particle as a potential and the particle motion which affects the geometric “pre-potential” associated to the conformal curvature itself. The theory, carried out here by assuming a Minkowski metric, can be easily extended to arbitrary space-time Riemann metric, e.g. the one adopted in the context of General Relativity. This novel theoretical scenario appears to be of general application and is expected to open a promising perspective in the modern endeavor aimed at the unification of the natural forces with gravitation. (shrink)

The classification of algebraic surfaces by the Italian School of algebraic geometry is universally recognized as a breakthrough in 20th-century mathematics. The methods by which it was achieved do not, however, meet the modern standard of rigor and therefore appear dubious from a contemporary viewpoint. In this article, we offer a glimpse into the mathematical practice of the three leading exponents of the Italian School of algebraic geometry: Castelnuovo, Enriques, and Severi. We then bring into focus their distinctive (...) conception of rigor and intuition. Unlike what is often assumed today, from their perspective, rigor is neither opposed to intuition nor understood as a unitary phenomenon – Enriques distinguishes between small-scale rigor and large-scale rigor and Severi between formal rigor and substantial rigor. Finally, we turn to the notion of mathematical objectivity. We draw from our case study in order to advance a multi-dimensional analysis of objectivity. Specifically, we suggest that various types of rigor may be associated with different conceptions of objectivity: namely, objectivity as faithfulness to facts and objectivity as intersubjectivity. (shrink)

This book offers a new interpretation of Hermann von Helmholtz's work on the epistemology of geometry. A detailed analysis of the philosophical arguments of Helmholtz's Erhaltung der Kraft shows that he took physical theories to be constrained by a regulative ideal. They must render nature "completely comprehensible", which implies that all physical magnitudes must be relations among empirically given phenomena. This conviction eventually forced Helmholtz to explain how geometry itself could be so construed. Hyder shows how Helmholtz answered (...) this question by drawing on the theory of magnitudes developed in his research on the colour-space. He argues against the dominant interpretation of Helmholtz's work by suggesting that for the latter, it is less the inductive character of geometry that makes it empirical, and rather the regulative requirement that the system of natural science be empirically closed. (shrink)