DOCSLIB.ORG

THE THEORY of MATHEMATICAL SUBTRACTION in ARISTOTLE By

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
THE THEORY of MATHEMATICAL SUBTRACTION in ARISTOTLE By THE THEORY OF MATHEMATICAL SUBTRACTION IN ARISTOTLE by Ksenia Romashova Submitted in partial fulfilment of the requirements for the degree of Master of Arts at Dalhousie University Halifax, Nova Scotia August 2019 © Copyright by Ksenia Romashova, 2019 DEDICATION PAGE To my Mother, Vera Romashova Мама, Спасибо тебе за твою бесконечную поддержку, дорогая! ii TABLE OF CONTENTS LIST OF FIGURES .................................................................................................................. iv ABSTRACT ............................................................................................................................... v LIST OF ABBREVIATIONS USED ....................................................................................... vi ACKNOWLEDGEMENTS ..................................................................................................... vii CHAPTER 1 INTRODUCTION ............................................................................................... 1 CHAPTER 2 THE MEANING OF ABSTRACTION .............................................................. 6 2.1 Etymology and Evolution of the Term ................................................................... 7 2.2 The Standard Phrase τὰ ἐξ ἀφαιρέσεως or ‘Abstract Objects’ ............................ 19 CHAPTER 3 GENERAL APPLICATION OF ABSTRACTION .......................................... 24 3.1 The Instances of Aphairein in Plato’s Dialogues ................................................. 24 3.2 The Use of Aphairein in Aristotle’s Topics II, III, V, VI, VIII, and Metaphysics VII .................................................................................................... 32 CHAPTER 4 TECHNICAL APPLICATION OF ABSTRACTION IN ARISTOTLE .......... 39 4.1 The Use of Abstraction Outside Mathematics ...................................................... 40 4.1.1 Two Non-mathematical Uses of τὰ ἐξ ἀφαιρέσεως ................................ 40 4.1.2 Aphairesis and the ‘Qua’ Method Outside Mathematics ........................ 51 4.2 The Use of Abstraction Within Mathematics........................................................ 56 4.2.1 Seven Mathematical Uses of τὰ ἐξ ἀφαιρέσεως ..................................... 56 4.2.2 Aphairesis and the ‘Qua’ Method in Mathematics ................................. 77 4.3 Potential Existence of Intelligible Matter in Sensible Substances ........................ 81 CHAPTER 5 MODERN INTERPRETERS OF ARISTOTLE’S SO-CALLED “THEORY OF ABSTRACTION” ........................................................................................... 98 5.1 Charles De Koninck ............................................................................................... 99 5.2 Auguste Mansion ................................................................................................ 103 5.3 Allan Bäck ........................................................................................................... 106 5.4 Julia Annas ........................................................................................................... 114 CHAPTER 6 CONCLUSION ............................................................................................... 124 BIBLIOGRAPHY .................................................................................................................. 129 iii LIST OF FIGURES Figure 1 Additional lines EC and CD prove the truth of the theorem ‘the angles of the triangle equal to two right angles’ ................................................................. 88 Figure 2 Lines and surfaces BED and DEC demonstrate that the angle in a semicircle in all cases is a right angle ............................................................................. 88 iv ABSTRACT The problem with most modern accounts of Aristotle’s so-called ‘theory of mathematical abstraction’ or aphairesis (ἀφαίρεσις) is that it is interpreted primarily through the scope of the epistemological process of an immediate reception of mathematical forms by the soul without matter from which the former are said to be ‘abstracted’. However, this interpretation is not present in Aristotle’s texts. Instead, aphairesis presents itself as a method by which the mode of being of the objects of mathematics is explained: it elucidates the location and place of the category of quantity within a particular sensible substance, but not some kind of an abstracting activity of drawing mathematical forms or universals from matter. This latter type of the epistemological abstraction of mathematicals found in most modern commentaries was developed by later commentators of Aristotle. The analysis of the modern scholarship shows a clear trace of influence of the ancient tradition. v LIST OF ABBREVIATIONS USED WORKS OF ARISTOTLE APo. Posterior Analytics Cat. Categories DA De Anima Meta. Metaphysics NE Nicomachean Ethics PA Prior Analytics Phys. Physics Pol. Politics Top. Topics WORKS OF PLATO Rep. Republic Symp. Symposium Tim. Timaeus vi ACKNOWLEDGEMENTS I would like to express my deepest gratitude to my thesis advisor, Dr. Eli Diamond, for his support during my years of study here at Dalhousie University. I am thankful, first, for the inspirational classes I have taken from him at the Department of Classics; Ancient Greek, Plato, and Aristotle were always exciting. Secondly, I am grateful for his ability to recognize the interests of a student and place him or her on the correct path of philosophical development. He was the one who recognized and shaped my interests in such a way that they turned into a thesis on Aristotle’s philosophy of mathematics. The process by which he sculpted my interests included several stages. Firstly, I am thankful to Dr. Diamond for encouraging me to take the class on Aristotle’s Metaphysics, which I was hesitant about at first - look at those fourteen dialectical aporiai in book Beta! However, the inspirational side of Dr. Diamond helped us all untie those knots. Secondly, I am thankful to him for including a question on Aristotle’s astronomy as one of our in-class presentation topics. The presentation I gave on this question later turned into a paper that I presented at a graduate conference at the University of Toronto. Thirdly, I am thankful to Dr. Diamond for including a question on Aristotle’s mathematics (books XIII and XIV) on our second take- home exam - he said he included this question particularly for me in case I was interested. My response to this question later grew into a thesis with a specific interest in Aristotle’s theory of subtraction. Fourthly, and most importantly, I would like to thank Dr. Diamond for his guidance throughout my thesis work, his encouragement, constructive criticism, patience, and sympathy for my struggles with writing in a second language. I also wish to express my gratitude to Drs. Michael Fournier and Ian Stewart for their valuable comments on my thesis and for their time they spent reading it. I would like to thank Dr. Alexander Treiger who introduced me to the Classics program and guided me through the entire application process. His presence at the Department of Classics made the first months of my linguistic and academic adaptation pass by in comfort. I am also thankful to Dwight Crowell for his encouragement throughout all these months I spent researching and writing. His desire for knowledge and his pursuit for intellectual development in both philosophy and science has served as a great example for me to follow. Finally, and most importantly, I would like to thank my most loving and most caring mother for her infinite mental support during the years of my study and for her never-ending belief in my goals and interests. She is the primary reason I have been able to succeed academically and complete my thesis. vii CHAPTER 1 INTRODUCTION According to Heraclitus, “πάντα χωρεῖ καὶ οὐδὲν μένει, καὶ ποταμοῦ ῥοῇ ἀπεικάζων τὰ ὄντα λέγει ὡς ‘δὶς ἐς τὸν αὐτὸν ποταμὸν οὐκ ἂν ἐμβαίης” (Plato, Cratylus 402a). This means that everything gives way and nothing remains still just like a flowing river. It is impossible to step in the same stream twice, and what is more, it is impossible to step in it even once (Meta. 1010a14-15). Since everything is in flux and since the matter of physical objects is constantly changing and moving, mathematics cannot be true of the sensible triangles and spheres made of bronze, wood or any other materials, as well as of those drawn on paper or in sand. It follows that when we say that this triangle is of such and such a size or that this triangle is equilateral whose internal angles are each 60°, these truths will almost never hold true of any sensible triangle. Thus, to affirm something will always result in a false statement irrelevant to its physical representative. Even if we suppose the matter of some mathematical shape to be motionless, it would still be impossible to build or draw a perfectly triangular shape due to our limited human abilities. To save the objectivity and precision necessary for mathematics, Plato posited eternal and unchanging intermediates (τὰ μεταξύ) which later became the main focus of Aristotle’s criticisms found primarily in the last two books of his Metaphysics, XIII and XIV. Aristotle describes Plato’s intermediates in the following way: “besides sensible things and Forms he says there are the objects of mathematics, which occupy an intermediate position, differing from sensible things in being eternal and unchangeable, from Forms in that there are many alike, while the Form itself is in each case
Load more

