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

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

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

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.

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

All acknowledged proofs of the Four Colour Theorem (4CT) are computerdependent. They appeal to the existence, and manual identification, of an ‘unavoidable’ set containing a sufficient number of explicitly defined configurations—each evidenced only by a computer as ‘reducible’—such that at least one of the configurations must occur in any chromatically distinguished, putatively minimal, planar map. For instance, Appel and Haken ‘identified’ 1,482 such configurations in their 1977, computer-dependent, proof of 4CT; whilst Neil Robertson et al ‘identified’ 633 configurations as sufficient (...) in their 1997, also computer-dependent, proof of 4CT. However, treating any specific number of ‘reducible’ configurations in an ‘unavoidable’ set as sufficient entails a minimum number as necessary and sufficient. We now show that the minimum number of such configurations can only be the one corresponding to the ‘unavoidable’ set of the single, ‘reducible’, 4-sided configuration identified by Alfred Kempe in his, seemingly fatally flawed, 1879 ‘proof’ of 4CT. We shall further show that although Kempe fallaciously concluded that a 5-sided configuration was also in the ‘unavoidable’ set, and appealed to unproven properties of ‘Kempe’ chains in a graphical representation to then argue for its ‘reducibility’, neither flaw in his ‘proof’ is fatal when the argument is expressed geometrically; and that, essentially, Kempe correctly argued that any planar map which admits a chromatic differentiation with a five-sided area C that shares non-zero boundaries with four, all differently coloured, neighbours can be 4-coloured. (shrink)

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

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

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

The paper is an introduction to geometric algebra and geometric calculus for those with a knowledge of undergraduate mathematics. No knowledge of physics is required. The section Further Study lists many papers available on the web.

We give a brief overview of the evolution of mathematics, starting from antiquity, through Renaissance, to the 19th century, and the culmination of the train of thought of history’s greatest thinkers that lead to the grand unification of geometry and algebra. The goal of this paper is not a complete formal description of any particular theoretical framework, but to show how extremisation of mathematical rigor in requiring everything be drivable directly from first principles without any arbitrary assumptions actually leads to (...) relaxing the computational difficulty along with maximal conceptual clarity. With this, we consider a revision of the foundations of elementary geometry and algebra based on the work of Grassmann and Clifford and apply it to conceptual and practical problems of past and present modern mathematics and mathematical physics. (shrink)

This paper examines Aristotle's discussion of the priority of actuality to potentiality in geometry at Metaphysics Θ9, 1051a21–33. Many scholars have assumed what I call the "geometrical construction" interpretation, according to which his point here concerns the relation between an inquirer's thinking and a geometrical figure. In contrast, I defend what I call the "geometrical analysis" interpretation, according to which it concerns the asymmetrical relation between geometrical propositions in which one is proved by means of the other. His argument as (...) so construed is ultimately based on the asymmetrical relation between the corresponding geometrical facts. Then I explore this ontological priority in geometry by drawing attention to a parallel passage, Posterior Analytics II.11, 94a24–35, where Aristotle explains the relation between the same geometrical propositions in connection to material causation. (shrink)

In this paper, we will make explicit the relationship that exists between geometric objects and geometric figures in planar Euclidean geometry. That will enable us to determine basic features regarding the role of geometric figures and diagrams when used in the context of pure and applied planar Euclidean geometry, arising due to this relationship. By taking into account pure geometry, as developed in Euclid’s Elements, and practical geometry, we will establish a relation between geometric objects and figures. Geometric objects are (...) defined in terms of idealizations of the corresponding figures of practical geometry. We name the relationship between them as a relation of idealization. This relation, existing between objects and figures, is what enables figures to have a role in pure and applied geometry. That is, we can use a figure or diagram as a representation of geometric objects or composite geometric objects because the relation of idealization corresponds to a resemblance-like relationship between objects and figures. Moving beyond pure geometry, we will defend that there are two other ‘layers’ of representation at play in applied geometry. To show that, we will consider Euclid’s Optics. (shrink)

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 examines the second geometrical problem in the Meno. Its purpose is to explore the implication of Cook Wilson’s interpretation, which has been most widely accepted by scholars, in relation to the nature of hypothesis. I argue that (a) the geometrical hypothesis in question is a tentative answer to a more basic problem, which could not be solved by available methods at that time, and that (b) despite the temporary nature of a hypothesis, there is a rational process for (...) formulating it. The paper also contains discussion of the method of analysis, problem reduction and a diorism, which have often been ambiguously explained in relation to the geometrical problem in question. (shrink)

