Descartes' philosophy contains an intriguing notion of the infinite, a concept labeled by the philosopher as indefinite. Even though Descartes clearly defined this term on several occasions in the correspondence with his contemporaries, as well as in his Principles of Philosophy, numerous problems about its meaning have arisen over the years. Most commentators reject the view that the indefinite could mean a real thing and, instead, identify it with an Aristotelian potential infinite. In the first part of this article, I (...) show why there is no numerical infinity in Cartesian mathematics, as such a concept would be inconsistent with the main fundamental attribute of numbers: to be comparable with each other. In the second part, I analyze the indefinite in the context of Descartes' mathematical physics. It is my contention that, even with no trace of infinite in his mathematics, Descartes does refer to an actual indefinite because of its application to the material world within the system of his physics. This fact underlines a discrepancy between his mathematics and physics of the infinite, but does not lead a difficulty in his mathematical physics. Thus, in Descartes' physics, the indefinite refers to an actual dimension of the world rather than to an Aristotelian mathematical potential infinity. In fact, Descartes establishes the reality and limitlessness of the extension of the cosmos and, by extension, the actual nature of his indefinite world. This indefinite has a physical dimension, even if it is not measurable. La filosofía de Descartes contiene una noción intrigante de lo infinito, un concepto nombrado por el filósofo como indefinido. Aunque en varias ocasiones Descartes definió claramente este término en su correspondencia con sus contemporáneos y en sus Principios de filosofía, han surgido muchos problemas acerca de su significado a lo largo de los años. La mayoría de comentaristas rechaza la idea de que indefinido podría significar una cosa real y, en cambio, la identifica con un infinito potencial aristotélico. En la primera parte de este artículo muestro por qué no hay infinito numérico en las matemáticas cartesianas, en la medida en que tal concepto sería inconsistente con el principal atributo fundamental de los números: ser comparables entre sí. En la segunda parte analizo lo indefinido en el contexto de la física matemática de Descartes. Mi argumento es que, aunque no hay rastro de infinito en sus matemáticas, Descartes se refiere a un indefinido real a causa de sus aplicaciones al mundo material dentro del sistema de su física. Este hecho subraya una discrepancia entre sus matemáticas y su física de lo infinito, pero no implica ninguna dificultad en su física matemática. Así pues, en la física de Descartes, lo indefinido se refiere a una dimensión real del mundo más que a una infinitud potencial matemática aristotélica. De hecho, Descartes establece la realidad e infinitud de la extensión del cosmos y, por extensión, la naturaleza real de su mundo indefinido. Esta indefinición tiene una dimensión física aunque no sea medible. (shrink)

This paper explores some of the constructive dimensions and specifics of human theoretic cognition, combining perspectives from (Husserlian) genetic phenomenology and distributed cognition approaches. I further consult recent psychological research concerning spatial and numerical cognition. The focus is on the nexus between the theoretic development of abstract, idealized geometrical and mathematical notions of space and the development and effective use of environmental cognitive support systems. In my discussion, I show that the evolution of the theoretic cognition of space apparently follows (...) two opposing, but in truth, intrinsically aligned trajectories. On the epistemic plane, which is the main focus of Husserl’s genetic phenomenological investigations, theoretic conceptions of space are progressively constituted by way of an idealizing emancipation of spatial cognition from the concrete, embodied intentionality underlying the human organism’s perception of space. As a result of this emancipation, it ultimately becomes possible for the human mind to theoretically conceive of and posit space as an ideal entity that is universally geometrical and mathematical. At the same time, by synthesizing a range of literature on spatial and mathematical cognition, I illustrate that for the theoretic mind to undertake precisely this emancipating process successfully, and further, for an ideal and objective notion of geometrical and mathematical space to first of all become fully scientifically operative, the cognitive support provided by a range of specific symbolic technologies is central. These include lettered diagrams, notation systems, and more generally, the technique of formalization and require for their functioning various cognitively efficacious types of embodiment. Ultimately, this paper endeavors to understand the specific symbolic-technological dimensions that have been instrumental to major shifts in the development of idealized, scientific conceptions of space. The epistemic characteristics of these shifts have been previously discussed in genetic phenomenology, but without devoting sufficient attention to the constructive role of symbolic technologies. At the same time, this paper identifies some of the irreducible phenomenological and epistemic dimensions that characterize the functioning of the historically situated, embodied and distributed theoretic mind. (shrink)

