This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice. This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued (...) today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics? (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)

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic ; analytical philosophy, philosophy of science, philosophy of mathematics and decision theory and foundations of economics. (...) Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic. (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 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)

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)

Dallas Willard’s contribution to phenomenology is presented in terms of his articles on, and translations into English of, Edmund Husserl’s early philosophical writings, which single-handedly prevented them from falling into oblivion, both literally and philosophically. Willard’s account of Husserl’s “negative critique” of formalized logic in those writings, and argument for its contemporary relevance, is presented and largely endorsed.

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)

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)

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)

This monograph offers a fresh perspective on the applicability of mathematics in science. It explores what mathematics must be so that its applications to the empirical world do not constitute a mystery. In the process, readers are presented with a new version of mathematical structuralism. The author details a philosophy of mathematics in which the problem of its applicability, particularly in physics, in all its forms can be explained and justified. Chapters cover: mathematics as a formal science, mathematical ontology: what (...) does it mean to exist, mathematical structures: what are they and how do we know them, how different layers of mathematical structuring relate to each other and to perceptual structures, and how to use mathematics to find out how the world is. The book simultaneously develops along two lines, both inspired and enlightened by Edmund Husserl’s phenomenological philosophy. One line leads to the establishment of a particular version of mathematical structuralism, free of “naturalist” and empiricist bias. The other leads to a logical-epistemological explanation and justification of the applicability of mathematics carried out within a unique structuralist perspective. This second line points to the “unreasonable” effectiveness of mathematics in physics as a means of representation, a tool, and a source of not always logically justified but useful and effective heuristic strategies. (shrink)

ABSTRACTThe aim of this article is twofold: first, to show that, in Plato'sHippias Major,Hippias is the mouthpiece of a materialist ontology; second, to discuss the critique of this ontology. My argument is based on an interpretation ofHippias Major300b4–301e3. I begin by revealing the shortcomings of P. Woodruff's and I. Ludlam's interpretations. Next, I define the concept of materialism as it was understood in ancient Greece in order to outline the specificity of Hippias' materialism. Finally, I argue that the opposition between (...) the two characters of theHippias Majorrepresents in fact an ontological opposition between two conceptions of what a unity is, i.e., Hippias' elementary corporal unities and Socrates' “formal unity.”. (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)

One major difficulty confronting attempts to clarify the epistemological and ontological status of abstract objects is determining the sense, if any, in which such entities may be characterised as mind and language independent. Our contention is that the tolerant reductionist position of Michael Dummett can be strengthened by drawing on Husserl's mature account of the constitution of ideal objects and mathematical objectivity. According to the Husserlian position we advocate, abstract singular terms pick out weakly mind-independent sedimented meaning-contents. These meaning-contents serve (...) as the ‘thin’ referents of abstract singular terms, but are ultimately founded in prior acts of meaning-constitution. (shrink)

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)

At 435c-d and 504b ff., Socrates indicates that there is a "longer and fuller way" that one must take in order to get "the best possible view" of the soul and its virtues. But Plato does not have him take this "longer way." Instead Socrates restricts himself to an indirect indication of its goals by his images of sun, line, and cave and to a programmatic outline of its first phase, the five mathematical studies. Doesn't this pointed restraint function as (...) a provocation, moving us to want to begin the "longer way" and to make use of its conceptual resources to rethink Socrates' images? I begin by finding a double movement in the complex trajectory of the five studies: they both guide the soul in the "turn away from what is coming to be ... [to] what is" (518c) and, at the same time, lead the soul back, albeit in the medium of pure intelligibility, to the sensible world; for the pure figures and ratios that they disclose constitute the core structures of sensible things. I then draw on what Socrates says about geometry and harmonics to address three fundamental questions that he leaves open: the nature of the Good in its responsibility for truth and for the being of the forms; the relations of forms, mathematicals, and sensibles as these are disclosed by dialectic; and the bearing of the philosopher's discovery of the Good on his disposition towards his community and the task of ruling. I close by marking six sets of further questions that these reflections bequeath for dialogues to come. (shrink)

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 book offers an historically-informed critical assessment of Dummett's account of abstract objects, examining in detail some of the Fregean presuppositions whilst also engaging with recent work on the problem of abstract entities.

