Kant was engaged in a lifelong struggle to achieve what he calls in the 1756 Physical Monadology (PM) a “marriage” of metaphysics and geometry (1:475). On one hand, this involved showing that metaphysics and geometry are complementary, despite the seemingly irreconcilable conflicts between these disciplines and between their respective advocates, the Leibnizian-Wolffians and the Newtonians. On the other hand, this involved defining the terms of their union, which meant among other things, articulating their respective roles in grounding Newtonian (...) natural science. In this paper, consider how Kant’s project of marrying metaphysics and geometry evolves from the pre-Critical to the Critical period and how key discussions in the Prolegomena are related to the lifelong marriage project. (shrink)

We present a deductive theory of space-time which is realistic, objective, and relational. It is realistic because it assumes the existence of physical things endowed with concrete properties. It is objective because it can be formulated without any reference to cognoscent subjects or sensorial fields. Finally, it is relational because it assumes that space-time is not a thing but a complex of relations among things. In this way, the original program of Leibniz is consummated, in the sense that space is (...) ultimately an order of coexistents, and time is an order of succesives. In this context, we show that the metric and topological properties of Minkowskian space-time are reduced to relational properties of concrete things. We also sketch how our theory can be extended to encompass a Riemannian space-time. (shrink)

In contrast to the Nietzschean conception of Übermensch as signifying, hitherto, a supermanhood in moral terms alone, the principle of the latter lies in its being antithetical to the present human status, and in its thus proving altogether superior both ontologically and physically. With this premise the notions of Sixth Force and Photonic Frame are now associated. Set forth after a qualitative fashion, while the former is related to the thus far known elemental constituents of matter, as well as to (...) forces and interactions between matter particles, and under this form deemed to intangibly account for all the chaos, indeterminacy and otherwise imperfection or limit found so peculiar to man, the latter refers to an ultimate trait in the actual Overman touching a most luminous and unparalleled corporeality. An original conception of geometry in photonic terms is also propounded. Illustrations meeting at length with a semiotic process and literary hints add to the suggestion. (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 article accomplishes two goals. First, the paper clarifies Edmund Husserl’s investigation of the historical inception of the number system from his early works, Philosophy of Arithmetic and, “On the Logic of Signs (Semiotic)”. The article explores Husserl’s analysis of five historical developmental stages, which culminated in our ancestor’s ability to employ and enumerate with number signs. Second, the article reveals how Husserl’s conclusions about the history of the number system from his early works opens up a fusion point with (...) his investigations from his mature texts, The Crisis of the European Sciences and “The Origin of Geometry”. On the one hand, the essay shows that Husserl’s methodology was similar, as he sought in both his early and late writings to uncover the essence of the history of the formal sciences and was not executing mere intellectual history. On the other hand, the article discloses that Husserl’s insights from both time periods are strikingly analogous. Already in his early texts, Husserl saw that the sciences emerged from pre-theoretical experiences of the world and that the sciences are the result of a historical process, which involves the psychic activities of past individuals and the maintaining of discoveries over time by intersubjective communities. I conclude by showing how, in light of the analysis of this paper, we can rethink the evolution of Husserl’s philosophy. (shrink)

The researcher was prompted to conduct this study to give intervention of the alarming situation which there is a low performance in solving problems related to geometry in Grade IV Mathematics. This study was about on how to enhance the mathematical competencies of the grade IV pupils using a downloaded worksheets as a learning activity. This study focused in giving remediation applying the intervention materials. These resources give several approaches to attain mastery using distinct drill cards. The investigation was (...) carried out utilizing quasi-experimental design. During administering the pre-test and post-test, the researcher used the weighted mean and t-test to determine the mean percentage scores of the respondents. The respondents were 56 fourth grade learners enrolled in Marangog Elementary School and Tagnate Elementary School in Hilongos East District for the school year 2019 – 2020. At the end of the study, it was found out the use of downloaded math worksheets were found effective means of improving the mastery level. In addition, based on the results gathered, the downloaded math worksheets which were used in the drills or practice greatly contributed to the elimination of non-numerates, and give significantly increasing the number of pupils who mastered the competencies related to geometry. As a result, a proposed innovative teaching strategy is recommended. -/- . (shrink)

Plato's philosophy is in line with the pre-Socratics, sophists and artistic traditions that underlie Greek education, in a new framework, defined by dialectics and the theory of Ideas. For Plato, knowledge is an activity of the soul, affected by sensible objects, and by internal processes. Platonism has its origins in Plato's philosophy, although it is not to be confused with it. According to Platonism, there are abstract objects (a notion different from that of modern philosophy that exists in another realm (...) distinct from both the external sensible world and the internal world of consciousness, and is the opposite of nominalism). An essential distinction for Plato in his philosophy is the theory of Forms, the distinction between perceptible but unintelligible reality (science) and imperceptible but intelligible reality (mathematics) Geometry was Plato's main motivation, and this shows the influence of Pythagoras. Forms are perfect archetypes whose real objects are imperfect copies. -/- DOI: 10.13140/RG.2.2.21536.05121. (shrink)

This is my (Subhasis Chattopadhyay's) draft of PhD pre-submission. Dr. Scriver has (had) put it up online in her blog and I found it today, that is 1:06 pm, 28th May, 2017. I am grateful to her since intellectual ideas can otherwise be hijacked. She has done a wonderful editorial job.

Geometry, etymologically the “science of measuring the Earth”, is a mathematical formalization of space. Just as formal concepts of number may be rooted in an evolutionary ancient system for perceiving numerical quantity, the fathers of geometry may have been inspired by their perception of space. Is the spatial content of formal Euclidean geometry universally present in the way humans perceive space, or is Euclidean geometry a mental construction, specific to those who have received appropriate instruction? The (...) spatial content of the formal theories of geometry may depart from spatial perception for two reasons: first, because in geometry, only some of the features of spatial figures are theoretically relevant; and second, because some geometric concepts go beyond any possible perceptual experience. Focusing in turn on these two aspects of geometry, we will present several lines of research on US adults and children from the age of three years, and participants from an Amazonian culture, the Mundurucu. Almost all the aspects of geometry tested proved to be shared between these two cultures. Nevertheless, some aspects involve a process of mental construction where explicit instruction seem to play a role in the US, but that can still take place in the absence of instruction in geometry. (shrink)

Does geometry constitues a core set of intuitions present in all humans, regarless of their language or schooling ? We used two non verbal tests to probe the conceptual primitives of geometry in the Munduruku, an isolated Amazonian indigene group. Our results provide evidence for geometrical intuitions in the absence of schooling, experience with graphic symbols or maps, or a rich language of geometrical terms.

The notion of linguistic geometry is defined in this book. It is pertinent to keep in the record that linguistic geometry differs from classical geometry. Many basic or fundamental concepts and notions of classical geometry are not true or extendable in the case of linguistic geometry. Hence, for simple illustration, facts like two distinct points in classical geometry always define a line passing through them; this is generally not true in linguistic geometry. Suppose (...) we have two linguistic points as tall and light we cannot connect them, or technically, there is no line between them. However, let's take, for instance, two linguistic points, tall and very short, associated with the linguistic variable height of a person. We have a directed line joining from the linguistic point very short to the linguistic point tall. In this case, it is important to note that the direction is essential when the linguistic variable is a person's height. The other way line, from tall to very short, has no meaning. So in linguistic geometry, in general, we may not have a linguistic line; granted, we have a line, but we may not have it in both directions; the line may be directed. The linguistic distance is very far. So, the linguistic line directed or otherwise exists if and only if they are comparable. Hence the very concept of extending the line infinitely does not exist. Likewise, we cannot say as in classical geometry; three noncollinear points determine the plane in linguistic geometry. Further, we do not have the notion of the linguistic area of well-defined figures like a triangle, quadrilateral or any polygon as in the case of classical geometry. The best part of linguistic geometry is that we can define the new notion of linguistic social information geometric networks analogous to social information networks. This will be a boon to non-mathematics researchers in socio-sciences in other fields where natural languages can replace mathematics. (shrink)

An argument is given that Euclidean geometry is a priori in the same way that numbers are a priori, the result of modeling, not the world, but our activities in the world.

This work examines the unique way in which Benedict de Spinoza combines two significant philosophical principles: that real existence requires causal power and that geometrical objects display exceptionally clearly how things have properties in virtue of their essences. Valtteri Viljanen argues that underlying Spinoza's psychology and ethics is a compelling metaphysical theory according to which each and every genuine thing is an entity of power endowed with an internal structure akin to that of geometrical objects. This allows Spinoza to offer (...) a theory of existence and of action - human and non-human alike - as dynamic striving that takes place with the same kind of necessity and intelligibility that pertain to geometry. This fresh and original study will interest a wide range of readers in Spinoza studies and early modern philosophy more generally. (shrink)

Kant argued that Euclidean geometry is synthesized on the basis of an a priori intuition of space. This proposal inspired much behavioral research probing whether spatial navigation in humans and animals conforms to the predictions of Euclidean geometry. However, Euclidean geometry also includes concepts that transcend the perceptible, such as objects that are infinitely small or infinitely large, or statements of necessity and impossibility. We tested the hypothesis that certain aspects of nonperceptible Euclidian geometry map onto (...) intuitions of space that are present in all humans, even in the absence of formal mathematical education. Our tests probed intuitions of points, lines, and surfaces in participants from an indigene group in the Amazon, the Mundurucu, as well as adults and age-matched children controls from the United States and France and younger US children without education in geometry. The responses of Mundurucu adults and children converged with that of mathematically educated adults and children and revealed an intuitive understanding of essential properties of Euclidean geometry. For instance, on a surface described to them as perfectly planar, the Mundurucu's estimations of the internal angles of triangles added up to ∼180 degrees, and when asked explicitly, they stated that there exists one single parallel line to any given line through a given point. These intuitions were also partially in place in the group of younger US participants. We conclude that, during childhood, humans develop geometrical intuitions that spontaneously accord with the principles of Euclidean geometry, even in the absence of training in mathematics. (shrink)

in this paper we return to Marshall Clagett’s view about the existence of an ancient Greek geometry of motion. It can be read in two ways. As a basic presentation of ancient Greek geometry of motion, followed by some aspects of its further development in landmark works by Galileo and Newton. Conversely, it can be read as a basic presentation of aspects of Galileo’s and Newton’s mathematics that can be considered as developments of a geometry of motion (...) that was first conceived by ancient Greek mathematicians. (shrink)

Pre-emption cases have been taken by almost everyone to imply the unviability of the simple counterfactual theory of causation. Yet there is ample motivation from scientific practice to endorse a simple version of the theory if we can. There is a way in which a simple counterfactual theory, at least if understood contrastively, can be supported even while acknowledging that intuition goes firmly against it in pre-emption cases—or rather, only in some of those cases. For I present several new pre-emption (...) cases in which causal intuition does not go against the counterfactual theory, a fact that has been verified experimentally. I suggest an account of framing effects that can square the circle. Crucially, this account offers hope of theoretical salvation—but only to the counterfactual theory of causation, not to others. Again, there is (admittedly only preliminary) experimental support for this account. (shrink)

I explore some ways in which one might base an account of the fundamental metaphysics of geometry on the mathematical theory of Linear Structures recently developed by Tim Maudlin (2010). Having considered some of the challenges facing this approach, Idevelop an alternative approach, according to which the fundamental ontology includes concrete entities structurally isomorphic to functions from space-time points to real numbers.

In this paper I will argue that what makes our ordinary judgements about token causation true can be explicated in terms of interferences into quasi-inertial processes. These interferences and quasi-inertial processes can in turn be fully explicated in scientific terms. In this sense the account presented here is reductive. I will furthermore argue that this version of a process-theory of causation can deal with the traditional problems that process theories have to face, such as the problem of misconnection and the (...) problem of disconnection as well as with a problem concerning the mis-classification of pre-emption cases. (shrink)

Evolution and geometry generate complexity in similar ways. Evolution drives natural selection while geometry may capture the logic of this selection and express it visually, in terms of specific generic properties representing some kind of advantage. Geometry is ideally suited for expressing the logic of evolutionary selection for symmetry, which is found in the shape curves of vein systems and other natural objects such as leaves, cell membranes, or tunnel systems built by ants. The topology and (...) class='Hi'>geometry of symmetry is controlled by numerical parameters, which act in analogy with a biological organism’s DNA. The introductory part of this paper reviews findings from experiments illustrating the critical role of two-dimensional (2D) design parameters, affine geometry and shape symmetry for visual or tactile shape sensation and perception-based decision making in populations of experts and non-experts. It will be shown that 2D fractal symmetry, referred to herein as the “symmetry of things in a thing”, results from principles very similar to those of affine projection. Results from experiments on aesthetic and visual preference judgments in response to 2D fractal trees with varying degrees of asymmetry are presented. In a first experiment (psychophysical scaling procedure), non-expert observers had to rate (on a scale from 0 to 10) the perceived beauty of a random series of 2D fractal trees with varying degrees of fractal symmetry. In a second experiment (two-alternative forced choice procedure), they had to express their preference for one of two shapes from the series. The shape pairs were presented successively in random order. Results show that the smallest possible fractal deviation from “symmetry of things in a thing” significantly reduces the perceived attractiveness of such shapes. The potential of future studies where different levels of complexity of fractal patterns are weighed against different degrees of symmetry is pointed out in the conclusion. (shrink)

Why does ‘ethnic cleansing’ occur? Why does the rise of nationalist feeling in Europe and of Black separatist movements in the United States often go hand in hand with an upsurge of anti-Semitism? Why do some mixings of distinct religious and ethnic groups succeed, where others (for example in Northern Ireland, or in Bosnia) fail so catastrophically? Why do phrases like ‘balkanisation’, ‘dismemberment’, ‘mutilation’, ‘violation of the motherland’ occur so often in warmongering rhetoric? All of these questions are, it will (...) turn out, connected. To understand how they are connected we we will need to examine how human beings acquire a relationship to specific chunks of land, a relationship that is emotionally so strong that they are prepared to die – or kill – to protect that land for themselves or to win it back from others. Territoriality, the biologically rooted predisposition to defend core areas of home ranges against intruders, is a near-universal phenomenon amongst animals of all species. But the ways in which defended territories are conceived and demarcated differ widely from species to species and from group to group. By coming to an understanding of the geometry of these differences we can come to understand also some of the factors which give rise to interethnic conflict. (shrink)

Geometry defines entities that can be physically realized in space, and our knowledge of abstract geometry may therefore stem from our representations of the physical world. Here, we focus on Euclidean geometry, the geometry historically regarded as “natural”. We examine whether humans possess representations describing visual forms in the same way as Euclidean geometry – i.e., in terms of their shape and size. One hundred and twelve participants from the U.S. (age 3–34 years), and 25 (...) participants from the Amazon (age 5–67 years) were asked to locate geometric deviants in panels of 6 forms of variable orientation. Participants of all ages and from both cultures detected deviant forms defined in terms of shape or size, while only U.S. adults drew distinctions between mirror images (i.e. forms differing in “sense”). Moreover, irrelevant variations of sense did not disrupt the detection of a shape or size deviant, while irrelevant variations of shape or size did. At all ages and in both cultures, participants thus retained the same properties as Euclidean geometry in their analysis of visual forms, even in the absence of formal instruction in geometry. These findings show that representations of planar visual forms provide core intuitions on which humans’ knowledge in Euclidean geometry could possibly be grounded. (shrink)

Planar geometry was exploited for the computation of symmetric visual curves in the image plane, with consistent variations in local parameters such as sagitta, chordlength, and the curves’ height-to-width ratio, an indicator of the visual area covered by the curve, also called aspect ratio. Image representations of single curves (no local image context) were presented to human observers to measure their visual sensation of curvature magnitude elicited by a given curve. Nonlinear regression analysis was performed on both the individual (...) and the average data using two types of model: (1) a power function where. (shrink)

In the brain the relations between free neurons and the conditioned ones establish the constraints for the informational neural processes. These constraints reflect the systemenvironment state, i.e. the dynamics of homeocognitive activities. The constraints allow us to define the cost function in the phase space of free neurons so as to trace the trajectories of the possible configurations at minimal cost while respecting the constraints imposed. Since the space of the free states is a manifold or a non orthogonal space, (...) the minimum distance is not a straight line but a geodesic. The minimum condition is expressed by a set of ordinary differential equation ( ODE ) that in general are not linear. In the brain there is not an algorithm or a physical field that regulates the computation, then we must consider an emergent process coming out of the neural collective behavior triggered by synaptic variability. We define the neural computation as the study of the classes of trajectories on a manifold geometry defined under suitable constraints. The cost function supervises pseudo equilibrium thermodynamics effects that manage the computational activities from beginning to end and realizes an optimal control through constraints and geodetics. The task of this work is to establish a connection between the geometry of neural computation and cost functions. To illustrate the essential mathematical aspects we will use as toy model a Network Resistor with Adaptive Memory (Memristors).The information geometry here defined is an analog computation, therefore it does not suffer the limits of the Turing computation and it seems to respond to the demand for a greater biological plausibility. The model of brain optimal control proposed here can be a good foundation for implementing the concept of "intentionality",according to the suggestion of W. Freeman. Indeed, the geodesic in the brain states can produce suitable behavior to realize wanted functions and invariants as neural expressionsof cognitive intentions. (shrink)

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

We discuss the relationship between logic, geometry and probability theory under the light of a novel approach to quantum probabilities which generalizes the method developed by R. T. Cox to the quantum logical approach to physical theories.

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.

This paper examines Hobbes’s criticisms of Robert Boyle’s air-pump experiments in light of Hobbes’s account in _De Corpore_ and _De Homine_ of the relationship of natural philosophy to geometry. I argue that Hobbes’s criticisms rely upon his understanding of what counts as “true physics.” Instead of seeing Hobbes as defending natural philosophy as “a causal enterprise … [that] as such, secured total and irrevocable assent,” 1 I argue that, in his disagreement with Boyle, Hobbes relied upon his understanding of (...) natural philosophy as a mixed mathematical science. In a mixed mathematical science one can mix facts from experience with causal principles borrowed from geometry. Hobbes’s harsh criticisms of Boyle’s philosophy, especially in the _Dialogus Physicus, sive De natura aeris_, should thus be understood as Hobbes advancing his view of the proper relationship of natural philosophy to geometry in terms of mixing principles from geometry with facts from experience. Understood in this light, Hobbes need not be taken to reject or diminish the importance of experiment/experience; nor should Hobbes’s criticisms in _Dialogus Physicus_ be understood as rejecting experimenting as ignoble and not befitting a philosopher. Instead, Hobbes’s viewpoint is that experiment/experience must be understood within its proper place – it establishes the ‘that’ for a mixed mathematical science explanation. (shrink)

Explications of the reconstruction of Leibniz’s metaphysics that Deleuze undertakes in 'The Fold: Leibniz and the Baroque' focus predominantly on the role of the infinitesimal calculus developed by Leibniz.1 While not underestimat- ing the importance of the infinitesimal calculus and the law of continuity as reflected in the calculus of infinite series to any understanding of Leibniz’s metaphysics and to Deleuze’s reconstruction of it in The Fold, what I propose to examine in this paper is the role played by other (...) developments in mathematics that Deleuze draws upon, including those made by a number of Leibniz’s near contemporaries – the projective geometry that has its roots in the work of Desargues (1591–1661) and the ‘proto-topology’ that appears in the work of Du ̈rer (1471–1528) – and a number of the subsequent developments in these fields of mathematics. Deleuze brings this elaborate conjunction of material together in order to set up a mathematical idealization of the system that he considers to be implicit in Leibniz’s work. The result is a thoroughly mathematical explication of the structure of Leibniz’s metaphysics. What is provided in this paper is an exposition of the very mathematical underpinnings of this Deleuzian account of the structure of Leibniz’s metaphysics, which, I maintain, subtends the entire text of The Fold. (shrink)

Some recently popular accounts of perception account for the phenomenal character of perceptual experience in terms of the qualities of objects. My concern in this paper is with naturalistic versions of such a phenomenal externalist view. Focusing on visual spatial perception, I argue that naturalistic phenomenal externalism conflicts with a number of scientific facts about the geometrical characteristics of visual spatial experience.

An ideal constructor produces geometry from scratch, modelled through the bottom-up assembly of a graph-like lattice within a space that is defined, bootstrap-wise, by that lattice. Construction becomes the problem of assembling a homogeneous lattice in three-dimensional space; that becomes the problem of resolving geometrical frustration in quasicrystalline structure; achieved by reconceiving the lattice as a dynamical system. The resulting construction is presented as the introductory model sufficient to motivate the formal argument that it is a fundamental structure; based (...) on which, it is proposed that where mathematics’ numbers conventionally correspond to dimensionless points on the stateless number line, numbers more fundamentally correspond to an ordering of discrete objects constructed within the stateful number lattice. A second observation is that this fundamental lattice structure is helically configured with fractal character, which, as it relates to the geometry underlying spacetime, has relevance to questions in physics, particularly those involving wave-particle duality. (shrink)

I present considerations surrounding pre-reflective self-consciousness, arising in work I am conducting on a new physicalist, process-based account of [phenomenal] consciousness. The account is called the meta-causal account because it identifies consciousness with a certain type of arrangement of meta-causation. Meta-causation is causation where a cause or effect is itself an instance of causation. The proposed type of arrangement involves a sort of time-spanning, internal reflexivity of the overall meta-causation. I argue that, as a result of the account, any conscious (...) process has PRSC. Hence, PRSC does not need to be taken as a stipulation or argued for on purely phenomenological grounds or as a necessary support for reflective consciousness. I also show how it is natural to the account that PRSC is not an additional, peripheral, sort of consciousness, but is intrinsic to all consciousness, thereby fitting claims about self-intimation and co-constitution by various authors, and also being amenable to an adverbial account. As part of this, consciousness of an external object is just the form that current self-consciousness takes, the meta-causal constitution of it being inextricably modulated by the causal relationship with the object. The article also discusses how MCA helps explore issues of for-me-ness, transparency of perceptual consciousness, and possible immediacy and non-relationality of self-consciousness. (shrink)

We cannot imagine two straight lines intersecting at two points even though they may do so. In this case our abilities to imagine depend upon our abilities to visualise.

The latest draft (posted 05/14/22) of this short, concise work of proof, theory, and metatheory provides summary meta-proofs and verification of the work and results presented in the Theory and Metatheory of Atemporal Primacy and Riemann, Metatheory, and Proof. In this version, several new and revised definitions of terms were added to subsection SS.1; and many corrected equations, theorems, metatheorems, proofs, and explanations are included in the main text. The body of the text is approximately 18 pages, with 3 sections; (...) 1, an Introduction (with a 108 page listing of key terms & definitions), sect. 2, the Results, sect. 3, Discussion (commentary & predictions), and sect. 4, Works Cited. As much as possible, the style is intended for readability and understanding by very bright children (with some interest & knowledge of maths, etc.) and very interested nonprofessionals. The results of this project also enable upgrades of number theory, set theory, proof theory, metamathematics, the foundations of science, and quantum mechanics theory (etc.). (shrink)

In 2004 Jürgen Habermas and Joseph Ratzinger participated in a debate on the ‘pre-political moral foundations of the free-state’. Their contributions showed broad agreement on the role of religion in today’s Western secular state and on areas of collaboration and mutual enrichment between Modernity and Christianity in Europe and the West. They diverged regarding the need or not of a common cultural background prior to the existence of the polity. Their diverging point becomes all the more fascinating to the extent (...) that the matter requires wider empirical, analytical and normative research before it can be settled. Nevertheless, the implications that derive from one or the other possibility are very different in terms, for instance, of immigration and citizenship policies. This is already clear in Europe and is becoming more evident in general in Western democracies. (shrink)

Against Thomas Mormann's argument that differential topology does not support Carnap's conventionalism in geometry we show their compatibility. However, Mormann's emphasis on the entanglement that characterizes topology and its associated metrics is not misplaced. It poses questions about limits of empirical inquiry. For Carnap, to pose a question is to give a statement with the task of deciding its truth. Mormann's point forces us to introduce more clarity to what it means to specify the task that decides between competing (...) hypotheses and in what way such a task may be both in practice and/or in principle impossible to carry out. (shrink)

Du Châtelet holds that mathematical representations play an explanatory role in natural science. Moreover, she writes that things proceed in nature as they do in geometry. How should we square these assertions with Du Châtelet’s idealism about mathematical objects, on which they are ‘fictions’ dependent on acts of abstraction? The question is especially pressing because some of her important interlocutors (Wolff, Maupertuis, and Voltaire) denied that mathematics informs us about the properties of material things. After situating Du Châtelet in (...) this debate, this chapter argues, first, that her account of the origins of mathematical objects is less subjectivist than it might seem. Mathematical objects are non-arbitrary, public entities. While mathematical objects are partly mind-dependent, so are material things. Mathematical objects can approximate the material. Second, it is argued that this moderate metaphysical position underlies Du Châtelet’s persistent claims that mathematics is required for certain kinds of general knowledge, including in natural science. The chapter concludes with an illustrative example: an analysis of Du Châtelet’s argument that matter is continuous. A key premise in the argument is that mathematical representations and material nature correspond. (shrink)

John Corcoran and George Boger. Aristotelian logic and Euclidean geometry. Bulletin of Symbolic Logic. 20 (2014) 131. -/- By an Aristotelian logic we mean any system of direct and indirect deductions, chains of reasoning linking conclusions to premises—complete syllogisms, to use Aristotle’s phrase—1) intended to show that their conclusions follow logically from their respective premises and 2) resembling those in Aristotle’s Prior Analytics. Such systems presuppose existence of cases where it is not obvious that the conclusion follows from the (...) premises: there must be something deductions can show. Corcoran calls a proposition that follows from given premises a hidden consequence of those premises if it is not obvious that the proposition follows from those premises. By a Euclidean geometry we mean an extended discourse beginning with basic premises—axioms, postulates, definitions—1) treating a universe of geometrical figures and 2) resembling Euclid’s Elements. There were Euclidean geometries before Euclid (fl. 300 BCE), even before Aristotle (384–322 BCE). Bochenski, Lukasiewicz, Patzig and others never new this or if they did they found it inconvenient to mention. Euclid shows no awareness of Aristotle. It is obvious today—as it should have been obvious in Euclid’s time, if anyone knew both—that Aristotle’s logic was insufficient for Euclid’s geometry: few if any geometrical theorems can be deduced from Euclid’s premises by means of Aristotle’s deductions. Aristotle’s writings don’t say whether his logic is sufficient for Euclidean geometry. But, there is not even one fully-presented example. However, Aristotle’s writings do make clear that he endorsed the goal of a sufficient system. Nevertheless, incredible as this is today, many logicians after Aristotle claimed that Aristotelian logics are sufficient for Euclidean geometries. This paper reviews and analyses such claims by Mill, Boole, De Morgan, Russell, Poincaré, and others. It also examines early contrary statements by Hintikka, Mueller, Smith, and others. Special attention is given to the argumentations pro or con and especially to their logical, epistemic, and ontological presuppositions. What methodology is necessary or sufficient to show that a given logic is adequate or inadequate to serve as the underlying logi of a given science. (shrink)