Some authors have claimed that ante rem structuralism has problems with structures that have indiscernible places. In response, I argue that there is no requirement that mathematical objects be individuated in a non-trivial way. Metaphysical principles and intuitions to the contrary do not stand up to ordinary mathematical practice, which presupposes an identity relation that, in a sense, cannot be defined. In complex analysis, the two square roots of –1 are indiscernible: anything true of one of them is true of (...) the other. I suggest that ‘i’ functions like a parameter in natural deduction systems. I gave an early version of this paper at a workshop on structuralism in mathematics and science, held in the Autumn of 2006, at Bristol University. Thanks to the organizers, particularly Hannes Leitgeb, James Ladyman, and Øystein Linnebo, to my commentator Richard Pettigrew, and to the audience there. The paper also benefited considerably from a preliminary session at the Arché Research Centre at the University of St Andrews. I am indebted to my colleagues Craige Roberts, for help with the linguistics literature, and Ben Caplan and Gabriel Uzquiano, for help with the metaphysics. Thanks also to Hannes Leitgeb and Jeffrey Ketland for reading an earlier version of the manuscript and making helpful suggestions. I also benefited from conversations with Richard Heck, John Mayberry, Kevin Scharp, and Jason Stanley. CiteULike Connotea Del.icio.us What's this? (shrink)

Discusses the importance of the early history of Greek mathematics to education and civic life through a study of the Parthenon and dialogues of Plato.

This paper opens by reviewing Aristotle’s conception of the natural slave and then familiar treatments of the internal conflict between the ruling and subject parts of the soul in Aristotle and Plato; I highlight especially the figurative uses of slavery and servitude when discussing such problems pertaining to incontinence and vice—viz., being a ‘slave’ to the passions. Turning to Campanella, features of the City of the Sun pertaining to slavery are examined: in sketching his ideal city, Campanella both rejects Aristotle’s (...) natural slave and is critical of the European institutions of slavery. The fact that slavery has no place in the City of the Sun takes on added significance when complemented with Campanella’s remarks on dominion and servitude in his Quaestiones de politiciis: I show that Campanella’s conception of slavery is intimately bound to sin, and consider whether his employment of the trope of slavery within the context of vice diverges from familiar usage. (shrink)

Many have argued that Plato’s intermediates are not independent entities. Rather, they exemplify the incapacity of discursive thought to cognizing Forms. But just what does this incapacity consist in? Any successful answer will require going beyond the intermediates themselves to another aspect of Plato’s mathematical thought - his attribution of a quasi-numerical structure to Forms. For our purposes, the most penetrating account of eidetic numbers is Jacob Klein’s, who saw clearly that eidetic numbers are part of Plato’s inquiry into the (...) ontological basis for all counting: the existence of a plurality of formal elements, distinct yet combinable into internally articulate unities. However, Klein’s study of the Sophist reveals such articulate unities as imperfectly countable and therefore opaque to διάνοια. And only this opacity, I argue, successfully explains the relationship of intermediates to Forms. (shrink)

Numbers are concepts whose content, structure, and organization are influenced by the material forms used to represent and manipulate them. Indeed, as argued here, it is the inclusion of multiple forms (distributed objects, fingers, single- and two-dimensional forms like pebbles and abaci, and written notations) that is the mechanism of numerical elaboration. Further, variety in employed forms explains at least part of the synchronic and diachronic variability that exists between and within cultural number systems. Material forms also impart characteristics like (...) linearity that may persist in the form of knowledge and behaviors, ultimately yielding numerical concepts that are irreducible to and functionally independent of any particular form. Material devices used to represent and manipulate numbers also interact with language in ways that reinforce or contrast different aspects of numerical cognition. Not only does this interaction potentially explain some of the unique aspects of numerical language, it suggests that the two are complementary but ultimately distinct means of accessing numerical intuitions and insights. The potential inclusion of materiality in contemporary research in numerical cognition is advocated, both for its explanatory power, as well as its influence on psychological, behavioral, and linguistic aspects of numerical cognition. (shrink)