In book 3 of his Republic, Plato has Socrates undertake an assessment of the educational curriculum that the city (which is being constructed by him in speech) will implement for its youth. Consequently we see that Socrates assigns to poetry a crucial importance; by their imitation of it, poetry shapes the citizens with an initial formation, casts them within a certain orientation, and places them on a path leading in an already conceived direction, toward some unarticulated good. Thus, in forming (...) this city and the souls of its citizens, Socrates first conducts a censorship of the content of the formative myths of the city in an attempt to orchestrate a certain fail-safe against ambiguity and against falling off .. (shrink)

The ancient Greek method of analysis has a rational reconstruction in the form of the tableau method of logical proof. This reconstruction shows that the format of analysis was largely determined by the requirement that proofs could be formulated by reference to geometrical figures. In problematic analysis, it has to be assumed not only that the theorem to be proved is true, but also that it is known. This means using epistemic logic, where instantiations of variables are typically allowed only (...) with respect to known objects. This requirement explains the preoccupation of Greek geometers with questions as to which geometrical objects are ?given?, that is, known or ?data?, as in the title of Euclid's eponymous book. In problematic analysis, constructions had to rely on objects that are known only hypothetically. This seems strange unless one relies on a robust idea of ?unknown? objects in the same sense as the unknowns of algebra. The Greeks did not have such a concept, which made their grasp of the analytic method shaky. (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)

In this paper I consider the relation between Descartes' psychology of vision and the cognitive science approach to psychology (henceforth CS). In particular, I examine Descartes' the Optics (1637) in the light of David Marr's (1982) position in CS. My general claim is that CS can be seen as a rediscovery of Descartes' psychology of vision. In the first section, I point to a parallel between Descartes' epistemological revolution, which created the modem version of the problem of perception, and the (...) cognitive revolution. These fundamental revolutions in theoretical psychology were both inspired and legitimated by a revolution in mathematics. They took place in accordance with one of Marr's maxims: “To the desirable via the possible”. In the second section, I demonstrate that in the Optics, Descartes explains perception of metrical properties in a way that — on a detailed level — is in accordance with how Man argues that complex information processing systems have to be explained: both Descartes and Man emphasize the co-ordination of logical and physical analysis. In the third section, I claim that Descartes' arguments for a sharp distinction between mechanical transmission of sense data (sensation) and non-mechanical inferences on those sense data (thinking) are sound arguments seen from Man's position in CS. Descartes' arguments are based on his logical and physical analysis. Malebranche's radicalized version of Cartesian dualism turns Descartes' empirically-based assumption that mechanisms cannot realize inferences into a metaphysical assumption. In the final section, I argue that this metaphysical assumption contributes to an understanding of perception as a non-symbolic, non-inferential bottom-up process in mainstream monistic and mechanistic scientific psychology until the cognitive revolution. (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)

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)

I argue here that a properly Platonic theory of the nature of number is still viable today. By properly Platonic, I mean one consistent with Plato's own theory, with appropriate extensions to take into account subsequent developments in mathematics. At Parmenides 143a-4a the existence of numbers is proven from our capacity to count, whereby I establish as Plato's the theory that numbers are originally ordinal, a sequence of forms differentiated by position. I defend and interpret Aristotle's report of a Platonic (...) distinction between form and mathematical numbers, arguing that mathematical numbers alone are cardinals, by reference to certain non-technical features of a set-theoretical approach and other considerations in philosophy of mathematics. Finally I respond to the objections that such a conception of number was unavailable in antiquity and that this theory is contradicted by Aristotle's report in Metaph . XIII that Platonic numbers are collections of units. I argue that Aristotle reveals his own misinterpretation of the terms in which Plato's theory was expressed. (shrink)