During 17th century a scientific controversy existed on the derivation of Snell’s laws of reflection and refraction. Descartes gave a derivation of the laws, independent of the minimality of travel time of a ray of light between two given points. Fermat and Leibniz gave a derivation of the laws, based on the minimality of travel time of a ray of light between two given points. Leibniz’s calculus method became the standard method of derivation of the two laws. We demonstrate in (...) this article that Snell’s law of reflection follows from simple results of geometry. We do not use the concept of motion or the time of travel in our demonstration. That is, time plays no role in our demonstration. (shrink)

Focused attention is needed to perceive change (Rensink et al., 1997; Psychological Science, 8: 368-373) . But how much attentional processing is given to an item? And does this depend on the nature of the task? To answer these questions, "flicker" displays were created, where an original and a modified image continually alternated, with brief blanks between them. Each image was an array of simple figures, half being horizontal and the other half vertical. In half the trials, one of the (...) items changed orientation; in the remainder, all items remained the same. Observers were asked to detect whether a change was occurring in each trial. -/- Within-observer comparisons for different shapes of items yielded two classes of speed: relatively fast search (50 ms/item) for simple lines, and slower search (90 ms/item) for compound figures made of two or more lines. Evidently, more processing was given to compound figures, even though shape was irrelevant to the task. A similar set of experiments asked observers to detect changes in contrast polarity. Here, no differences were found for different shapes, indicating that geometric information is not processed as much when the task involves only nongeometric properties. (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)

All accepted proofs of the Four Colour Theorem (4CT) are computer-dependent; and appeal to the existence, and manual identification, of an ‘unavoidable’ set containing a sufficient number of explicitly defined configurations—each evidenced only by a computer as ‘reducible’—such that at least one of the configurations must occur in any chromatically distinguished, minimal, planar map. For instance, Appel and Haken ‘identified’ 1,482 such configurations in their 1977, computer-dependent, proof of 4CT; whilst Neil Robertson et al ‘identified’ 633 configurations as sufficient in (...) their 1997, also computer-dependent, proof of 4CT. However, treating any specific number of ‘reducible’ configurations in an ‘unavoidable’ set as sufficient entails a minimum number as necessary and sufficient. We now show that the minimum number of such configurations can only be the one corresponding to the ‘unavoidable’ set of a ‘reducible’, 4-sided configuration identified by Alfred Kempe in his, seemingly fatally flawed, 1879 ‘proof’ of 4CT. Although Kempe appealed to putative properties of ‘Kempe’ chains in a graphical representation to fallaciously argue that a 5-sided configuration was also in the ‘unavoidable’ set, and ‘reducible’, we shall show why the flaw in his ‘proof’ is not fatal when the argument is expressed geometrically; and that, essentially, Kempe correctly argued that any planar map which admits a chromatic differentiation with a five-sided area C that shares non-zero boundaries with four, all differently coloured, neighbours can be 4-coloured. (shrink)

Galileo’s dictum that the book of nature “is written in the language of mathematics” is emblematic of the accepted view that the scientific revolution hinged on the conceptual and methodological integration of mathematics and natural philosophy. Although the mathematization of nature is a distinctive and crucial feature of the emergence of modern science in the seventeenth century, this volume shows that it was a far more complex, contested, and context-dependent phenomenon than the received historiography has indicated, and that philosophical controversies (...) about the implications of mathematization cannot be understood in isolation from broader social developments related to the status and practice of mathematics in various commercial, political, and academic institutions. (shrink)