The characterization of early token-based accounting using a concrete concept of number, later numerical notations an abstract one, has become well entrenched in the literature. After reviewing its history and assumptions, this article challenges the abstract–concrete distinction, presenting an alternative view of change in Ancient Near Eastern number concepts, wherein numbers are abstract from their inception and materially bound when most elaborated. The alternative draws on the chronological sequence of material counting technologies used in the Ancient Near East—fingers, tallies, tokens, (...) and numerical notations—as reconstructed through archaeological and textual evidence and as interpreted through Material Engagement Theory, an extended-mind framework in which materiality plays an active role (Malafouris 2013). (shrink)

What is early modern philosophy? Two interpretative trends have predominated in the related literature. One, with roots in the work of Hegel and Heidegger, sees early modern thinking either as the outcome of a process of gradual rationalization (leading to the principle of sufficient reason, and to "ontology" as distinct from metaphysics), or as a reflection of an inherent subjectivity or representational semantics. The other sees it as reformulations of medieval versions of substance and cause, suggested by, or leading to, (...) early modern scientific developments. -/- This book proposes a rather different kind of explanation. It suggests that the concept of relation, specifically that of dyadic, anti-symmetrical relations, can throw light on a wide variety of developments in early modern thought, such as those concerning causality, sense perception, temporality, and the mereological approach to substance. The book argues that these relations are grounded in an interpretation of causal influence, and not in semantic theories or subjectivity. -/- Furthermore, if it is correct that the problem of unity was, for most of classical antiquity, what the problems of motion, causality and perception were for early modern thinkers, then early modern thought is much closer to the thought of Aristotle than is commonly supposed. The genesis of early modern thought might instead be taken to have occurred in opposition to one aspect of the thought of Duns Scotus (an aspect that lives on in contemporary Neo-Aristotelianism), and that can be explained once the relational perspective examined here is taken into account. (shrink)

This paper reconstructs and critically analyzes Husserl’s philosophical engagement with symbolic technologies—those material artifacts and cultural devices that serve to aid, structure and guide processes of thinking. Identifying and exploring a range of tensions in Husserl’s conception of symbolic technologies, I argue that this conception is limited in several ways, and particularly with regard to the task of accounting for the more constructive role these technologies play in processes of meaning-constitution. At the same time, this paper shows that a critical (...) examination of Husserl’s account of symbolic technologies, particularly as developed in his mature, genetic phenomenology, can be enduringly fruitful—if some of the specific conceptual weakness of this account are identified and properly accounted for. My discussion will proceed as follows. In the first part I briefly analyze the early Husserl’s account of the role the ‘method of sensible signs’ plays in arithmetic cognition. In the second, main part I critically examine the bearing the genetic-phenomenological concepts of sedimentation and technization have on the conceptualization of symbolic technologies in Husserl’s work. In the final part I summarize the major strengths and weaknesses of Husserl’s account of symbolic technologies, and in the process make a case for the ongoing relevance of some of the crucial elements of this account. (shrink)

The article evaluates the Domain Postulate of the Classical Model of Science and the related Aristotelian prohibition rule on kind-crossing as interpretative tools in the history of the development of mathematics into a general science of quantities. Special reference is made to Proclus’ commentary to Euclid’s first book of Elements , to the sixteenth century translations of Euclid’s work into Latin and to the works of Stevin, Wallis, Viète and Descartes. The prohibition rule on kind-crossing formulated by Aristotle in Posterior (...) analytics is used to distinguish between conceptions that share the same name but are substantively different: for example the search for a broader genus including all mathematical objects; the search for a common character of different species of mathematical objects; and the effort to treat magnitudes as numbers. (shrink)

Despite the language we saw in the previous chapter, which allowed for time apprehension by perception and marking, in Physics iv 14, Aristotle famously argues that time is dependent on nous.