I here present and discuss Husserl’s clarification of the genesis of modern empirical science, particularly its mathematical methods, as presented in his last work, The Crisis of European Sciences and Transcendental Phenomenology. Although Husserl’s analyses have as their goal to redirect science to the lifeworld and to reposition man and his immediate experiences at the foundation of the scientific project so as to overcome the “crisis” of science, I approach them from a different perspective. The problem that interests me here (...) is the applicability of mathematics in empirical science, to assess Husserl’s treatment of this issue in order to see if it can be sustained from a strictly scientific point of view regardless of philosophical adequacy. My conclusion is that it cannot. What Husserl takes as the “crisis” of science is inherent to the best scientific methodology. (shrink)

The goal of this paper is to provide an account of the role played by logic in the context of what Husserl names the “crisis of European sciences.” Presupposing the analyses offered in the Krisis, I look at Formale und Transzendentale Logik to demonstrate that the crisis of logic stems from the deviation of its original meaning as a “theory of science” and from its restriction to a mere “theoretical technique.” Through a comparison between Aristotelian syllogistic and modern logic, I (...) show why the modern discovery of the purely formal dimension of knowledge which makes possible such a mathematical technization is a positive achievement that hinders at the same time the disclosure of the truly philosophical nature of logic. The correct appraisal of this ambiguous phenomenon will explain why the rise of modern logic represents a decisive challenge for the success of Husserl’s late phenomenological project. (shrink)

The purpose of this paper is to reassess some mathematical examples in Plato’s dialogues which at a first glance may appear to be nothing more than trivial puzzles. In order to provide the necessary background for this analysis, I shall begin by sketching a brief overview of Plato’s mathematical passages and discuss the criteria for aptly selecting them. Second, I shall explain what I mean by ‘mathematical examples,’ and reflect on their function in light of the discussion on παραδείγματα outlined (...) in theSophistand theStatesman. Against this framework, I shall move to a close examination of specific examples drawn from theTheaetetus(154c–55d), theRepublic(523c–24d), and thePhaedo(96d–97b, 100e–101d). By placing these examples in the broader context of pre-Euclidean mathematics, I shall show that their mathematical content is often less elementary than might appear at first sight. Moreover, by placing emphasis on the specific philosophical concerns that motivated their introduction, I shall argue that the examples are not merely nonsensical jokes. Even if their illustrative purpose is not always immediately clear, and even if they can sound playful and bizarre, they in fact fulfil an important function: by virtue of their power to generate wonder or confusion, they serve as exercises and act as a trigger with respect to the difficult philosophical issues they are intended to clarify. (shrink)

John Locke’s treatment of quantity in the Essay Concerning Human Understanding is not nearly as extensive or as well-known as his treatment of quality and his distinction between primary and secondary qualities. Yet I contend that a close examination of Locke’s comments on quantity in the Essay reveals that he endorses a general theory of quantity that not only distinguishes quantities from qualities, but also plays several other important roles in his overall philosophy—particularly in his treatments of infinity and demonstrative (...) knowledge. Moreover, I argue that this theory does not appear out of thin air, but is in certain respects one and the same as the approach to quantity found in Aristotle and developed by medieval Aristotelian thinkers. Identifying the core tenets of this approach in the texts of Aristotle and medieval Aristotelians, and formulating them clearly enough to shed light on Locke’s theory of quantity in the Essay, is the principal task of this paper. (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)

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)

Frege argues that number is so unlike the things we accept as properties of external objects that it cannot be such a property. In particular, (1) number is arbitrary in a way that qualities are not, and (2) number is not predicated of its subjects in the way that qualities are. Most Aristotle scholars suppose either that Frege has refuted Aristotle's number theory or that Aristotle avoids Frege's objections by not making numbers properties of external objects. This has led some (...) to conclude that Aristotle's accounts of arithmetical and geometrical objects differ substantially. I close this supposed gap by showing that Aristotle's arithmetical objects, like geometrical objects, are just certain sensible things qua certain properties they in fact possess. Specifically, numbers are pluralities qua quantitative or relational properties like ten units or ten. I show that this view is resistant to the Fregean concerns about arbitrariness and numerical predication. (shrink)

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)

