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.

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)

Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing (...) a chain of reasoning showing by deductively evident steps that its conclusion is a consequence of its premises. In particular, a demonstration is a deduction whose premises are known to be true. Aristotle's general theory of demonstration required a prior general theory of deduction presented in the Prior Analytics. His general immediate-deduction-chaining conception of deduction was meant to apply to all deductions. According to him, any deduction that is not immediately evident is an extended argumentation that involves a chaining of intermediate immediately evident steps that shows its final conclusion to follow logically from its premises. To illustrate his general theory of deduction, he presented an ingeniously simple and mathematically precise special case traditionally known as the categorical syllogistic. (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)

In demonstration, speakers use real-world activity both for its practical effects and to help make their points. The demonstrations of origami mathematics, for example, reconfigure pieces of paper by folding, while simultaneously allowing their author to signal geometric inferences. Demonstration challenges us to explain how practical actions can get such precise significance and how this meaning compares with that of other representations. In this paper, we propose an explanation inspired by David Lewis’s characterizations of coordination and scorekeeping in (...) conversation. In particular, we argue that words, gestures, diagrams and demonstrations can function together as integrated ensembles that contribute to conversation, because interlocutors use them in parallel ways to coordinate updates to the conversational record. (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….

This paper aims to deal with the disputes on transferring demonstration between the various sciences in the context of the medicine-geometry relationship. According to Aristotle’s metabasis-prohibition, these two sciences should be located in separate compartments due to the characteristics of their subject-matter. However, a thorough analysis of the critical passage in Aristotle’s Posterior Analytics on circular wounds forces a revision of the boundaries of the interactions between sciences, since subsequently Avicenna, on the grounds of this passage, would widen the (...) area of the transference of demonstration. Furthermore, the fact that Avicenna and Ibn al-Nafīs continued to use geometrical demonstrations in their anatomical investigations shows the need to understand kind-crossing prohibition as a reminder to take into account the present scientific infrastructure and logical rules before proceeding onto a scientific investigation instead of accepting it as a mere nominal doctrine. Therefore, whether kind-crossing was possible or not depended on the extent to which the conclusion derived at the end of the scientific investigation, using a different method after taking into account all these reminders, had contributed to the solution of a particular proposition or the achievement of an approximate truth. (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….

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)

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)

The status of the laws of nature in Hobbes’s Leviathan has been a continual point of disagreement among scholars. Many agree that since Hobbes claims that civil philosophy is a science, the answer lies in an understanding of the nature of Hobbesian science more generally. In this paper, I argue that Hobbes’s view of the construction of geometrical figures sheds light upon the status of the laws of nature. In short, I claim that the laws play the same role (...) as the component parts – what Hobbes calls the “cause” – of geometrical figures. To make this argument, I show that in both geometry and civil philosophy, Hobbes proceeds by a method of synthetic demonstration as follows: 1) offering a thought experiment by privation; 2) providing definitions by explication of “simple conceptions” within the thought experiment; and 3) formulating generative definitions by making use of those definitions by explication. In just the same way that Hobbes says that the geometer should “put together” the parts of a square to learn its cause, I argue that the laws of nature are the cause of peace. (shrink)