This inaugural handbook documents the distinctive research field that utilizes history and philosophy in investigation of theoretical, curricular and pedagogical issues in the teaching of science and mathematics. It is contributed to by 130 researchers from 30 countries; it provides a logically structured, fully referenced guide to the ways in which science and mathematics education is, informed by the history and philosophy of these disciplines, as well as by the philosophy of education more generally. The first handbook to cover the (...) field, it lays down a much-needed marker of progress to date and provides a platform for informed and coherent future analysis and research of the subject. -/- The publication comes at a time of heightened worldwide concern over the standard of science and mathematics education, attended by fierce debate over how best to reform curricula and enliven student engagement in the subjects There is a growing recognition among educators and policy makers that the learning of science must dovetail with learning about science; this handbook is uniquely positioned as a locus for the discussion. -/- The handbook features sections on pedagogical, theoretical, national, and biographical research, setting the literature of each tradition in its historical context. Each chapter engages in an assessment of the strengths and weakness of the research addressed, and suggests potentially fruitful avenues of future research. A key element of the handbook’s broader analytical framework is its identification and examination of unnoticed philosophical assumptions in science and mathematics research. It reminds readers at a crucial juncture that there has been a long and rich tradition of historical and philosophical engagements with science and mathematics teaching, and that lessons can be learnt from these engagements for the resolution of current theoretical, curricular and pedagogical questions that face teachers and administrators. (shrink)

I argue that we find the articulation of a problem concerning bodily agency in the early works of the Merleau-Ponty which he explicates as analogous to what he explicitly calls the problem of perception. The problem of perception is the problem of seeing how we can have the object given in person through it perspectival appearances. The problem concerning bodily agency is the problem of seeing how our bodily movements can be the direct manifestation of a person’s intentions in the (...) world. In both cases what, according to Merleau-Ponty, obscures a recognition of the phenomenon in question is a conception of our bodily capacities, i.e. our sensibility and our motility, which reduces these to the workings of mechanisms that are blind to meaning. I argue that both the problem concerning perception and the problem concerning bodily agency can be properly called transcendental. The problem of perception is transcendental because it concerns the very intelligibility of appearances and judgements with empirical content. The problem of bodily agency is transcendental in the sense that it concerns the very intelligibility of our bodily capacity to carry out intentions and by implication the intelligibility of our intentions as such. (shrink)

This paper presents a new interpretation of the objects of dianoia in Plato’s divided line, contending that they are mental images of the Forms hypothesized by the dianoetic reasoner. The paper is divided into two parts. A survey of the contemporary debate over the identity of the objects of dianoia yields three criteria a successful interpretation should meet. Then, it is argued that the mental images interpretation, in addition to proving consistent with key passages in the middle books of the (...) Republic, better meets those criteria than do any of the three main positions. (shrink)

This paper offers an epistemological reconstruction of the historical development of algebra from al-Khwrizm, Cardano, and Descartes to Euler, Lagrange, and Galois. In the reconstruction it interprets the algebraic formulas as a symbolic language and analyzes the changes of this language in the course of history. It turns out that the most fundamental epistemological changes in the development of algebra can be interpreted as changes of the pictorial form of the symbolic language of algebra. Thus the paper develops further the (...) method of reconstruction which the author introduced for the analysis of the development of geometry. (shrink)

The paper analyzes the final proof with Greek mathematics and the possibility of intermediates in the Phaedo. The final proof in Plato’s Phaedo depends on a claim at 105c6, that μονάς, ‘unit’, generates περιττός ‘odd’ in number. So, ψυχή ‘soul’ generates ζωή ‘life’ in a body, at 105c10-11. Yet commentators disagree how to understand these mathematical terms and their relation to the soul in Plato’s arguments. The Greek mathematicians understood odd numbers in one of two ways: either that which is (...) not divisible into two equal parts, or that which differs from an even number by a unit. Plato uses the second way in the final proof. This paper argues that a proper understanding of these mathematical terms within Greek mathematics shows that the argument for the final proof is better than previously thought. Such an interpretation of the final proof lends credence to Platonic intermediates. (shrink)