There are well-known problems for formalist accounts of game-play with regards to cheating. Such accounts seem to be committed to cheaters being unable to win–or even play–the game, yet it seems that there are instances of cheaters winning games. In this paper, I expand the discussion of such problems by introducing cases of pre-game cheating, and see how a formalist–specifically a Suitsian–account can accommodate such problems. Specifically, I look at two (fictional) examples where the alleged game-players cheat prior to a (...) game-instance in such as a way as to cast doubt on whether the alleged game-players are truly playing the game. To escape the worries brought about by these examples of pre-game cheating, I will appeal to the concept of nested games. This concept will give us the needed tools to explain how the alleged players are cheating and how the alleged players are players. On the whole, this discussion should help illuminate some important issues with regards to cheating and rules on a Suitsian account of game-play, and help give support for formalist accounts more generally. (shrink)

The purpose of this work is to address the relation existing between ancient Greek practical geometry and ancient Greek pure geometry. In the first part of the work, we will consider practical and pure geometry and how pure geometry can be seen, in some respects, as arising from an idealization of practical geometry. From an analysis of relevant extant texts, we will make explicit the idealizations at play in pure geometry in relation to practical (...) geometry, some of which are basically explicit in definitions, like that of segments in Euclid’s Elements. Then, we will address how in pure geometry we, so to speak, “refer back” to practical geometry. This occurs in two ways. One, in the propositions of pure geometry. The other, when applying pure geometry. In this case, geometrical objects can represent practical figures like, e.g., a practical segment. (shrink)