Conventional wisdom dictates that proofs of mathematical propositions should be treated as necessary, and sufficient, for entailing `significant' mathematical truths only if the proofs are expressed in a---minimally, deemed consistent---formal mathematical theory in terms of: * Axioms/Axiom schemas * Rules of Deduction * Definitions * Lemmas * Theorems * Corollaries. Whilst Andrew Wiles' proof of Fermat's Last Theorem FLT, which appeals essentially to geometrical properties of real and complex numbers, can be treated as meeting this criteria, it nevertheless leaves (...) two questions unanswered: (i) Why is x^n +y^n = z^n solvable only for n < 3 if x, y, z, n are natural numbers? (ii) What technique might Fermat have used that led him to, even if only briefly, believe he had `a truly marvellous demonstration' of FLT? Prevailing post-Wiles wisdom---leaving (i) essentially unaddressed---dismisses Fermat's claim as a conjecture without a plausible proof of FLT. -/- However, we posit that providing evidence-based answers to both queries is necessary not only for treating FLT as significant, but also for understanding why FLT can be treated as a true arithmetical proposition. We thus argue that proving a theorem formally from explicit, and implicit, premises/axioms using rules of deduction---as currently accepted---is a meaningless game, of little scientific value, in the absence of evidence that has already established---unambiguously---why the premises/axioms and rules of deduction can be treated, and categorically communicated, as pre-formal truths in Marcus Pantsar's sense. Consequently, only evidence-based, pre-formal, truth can entail formal provability; and the formal proof of any significant mathematical theorem cannot entail its pre-formal truth as evidence-based. It can only identify the explicit/implicit premises that have been used to evidence the, already established, pre-formal truth of a mathematical proposition. Hence visualising and understanding the evidence-based, pre-formal, truth of a mathematical proposition is the only raison d'etre for subsequently seeking a formal proof of the proposition within a formal mathematical language (whether first-order or second order set theory, arithmetic, geometry, etc.) By this yardstick Andrew Wiles' proof of FLT fails to meet the required, evidence-based, criteria for entailing a true arithmetical proposition. -/- Moreover, we offer two scenarios as to why/how Fermat could have laconically concluded in his recorded marginal noting that FLT is a true arithmetical proposition---even though he either did not (or could not to his own satisfaction) succeed in cogently evidencing, and recording, why FLT can be treated as an evidence-based, pre-formal, arithmetical truth (presumably without appeal to properties of real and complex numbers). It is primarily such a putative, unrecorded, evidence-based reasoning underlying Fermat's laconic assertion which this investigation seeks to reconstruct; and to justify by appeal to a plausible resolution of some philosophical ambiguities concerning the relation between evidence-based, pre-formal, truth and formal provability. (shrink)

This presentation of Aristotle's natural deduction system supplements earlier presentations and gives more historical evidence. Some fine-tunings resulted from conversations with Timothy Smiley, Charles Kahn, Josiah Gould, John Kearns,John Glanvillle, and William Parry.The criticism of Aristotle's theory of propositions found at the end of this 1974 presentation was retracted in Corcoran's 2009 HPL article "Aristotle's demonstrative logic".

Descartes holds that the tell-tale sign of a solid proof is that its entailments appear clearly and distinctly. Yet, since there is a limit to what a subject can consciously fathom at any given moment, a mnemonic shortcoming threatens to render complex geometrical reasoning impossible. Thus, what enables us to recall earlier proofs, according to Descartes, is God’s benevolence: He is too good to pull a deceptive switch on us. Accordingly, Descartes concludes that geometry and belief in God must (...) go hand in hand. However, I argue that, while theism adds a layer of psychological reassurance, the mind-independent reality of God would ensure the preservation of past demonstrations for atheists as well. (shrink)

The overreliance on verbal models and theories in psychology has been criticized for hindering the development of reliable research programs (Harris, 1976; Yarkoni, 2020). We demonstrate how the conceptual space framework can be used to formalize verbal theories and improve their precision and testability. In the framework, scientific concepts are represented by means of geometric objects. As a case study, we present a formalization of an existing three-dimensional theory of emotion which was developed with a spatial metaphor in mind. Wundt (...) posits that the range of human emotion can be represented along three axes of basic emotions (pleasure/displeasure, excitement/inhibition, tension/relaxation), just as color vision can be represented using three basic colors. We use dimensions to represent basic emotions, points to represent emotional states, and regions to represent broader emotional concepts. We then compare our formalization to an existing structuralist formalization of Wundt’s theory. Further, we discuss the empirical predictions that our formalization generates, such as comparisons of similarity and intensity. We conclude by demonstrating how the tools developed in the conceptual space framework can be used to formulate a theory of emotion based on empirical observation. (shrink)