Here we propose a discussion about the "mandorla" or "vesica piscis". It is a type of 2-dimensional lens, that is, a geometric shape formed by the intersection of two circles with the same radius, intersecting in such a way that the centre of each circle lies on the perimeter of the other. The aim of the discussion is that of understanding when such a geometric shape became a symbol and when this symbol received a specific name. We will find that (...) the name "mandorla" was used long before the term "vesica piscis", which is the Latin translation of the German "fischblosen" used by Albrecht Dürer in his book on geometry. Therefore, the name invented by Dürer was not used by the painter for a sacred form. However, after the middle of the nineteenth century the term "vesica piscis" exploded in literature. Its use was criticized and, at the same time, it was stressed that the proper term for the symbol is "mandorla". Nonetheless, the "vesica piscis" continues to be largely used in the sacred geometry, which ascribes symbolic and sacred meanings to certain geometric shapes and proportions. In the proposed discussion, we will also show that, recently, the 2-dimensional lenticular symbol has been related to the Pythagorean philosophy. It is told that the followers of this philosophy had the habit of using an apple for symbolic communications. Sliced across, the core of the apple is displaying a pentagram, but sliced lengthwise it forms two intersecting circles, that is a "mandorla". Then, the investigation about terms and related uses of this specific geometric shape is the core of the matter of our discussion or, let us tell, the "core of the apple", in a Pythagorean-like approach to find how a German "fischblosen" evolved into a sacred symbol, thanks to a translation into Latin. (shrink)

This paper explores the issue of the unification of three languages of physics, the geometric language of forces, geometric language of fields or 4-dimensional space-time, and probabilistic language of quantum mechanics. On the one hand, equations in each language may be derived from the Principle of Least Action (PLA). On the other hand, Feynman's path integral method could explain the physical meaning of PLA. The axioms of classical and relativistic mechanics can be considered as consequences of Feynman's formulation of quantum (...) mechanics. (shrink)

This article analyzes the value of geometric models to understand matter with the examples of the Platonic model for the primary four elements (fire, air, water, and earth) and the models of carbon atomic structures in the new science of crystallography. How the geometry of these models is built in order to discover the properties of matter is explained: movement and stability for the primary elements, and hardness, softness and elasticity for the carbon atoms. These geometric models appear to have (...) a double quality: firstly, they exhibit visually the scientific properties of matter, and secondly they give us the possibility to visualize its whole nature. Geometrical models appear to be the expression of the mind in the understanding of physical matter. (shrink)

The first article in this issue attempts to refute the concept of Altruism and calls it akin to Selfishness. The arguments are logically set in the way like that of Spinoza’s method of demonstration, with Axioms, Definitions, Propositions and Notes: so as to make them exact and precise. Interestingly, the writer introduces a new concept of Credit and through various other original propositions and examples rebuts the altruistic nature which is generally ascribed to humans.

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)

In this contribution we will present a generalization of de Finetti's betting game in which a gambler is allowed to buy and sell unknown events' betting odds from more than one bookmaker. In such a framework, the sole coherence of the books the gambler can play with is not sucient, as in the original de Finetti's frame, to bar the gambler from a sure-win opportunity. The notion of joint coherence which we will introduce in this paper characterizes those coherent books (...) on which sure- win is impossible. Our main results provide geometric characterizations of the space of all books which are jointly coherent with a xed one. As a consequence we will also show that joint coherence is decidable. (shrink)

Review of Geometric Possibility (2011), by Gordon Belot. Oxford and New York: Oxford University Press. x + 219 pp.

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)

The definition of a point in geometry is primordial in order to understand the different elements of this branch of mathematics ( line, surface, solids…). This paper aims at shedding fresh light on the concept to demonstrate that it is related to another one named, here, the Primary Geometric Object; both concepts concur to understand the multiplicity of geometries and to provide hints as concerns a new understanding of some concepts in physics such as time, energy, mass….

The definition of a point in geometry is primordial in order to understand the different elements of this branch of mathematics ( line, surface, solids…). This paper aims at shedding fresh light on the concept to demonstrate that it is related to another one named, here, the Primary Geometric Object; both concepts concur to understand the multiplicity of geometries and to provide hints as concerns a new understanding of some concepts in physics such as time, energy, mass….

