Results for 'Bourbaki'

8 found
Order:
  1. Living High and Letting Die.Nicola Bourbaki, Berit Brogaard & Barry Smith - 2001 - Philosophy 76 (297):435 - 442.
    Imagine that your body has become attached, without your permission, to that of a sick violinist. The violinist is a human being. He will die if you detach him. Such detachment seems, nonetheless, to be morally permissible. Thomson argues that an unwantedly pregnant woman is in an analogous situation. Her argument is considered by many to have established the moral permissibility of abortion even under the assumption that the foetus is a human being. Another popular argument is that presented by (...)
    Download  
     
    Export citation  
     
    Bookmark  
  2. The Structuralist Mathematical Style: Bourbaki as a case study.Jean-Pierre Marquis - 2022 - In Claudio Ternullo Gianluigi Oliveri (ed.), Boston Studies in the Philosophy and the History of Science. pp. 199-231.
    In this paper, we look at Bourbaki’s work as a case study for the notion of mathematical style. We argue that indeed Bourbaki exemplifies a mathematical style, namely the structuralist style.
    Download  
     
    Export citation  
     
    Bookmark  
  3. Forms of Structuralism: Bourbaki and the Philosophers.Jean-Pierre Marquis - 2020 - Structures Meres, Semantics, Mathematics, and Cognitive Science.
    In this paper, we argue that, contrary to the view held by most philosophers of mathematics, Bourbaki’s technical conception of mathematical structuralism is relevant to philosophy of mathematics. In fact, we believe that Bourbaki has captured the core of any mathematical structuralism.
    Download  
     
    Export citation  
     
    Bookmark  
  4. Mac Lane, Bourbaki, and Adjoints: A Heteromorphic Retrospective.David Ellerman - manuscript
    Saunders Mac Lane famously remarked that "Bourbaki just missed" formulating adjoints in a 1948 appendix (written no doubt by Pierre Samuel) to an early draft of Algebre--which then had to wait until Daniel Kan's 1958 paper on adjoint functors. But Mac Lane was using the orthodox treatment of adjoints that only contemplates the object-to-object morphisms within a category, i.e., homomorphisms. When Samuel's treatment is reconsidered in view of the treatment of adjoints using heteromorphisms or hets (object-to-object morphisms between objects (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. What we talk about when we talk about numbers.Richard Pettigrew - 2018 - Annals of Pure and Applied Logic 169 (12):1437-1456.
    In this paper, I describe and motivate a new species of mathematical structuralism, which I call Instrumental Nominalism about Set-Theoretic Structuralism. As the name suggests, this approach takes standard Set-Theoretic Structuralism of the sort championed by Bourbaki and removes its ontological commitments by taking an instrumental nominalist approach to that ontology of the sort described by Joseph Melia and Gideon Rosen. I argue that this avoids all of the problems that plague other versions of structuralism.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  6. Review of S. Duffy, Virtual Mathematics: the Logic of Difference (Clinamen, 2006). [REVIEW]Colin McLarty - 2008 - Australasian Journal of Philosophy 86 (2):332-336.
    This book is important for philosophy of mathematics and for the study of French philosophy. French philosophers are more concerned than most Anglo-American with mathematical practice outside of foundations. This contradicts the fashionable claim that French intellectuals get science all wrong and we return below to a germane example from Sokal and Bricmont [1999]. The emphasis on practice goes back to mid-20th century French historians of science including those Kuhn cites as sources for his orientation in philosophy of science [Kuhn (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Univalent Foundations and the UniMath Library.Anthony Bordg - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag.
    We give a concise presentation of the Univalent Foundations of mathematics outlining the main ideas, followed by a discussion of the UniMath library of formalized mathematics implementing the ideas of the Univalent Foundations (section 1), and the challenges one faces in attempting to design a large-scale library of formalized mathematics (section 2). This leads us to a general discussion about the links between architecture and mathematics where a meeting of minds is revealed between architects and mathematicians (section 3). On the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8.  77
    Wittgenstein on the Foundations of Mathematics.Andrew McLean-Inglis - 1992 - Dissertation, Oxford University
    In Part I, an attempt is made to survey the original source material on which any detailed assessment of Wittgenstein's remarks on the foundations of mathematics from his middle and later periods ought to be based. This survey is presented within the context of a sketch of Wittgenstein's biography, which also mentions some of the major developments in his thinking. In addition, certain main themes are emphasized; these have to do primarily with the Kantian aspects of Wittgenstein's thought and with (...)
    Download  
     
    Export citation  
     
    Bookmark