The overreliance on verbal models and theories in psychology has been criticized for hindering the development of reliable research programs (Harris, 1976; Yarkoni, 2020). We demonstrate how the conceptual space framework can be used to formalize verbal theories and improve their precision and testability. In the framework, scientific concepts are represented by means of geometric objects. As a case study, we present a formalization of an existing three-dimensional theory of emotion which was developed with a spatial metaphor in mind. Wundt (...) posits that the range of human emotion can be represented along three axes of basic emotions (pleasure/displeasure, excitement/inhibition, tension/relaxation), just as color vision can be represented using three basic colors. We use dimensions to represent basic emotions, points to represent emotional states, and regions to represent broader emotional concepts. We then compare our formalization to an existing structuralist formalization of Wundt’s theory. Further, we discuss the empirical predictions that our formalization generates, such as comparisons of similarity and intensity. We conclude by demonstrating how the tools developed in the conceptual space framework can be used to formulate a theory of emotion based on empirical observation. (shrink)

This paper attempts to demonstrate that the conviction about the harmony and order of the world was a fundamental metaphysical principle of the Pythagoreans. This harmony and order were primarily sought in the structures of arithmetics, yet following the discovery of incommensurable magnitudes (irrational numbers, as we now call them), the Pythagoreans began to see geometrical structure as a fundamental part of the world. On the example of the Pythagoreans’ metaphysics and science, the paper shows the mutual relations between (...) metaphysics and science. It demonstrates— on the one hand—the necessity of the first as a guide for the latter, and—on the other—how our scientific research can change its basic metaphysical principles when these are found to be inappropriate. The paper also tries to show the need for a realistic approach in our scientific research by means of the same example of the Pythagoreans, that is, the need to discern something which is below the surface appearance. (shrink)

A new AI system, called AlphaGeometry, trained under synthetic data has demonstrated the ability to solve geometric problems at the International Olympiad level. This essay considers the fact that human abilities to learn and do math as well as many other tasks are increasingly augmented with AI. Clearly, smart technologies like AlphaGeometry are redefining a number of concepts and institutions such as learning, schools, education, teacher-student relationships, creativity, etc, which are so fundamental for what we’ve thought of as modern society, (...) economy, and culture. What are we preparing for in mathematics education in the face of the possibility of the continued emergence of disruptive technologies, signaling the beginning of the end, if a new reality of mathematics is not taken into account? (shrink)

The Schwarzschild solution (Schwarzschild, 1915/16) to Einstein’s General Theory of Relativity (GTR) is accepted in theoretical physics as the unique solution to GTR for a central-mass system. In this paper I propose an alternative solution to GTR, and argue it is both logically consistent and empirically realistic as a theory of gravity. This solution is here called K-gravity. The introduction explains the basic concept. The central sections go through the technical detail, defining the basic solution for the geometric tensor, the (...) Christoffel symbols, Ricci tensor, Ricci scalar, Einstein tensor, stress-energy tensor and density-pressure for the system. The density is integrated, and some consistency properties are demonstrated. A notable feature is the disappearance of the event horizon singularity, i.e. there are no black holes. So far this is for a single central mass. A generalization of the solution for multiple masses is then proposed. This is required to support K-gravity as a viable general interpretation of gravity. Then the question of empirical tests is discussed. It is argued that current observational data is almost but not quite sufficient to verify or falsify K-gravity. The Pioneer spacecraft trajectory data is of particular interest, as this is capable of providing a test; but the data (which originally showed anomalies that match K-gravity) is now uncertain. A new and very practical experiment is proposed to settle the matter. This would provide a novel test of GTR, and a novel test of the cause of the Pioneer anomalies. In conclusion, K-gravity has extensive ramifications for gravitational physics and for the philosophy of GTR and space-time. (shrink)

