What Structural Objects Could Be – Mathematical Structuralism and Its Prospects –

Total Page:16

File Type:pdf, Size:1020Kb

What Structural Objects Could Be – Mathematical Structuralism and Its Prospects – What Structural Objects Could Be { Mathematical Structuralism and its Prospects { MSc Thesis (Afstudeerscriptie) written by Teodor Tiberiu C˘alinoiu (born March 5, 1993 in Bucharest, Romania) under the supervision of Lect Dr Bahram Assadian, and submitted to the Examinations Board in partial fulfillment of the requirements for the degree of MSc in Logic at the Universiteit van Amsterdam. Date of the public defense: Members of the Thesis Committee: July 6, 2020 Asist Prof Luca Incurvati Dr Julian Schl¨oder Asist Prof Katrin Schulz Prof Dr Yde Venema (chair) Abstract This thesis covers structuralism in the philosophy of mathematics, focusing on non-eliminative versions thereof and zooming in on three fresh and promising contemporary articulations. After introducing the topic and essential piece of terminology, we follow a quasi-historical route to modern mathematical structuralism: starting with Paul Benacerraf's seminal articles and after drawing a taxonomy of views playing out in the contemporary field, we discuss eliminative structuralism alongside introducing useful ideology, and we formulate eliminativist discontents which feed a line of reasoning which is crucially invoked by non-eliminativists to motivate their view. Moving thus on to non-eliminativism, we introduce Stewart Shapiro's early articulation thereof: Sui Generis Structuralism, followed by an extensive discussion of many of the the problems and ensuing objections leveraged against it. Gathered together, all these concerns constitute the canon we use to assess the three newly emerging articulations of positionalist non-eliminativist structuralism. After taking a motivated detour through non-positionalist non-eliminativism, we introduce in some detail Øystein Linnebo and Richard Pettigrew's Fregean Abstractionist Structuralism, Edward Zalta and Uri Nodelman's Object Theoretic Structuralism and Hannes Leitgeb's Graph Theoretic Structuralism. Assessing each of these views against our canon, we find that, for the most part, each of these is successfully replied. Our thesis is that in spite of sustained criticism, there is still fuel in the realist's tank, meaning that each of the three views is left standing following their assessment against the canon, albeit this claim will be qualified in Conclusion. Acknowledgements There are many people who deserve to be acknowledged for their direct or indirect contribution to this thesis; feeling as if committing an injustice, I'll only mention a few. This essay would not have been possible without the supervision of Bahram Assadian, whose professional expertise, careful guiding and own work in the field of mathematical structuralism, as well as his sustained moral support, kind encouragement and everlasting patience made possible the eventual virtues and depth of the present work. Katrin Schulz deserves special mention for her active mentoring, joyful planning and thorough understanding; our conversations always turned complicated situations into highways to the desired result. I owe to Tanja Kasenaar the taming of the bureaucratic beast through swift practical support and solutions to all things administrative, even in the worst of times. Hrafn Valtyr Oddson, my fellow master logician, passionate mathematician, flatmate and friend proved an invaluable source of meaning for complex proofs and mathematical results; our long discussions about anything mathematical { always turned set theoretical { have always been a source of light in my early pilgrimage through the formal jungle. The Master of Logic has been a roller coaster. The ILLC is ultimately an organism and the people mentioned above may also stand as representatives of the organs making it up and running it. The ILLC collective { researchers and teachers, TA's, students and administration { all deserve a heartful round of applause. I am grateful to Daniele Garancini for the many short hours { those past as well as those to come { spent discussing all things philosophical; moreover, for his unexpectedly fruitful intervention, for the DnD game taking us through the eventful last months, and so on and so forth. I owe too much to tell to C˘at˘alinaFr^ancu,for being everything, from maecenas to the ultimate conversation partner to brilliant designer of worlds and much more. Needless to say, any shortcomings of the present essay are of my own making; all its virtues are a collective fruit. Contents 1 Introduction 4 1.1 Historical note......................................7 1.2 A Taxonomy of MS.................................... 12 2 Eliminativist MS 14 2.1 Relativist MS....................................... 15 2.2 Universalist MS...................................... 20 2.3 Modal MS......................................... 24 2.4 Concluding to non-eliminativism............................ 25 3 Non-eliminativist MS 27 3.1 Non-eliminativism in 1997................................ 28 3.2 Non-eliminativist troubles................................ 31 3.2.1 Problems of Identity............................... 32 3.2.1.1 Cross-structural Identities Problem.................. 32 3.2.1.2 The Automorphism Problem...................... 33 3.2.1.3 The Individuation Objection...................... 34 3.2.2 Problems of Objects............................... 38 3.2.2.1 The Permutation Problem....................... 38 3.2.2.2 The Circularity Problem........................ 40 3.2.2.3 The Problem of Structural Properties................. 41 3.2.2.4 MacBride's Objection.......................... 42 3.2.3 Problems of Reference.............................. 45 3.2.3.1 The Problem of Singular Reference.................. 45 3.2.3.2 The Semantic Objections........................ 47 3.2.4 Summing Up................................... 50 3.3 A Detour Through Non-Positionalism......................... 51 3.4 Positionalism....................................... 54 3.4.1 Fregean Abstractionist Structuralism...................... 54 3.4.1.1 Theory.................................. 55 3.4.1.2 Against the Canon........................... 63 3.4.1.3 Summing up............................... 71 3.4.2 Object Theoretic Structuralism......................... 71 3.4.2.1 Theory.................................. 71 3.4.2.2 Against the Canon........................... 77 3.4.2.3 Summing up............................... 79 3.4.3 Unlabeled Graph-theoretic Structuralism................... 80 3.4.3.1 Theory.................................. 80 3.4.3.2 Against the Canon........................... 88 3.4.3.3 Summing up............................... 91 4 Conclusion 92 Bibliography 95 Introduction 1 Introduction The last five decades brought structuralism into the spotlight of philosophy, especially mathematical structuralism (MS) in the philosophy of mathematics. Ever since Paul Benacerraf's seminal article,1 the philosophical community engaged closer and closer with structuralist themes, leading to the emergence of several different structuralist views to the point that no currently available taxonomy may comfortably accommodate them all. John Burgess sketches a history of the evolution of structuralist views in the last century.2 The following essay is concerned with central topics in the contemporary debates around MS. Coming of age against the background of a mathematical practice which emerged radically transformed at the end of more than a century of foundational disputes, modern structuralism in the philosophy of mathematics is a paradigm whose core claim is that structures constitute the subject matter of mathematical theories: such theories, the structuralist holds, are about structures.3 The main motivation behind mathematical structuralism rests on peculiar phaenomena of indifference in the modern mathematical practice: the number theorist, for instance, doesn't care whether natural numbers are set theoretic systems, a sequence of Roman emperors or another of watermelons, at least as long as there are enough of them. As much is a common to all sorts of currently trending structuralist views, but the agreement stops here. On the metaphysical side, divisions appear with respect to the status and nature of structures. On the ontological side, similar divisions emerge about the existence, nature and identity of mathematical objects understood as positions in structures; we are going to indiscriminately use `metaphysical' and `ontological' when referring to either cluster of issues in what follows. Such issues are paralleled by deep disagreements concerning the proper construal of ordinary mathematical discourse; such concerns are labeled `semantic'. Further, yet mostly neglected topics are epistemological,4 but these will be almost entirely bracketed in what follows. In what follows we are chiefly concerned with metaphysical and semantic aspects of MS. Some of these disagreements are resolved along two main separation lines well known in philosophical circles: eliminativism and non-eliminativism, a.k.a. 1Benacerraf[1965]. 2Burgess[2015, x3]. See also Hellman and Shapiro[2019, x2]. 3 Alongside mathematical structuralism, scientific structuralism is a boiling hot topic in the philosophy of science. See Ladyman et al.[2007] introducing ontic structural realism and Ladyman [2020] for a review of the contemporary field. We will not discuss scientific structuralism per se. Many problems and potential solutions discussed below have correspondents in scientific structuralism and a joint assessment would certainly prove most interesting. However, this is a topic for further work. 4See Shapiro[1997, x4] for an epistemology
Recommended publications
  • Pluralisms About Truth and Logic Nathan Kellen University of Connecticut - Storrs, [email protected]
    University of Connecticut OpenCommons@UConn Doctoral Dissertations University of Connecticut Graduate School 8-9-2019 Pluralisms about Truth and Logic Nathan Kellen University of Connecticut - Storrs, [email protected] Follow this and additional works at: https://opencommons.uconn.edu/dissertations Recommended Citation Kellen, Nathan, "Pluralisms about Truth and Logic" (2019). Doctoral Dissertations. 2263. https://opencommons.uconn.edu/dissertations/2263 Pluralisms about Truth and Logic Nathan Kellen, PhD University of Connecticut, 2019 Abstract: In this dissertation I analyze two theories, truth pluralism and logical pluralism, as well as the theoretical connections between them, including whether they can be combined into a single, coherent framework. I begin by arguing that truth pluralism is a combination of realist and anti-realist intuitions, and that we should recognize these motivations when categorizing and formulating truth pluralist views. I then introduce logical functionalism, which analyzes logical consequence as a functional concept. I show how one can both build theories from the ground up and analyze existing views within the functionalist framework. One upshot of logical functionalism is a unified account of logical monism, pluralism and nihilism. I conclude with two negative arguments. First, I argue that the most prominent form of logical pluralism faces a serious dilemma: it either must give up on one of the core principles of logical consequence, and thus fail to be a theory of logic at all, or it must give up on pluralism itself. I call this \The Normative Problem for Logical Pluralism", and argue that it is unsolvable for the most prominent form of logical pluralism. Second, I examine an argument given by multiple truth pluralists that purports to show that truth pluralists must also be logical pluralists.
    [Show full text]
  • CURRICULUM VITAE MICHAEL DAVID RESNIK Born: March 20, 1938, New Haven, Connecticut Education
    CURRICULUM VITAE MICHAEL DAVID RESNIK Born: March 20, 1938, New Haven, Connecticut Education: Yale University, New Haven, Connecticut, B.A. as a Scholar of the House in Mathematics and Philosophy, 1960 Harvard University, Cambridge, Massachusetts, M.A. in Philosophy, 1962; Ph.D. in Philosophy, 1964 Academic Experience: University Distinguished Professor, The University of North Carolina at Chapel Hill, 1988- Professor, The University of North Carolina at Chapel Hill, 1975-1988 Member, Social Science Research Institute, The University of North Carolina at Chapel Hill, 1985-present; Fellow of the UNC Institute of Arts and Humanities, 1988- Visiting Fellow, Center for The Study of Science in Society, Virginia Polytechnic Institute and State University, Blacksburg, Virginia, Spring, 1984 Chairman, The University of North Carolina at Chapel Hill, 1975-1983 Associate Professor, The University of North Carolina at Chapel Hill, 1967- 1975 Visiting Assistant Professor, Washington University, St. Louis, Missouri, 1966-1967 Assistant Professor, The University of Hawaii, Honolulu, 1964-1967; Member, Social Science Research Institute, 1966-1967 Memberships: American Philosophical Association Association for Symbolic Logic Philosophy of Science Association Grants: Co-principal investigator with C. Y. Cheng on N.S.F. Grant G.S. 835,"Classical Chinese Logic and Scientific Methodology", 1965-1966 Director, National Endowment for the Humanities Summer Seminar for College Teachers, "Frege and the Philosophy of Mathematics", 1980 Participant in a Sloan Foundation
    [Show full text]
  • Jeremy Wyatt: Curriculum Vitae
    Jeremy Wyatt Philosophy Programme School of Social Sciences Website: https://jeremywyatt.net The University of Waikato Email: [email protected] Private Bag 3105 Hamilton, New Zealand 3240 Areas of specialization: Truth, philosophy of language, metaphysics Areas of competence: Philosophy of logic, epistemology, Asian philosophy Education Ph.D. Philosophy; University of Connecticut; 2014 M.A., Philosophy; University of Connecticut, 2011 B.A. summa cum laude; Major: Philosophy; Minors: Political Science, Classical Studies; Texas Christian University, 2008 Employment Lecturer, Philosophy Programme, University of Waikato; February 2020-present Assistant Professor, Underwood International College, Yonsei University; September 2016-February 2020 Postdoctoral Researcher, Pluralisms Global Research Network, Yonsei University (principal investiga- tor: Nikolaj Pedersen); May 2014-August 2016 Publications Edited volumes and special issues The Nature of Truth: Classic and Contemporary Perspectives, 2nd edition, co-edited with Michael P. Lynch, Junyeol Kim, and Nathan Kellen. Forthcoming with MIT Press in 2020. Truth: Concept Meets Property, a special issue of Synthese. Contributions from Jamin Asay, Robert Barnard and Joseph Ulatowski, Douglas Edwards, Matti Eklund, Friederike Moltmann, and Kevin Scharp. Forthcoming in 2020. Pluralisms in Truth and Logic, co-edited with Nikolaj Pedersen and Nathan Kellen. Palgrave Macmillan, 2018. Jeremy Wyatt 2 Articles and book chapters Truth and insubstantiality: the metaphysics of deflationism. To appear in The Nature of Truth: Classic and Contemporary Perspectives, 2nd edition. Deflationary theories of truth. To appear in The Nature of Truth: Classic and Contemporary Perspectives, 2nd edition. Truth in English and elsewhere: an empirically-informed functionalism. In Wyatt, Pedersen, and Kellen, eds. Pluralisms in Truth and Logic. New York: Palgrave Macmillan.
    [Show full text]
  • Complete Dissertation with Proper Pagination 4-12-14
    The Logiphro Dilemma: An Examination of the Relationship between God and Logic Dissertation Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of The Ohio State University By James C. McGlothlin, M.A. Graduate Program in Philosophy The Ohio State University 2014 Dissertation Committee: Stewart Shapiro, Advisor Tamar Rudavsky Chris Pincock Copyright James C. McGlothlin 2014 Abstract In this dissertation I set out to answer the following main question: What is the relationship between God and logic? I argue for an answer to this question by first examining two possible options and then give my own philosophical explanation that I believe overcomes the problems associated with the prior investigated options. In Chapter 1 I first define and clarify the desiderata of my main question. I understand God to be the divine being of classical theism shared by Jews, Christians and Muslims. I understand logic as primarily about the logical consequence relation. I characterize this relation in terms of necessity and universal applicability (or form), which captures various popular intuitions. Therefore, my main question is refined to: What is the relationship between the God of classical theism and logical consequence? In Chapter 2 I investigate an ancient question and dilemma presented by Plato in his Euthyphro dialogue, known popularly as the Euthyphro Dilemma. I suggest that the structure of this question naturally lends itself to the investigation of my question—what I call the Logiphro Dilemma, or the Logical Euthyphro Dilemma. As the name suggests, this dilemma gives us at least two options for thinking about the relationship between God and logic: (1) logical voluntarism: the view that claims the logical consequence relation is the result of God’s commands or will; and (2) logical non-voluntarism: the view that the logical consequence relation is completely independent of God’s commands ii or will in the sense of being independent of his creating or sustaining power.
    [Show full text]
  • Structures and Structuralism in Contemporary Philosophy of Mathematics
    ERICH H. RECK and MICHAEL P. PRICE STRUCTURES AND STRUCTURALISM IN CONTEMPORARY PHILOSOPHY OF MATHEMATICS ABSTRACT. In recent philosophy of mathematics a variety of writers have presented “structuralist” views and arguments. There are, however, a number of substantive differ- ences in what their proponents take “structuralism” to be. In this paper we make explicit these differences, as well as some underlying similarities and common roots. We thus identify systematically and in detail, several main variants of structuralism, including some not often recognized as such. As a result the relations between these variants, and between the respective problems they face, become manifest. Throughout our focus is on semantic and metaphysical issues, including what is or could be meant by “structure” in this connection. 1. INTRODUCTION In recent philosophy of mathematics a variety of writers – including Geoffrey Hellman, Charles Parsons, Michael Resnik, Stewart Shapiro, and earlier Paul Benacerraf – have presented “structuralist” views and arguments.1As a result “structuralism”, or a “structuralist approach”, is increasingly recognized as one of the main positions in the philosophy of mathematics today. But what exactly is structuralism in this connection? Geoffrey Hellman’s discussion starts with the following basic idea: [M]athematics is concerned principally with the investigation of structures of various types in complete abstraction from the nature of individual objects making up those structures. (Hellman 1989, vii) Charles Parsons gives us this initial characterization: By the “structuralist view” of mathematical objects, I mean the view that reference to mathematical objects is always in the context of some background structure, and that the objects have no more to them than can be expressed in terms of the basic relations of the structure.
    [Show full text]
  • Stewart Shapiro's Complete Publication List
    PUBLICATIONS Books: Vagueness in context, Oxford, Oxford University Press, 2006; reissued in paperback, March, 2008. Thinking about mathematics: The philosophy of mathematics, Oxford, Oxford University Press, 2000. Philosophy of mathematics: Structure and ontology, Oxford, Oxford University Press, 1997; reissued in paperback, Autumn 2000. Foundations without foundationalism: A case for second-order logic, Oxford Logic Guides 17, Oxford, Oxford University Press, 1991, reissued in paperback, Summer 2000. Editorships: Oxford handbook of the philosophy of logic and mathematics, Oxford University Press, 2005. Special issue of History and Philosophy of Logic 20 (2000), a Festschrift for John Corcoran (edited with Michael Scanlan). Special issue of Philosophia Mathematica (3) 8 (2000), devoted to abstraction and neo-logicism. Two special issues of Philosophia Mathematica (3) 7 (1999), 9 (2001), devoted to the proceedings of a conference in memory of George Boolos, held at Notre Dame, during the April of 1998. The limits of logic: Second-order logic and the Skolem paradox, The international research library of philosophy, Dartmouth Publishing Company, 1996. Special issue of Philosophia Mathematica (3) 4 (1996), devoted to structuralism. Contributors: P. Benacerraf, G. Hellman, B. Hale, C. Parsons, M. Resnik, S. Shapiro. Intensional Mathematics, Studies in Logic and the Foundations of Mathematics 113, Amsterdam, North Holland Publishing Company, 1985, Contributors: S. Shapiro, J. Myhill, N. D. Goodman, A. Scedrov, V. Lifschitz, R. Flagg, R. Smullyan. Articles: “Towards a point-free account of the continuous” (with Geoffrey Hellman), Iyyun 61, 2012, 263- 287. “Revising logic in light of paradox”, in Insolubles and consequences: essays in honor of Stephen Read, Tributes 18, edited by Catarina Dutilh and Ole Hjortland, College Publications, 2012, 213-237.
    [Show full text]
  • Shapiro's and Hellman's Structuralism
    Shapiro’s and Hellman’s Structuralism Christopher von Bulow¨ ∗ Trends in the Philosophy of Mathematics Frankfurt/Main, September 4, 2009 Abstract I give brief descriptions of and motivations for Stewart Shapiro’s and Geoffrey Hellman’s positions in mathematical structuralism and criticize each position in turn. Shapiro explains mathematical objects as ‘places in structures’, conceived as akin to offices, occupiable by arbitrary things and individuated by their interrela- tions. I argue that while places as occupiables are much like the ‘places’ of relations and thus not too worrisome, the two aspects of places – occupiability and what I call ‘relational essence’ – don’t go well together. Therefore Shapiro’s structuralism doesn’t constitute a substantial advance over traditional platonism. Furthermore, mathematical practice indicates that mathematical objects aren’t needed anyway to account for the information content of mathematics. Accordingly, in Hellman’s version of structuralism mathematical propositions do not refer to mathematical objects; rather, they are implicit generalizations over logically possible systems. Statements P of a mathematical theory have to be analyzed as “Necessarily, for all systems of type so-and-so, P”, where the theory also says that it is logically possible that there be systems of type so-and-so. I claim, however, that the logical possibility of structural conditions isn’t required for mathematical reasoning about them. Thus Hellman’s structuralism isn’t adequate as an account of mathematics. Finally, I hint at my own half-baked views on what mathematics is about. 1 Introduction I am a structuralist. I find myself situated somewhere between Stewart Shapiro and Two versions of Geoffrey Hellman – which is a nice place to be, I guess.
    [Show full text]
  • Philosophy of Mathematics and Its Logic: Introduction
    Philosophy of Mathematics and Its Logic: Introduction Oxford Handbooks Online Philosophy of Mathematics and Its Logic: Introduction Stewart Shapiro The Oxford Handbook of Philosophy of Mathematics and Logic Edited by Stewart Shapiro Print Publication Date: Jun Subject: Philosophy, Philosophy of Mathematics and Logic 2007 Online Publication Date: Sep DOI: 10.1093/oxfordhb/9780195325928.003.0001 2009 Abstract and Keywords Mathematics plays an important role in virtually every scientific effort, no matter what part of the world it is aimed at. There is scarcely a natural or a social science that does not have substantial mathematics prerequisites. The burden on any complete philosophy of mathematics is to show how mathematics is applied to the material world, and to show how the methodology of mathematics (whatever it may be) fits into the methodology of the sciences (whatever it may be). In addition to its role in science, mathematics itself seems to be a knowledge-gathering activity. The philosophy of mathematics is, at least in part, a branch of epistemology. However, mathematics is at least prima facie different from other epistemic endeavors. Keywords: mathematics, philosophy of mathematics, methodology of mathematics, epistemology, material world, logic 1. Motivation, or What We Are Up to From the beginning, Western philosophy has had a fascination with mathematics. The entrance to Plato's Academy is said to have been marked with the words “Let no one ignorant of geometry enter here.” Some major historical mathematicians, such as René Descartes, Gottfried Leibniz, and Blaise Pascal, were also major philosophers. In more recent times, there are Bernard Bolzano, Alfred North Whitehead, David Hilbert, Gottlob Frege, Alonzo Church, Kurt Gödel, and Alfred Tarski.
    [Show full text]
  • Michael D. RESNIK (Ed.): Mathemati- Cal Objects and Mathematical
    Michael D. RESNIK (Ed.): Mathemati­ dispensability argument), Gödel (mathe­ cal Objects and Mathematical Know­ matical reaIism) and the (later) Witttgen­ ledge. Aldershot / Broockfield, USA / stein (his ideas were transmitted largely Singapore / Sydney: Dartmouth 1995, through the work ofM. Dummett who ap­ xxi + 647 pp. (= The International Re­ plied them to intuitionistic logic) began to search Library of Philosophy 13). influence the course ofthe contemporary philosophy of mathematics. The book under review is an anthology of The papers collected in the volume texts in the contemporary philosophy of concentrate on two fundamental ques­ mathematics. It was published in the se­ tions wh ich have been in fact considered ries ofbooks "The International Research since Plato: What are mathematical ob­ Library of Philosophy". The aim of this jects? and How can we know them? series is to collect "in book form a wide Resnik claims that most of the collected range of important and influential essays essays were strongly influenced by arti­ in philosophy, drawn predominantly cles by Paul Benacerraf and Hilary Put­ from English-language journals" (p. xi). nam which had appeared in the decade Each volume deals with a field of inquiry 1965-1975, especially by Benacerrafs which has received significant attention "What Numbers Could Not Be" and in philosophy in the last 25 years. The Li­ "Mathematical Truth" and Putnam' s brary is divided into four series of vol­ "Mathematics without Foundations". umes: (1) Metaphysics and Epistemol­ The texts in the first part of the book ogy, (2) The Philosophy ofMathematics are collected under the label "Field's re­ and Science, (3) The Philosophy of sponse" and are devoted to Hartry Field's Logic, Language and Mind, (4) The Phi­ anti-realist ideas claiming that there are losophy ofValue.
    [Show full text]
  • FIL2405/FIL4405 – Philosophical Logic and the Philosophy of Mathematics
    FIL2405/FIL4405 – Philosophical logic and the philosophy of mathematics Instructor Professor Øystein Linnebo Office: Georg Morgenstierne 644 Email: [email protected] Readings The readings are listed below. You must have read the readings marked by ‘*’ before class; otherwise you won’t be able to follow the discussion. You should expect to have to read the main readings several times. I have listed a number of further optional readings, which are not part of the official curriculum. Students should obtain copies of the following two books: Stewart Shapiro, Thinking about Mathematics (Oxford UP, 2000) Paul Benacerraf and Hilary Putnam, Philosophy of Mathematics: Selected Readings 2nd ed. (Cambridge UP, 1983) The former is an excellent introduction to the subject. The latter is a classic anthology containing most of the articles we will study. All our main readings will be available in these two books, online, or through Fronter. Course overview Pure mathematics appears to be very different from the empirical sciences: It appears not to rely on experience but to be completely a priori; its truths appear to be necessary rather than contingent; and it appears to be concerned with abstract objects rather than concrete (spatiotemporal, causally efficacious) ones. These three features of pure mathematics—its apparent apriority, necessity, and concern with abstract objects—give rise to some deep and extremely interesting philosophical questions. Are these features to be taken at face value? If so, how are they to be understood? In particular, how are these features to be reconciled with a scientific world view? Alternatively, if the special features of mathematics are not taken at face value, can we give an alternative explanation of mathematics which nevertheless does justice to mathematical practice and mathematical experience? We will discuss a number of classical and contemporary approaches to these questions and related ones.
    [Show full text]
  • Words from the Chair
    THE OHIO STATE UNIVERSITY 2010–2011 philosophy.osu.edu Words from the Chair Autumn quarter is always filled with energy: the campus once more teems with students; parking is hard to find; syllabi are queued up to be printed for classes; and the halls of the Philosophy Department are again filled with conversation. The yearly academic rhythms are familiar to returning Alison had been juggling what Sukjae Lee was plucked from faculty and students alike. In is called in academia ‘the two- us from further afar—halfway those respects, we begin this body problem’—the problem of around the world, in fact. The year like many others. handling two academic careers prestigious Seoul National In one respect, though, this year which often results is two separate University, which obviously has is different. We begin this year employment locations. Wayne a keen eye for philosophical without three of our valued commuted to Columbus from talent, made Sukjae an offer former colleagues. Dan Farrell’s Pittsburgh. This is not a stable or that he and his wife, Haechung, departure, through retirement, desirable solution to the two-body decided they couldn’t pass up. was of course anticipated. (See problem, especially when you Sukjae was one of the organizers last year’s Logos for details about have two children. We hoped for the 2008 World Congress Dan’s retirement and p. 9 in this for some time that OSU would of Philosophy held at Seoul issue for one student’s reflections be able to offer an appropriate National University. As Chair, on the first annual Dan Farrell position to Alison.
    [Show full text]
  • LOGOS Summer 2007 Philosophy.Osu.Edu Words from the Chair
    THE OHIO STATE UNIVERSITY PhilosophyLOGOS Summer 2007 philosophy.osu.edu Words from the Chair The last issue of Logos was published in 2003. It’s not surprising that there have been changes in the department since then, but it may be surprising how much has changed. High on the list of changes are the departures of a number of valuable long-term colleagues, and Canada seems to be the primary destination of choice. new academic locations and George Smithies of NYU and Wayne Wu In 2003, Sylvia Berryman took up in his retirement. of the University of California, a new position at the University of But the flow has been Berkeley. British Columbia. The next year bidirectional. In 2005, we appointed These are exciting times for Peter King left to take a position at David Sanson (Ph.D., UCLA) to the department. It is, I believe, the University of Toronto. In 2005, the Columbus campus and Kevin unprecedented for a department the Canadian universities struck again: Scharp (Ph.D., Pittsburgh) to size of ours and as long-established Diana Raffman went to Toronto, the Marion campus. This past as ours to hire one-third of its thus having Peter again as a academic year, with extraordinary faculty in a single year. We are colleague, and Bob Batterman went support from John Roberts, dean sorry to lose the colleagues who to the University of Western Ontario of the College of Humanities, the have left, either through retirement where he holds the Rotman Canada department has made seven new or relocation. At the same time, Research Chair in Philosophy of appointments.
    [Show full text]