One aim of this paper is to bring to the surface the problems with the traditional, non-literal interpretation of the pre-cosmos in the Timaeus. Contrary to this traditional interpretation, I show that Necessity is an ateleological cause capable of bringing about the events in the pre-cosmos, and that Intelligence is a teleological cause that produces effects only for the sake of maximizing the good. I conclude that there are no grounds for supposing that Intelligence is a causal force operating in (...) the pre-cosmos, and that the account of the pre-cosmos should be taken literally: it is an account of the works of Necessity alone. (shrink)

In this paper I present critical evaluations of Ayer and Putnam's views on the analyticity of geometry. By drawing on the historico-philosophical work of Michael Friedman on the relativized apriori; and Roberto Torretti on the foundations of geometry, I show how we can make sense of the assertion that pure geometry is analytic in Carnap's sense.

Although the Four Colour Theorem is passe, we give an elementary pre-formal proof that transparently illustrates why four colours suffice to chromatically differentiate any set of contiguous, simply connected and bounded, planar spaces; by showing that there is no minimal 4-coloured planar map M. We note that such a pre-formal proof of the Four Colour Theorem highlights the significance of differentiating between: (a) Plato's knowledge as justified true belief, which seeks a formal proof in a first-order mathematical language in order (...) to justify a belief as true; and (b) Piccinini's knowledge as factually grounded belief, which seeks a pre-formal proof, in Pantsar's sense, in order to justify the axioms and rules of inference of a first-order mathematical language which can, then, formally prove the belief as justifiably true under a well-defined interpretation of the language. (shrink)