Cross-linguistic strategies for mapping lexical and spatial relations from body partonym systems to external object meronymies (as in English ‘table leg’, ‘mountain face’) have attracted substantial research and debate over the past three decades. Due to the systematic mappings, lexical productivity and geometric complexities of body-based meronymies found in many Mesoamerican languages, the region has become focal for these discussions, prominently including contrastive accounts of the phenomenon in Zapotec and Tzeltal, leading researchers to question whether such systems should be explained (...) as global metaphorical mappings from bodily source to target holonym or as vector mappings of shape and axis generated “algorithmically”. I propose a synthesis of these accounts in this paper by drawing on the species-specific cognitive affordances of human upright posture grounded in the reorganization of the anatomical planes, with a special emphasis on antisymmetrical relations that emerge between arm-leg and face-groin antinomies cross-culturally. Whereas Levinson argues that the internal geometry of objects “stripped of their bodily associations” (1994: 821) is sufficient to account for Tzeltal meronymy, making metaphorical explanations entirely unnecessary, I propose a more powerful, elegant explanation of Tzeltal meronymic mapping that affirms both the geometric-analytic and the global-metaphorical nature of Tzeltal meaning construal. I do this by demonstrating that the “algorithm” in question arises from the phenomenology of movement and correlative body memories—an experiential ground which generates a culturally selected pair of inverse contrastive paradigm sets with marked and unmarked membership emerging antithetically relative to the transverse anatomical plane. These relations are then selected diagrammatically for the classification of object orientations according to systematic geometric iconicities. Results not only serve to clarify the case in question but also point to the relatively untapped potential that upright posture holds for theorizing the emergence of human cognition, highlighting in the process the nature, origins and theoretical validity of markedness and double scope conceptual integration. (shrink)

In Hegel ou Spinoza,1 Pierre Macherey challenges the influence of Hegel’s reading of Spinoza by stressing the degree to which Spinoza eludes the grasp of the Hegelian dialectical progression of the history of philosophy. He argues that Hegel provides a defensive misreading of Spinoza, and that he had to “misread him” in order to maintain his subjective idealism. The suggestion being that Spinoza’s philosophy represents, not a moment that can simply be sublated and subsumed within the dialectical progression of the (...) history of philosophy, but rather an alternative point of view for the development of a philosophy that overcomes Hegelian idealism. Gilles Deleuze also considers Spinoza’s philosophy to resist the totalising effects of the dialectic. Indeed, Deleuze demonstrates, by means of Spinoza, that a more complex philosophy antedates Hegel’s, which cannot be supplanted by it. Spinoza therefore becomes a significant figure in Deleuze’s project of tracing an alternative lineage in the history of philosophy, which, by distancing itself from Hegelian idealism, culminates in the construction of a philosophy of difference. It is Spinoza’s role in this project that will be demonstrated in this paper by differentiating Deleuze’s interpretation of the geometrical example of Spinoza’s Letter XII (on the problem of the infinite) in Expressionism in Philosophy, Spinoza,2 from that which Hegel presents in the Science of Logic.3. (shrink)

Kant's arguments for the synthetic a priori status of geometry are generally taken to have been refuted by the development of non-Euclidean geometries. Recently, however, some philosophers have argued that, on the contrary, the development of non-Euclidean geometry has confirmed Kant's views, for since a demonstration of the consistency of non-Euclidean geometry depends on a demonstration of its equi-consistency with Euclidean geometry, one need only show that the axioms of Euclidean geometry have 'intuitive content' in order to show (...) that both Euclidean and non-Euclidean geometry are bodies of synthetic a priori truths. Michael Friedman has argued that this defence presumes a polyadic conception of logic that was foreign to Kant. According to Friedman, Kant held that geometrical reasoning itself relies essentially on intuition, and that this precludes the very possibility of non-Euclidean geometry. While Friedman's characterization of Kant's views on geometrical reasoning is correct, I argue that Friedman's conclusion that non-Euclidean geometries are logically impossible for Kant is not. I argue that Kant is best understood as a proto-constructivist and that modern constructive axiomatizations (unlike Hilbert-style axiomatizations) of both Euclidean and non-Euclidean geometry capture Kant's views on the essentially constructive nature of geometrical reasoning well. (shrink)