This essay proposes a comprehensive blueprint for the hylomorphic foundations of cosmology. The key philosophical explananda in cosmology are those dealing with global processes and structures, the regularity of global regularities, and the existence of the global as such. The possibility of elucidating these using alternatives to hylomorphism is outlined and difficulties with these alternatives are raised. Hylomorphism, by contrast, provides a sound philosophical ground for cosmology insofar as it leads to notions of cosmic essence, the unity of complex essences, (...) and globally emergent properties. These are used as the basis to account for the aforementioned cosmological explananda and to resolve two problems in the philosophy of cosmology: the meta-law dilemma and the uniqueness of the universe. In summary, cosmology needs hylomorphism because it is able to ground cosmology’s efforts as a scientific inquiry. It can do so because hylomorphism philosophically accounts for changing substances and aggregates of substances, the various scales of law-governed behavior measured by the natures of those substances, and how those substances as parts relate to the universe as a whole. (shrink)

This paper discerns two types of mathematization, a foundational and an explorative one. The foundational perspective is well-established, but we argue that the explorative type is essential when approaching the problem of applicability and how it influences our conception of mathematics. The first part of the paper argues that a philosophical transformation made explorative mathematization possible. This transformation took place in early modernity when sense acquired partial independence from reference. The second part of the paper discusses a series of examples (...) from the history of mathematics that highlight the complementary nature of the foundational and exploratory types of mathematization. (shrink)

The main topic of this essay is symbolic mathematics or the method of symbolic construction, which I trace to the end of the sixteenth century when Franciscus Vieta invented the algebraic symbolism and started to use the word ‘symbolic’ in the relevant, non-ontological sense. This approach has played an important role for many of the great inventions in modern mathematics such as the introduction of the decimal place-value system of numeration, Descartes’ analytic geometry, and Leibniz’s infinitesimal calculus. It was also (...) central for the rigorization movement in mathematics in the late nineteenth century, as well as for the mathematics of modern physics in the 20th century.However, the nature of symbolic mathematics has been concealed and confused due to the strong influence of the heritage from the Euclidean and Aristotelian traditions. This essay sheds some light on what has been concealed by approaching some of the crucial issues from a historical perspective. Furthermore, I argue that the conception of modern mathematics as symbolic mathematics was essential to Wittgenstein’s approach to the foundations and nature of mathematics. This connection between Wittgenstein’s thought and symbolic mathematics provides the resources for countering the still prevalent view that he defended an uttrely idiosyncratic conception, disconnected from the progress of serious science. Instead, his project can be seen as clarifying ideas that have been crucial to the development of mathematics since early modernity. (shrink)

There are three steps in my description of the ground-problem of value: First, Husserl’s analysis of the crisis of reason is based on the systematic loss and phenomenological recovery of the intuitive evidence of the lifeworld. But if letter symbols are essential to formalizing abstraction, as Klein’s de-sedimentation of Vieta’s institution of modern algebra shows, then the ultimate substrates upon which formalization rests cannot be “individuals” in Husserl’s sense. The consequence of the essentiality of the letter symbols to formalization is (...) that no direct reference to intuitive evidence of individuals is possible from formal structures. Second, the crisis of reason in Marx’s Capital on commodities contains a parallel analysis of the contradictory relation between formalism and evidence. The value-structure of capitalist society expels qualitative value to subjective use and imposes a homogeneous standard on social representation of value such that quantitative values are not grounded in the experience of use which entails that the system of general value becomes a mere aggregate. Third, the problem of value, or formal axiology, is the core of a teleological convergence between phenomenology and Marxism. A short phenomenological description of the experience of value shows that practical activities generate valuations that are experienced with an intensity through which they aim toward social representation. The conclusion is that the social representation of value in capitalist society intervenes into the constitution of the community by the intensity of individuals’ value-experience to reduce its system of value to an unthematized simple aggregate of value-quantities. (shrink)

Kant held that under the concept of √2 falls a geometrical magnitude, but not a number. In particular, he explicitly distinguished this root from potentially infinite converging sequences of rationals. Like Kant, Brouwer based his foundations of mathematics on the a priori intuition of time, but unlike Kant, Brouwer did identify this root with a potentially infinite sequence. In this paper I discuss the systematical reasons why in Kant's philosophy this identification is impossible.