Many instances have presented mathematics as a difficult subject for students, and some of these difficulties have been perceived as an injustice to those who suffer from it. Meanwhile, no child is to be left behind in building a just society if all were to experience the collective good of mathematics. For this reason, it became necessary to explore pre-service teachers’ perceptions of mathematics as social justice in their lived experiences. In doing this, the qualitative interpretive approach was adopted, where (...) qualitative data was collected, transcribed, and analysed using the case study design. A sample of eleven pre-service teachers were involved in the study. The findings indicated that the pre-service teachers had experienced severe issues of mathematics as social justice in their previous schooling that were unfair to them. However, they now felt mathematics could be interesting if delivered in a manner that let their voices be heard in the delivery process. (shrink)

My contribution to this Symposium focuses on the links between sexuality and reproduction from the evolutionary point of view.' The relation between women's sexuality and reproduction is particularly importantb ecause of a vital intersectionb etweenp olitics and biology feminists have noticed, for more than a century, that women's identity is often defined in terms of her reproductive capacity. More recently, in the second wave of the feminist movement in the United States, debates about women'si dentityh ave explicitlyi ncludeds exuality;m uch (...) feminist argument in the late 1960's and early 1970's involved an attempt to separate out an autonomous female sexuality from women's reproductive functions. It is especially relevant, then, to examine biological arguments, particularlye volutionarya rgumentst, o see what they say about whether and how women's sexuality is related to reproduction. We shall find that many evolutionarya rgumentss eem to supportt he direct linkingo f female sexualitya nd reproductionY. et I will argue that this supporti s not well-groundedI. n fact, I think evolutionarye xplanationso f female sexuality exemplify how social beliefs and social agendas can influence very basic biological explanations of fundamental physiological processes. In this paper, I shall spend some time spelling out a few examples in which assumptions about the close link between reproduction and sexuality yield misleading results, then I shall conclude with a discussion of the consequences of this case study for issues in the philosophy of science. (shrink)