ArgumentThe aim of this paper is to employ the newly contextualized historiographical category of “premodern algebra” in order to revisit the arguably most controversial topic of the last decades in the field of Greek mathematics, namely the debate on “geometrical algebra.” Within this framework, we shift focus from the discrepancy among the views expressed in the debate to some of the historiographical assumptions and methodological approaches that the opposing sides shared. Moreover, by using a series of propositions related toElem.II.5 as (...) a case study, we discuss Euclid's geometrical proofs, the so-called “semi-algebraic” alternative demonstrations attributed to Heron of Alexandria, as well as the solutions given by Diophantus, al-Sulamī, and al-Khwārizmī to the corresponding numerical problem. This comparative analysis offers a new reading of Heron's practice, highlights the significance of contextualizing “premodern algebra,” and indicates that the origins of algebraic reasoning should be sought in the problem-solving practice, rather than in the theorem-proving tradition. (shrink)

Françios Viète was a geometer in search of better techniques for astronomical calculation. Through his theorem on angular sections he found a use for higher-dimensional geometric magnitudes which allowed him to create an algebra for geometry. We show that unlike traditional numerical algebra, the knowns and unknowns in Viète’s logistice speciosa are the relative sizes of non-arithmetized magnitudes in which the “calculations” must respect dimension. Along with this foundational shift Viète adopted a radically new notation based in Greek geometric equalities. (...) His letters stand for values rather than types, and his given values are undetermined. Where previously algebra was founded in polynomials as aggregations, Viète became the first modern algebraist in working with polynomials built from operations, and the notations reflect these conceptions. Viète’s innovations are situated in the context of sixteenth-century practice, and we examine the interpretation of Jacob Klein, the only historian to have conducted a serious inquiry into the ontology of Viète’s “species”. (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)

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)

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)

The history of the continuous inclusion of mathematics in liberal education in the West, from ancient times through the modern period, is sketched in the first two sections of this chapter. Next, the heart of this essay (Sects. 3, 4, 5, 6, and 7) delineates the central role mathematics has played throughout the history of Western civilization: not just a tool for science and technology, mathematics continually illuminates, interacts with, and sometimes challenges fields like art, music, literature, and philosophy – (...) subjects now universally considered to be liberal arts. Section 8 adds an international perspective to the contemporary liberal arts story by describing some instructive mathematical achievements from many cultures and societies. Finally, Sect. 9 addresses how contemporary mathematics teaching can use the history of mathematics viewed as a liberal art to enhance the appreciation and understanding of mathematics for all students. (shrink)

In his critical study of Speusippus Leonardo Tarán (T.) expounds an interpretation of a considerable part of the controversial books M and N of Aristotle's Metaphysics. In this essay I want to consider three aspects of the interpretation, the account of Plato's ‘ideal numbers’ (section I), the account of Speusippus’ mathematical ontology (section II), and the account of the principles of that ontology (section III). T. builds his interpretation squarely on the work of Harold Cherniss (C.), to whom I will (...) also refer. I concentrate on T. because he has brought the ideas in which I am interested together and given them a concise formulation; he is also meticulous in indicating the secondary sources with which he agrees or disagrees, so that anyone interested in pursuing particular points can do so easily by consulting his book. (shrink)

A prized property of theories of all kinds is that of generality, of applicability or least relevance to a wide range of circumstances and situations. The purpose of this article is to present a pair of distinctions that suggest that three kinds of generality are to be found in mathematics and logics, not only at some particular period but especially in developments that take place over time: ‘omnipresent’ and ‘multipresent’ theories, and ‘ubiquitous’ notions that form dependent parts, or moments, of (...) theories. The category of ‘facets’ is also introduced, primarily to assess the roles of diagrams and notations in these two disciplines. Various consequences are explored, starting with means of developing applied mathematics, and then reconsidering several established ways of elaborating or appraising theories, such as analogising, revolutions, abstraction, unification, reduction and axiomatisation. The influence of theories already in place upon theory-building is emphasised. The roles in both mathematics and logics of set theory, abstract algebras, metamathematics, and model theory are assessed, along with the different relationships between the two disciplines adopted in algebraic logic and in mathematical logic. Finally, the issue of monism versus pluralism in these two disciplines is rehearsed, and some suggestions are made about the special character of mathematical and logical knowledge, and also the differences between them. Since the article is basically an exercise in historiography, historical examples and case studies are described or noted throughout. (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)