Diophantos' solutions to the problems of Arithmetica have been the object of extensive reading and interpretation in modern times, especially from the point of view of identifying ``hidden steps'' or ``general methods''. In this paper, after examining the relevance of various interpretations given for the famous problem II 8 in the context of modern algebra or geometry, we focus on a close reading of the ancient text of some problems of Arithmetica in order to investigate Diophantos' solving practices. This inquiry (...) reveals certain pointers, which enable us to create a framework for defining the generality of Diophantos' methods. (shrink)

La filosofía de las matemáticas de Aristóteles es una investigación acerca de tres asuntos diferentes pero complementarios: el lugar epistemológico de las matemáticas en el organigrama de las ciencias teoréticas o especulativas; el estudio del método usado por el matemático para elaborar sus doctrinas, sobre todo la geometría y la aritmética; y la averiguación del estatuto ontológico de las entidades matemáticas. Para comprender lo peculiar de la doctrina aristotélica es necesario tener en cuenta que su principal interés está en poner (...) en relación la matemática con la filosofía primera u ontología y la física, y salvaguardar el campo de conocimiento propio de cada una de ellas. (shrink)

Ever since its foundation in 1540, the Society of Jesus had had one mission—to restore order where Luther, Calvin and the other instigators of the Reformation had brought chaos. To stop the hemorrhage of believers, the Jesuits needed to form a united front. No signs of internal disagreement could to be shown to the outside world, lest the congregation lose its credibility. But in 1570s two prominent Jesuits, Cristophorus Clavius and Benito Perera, had engaged in a bitter controversy. The issue (...) at stake had apparently nothing to do with the values on which Ignazio of Loyola had built the Society of Jesus. And yet the dispute between Clavius and Perera was matter of concern for the entire Jesuit community. They were... (shrink)

ABSTRACT In a recent essay, Sören Stenlund tries to align Wittgenstein’s approach to the foundations and nature of mathematics with the tradition of symbolic mathematics. The characterization of symbolic mathematics made by Stenlund, according to which mathematics is logically separated from its external applications, brings it closer to the formalist position. This raises naturally the question whether Wittgenstein holds a formalist position in philosophy of mathematics. The aim of this paper is to give a negative answer to this question, defending (...) the view that Wittgenstein always thought that there is no logical separation between mathematics and its applications. I will focus on Wittgenstein’s remarks about arithmetic during his middle period, because it is in this period that a formalist reading of his writings is most tempting. I will show how his idea of autonomy of arithmetic is not to be compared with the formalist idea of autonomy, according to which a calculus is “cut off” from its applications. The autonomy of arithmetic, according to Wittgenstein, guarantees its own applicability, thus providing its own raison d’être. RESUMO Em um recente artigo, Sören Stenlund procura alinhar a abordagem de Wittgenstein em relação aos fundamentos e à natureza da matemática com a tradição da matemática simbólica. A caracterização da matemática simbólica feita por Stenlund, de acordo com a qual a matemática é logicamente separada de suas aplicações externas, a aproxima da posição formalista. Isto naturalmente levanta a questão de se Wittgenstein defende uma posição formalista em filosofia da matemática. O objetivo deste artigo é dar uma resposta negativa a esta questão, ao defender que Wittgenstein sempre pensou não haver separação lógica entre a matemática e suas aplicações. Atenção especial será dada às observações de Wittgenstein sobre a aritmética pertencentes ao seu período intermediário, pois é neste período que uma leitura formalista de seus escritos é mais sedutora. Mostrarei como sua ideia de autonomia da aritmética não deve ser comparada à ideia formalista de autonomia, segundo a qual um cálculo é “cortado” de suas aplicações. A autonomia da aritmética, para Wittgenstein, garante ela própria sua aplicabilidade, provendo, assim, sua própria raison d’être. (shrink)

This paper explores Simon Stevin’s l’Arithmétique of 1585, where we find a novel understanding of the concept of number. I will discuss the dynamics between his practice and philosophy of mathematics, and put it in the context of his general epistemological attitude. Subsequently, I will take a close look at his justificational concerns, and at how these are reflected in his inductive, a postiori and structuralist approach to investigating the numerical field. I will argue that Stevin’s renewed conceptualisation of the (...) notion of number is a sort of “existential closure” of the numerical domain, founded upon the practice of his predecessors and contemporaries. Accordingly, I want to make clear that l’Aritmetique have to be read not as an ontological analysis or exploration of the numerical field, but as an explication of a mathematical ethos. In this sense, this article also intends to make a specific contribution to the broader issue of the “ethics of geometry.”. (shrink)