In a first investigation, a Lacan-motivated template of the Poe story is fitted to the data. A segmentation of the storyline is used in order to map out the diachrony. Based on this, it will be shown how synchronous aspects, potentially related to Lacanian registers, can be sought. This demonstrates the effectiveness of an approach based on a model template of the storyline narrative. In a second and more Comprehensive investigation, we develop an approach for revealing, that is, uncovering, Lacanian (...) register relationships. Objectives of this work include the wide and general application of our methodology. This methodology is strongly based on the “letting the data speak” Correspondence Analysis analytics Platform of Jean-Paul Benzécri, that is also the geometric data analysis, both qualitative and quantitative analytics, developed by Pierre Bourdieu. (shrink)

Article Authors Metrics Comments Media Coverage Abstract Author Summary Introduction Results Discussion Supporting information Acknowledgments Author Contributions References Reader Comments (0) Media Coverage (0) Figures Abstract During language processing, humans form complex embedded representations from sequential inputs. Here, we ask whether a “geometrical language” with recursive embedding also underlies the human ability to encode sequences of spatial locations. We introduce a novel paradigm in which subjects are exposed to a sequence of spatial locations on an octagon, and are asked to (...) predict future locations. The sequences vary in complexity according to a well-defined language comprising elementary primitives and recursive rules. A detailed analysis of error patterns indicates that primitives of symmetry and rotation are spontaneously detected and used by adults, preschoolers, and adult members of an indigene group in the Amazon, the Munduruku, who have a restricted numerical and geometrical lexicon and limited access to schooling. Furthermore, subjects readily combine these geometrical primitives into hierarchically organized expressions. By evaluating a large set of such combinations, we obtained a first view of the language needed to account for the representation of visuospatial sequences in humans, and conclude that they encode visuospatial sequences by minimizing the complexity of the structured expressions that capture them. (shrink)

Robert Batterman’s ontological insights (2002, 2004, 2005) are apt: Nature abhors singularities. “So should we,” responds the physicist. However, the epistemic assessments of Batterman concerning the matter prove to be less clear, for in the same vein he write that singularities play an essential role in certain classes of physical theories referring to certain types of critical phenomena. I devise a procedure (“methodological fundamentalism”) which exhibits how singularities, at least in principle, may be avoided within the same classes of formalisms (...) discussed by Batterman. I show that we need not accept some divergence between explanation and reduction (Batterman 2002), or between epistemological and ontological fundamentalism (Batterman 2004, 2005). Though I remain sympathetic to the ‘principle of charity’ (Frisch (2005)), which appears to favor a pluralist outlook, I nevertheless call into question some of the forms such pluralist implications take in Robert Batterman’s conclusions. It is difficult to reconcile some of the pluralist assessments that he and some of his contemporaries advocate with what appears to be a countervailing trend in a burgeoning research tradition known as Clifford (or geometric) algebra. In my critical chapters (2 and 3) I use some of the demonstrated formal unity of Clifford algebra to argue that Batterman (2002) equivocates a physical theory’s ontology with its purely mathematical content. Carefully distinguishing the two, and employing Clifford algebraic methods reveals a symmetry between reduction and explanation that Batterman overlooks. I refine this point by indicating that geometric algebraic methods are an active area of research in computational fluid dynamics, and applied in modeling the behavior of droplet-formation appear to instantiate a “methodologically fundamental” approach. I argue in my introductory and concluding chapters that the model of inter-theoretic reduction and explanation offered by Fritz Rohrlich (1988, 1994) provides the best framework for accommodating the burgeoning pluralism in philosophical studies of physics, with the presumed claims of formal unification demonstrated by physicists choices of mathematical formalisms such as Clifford algebra. I show how Batterman’s insights can be reconstructed in Rohrlich’s framework, preserving Batterman’s important philosophical work, minus what I consider are his incorrect conclusions. (shrink)