Recommended publications
  • Continuity and Mathematical Ontology in Aristotle
    Journal of Ancient Philosophy, vol. 14 issue 1, 2020. DOI: http://dx.doi.org/10.11606/issn.1981-9471.v14i1p30-61 Continuity and Mathematical Ontology in Aristotle Keren Wilson Shatalov In this paper I argue that Aristotle’s understanding of mathematical continuity constrains the mathematical ontology he can consistently hold. On my reading, Aristotle can only be a mathematical abstractionist of a certain sort. To show this, I first present an analysis of Aristotle’s notion of continuity by bringing together texts from his Metaphysica and Physica, to show that continuity is, for Aristotle, a certain kind of per se unity, and that upon this rests his distinction between continuity and contiguity. Next I argue briefly that Aristotle intends for his discussion of continuity to apply to pure mathematical objects such as lines and figures, as well as to extended bodies. I show that this leads him to a difficulty, for it does not at first appear that the distinction between continuity and contiguity can be preserved for abstract mathematicals. Finally, I present a solution according to which Aristotle’s understanding of continuity can only be saved if he holds a certain kind of mathematical ontology. My topic in this paper is Aristotle’s understanding of mathematical continuity. While the idea that continua are composed of infinitely many points is the present day orthodoxy, the Aristotelian understanding of continua as non-punctiform and infinitely divisible was the reigning theory for much of the history of western mathematics, and there is renewed interest in it from current mathematicians and philosophers of mathematics.
    [Show full text]
  • Berkeley's Case Against Realism About Dynamics
    Lisa Downing [Published in Berkeley’s Metaphysics, ed. Muehlmann, Penn State Press 1995, 197-214. Turbayne Essay Prize winner, 1992.] Berkeley's case against realism about dynamics While De Motu, Berkeley's treatise on the philosophical foundations of mechanics, has frequently been cited for the surprisingly modern ring of certain of its passages, it has not often been taken as seriously as Berkeley hoped it would be. Even A.A. Luce, in his editor's introduction to De Motu, describes it as a modest work, of limited scope. Luce writes: The De Motu is written in good, correct Latin, but in construction and balance the workmanship falls below Berkeley's usual standards. The title is ambitious for so brief a tract, and may lead the reader to expect a more sustained argument than he will find. A more modest title, say Motion without Matter, would fitly describe its scope and content. Regarded as a treatise on motion in general, it is a slight and disappointing work; but viewed from a narrower angle, it is of absorbing interest and high importance. It is the application of immaterialism to contemporary problems of motion, and should be read as such. ...apart from the Principles the De Motu would be nonsense.1 1The Works of George Berkeley, Bishop of Cloyne, ed. A.A. Luce and T.E. Jessop (London: Thomas Nelson and Sons, 1948-57), 4: 3-4. In this paper, all references to Berkeley are to the Luce-Jessop edition. Quotations from De Motu are taken from Luce's translation. I use the following abbreviations for Berkeley’s works: PC Philosophical Commentaries PHK-I Introduction to The Principles of Human Knowledge PHK The Principles of Human Knowledge DM De Motu A Alciphron TVV The Theory of Vision Vindicated and Explained S Siris 1 There are good general reasons to think, however, that Berkeley's aims in writing the book were as ambitious as the title he chose.
    [Show full text]
  • The Synthesis of Empiricism and Innatism in Berkeley's Doctrine Of
    Berkeley Studies 21 (2010) 3 The Synthesis of Empiricism and Innatism in Berkeley’s Doctrine of Notions James Hill Abstract: This essay argues that Berkeley’s doctrine of notions is an account of concept-formation that offers a middle-way between empiricism and innatism, something which Berkeley himself asserts at Siris 308. First, the widespread assumption that Berkeley accepts Locke’s conceptual empiricism is questioned, with particular attention given to Berkeley’s views on innatism and ideas of reflection. Then, it is shown that Berkeley’s doctrine of notions comes very close to the refined form of innatism to be found in Descartes’ later writings and in Leibniz. Finally, it is argued that Berkeley denies a principle common to both empiricism and innatism, namely, that all conceptual knowledge amounts to the perception of ideas. By denying this―at least in the case of the concepts of self, causation, substance, and virtue―Berkeley is able to provide a synthesis of conceptual empiricism and innatism. In Siris, Berkeley offers us a characteristically succinct reflection on his doctrine of notions: [Aristotle] held that the mind of man was a tabula rasa, and that there were no innate ideas. Plato, on the contrary, held original ideas in the mind; that is, notions which never were or can be in the sense, such as being, beauty, goodness, likeness, parity. Some, perhaps, may think the truth to be this: that there are properly no ideas, or passive objects, in the mind but what were derived from sense: but that there are also besides these her own acts or operations; such are notions.
    [Show full text]
  • Abstraction’ in Aristotle [13]
    ON THE TERMINOLOGY OF ‘ABSTRACTION’ IN ARISTOTLE [13] If we look at the standard commentaries on Aristotle’s philosophy, we nd the term ‘abstraction’ constantly being used to characterise his epistemology in contrast to that of Plato. Historically speaking, it may have been Aquinas1 who was responsible for making ‘abstractionism’ the by-word for a kind of empiricism which holds that all knowledge derives from the senses. Indeed, the unanimity of the commentators appears to be such that it has congealed into the dogma that Aristotle’s theory of knowledge is basically abstractionist in character.2 In spite of the weight of opinion, I must confess myself to be sceptical about this dogma. Since this may appear heretical to some readers, I hasten to clarify my scepticism. I do not doubt that Aristotle opposed Plato’s theory of recollection with his own claim that all of our knowledge ultimately derives from the senses. What I do question is whether Aristotle ever gives the name ‘abstraction’ to the process by which we grasp universals through sense experience. It is a well-known yet puzzling fact that such terminology does not appear in those few passages where Aristotle actually describes this process (An. Post. II, 19 and Met. I, 1). Now what are we to make of this fact? Perhaps one might object that this is purely a philological issue, but I am convinced that it has more general signi cance for the interpretation of Aristotle. In this paper, therefore, I propose to make a fresh analysis of the ter- minology of ‘abstraction’ as it is used in the Aristotelian corpus.
    [Show full text]
  • Abstractionist Class Theory: Is There Any Such Thing?
    Abstractionist class theory: Is there any such thing? Michael Potter Final draft Timothy Smiley and I have published two papers jointly (2001; 2002). Their purpose was to point at problems for the abstractionist (or neo-Fregean) account of arithmetic. In the course of our work on these papers Timothy taught me a great deal about how philosophy should be written: he simply would not let me include a sentence whose meaning was not completely clear to him. The current article, which extends the exploration of difficulties with abstractionism from the case of numbers to that of classes, provides an opportunity for readers to judge to what extent I have taken this lesson to heart. 1 Abstractionism An abstractionist, as I shall use the term here, is someone who attempts to ground an account of part of mathematics on an abstraction principle, i.e. an equivalence of the form Σ(F ) = Σ(G) iff F ∼ G; where ∼ is some suitably chosen equivalence relation on properties which can be defined without using the term-forming operator Σ. It is standardly assumed by abstractionists that the background logic is second-order. This assumption is not critical to the formulation of the position: there is nothing essentially second- order about the notion of an abstraction principle. However, the assumption is critical to the non-triviality of abstractionism: in a purely first-order context, the consequences of abstraction principles turn out to be disappointingly an- odyne. Much could be said about the ontological assumptions implicit in the abstractionist's adoption of second-order logic, but I shall not say it here.
    [Show full text]
  • Featured Releases 2 Limited Editions 102 Journals 109
    Lorenzo Vitturi, from Money Must Be Made, published by SPBH Editions. See page 125. Featured Releases 2 Limited Editions 102 Journals 109 CATALOG EDITOR Thomas Evans Fall Highlights 110 DESIGNER Photography 112 Martha Ormiston Art 134 IMAGE PRODUCTION Hayden Anderson Architecture 166 COPY WRITING Design 176 Janine DeFeo, Thomas Evans, Megan Ashley DiNoia PRINTING Sonic Media Solutions, Inc. Specialty Books 180 Art 182 FRONT COVER IMAGE Group Exhibitions 196 Fritz Lang, Woman in the Moon (film still), 1929. From The Moon, Photography 200 published by Louisiana Museum of Modern Art. See Page 5. BACK COVER IMAGE From Voyagers, published by The Ice Plant. See page 26. Backlist Highlights 206 Index 215 Hilma af Klint: Paintings for the Future Edited with text by Tracey Bashkoff. Text by Tessel M. Bauduin, Daniel Birnbaum, Briony Fer, Vivien Greene, David Max Horowitz, Andrea Kollnitz, Helen Molesworth, Julia Voss. When Swedish artist Hilma af Klint died in 1944 at the age of 81, she left behind more than 1,000 paintings and works on paper that she had kept largely private during her lifetime. Believing the world was not yet ready for her art, she stipulated that it should remain unseen for another 20 years. But only in recent decades has the public had a chance to reckon with af Klint’s radically abstract painting practice—one which predates the work of Vasily Kandinsky and other artists widely considered trailblazers of modernist abstraction. Her boldly colorful works, many of them large-scale, reflect an ambitious, spiritually informed attempt to chart an invisible, totalizing world order through a synthesis of natural and geometric forms, textual elements and esoteric symbolism.
    [Show full text]
  • The Aesthetic Experience of Kandinsky's Abstract Art: A
    Zlom2_2017_Sestava 1 22.9.17 11:02 Stránka 212 Aesthetic Experience of Kandinsky’s Abstract Art: A Polemic with Henry’s Phenomenological Analysis THE AESTHETIC EXPERIENCE OF KANDINSKY’S ABSTRACT ART: A POLEMIC WITH HENRY’S PHENOMENOLOGICAL ANALYSIS ANNA ZIÓŁKOWSKA-JUŚ The French phenomenologist Michel Henry sees a similarity between the primordial experience of what he calls ‘Life’ and the aesthetic experience occasioned by Wassily Kandinsky’s abstract art. The triple aim of this essay is to explain and assess (1) how Henry interprets Kandinsky’s abstract art and theory; (2) what the consequences of his interpretation mean for the theory of the experience of abstract art; and (3) what doubts and questions emerge from Henry’s interpretations of Kandinsky’s theory and practice. Despite its containing many interesting ideas, Henry’s phenomenological approach is insufficient to describe the aesthetic experience of Kandinsky’s abstract art. For Henry, aesthetic experience is corporeal, primordial, non-intentional, and independent of knowledge and culture. By contrast, I believe that it is possible and more suitable to connect the direct, corporeal, and affective character of the aesthetic experience of abstract art with intentionality and embeddedness in culture and knowledge. The French phenomenologist Michel Henry’s (1922–2002) discussions concentrate on corporeality and what he calls ‘Life’. Henry sees a similarity between the primordial experience of Life and the aesthetic experience of Wassily Kandinsky’s (1866–1944) art. This article seeks to contribute to our understanding of the sense of aesthetic experience in abstract art from a phenomenological perspective. The aim is actually threefold. It seeks (1) to explain and assess how Henry interprets Kandinsky’s abstract art and theory, (2) to determine the consequences of his interpretation for the theory of the experience of abstract art, and (3) to identify doubts and questions which emerge from Henry’s interpretations of Kandinsky’s theory and practice.
    [Show full text]
  • Cantorian Abstraction: a Reconstruction and Defence
    Cantorian Abstraction: A Reconstruction and Defence In section 1 of his Beitragei, Cantor explains the notion of cardinal number: We will call by the name "power" or "cardinal number" of M the general concept which, by means of our active faculty of thought, arises from the aggregate M when we make abstraction of the nature of its various elements m and of the order in which they are given. We denote the result of this double act of abstraction, the cardinal number or power of M, by (3) M (double bar). Since every single element m, if we abstract from its nature, becomes a "unit", the cardinal number M (double bar) is a definite aggregate composed of units, and this number has existence in our mind as an intellectual image or projection of the given aggregate M. Later in section 7 of the same work, he gives an analogous account of order type: Every ordered aggregate M has a definite "order type", or more shortly a definite "type", which we will denote by (2) M (bar). By this we understand the general concept which results from M if we only abstract from the nature of the elements m, and retain the order of precedence among them. Thus the order type M(bar) is itself an ordered aggregate whose elements are units which have the same order of precedence amongst one another as the corresponding elements of M, from which they are derived by abstraction. Dedekind, in §73 of his Was sind und was sollen die Zahlenii, gives a somewhat similar account of number-series: If in the consideration of a simply infinite system N set in order by a transformation _ we entirely neglect the special character of the elements, simply retaining their distinguishability and taking into account only the relations to one another in which they are placed by the order-setting transformation _, then are these elements called natural numbers or ordinal numbers or simply numbers, and the base-element 1 is called the base-number of the number-series N.
    [Show full text]
  • Architect Profile
    Evaluating the role of collage as a more effective representation in landscape architecture praxis by Tina George A Thesis presented to The University of Guelph In partial fulfilment of requirements for the degree of Master of Landscape Architecture in Landscape Architecture Guelph, Ontario, Canada © Tina George, June, 2021 ABSTRACT EVALUATING THE ROLE OF COLLAGE AS A MORE EFFECTIVE REPRESENTATION IN LANDSCAPE ARCHITECTURE PRAXIS Tina George Advisor: University of Guelph, 2021 Dr. Nadia Amoroso Photomontage has evolved from traditional collages to highly photorealistic simulations - the currently preferred style of landscape visual communication. These photorealistic graphics are popular, owing to their ease of interpretation, but limit discourse possibilities and fail to reveal the ideation process. On the other hand, traditional collage is credited with projecting the design process and promoting intelligent discourse. This research investigates the efficiencies of using traditional collage representation within current praxis. A literature review focused on the trajectory of landscape architecture graphics brought an understanding to why impressionist, realistic graphics are being used. A case-study analysis of fifteen graphic representations by landscape architecture practices and the results of a questionnaire tested for recognition of various graphic styles was used to consolidate information that led to the determination that collage techniques are superior and can be revived to be utilized effectively in praxis. DEDICATION Dedicated to the artists who see beyond borders to create awareness and change. "Here's to the crazy ones, the misfits, the rebels, the troublemakers, the round pegs in the square holes ... the ones who see things differently -- they're not fond of rules, and they have no respect for the status quo.
    [Show full text]
  • Contemporary American Painting and Sculpture
    UNIVERSITY OF ILLINOIS LIBRARY AT URBANACHAMPAIGN ARCHITECTURE UNIVSiaiTY OF numti •.T«"^- *!r^" Materialsl The Minimum fee lor NOTICE: Return or renew all Library each Lost Book is $50.00. for The person charging this material is responsible which it was withdrawn its return to the hbrary from below. on or before the Latest Date stamped books are reasons tor discipli- Then, mutilation, and underiining of (rom the University. nary action and may result in dismissal 333-8400 To renew call Telephone Center, URBANA-CHAMPAIGN UNIVERSITY OF ILLINOIS LIBRARY AT iMb .> RKl) TABI.F.CI.OIII Xicholas \"asilirtT Sunday, March 2, through Sunday, T^pril 13, 1952 University of Illinois Exhibition of CONTEMPORT^RY AMERICAN PAINTING Galleries Architecture Building College of Fine and Applied Arts, Urbana THE LIBRARY OF THE MAR 1 1C52 liNiVERSir/ OF ILLI!"OiS Copyright 1952 by the University of Illinois Manufactured in the United States of America /0 7./ ayu*^*^ RICHER IIP'T'^Y ARCiVJICTUflE UUIVEftSlTY Of ILLINOIS University of Illinois Exhibition of CONTEMPORARY AMERICAN PAINTING GEORGE D. STODDT^RD President of the University DEAN REXFORD NEWCOMB Chairman, Festival of Contemporary Arts C. W. Briggs E. C. Rae N. Britsky J. R. Shipley OPERATING COMMITTEE G. N. Foster A. S. Weller J. D. Hogan C. V. Donovan, Chairman L. F. Bailey R. E. Marx E. H. Belts R. Perlman C. E. Bradbury A. J. Pulos STAFF COMMITTEE MEMBERS L. R. Chcsney J. W. Raushenberger C. A. Dietemann F. J. Roos W. F. Doolittle H. A. Schultz R. L. Drummond M. A. Sprague R. A. Ginstrom B. R.
    [Show full text]
  • The Epistemology of Abstractionism
    The epistemology of abstractionism Alexander Christoph Reinhard Olderneier June, 2012 Submitted in accordance with the requirements for the degree of PhD. The University of Leeds Department of Philosophy The candidate confirms that the work submitted is his own and that appropriate credit has been given where reference has been made to the work of others. This copy has been supplied on the understanding that it is copyright mate­ rial and that no quotation from the thesis may be published without proper acknowledgement. The right of Alexander C. R. Oldemeier to be identified as Author of this work has been asserted by him in accordance with the Copyright, Designs and Patent Act 1988. © 2012 The University of Leeds and Alexander Oldemeier Acknowledgements First and foremost, I thank my patient main supervisor, Robbie Williams, for his great support. I have learned so much. I also thank my supervisor John Divers. Without his guidance, I might not have pursued this project in the first place. My research has been made possible by the kind support of the Leeds Phi­ losophy Department, the AHRC, the Jacobsen 'frust of the Royal Institute of Philosophy, and the Northern Institute of Philosophy. I am deeply grateful for that. I also thank all my fellow PhD students at Leeds, from whom I received a lot of valuable feedback and criticism. In particular: Thomas Brouwer, Michael Bench-Capon, Mirja Holst, Wouter Kalf, Stephan Kraemer, and Duncan Wat­ son. Moreover, I am deeply grateful for all the support I received from the ~orthern Institute of Philosophy (NIP). Thanks to the NIP, I am the proud owner of a Frege T-Shirt.
    [Show full text]
  • Abstraction and Identity Roy T
    Cook and Philip A. Ebert dialectica Vol. 59, N° 2 (2005), pp. 121–139 Abstraction and Identity Roy T. Cook and Philip A. Ebert† ABSTRACT In this paper we outline and discuss various solutions to a restricted, but we think, more interesting version of the infamous Caesar Problem. This restricted version, labelled the C-R Problem, occurs in contexts where we have two distinct abstraction principles: AP:@@,()" X()()" Y X= () Y´ E() X Y @@11[]11 AP:@@," X" Y() X= () Y´ E() X Y @@22()()[]22 and want to settle cross-sortal identity claims of the form: @@12()PQ= () Both abstraction principles, however, are silent with regard to this identity – a special instance of the Caesar Problem. In what follows, we outline two distinct strategies to resolve the C-R problem. The first strategy decides such cross-abstraction identities in terms of whether or not the equivalence relations appearing on the right hand side of the abstraction principles are identical, while the second strategy settles such identities by appeal to the relevant equivalence classes. We then focus our discussion on the latter approach and offer three ways of implement- ing this strategy. Ultimately, we argue that this strategy fails, as each attempt to appeal to equivalence classes faces unsurmountable difficulties. 1. Introduction Over the last 20 years there has been a resurrection of a position in the philosophy of mathematics – abstractionism, or Neo-Fregeanism – which aims to provide a reduction of standard mathematical practice (or at least the epistemology and ontology underlying such practice) in terms of abstraction principles embedded within second-order logic.
    [Show full text]