This paper analyzes and explains certain parts of Syrianus’s Commentary on book M of Aristotle’s Metaphysics, which details Syrianus’s response to Aristotle’s attack against the Platonic position of the separate existence of numbers. Syrianus defends the separate existence not only of eidetic but also of mathematical numbers, following a line of argumentation which involves a hylomorphic approach to the latter. He proceeds with an analysis of the mathematical number into matter and form, but his interpretation entails that form is the (...) constituent of number, which has the status and role of a Platonic Form. This solution allows him not only to explain and justify the unity of number, but also to apply the Platonic thesis of the separate existence of numbers, to the mathematical or monadic numbers themselves. It also betrays its tendency to combine theses of the Platonic Ontology with fundamental Aristotelian doctrines. (shrink)

In this paper I will attempt to explain why the controversy surrounding the alleged refutation of Mechanism by Gödel’s theorem is continuing even after its unanimous refutation by logicians. I will argue that the philosophical point its proponents want to establish is a necessary gap between the intended meaning and its formulation. Such a gap is the main tenet of philosophical hermeneutics. While Gödel’s theorem does not disprove Mechanism, it is nevertheless an important illustration of the hermeneutic principle. The ongoing (...) misunderstanding is therefore based in a distinction between a metalogical illustration of a crucial feature of human understanding, and a logically precise, but wrong claim. The main reason for the confusion is the fact that in order to make the claim logically precise, it must be transformed in a way which destroys its informal value. Part of this transformation is a clear distinction between the Turing Machine as a mathematical object and a machine as a physical device. (shrink)

The French philosopher Simone Weil (1909-1943) thought of geometry and algebra not as complementary modes of mathematical investigation, but rather as constituting morally opposed approaches: whereas geometry is the sine qua non of inquiry leading from ruthless passion to temperate perception, in accord with the human condition, algebra leads in the reverse direction, to excess and oppression. We explore the constituents of this argument, with their roots in classical Greek thought, and also how Simone Weil came to qualify it following (...) her exchange with her brother, the mathematician André Weil. (shrink)

O caráter protocolar desempenhado pelas matemáticas na formulação do conceito cartesiano de ciência é amplamente difundido e frequentemente reinvocado na literatura especializada quando se trata de abordar a exigência apodítica inerente a este conceito. No entanto, pouco se explora o que a diversidade das disciplinas matemáticas bem como a relação entretida por elas permite trazer de elucidação à noção cartesiana de ciência. Nosso propósito consiste, aqui, em tomar posição quanto a um debate acerca do estatuto da álgebra e da geometria (...) como disciplinas que fixam os lineamentos da teoria cartesiana do conhecimento ao exibirem o que Descartes reputaria como a aplicação ideal do intelecto. Trata-se de insistir, por vias que assinalam uma decisão teórica em favor de uma concepção mais intelectualista e menos imaginativa da ciência, que não há hesitação quanto ao papel primitivo e fundacional da álgebra se comparada à geometria. (shrink)

Newton characterizes the reasoning of Principia Mathematica as geometrical. He emulates classical geometry by displaying, in diagrams, the objects of his reasoning and comparisons between them. Examination of Newton’s unpublished texts shows that Newton conceives geometry as the science of measurement. On this view, all measurement ultimately involves the literal juxtaposition—the putting-together in space—of the item to be measured with a measure, whose dimensions serve as the standard of reference, so that all quantity is ultimately related to spatial extension. I (...) use this conception of Newton’s project to explain the organization and proofs of the first theorems of mechanics to appear in the Principia. The placementof Kepler’s rule of areas as the first proposition, and the manner in which Newton proves it, appear natural on the supposition that Newton seeks a measure, in the sense of a moveable spatial quantity, of time. I argue that Newton proceeds in this way so that his reasoning can have the ostensive certainty of geometry. (shrink)