Martin Peterson’s The Ethics of Technology: A Geometric Analysis of Five Moral Principles offers a welcome contribution to the ethics of technology, understood by Peterson as a branch of applied ethics that attempts ‘to identify the morally right courses of action when we develop, use, or modify technological artifacts’ (3). He argues that problems within this field are best treated by the use of five domain-specific principles: the Cost-Benefit Principle, the Precautionary Principle, the Sustainability Principle, the Autonomy Principle, and the (...) Fairness Principle. These principles are, in turn, to be understood and applied with reference to the geometric method. This method is perhaps the most interesting and novel part of Peterson’s book, and I’ll devote the bulk of my review to it. (shrink)

Like most, if not all, of his contemporaries, Spinoza never developed a full-fledged philosophy of mathematics. Still, his numerous remarks about mathematics attest not only to his deep interest in the subject (a point which is also confirmed by the significant presence of mathematical books in his library), but also to his quite elaborate and perhaps unique understanding of the nature of mathematics. At the very center of his thought about mathematics stands a paradox (or, at least, an apparent paradox): (...) mathematics provides Spinoza with an epistemic model. Mathematical knowledge is certain (II/138/9 and II/138/9), clear (IV/261/8), and free from teleological thinking (II/79/33), but the objects of mathematical knowledge – i.e., mathematical entities – are nothing but “auxila imaginationis [aids of the imagination],” (IV/57/16 and II/83/15), entities that are not real and merely assist the imagination in carving the world in manner that is suitable to our limited and distortive cognitive capacities. (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.

The human attempts to access, measure and organize physical phenomena have led to a manifold construction of mathematical and physical spaces. We will survey the evolution of geometries from Euclid to the Algebraic Geometry of the 20th century. The role of Persian/Arabic Algebra in this transition and its Western symbolic development is emphasized. In this relation, we will also discuss changes in the ontological attitudes toward mathematics and its applications. Historically, the encounter of geometric and algebraic perspectives enriched the mathematical (...) practices and their foundations. Yet, the collapse of Euclidean certitudes, of over 2300 years, and the crisis in the mathematical analysis of the 19th century, led to the exclusion of “geometric judgments” from the foundations of Mathematics. After the success and the limits of the logico-formal analysis, it is necessary to broaden our foundational tools and re-examine the interactions with natural sciences. In particular, the way the geometric and algebraic approaches organize knowledge is analyzed as a cross-disciplinary and cross-cultural issue and will be examined in Mathematical Physics and Biology. We finally discuss how the current notions of mathematical (phase) “space” should be revisited for the purposes of life sciences. (shrink)

This paper examines explanations that turn on non-local geometrical facts about the space of possible configurations a system can occupy. I argue that it makes sense to contrast such explanations from "geometry of motion" with causal explanations. I also explore how my analysis of these explanations cuts across the distinction between kinematics and dynamics.

A Geometrical Approach to Quantum Information.

Suppose several individuals (e.g., experts on a panel) each assign probabilities to some events. How can these individual probability assignments be aggregated into a single collective probability assignment? This article reviews several proposed solutions to this problem. We focus on three salient proposals: linear pooling (the weighted or unweighted linear averaging of probabilities), geometric pooling (the weighted or unweighted geometric averaging of probabilities), and multiplicative pooling (where probabilities are multiplied rather than averaged). We present axiomatic characterisations of each class of (...) pooling functions (most of them classic, but one new) and argue that linear pooling can be justified procedurally, but not epistemically, while the other two pooling methods can be justified epistemically. The choice between them, in turn, depends on whether the individuals' probability assignments are based on shared information or on private information. We conclude by mentioning a number of other pooling methods. (shrink)

The idea that there could be spatially extended mereological simples has recently been defended by a number of metaphysicians (Markosian 1998, 2004; Simons 2004; Parsons (2000) also takes the idea seriously). Peter Simons (2004) goes further, arguing not only that spatially extended mereological simples (henceforth just extended simples) are possible, but that it is more plausible that our world is composed of such simples, than that it is composed of either point-sized simples, or of atomless gunk. The difficulty for these (...) views lies in explaining why it is that the various sub-volumes of space occupied by such simples, are not occupied by proper parts of those simples. Intuitively at least, many of us find compelling the idea that spatially extended objects have proper parts at every sub-volume of the region they occupy. It seems that the defender of extended simples must reject a seemingly plausible claim, what Simons calls the geometric correspondence principle (GCP): that any (spatially) extended object has parts that correspond to the parts of the region that it occupies (Simons 2004: 371). We disagree. We think that GCP is a plausible principle. We also think it is plausible that our world is composed of extended simples. We reconcile these two notions by two means. On the one hand we pay closer attention to the physics of our world. On the other hand, we consider what happens when our concept of something—in this case space—contains elements not all of which are realized in anything, but instead key components are realized in different features of the world. (shrink)

The present study collected a larger set of three-dimensional data on human crania from the Kofun period (as well as from previous periods, i.e., the Jomon and Yayoi periods) in the Japanese archipelago (AD 250 to around 700) than previous studies. Three-dimensional geometric morphometrics were employed to investigate human migration patterns in finer-grained phases. These results are consistent with those of previous studies, although some new patterns were discovered. These patterns were interpreted in terms of demic diffusion, archaeological findings, and (...) historical evidence. In particular, the present results suggest the presence of a gradual geological cline throughout the Kofun period, although the middle period did not display such a cline. This discrepancy might reflect social changes in the middle Kofun period, such as the construction of keyhole-shaped mounds in the peripheral regions. The present study implies that a broader investigation with a larger sample of human crania is essential to elucidating macro-level cultural evolutionary processes. (shrink)

On 6 January 1795, the twenty-year-old Schelling—still a student at the Tübinger Stift—wrote to his friend and former roommate, Hegel: “Now I am working on an Ethics à la Spinoza. It is designed to establish the highest principles of all philosophy, in which theoretical and practical reason are united”. A month later, he announced in another letter to Hegel: “I have become a Spinozist! Don’t be astonished. You will soon hear how”. At this period in his philosophical development, Schelling had (...) been deeply under the spell of Fichte’s new philosophy and the Wissenschaftslehre. The text Schelling was writing at the time was the early Vom Ich als Prinzip der Philosophie, though his characterization of this text would much better fit the somewhat later work which is the focus of the current paper: Schelling’s 1801 Darstellung meines System der Philosophie (hereafter: Presentation). The Presentation is a text written more geometrico, following the style of Spinoza’s Ethics. While Spinoza’s influence and inspiration is stated explicitly and unmistakably in Schelling’s preface, the content of this composition might seem quite foreign to Spinoza’s philosophy, so much so, in fact, that Michael Vater—the astute translator and editor of the recent English translation of the text—has contended that “despite the formal similarities between Spinoza’s geometrical method and Schelling’s numbered mathematical-geometrical constructions, Schelling’s direct debts to Spinoza are few”. The Presentation is an extremely dense and difficult text, and while I agree that at first glance Schelling’s engagement with the concept of reason (Vernunft) and the identity formula ‘A=A’ seems to have little if anything to do with Spinoza (especially since Spinoza’s key terminology of ‘God’, ‘causa sui’, ‘substance’, ‘attribute’, and ‘mode’ is barely mentioned in the Presentation), I suspect that at a deeper level Schelling is attempting to transform Spinoza’s system by replacing God, Spinoza’s ultimate reality, with reason. Though this might at first seem bizarre, I believe it can be profitably motivated and explained upon further reflection. It is this transformation of Spinoza’s God into (the early) Schelling’s reason that is the primary subject of this study. I develop this paper in the following order. In the first part I provide a very brief overview of Schelling’s lifelong engagement with Spinoza’s philosophy, which will prepare us for my study of the 1801 Presentation. In the second part, I consider the formal structure and rhetoric of the Presentation against the background of Spinoza’s Ethics, and show how Schelling regularly imitates Spinoza’s tiniest rhetorical gestures. In the third and final part I turn to the opening of the Presentation, and argue that Schelling attempts there to distance himself from Fichte by developing a conception of reason as the absolute, or the identity of the subject and object, just as the thinking substance and the extended substance are identified in Spinoza’s God. (shrink)

We know very little about mathematical skepticism in modem times. Imre Lakatos once remarked that “in discussing modem efforts to establish foundations for mathematical knowledge one tends to forget that these are but a chapter in the great effort to overcome skepticism by establishing foundations for knowledge in general." And in a sense he was clearly right: modem thought — with its new discoveries in mathematical sciences, the mathematization of physics, the spreading of Pyrrhonist doctrines, the centrality of epistemological foundationalism (...) and the diffusion of the geometrical method in philosophy — was the most natural arena in which skepticism and mathematics could confront each other. The problem remains, however, that no investigation of the whole topic has yet been attempted. Thus, as far as we know, mathematical certainties should have clashed with skeptical doubts, but whether and to what extent there was indeed a historical debate on mathematical skepticism in modern thought remains to be ascertained. (shrink)

A group is often construed as one agent with its own probabilistic beliefs (credences), which are obtained by aggregating those of the individuals, for instance through averaging. In their celebrated “Groupthink”, Russell et al. (2015) require group credences to undergo Bayesian revision whenever new information is learnt, i.e., whenever individual credences undergo Bayesian revision based on this information. To obtain a fully Bayesian group, one should often extend this requirement to non-public or even private information (learnt by not all or (...) just one individual), or to non-representable information (not representable by any event in the domain where credences are held). I pro- pose a taxonomy of six types of ‘group Bayesianism’. They differ in the information for which Bayesian revision of group credences is required: public representable information, private representable information, public non-representable information, etc. Six corre- sponding theorems establish how individual credences must (not) be aggregated to ensure group Bayesianism of any type, respectively. Aggregating through standard averaging is never permitted; instead, different forms of geometric averaging must be used. One theorem—that for public representable information—is essentially Russell et al.’s central result (with minor corrections). Another theorem—that for public non-representable information—fills a gap in the theory of externally Bayesian opinion pooling. (shrink)

Gjirokastra’s buildings occupy a special place in the housing typology of Albanian popular dwellings in the feudal period. The “popular tower" is linked with its defensive character, therefore in many cases, it takes the name of a castle or defensive tower. This paper takes into consideration a typical example of the historical fortified dwelling in a well-known city of Albania, Gjirokastra. The methodology used in order to improve the way of thinking, the way of implementing, and the way of designing (...) future dwellings is very related to the historical attitude of the dwelling. Based on the historical documentation, of the fortified dwelling a real analysis is performed according to the logic of modulations. The purpose of this paper is to create a methodology for future generations of architects in order to better engage in the design process, respecting the valuable architectural history. The modern dwellings of Gjirokastra historical-urban context must adopt the historical architectural elements, the historical manners of construction, the typical construction materials, the operational mode, and people’s lifestyle, in order to preserve the city's historical values via a modern touch. KEYWORDS: Architectural elements, historical preservation values, geometric ratios, modular. (shrink)

The two manuscripts of the Korte Verhanedling that were discovered in the mid-nineteenth century contain two appendices. These appendices are even more enigmatic than the KV itself, and it is the first appendix that is the subject of this study. Unfortunately, there are very few studies of this text, and its precise nature seems to be still in question after more than a century and a half of scholarship. It is commonly assumed that the appendices were written after the body (...) of the KV and I am not going to challenge this assumption. The first appendix is written in a geometric manner, and it contains seven axioms and four propositions. Strikingly, it does not include any definitions. This is in sharp contrast with Spinoza's Ethics and his 1663 book on Descartes' Principles of Philosophy, which are similarly written in a geometric manner but include both definitions and axioms. One could perhaps suspect that the text we currently have is merely a fragment from a more extensive work which included definitions. In my paper, I will show that this is not the case, and that the first appendix belongs to a genuine work of Spinoza that never contained definitions. I would further argue that the first appendix is most probably the earliest draft we currently have of Spinoza's magnum opus, the Ethics, but we have a long way to go before we reach that conclusion. (shrink)