When beliefs are quantified as credences, they are related to each other in terms of closeness and accuracy. The “accuracy first” approach in formal epistemology wants to establish a normative account for credences based entirely on the alethic properties of the credence: how close it is to the truth. To pull off this project, there is a need for a scoring rule. There is widespread agreement about some constraints on this scoring rule, but not whether a unique scoring rule stands (...) above the rest. The Brier score equips credences with a structure similar to metric space and induces a “geometry of reason.” It enjoys great popularity in the current debate. I point out many of its weaknesses in this article. An alternative approach is to reject the geometry of reason and accept information theory in its stead. Information theory comes fully equipped with an axiomatic approach which covers probabilism, standard conditioning, and Jeffrey conditioning. It is not based on an underlying topology of a metric space, but uses a non-commutative divergence instead of a symmetric distance measure. I show that information theory, despite initial promise, also fails to accommodate basic epistemic intuitions; and speculate on its remediation. (shrink)

We show how an epistemology informed by cognitive science promises to shed light on an ancient problem in the philosophy of mathematics: the problem of exactness. The problem of exactness arises because geometrical knowledge is thought to concern perfect geometrical forms, whereas the embodiment of such forms in the natural world may be imperfect. There thus arises an apparent mismatch between mathematical concepts and physical reality. We propose that the problem can be solved by emphasizing the ways in which the (...) brain can transform and organize its perceptual intake. It is not necessary for a geometrical form to be perfectly instantiated in order for perception of such a form to be the basis of a geometrical concept. (shrink)