This paper aims to provide two abductive considerations adducing in favor of the thesis of Necessitism in modal ontology. I demonstrate how instances of the Barcan formula can be witnessed, when the modal operators are interpreted 'naturally' -- i.e., as including geometric possibilities -- and the quantifiers in the formula range over a domain of natural, or concrete, entities and their contingently non-concrete analogues. I argue that, because there are considerations within physics and metaphysical inquiry which corroborate modal relationalist claims (...) concerning the possible geometric structures of spacetime, and dispositional properties are actual possible entities, the condition of being grounded in the concrete is consistent with the Barcan formula; and thus -- in the geometric setting -- merits adoption by the Necessitist. (shrink)

This essay explores theories of place, or lived-space, as regards the role of objectivity and the problem of relativism. As will be argued, the neglect of mathematics and geometry by the lived-space theorists, which can be traced to the influence of the early phenomenologists, principally the later Husserl and Heidegger, has been a major contributing factor in the relativist dilemma that afflicts the lived-space movement. By incorporating various geometrical concepts within the analysis of place, it is demonstrated that the (...) lived-space theorists can gain a better insight into the objective spatial relationships among individuals and within groups—and, more importantly, this appeal to mathematical content need not be construed as undermining the basic tenants of the lived-space approach. (shrink)

As is generally known, Newton’s notion of universal gravitation surpassed various theories of particular gravities in the early modern age, as represented mainly by Kepler and Hooke. In his seminal work “Hooke and the Law of Universal Gravitation: A Reappraisal of a Reappraisal” Richard S. Westfall argues that Hooke could not reach beyond the concept of spatially bounded particular gravities, as he deployed the method of analogy between the material principle of congruity and incongruity and the extension of gravitational spheres (...) and their action at a distance. However, the doctrine of universal gravitation does not exclude the nature of particular gravities; it is predicated on the notion of an infinite expansion of individual-gravitational spheres and their uniform nature, namely the mutual and centripetal attraction. In my treatise I attempt to reinvestigate the nature and structure of gravitation, as established historically in the framework of Newtonian Classical Mechanics, by a method of structural intuition. It examines how the structural intuition, as represented in the celestial-mechanical intuitions of Hooke and Kepler, could unfold into an innovative process within the context of early modern mechanical philosophy, attaining thus a historical significance and legitimacy as against the prevailing Newtonian method of geometric-mathematical axiomatization of mechanical principles. It also explores the actual demonstrative features of the tidal phenomenon with regard to its lunar- and solar-gravitational causation, which has been considered to date to be an important piece of empirical evidence for the theory of universal gravitation. (shrink)

The author presents the history of gravitational waves according to Einstein, linking it to his biography and his time in order to understand it in his connection with the history of the Semites, the personality of Einstein in the handling of his conflict-generating circumstances in his relationships competition with his colleagues and in the formulation of the so-called general theory of relativity. We will fall back on the vicissitudes that Einstein experienced in the transition from his scientific work to normal (...) science as a pillar of theoretical physics. We will deal with how Einstein introduced the relativistic ether, conferring an "odor of materiality" to his geometric explanation of gravity, where undoubtedly it does not fit, but that he had to give in to the pressure that was justified by his most renowned colleagues, led by Lorentz. Einstein had to do it to stay in the queue that would lead him to the Nobel. It was thus, as developing the relativistic ether thread, in June 1916, he introduced the gravitational waves of which, in an act of personal liberation and scientific honesty, when he could, in 1938, he demonstrated how they could not exist, within the scenario of his relativity, to immediately also put an end to the relativistic ether. (shrink)