The paper discusses legal implications of the expansion of practical uses of mathematics in social life. Taking as a starting point the omnipresence of mathematical infrastructures underlying policies, technology and markets, the paper proceeds by attending to relevant materials offered by general philosophy, legal philosophy, and the history and philosophy of mathematics. The paper suggests that the modern transformation of mathematics and its practical applications have spurred the emergence of multiple useful technologies and forms of social interaction but have impoverished (...) access to meanings originating in the lifeworld. The paper also argues that, as part of devices of interest aggregation and expert networks, mathematical infrastructures can be scrutinized by a revised form of legal practice that subjects them to legal critique and reconstruction in order to overcome conditions that have eroded the moral self-awareness of individuals and communities and their existential meanings. (shrink)

The main purpose of this article is, from a semiotic perspective, arguing for the recognizing of a semantic role of the imagination as a necessary condition to our linguistic experience, regarded as an essential feature of the relations of our thought with the world through signification processes ; processes centered in but not reducible to discourse. The text is divided into three parts. The first part presents the traditional position in philosophy and cognitive sciences that had barred until recent times (...) the possibility to investigate the semantic function performed by imagination, mainly due to the anti-psychologist arguments on which it is based. After that, I situate my perspective inside of the recent research panorama in philosophy and cognitive science. The second part presents the semiotic framework on the relation between thought, language, and world, conceived through the concepts of signification processes and sense-conditions. Within this framework, I introduce the concept of linguistic experience, characterizing semantic imagination as one of its sense-conditions. In the third part, several pieces of evidence for corroborating the semantic function of imagination are discussed. These pieces come from the fields of phenomena denoted as diagrammatic thought and counterfactual thought. Diagrammatic thought, briefly discussed, points out the semantic work of imagination in the semi-discursive sign systems constructed in mathematics, logic, and natural science. After defending a widening of the concept of counterfactual thought, and its intrinsic relation with semantic imagination, the role of semantic imagination is briefly discussed in some types of counterfactual thought found in our conceptions of modal concepts, in thought experiments, in apagogical arguments, and in the creative discursive devices. (shrink)

Simone Weil is widely recognized today as one of the profound religious thinkers of the twentieth century. Yet while her interpretation of natural science is critical to Weil's overall understanding of religious faith, her writings on science have received little attention compared with her more overtly theological writings. The present essay, which builds on Vance Morgan's Weaving the World: Simone Weil on Science, Necessity, and Love (2005), critically examines Weil's interpretation of the history of science. Weil believed that mathematical science, (...) for the ancient Pythagoreans a mystical expression of the love of God, had in the modern period degenerated into a kind of reification of method that confuses the means of representing nature with nature itself. Beginning with classical (Newtonian) science's representation of nature as a machine, and even more so with the subsequent assimilation of symbolic algebra as the principal language of mathematical physics, modern science according to Weil trades genuine insight into the order of the world for symbolic manipulation yielding mere predictive success and technological domination of nature. I show that Weil's expressed desire to revive a Pythagorean scientific approach, inspired by the "mysterious complicity" in nature between brute necessity and love, must be recast in view of the intrinsically symbolic character of modern mathematical science. I argue further that a genuinely mystical attitude toward nature is nascent within symbolic mathematical science itself. (shrink)

Resumen El siguiente artículo propone una interpretación del Hipias Mayor de Platón. A partir del análisis del contexto dramático, de los interlocutores y de la ejecución del diálogo, se destaca el problema de lo bello en sus implicancias ontológicas y éticas. El repetido esfuerzo por determinar lo bello no sólo responde a un problema filosófico fundamental, sino a una intención terapéutica por parte de Sócrates. El desdoblamiento de Sócrates resultará en el fondo ser un recurso por el cual sea posible (...) superar el olvido de la ignorancia que el interlocutor de Sócrates padece.The following paper proposes an interpretation of Plato’s Hippias Major. From the analysis of the dramatic context, the interlocutors and the execution of the dialogue, it highlights the problem of beauty in its ontological and ethical implications. The repeated effort to determine the beautiful not only responds to a fundamental philosophical problem, but to a therapeutic intention by Socrates. The debated splitting of Socrates will be ultimately a resource by which it is possible to overcome the oblivion of the ignorance that the interlocutor of Socrates suffers. (shrink)