In this paper we extend the NeutroAlgebra & AntiAlgebra to the geometric spaces, by founding the NeutroGeometry & AntiGeometry. While the Non-Euclidean Geometries resulted from the total negation of one specific axiom (Euclid’s Fifth Postulate), the AntiGeometry results from the total negation of any axiom or even of more axioms from any geometric axiomatic system (Euclid’s, Hilbert’s, etc.) and from any type of geometry such as (Euclidean, Projective, Finite, Affine, Differential, Algebraic, Complex, Discrete, Computational, Molecular, Convex, etc.) Geometry, (...) and the NeutroGeometry results from the partial negation of one or more axioms [and no total negation of no axiom] from any geometric axiomatic system and from any type of geometry. Generally, instead of a classical geometric Axiom, one may take any classical geometric Theorem from any axiomatic system and from any type of geometry, and transform it by NeutroSophication or AntiSophication into a NeutroTheorem or AntiTheorem respectively in order to construct a NeutroGeometry or AntiGeometry. Therefore, the NeutroGeometry and AntiGeometry are respectively alternatives and generalizations of the Non-Euclidean Geometries. In the second part, we recall the evolution from Paradoxism to Neutrosophy, then to NeutroAlgebra & AntiAlgebra, afterwards to NeutroGeometry & AntiGeometry, and in general to NeutroStructure & AntiStructure that naturally arise in any field of knowledge. At the end, we present applications of many NeutroStructures in our real world. (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.

Using Kantian starting points, we develop a notion of ‘pre-determinant intentionality,’ which refers to the intentionality of judgments that support objective truth-claims. We show how the weight-selections of neural networks can be taken to involve this form of intentionality. We argue that viewing weight selection or ‘internodal and meta-internodal selection’ as involving pre-determinant intentionality allows us to better conceptualize the coordination of computational systems. In particular, it allows us to better conceptualize the coordination of computational activity concerned with the promotion (...) of learning in neural networks.. (shrink)