We indicate a new way in the solution of the problem of the quantum measurement . In past papers we used the well-known formalism of the density matrix using an algebraic approach in a two states quantum spin system S, considering the particular case of three anticommuting elements. We demonstrated that, during the wave collapse, we have a transition from the standard Clifford algebra, structured in its space and metrics, to the new spatial structure of the Clifford dihedral algebra. This (...) structured geometric transition, which occurs during the interaction of the S system with the macroscopic measurement system M, causes the destruction of the interferential factors. In the present paper we construct a detailed model of the (S+M) interaction evidencing the particular role of the Time Ordering in the (S+M) coupling since we have a time asymmetric interaction . We demonstrate that , during the measurement , the physical circumstance that the fermion creation and annihilation operators of the S system must be destroyed during such interaction has a fundamental role . (shrink)

Andrew Wiles' analytic proof of Fermat's Last Theorem FLT, which appeals to geometrical properties of real and complex numbers, leaves two questions unanswered: (i) What technique might Fermat have used that led him to, even if only briefly, believe he had `a truly marvellous demonstration' of FLT? (ii) Why is x^n+y^n=z^n solvable only for n<3? In this inter-disciplinary perspective, we offer insight into, and answers to, both queries; yielding a pre-formal proof of why FLT can be treated as (...) a true arithmetical proposition (one which, moreover, might not be provable formally in the first-order Peano Arithmetic PA), where we admit only elementary (i.e., number-theoretic) reasoning, without appeal to analytic properties of real and complex numbers. We cogently argue, further, that any formal proof of FLT needs---as is implicitly suggested by Wiles' proof---to appeal essentially to formal geometrical properties of formal arithmetical propositions. (shrink)

The General Relativity understands gravity like inertial movement of the free fall of the bodies in curved spacetime of Lorentz. The law of inertia of Newton would be particular case of the inertial movement of the bodies in the spacetime flat of Euclid. But, in the step, of the particular to the general, breaks the law of inertia of Galilei since recovers the rectilinear uniform movement but not the repose state, unless the bodies have undergone their union, although, the curved (...) spacetime becomes flat and the curved geodesies becomes straight lines. For General Relativity is a natural law, within of a gravitational field, the uniform accelerated movement of the bodies, that leads to that a geometric curvature puts out to the bodies of the repose state for animate them of the movement of free fallen. In this paper this error of General Relativity, like generalization of the law of inertia of Galilei, is examined and it is found that it is caused by suppression of mass and force that allows conceiving acceleration like property of spacetime. This is a mathematical and non-ontological result. Indeed, mass and force are the fundament that the gravitational acceleration is a constant value for all the bodies, independently of the magnitude of mass but not of the mass and the gravitational force. The action of the gravity force, on inertial and gravitational masses of a body, produces mutual cancellation during its free fallen. In addition, by means of the third law of Newton it demonstrates that gravity is a force since weight is caused by gravity force. (shrink)

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

I discuss a short string of five sentences in Metaphysics V.5, 1015b6-9 relating demonstration to necessity. My proposal is that Aristotle focuses his attention on the demonstration as a demonstration. Other interpretations reduce the necessity in question to the modality of the component sentences of the demonstrations (the conclusion and the premises). My view does not deny that the modality of the component sentences is important, but takes seriously the idea that a demonstration itself should be (...) understood as necessary—as not capable of being otherwise. A demonstration cannot be different from what it is in the sense that [i] its components cannot be different from what they are, [ii] its components must be related to each other exactly in the way they are related. Demonstrations aim at the fully appropriate explanation of a given explanandum—and each demonstration is individuated by the explanandum it takes. Thus, the basic idea is that, for the target explanandum that individuates a given demonstration, the premises delivering the fully appropriate explanation cannot be replaces with different ones. I show how this proposal, which explains Aristotle’s language in 1015b6-9 accurately, does not make demonstrations ‘melt down into conditional necessity’, first, because the modality of the component sentences is still importantly involved, second, because the explanatory relation expressed in a demonstration is a necessary fact in the real world, so that the demonstration itself is also necessary (in the way I have explained) inasmuch as it captures that fact. (shrink)

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.

When I act on something, three kinds of idea (or representation) come into play. First, I have a non-visual representation of my goals. Second, I have a visual description of the kind of thing that I must act upon in order to satisfy my goals. Finally, I have an egocentric position locator that enables my body to interact with the object. It is argued here that these ideas are distinct. It is also argued that the egocentric position locator functions in (...) the same way as a demonstrative, and that the involvement of such demonstratives in visual content negates naive realism. (This is a nearly final draft of a paper that is to be published in Raftopoulos and Machamer (eds), Perception, Realism, and the Problem of Reference (forthcoming from Cambridge UP. It is a shorter revised version of "Visual Reference", posted earlier.). (shrink)

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

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)

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)

It is often thought that endowing a demonstrative with a Fregean sense leaves no room for maintaining that it is also a rigid designator. In addition, some philosophers claim that indexicals - surely the paradigms of singular reference - pose a serious threat to the Fregean sense/ reference approach as they do not comply with the view that singular terms have Fregean senses. In this paper I argue that neither of these is true.

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)

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)

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 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)

according to aristotle's posterior analytics, scientific expertise is composed of two different cognitive dispositions. Some propositions in the domain can be scientifically explained, which means that they are known by "demonstration", a deductive argument in which the premises are explanatory of the conclusion. Thus, the kind of cognition that apprehends those propositions is called "demonstrative knowledge".1 However, not all propositions in a scientific domain are demonstrable. Demonstrations are ultimately based on indemonstrable principles, whose knowledge is called "comprehension".2 If the (...) knowledge of all scientific propositions were... (shrink)

In some sentences, demonstratives can be substituted with definite descriptions without any change in meaning. In light of this, many have maintained that demonstratives are just a type of definite description. However, several theorists have drawn attention to a range of cases where definite descriptions are acceptable, but their demonstrative counterparts are not. Some have tried to account for this data by appealing to presupposition. I argue that such presuppositional approaches are problematic, and present a pragmatic account of the target (...) contrasts. On this approach, demonstratives take two arguments and generally require that the first, covert argument is non-redundant with respect to the second, overt argument. I derive this condition through an economy principle discussed by Schlenker (2005). (shrink)

Standard semantic theories predict that non-deictic readings for complex demonstratives should be much more widely available than they in fact are. If such readings are the result of a lexical ambiguity, as Kaplan (1977) and others suggest, we should expect them to be available wherever a definite description can be used. The same prediction follows from ‘hidden argument’ theories like the ones described by King (2001) and Elbourne (2005). Wolter (2006), however, has shown that complex demonstratives admit non-deictic interpretations only (...) when a precise set of structural constrains are met. In this paper, I argue that Wolter’s results, properly understood, upend the philosophical status quo. They fatally undermine the ambiguity theory and demand a fundamental rethinking of the hidden argument approach. (shrink)

The paper argues that the reference of perceptual demonstratives is fixed in a causal nondescriptive way through the nonconceptual content of perception. That content consists first in spatiotemporal information establishing the existence of a separate persistent object retrieved from a visual scene by the perceptual object segmentation processes that open an object-file for that object. Nonconceptual content also consists in other transducable information, that is, information that is retrieved directly in a bottom-up way from the scene (motion, shape, etc). The (...) nonconceptual content of the mental states induced when one uses a perceptual demonstrative constitutes the mode of presentation of the perceptual demonstrative that individuates but does not identify the object of perceptual awareness and allows reference to it. On that account, perceptual demonstratives put us in a de re relationship with objects in the world through the non-conceptual information retrieved directly from the objects in the environment. (shrink)