Switch to: References

Add citations

You must login to add citations.
  1. Parts of Structures.Matteo Plebani & Michele Lubrano - 2022 - Philosophia 50 (3):1277-1285.
    We contribute to the ongoing discussion on mathematical structuralism by focusing on a question that has so far been neglected: when is a structure part of another structure? This paper is a first step towards answering the question. We will show that a certain conception of structures, abstractionism about structures, yields a natural definition of the parthood relation between structures. This answer has many interesting consequences; however, it conflicts with some standard mereological principles. We argue that the tension between abstractionism (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Homotopy Type Theory and Structuralism.Teruji Thomas - 2014 - Dissertation, University of Oxford
    I explore the possibility of a structuralist interpretation of homotopy type theory (HoTT) as a foundation for mathematics. There are two main aspects to HoTT's structuralist credentials. First, it builds on categorical set theory (CST), of which the best-known variant is Lawvere's ETCS. I argue that CST has merit as a structuralist foundation, in that it ascribes only structural properties to typical mathematical objects. However, I also argue that this success depends on the adoption of a strict typing system which (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Pasch's empiricism as methodological structuralism.Dirk Schlimm - 2020 - In Erich H. Reck & Georg Schiemer (eds.), The Pre-History of Mathematical Structuralism. Oxford: Oxford University Press. pp. 80-105.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On Different Ways of Being Equal.Bruno Bentzen - 2020 - Erkenntnis 87 (4):1809-1830.
    The aim of this paper is to present a constructive solution to Frege's puzzle (largely limited to the mathematical context) based on type theory. Two ways in which an equality statement may be said to have cognitive significance are distinguished. One concerns the mode of presentation of the equality, the other its mode of proof. Frege's distinction between sense and reference, which emphasizes the former aspect, cannot adequately explain the cognitive significance of equality statements unless a clear identity criterion for (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • On Non-Eliminative Structuralism. Unlabeled Graphs as a Case Study, Part A†.Hannes Leitgeb - 2020 - Philosophia Mathematica 28 (3):317-346.
    This is Part A of an article that defends non-eliminative structuralism about mathematics by means of a concrete case study: a theory of unlabeled graphs. Part A summarizes the general attractions of non-eliminative structuralism. Afterwards, it motivates an understanding of unlabeled graphs as structures sui generis and develops a corresponding axiomatic theory of unlabeled graphs. As the theory demonstrates, graph theory can be developed consistently without eliminating unlabeled graphs in favour of sets; and the usual structuralist criterion of identity can (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Maddy On The Multiverse.Claudio Ternullo - 2019 - In Stefania Centrone, Deborah Kant & Deniz Sarikaya (eds.), Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory and General Thoughts. Springer Verlag. pp. 43-78.
    Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • What Types Should Not Be.Bruno Bentzen - 2020 - Philosophia Mathematica 28 (1):60-76.
    In a series of papers Ladyman and Presnell raise an interesting challenge of providing a pre-mathematical justification for homotopy type theory. In response, they propose what they claim to be an informal semantics for homotopy type theory where types and terms are regarded as mathematical concepts. The aim of this paper is to raise some issues which need to be resolved for the successful development of their types-as-concepts interpretation.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Universes and univalence in homotopy type theory.James Ladyman & Stuart Presnell - 2019 - Review of Symbolic Logic 12 (3):426-455.
    The Univalence axiom, due to Vladimir Voevodsky, is often taken to be one of the most important discoveries arising from the Homotopy Type Theory research programme. It is said by Steve Awodey that Univalence embodies mathematical structuralism, and that Univalence may be regarded as ‘expanding the notion of identity to that of equivalence’. This article explores the conceptual, foundational and philosophical status of Univalence in Homotopy Type Theory. It extends our Types-as-Concepts interpretation of HoTT to Universes, and offers an account (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • (1 other version)Structuralism in Social Science: Obsolete or Promising?Josef Menšík - 2018 - Teorie Vědy / Theory of Science 40 (2):129-132.
    The approach of structuralism came to philosophy from social science. It was also in social science where, in 1950–1970s, in the form of the French structuralism, the approach gained its widest recognition. Since then, however, the approach fell out of favour in social science. Recently, structuralism is gaining currency in the philosophy of mathematics. After ascertaining that the two structuralisms indeed share a common core, the question stands whether general structuralism could not find its way back into social science. The (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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  
  • What Are Structural Properties?†.Johannes Korbmacher & Georg Schiemer - 2018 - Philosophia Mathematica 26 (3):295-323.
    Informally, structural properties of mathematical objects are usually characterized in one of two ways: either as properties expressible purely in terms of the primitive relations of mathematical theories, or as the properties that hold of all structurally similar mathematical objects. We present two formal explications corresponding to these two informal characterizations of structural properties. Based on this, we discuss the relation between the two explications. As will be shown, the two characterizations do not determine the same class of mathematical properties. (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Chasing Individuation: Mathematical Description of Physical Systems.Zalamea Federico - 2016 - Dissertation, Paris Diderot University
    This work is a conceptual analysis of certain recent developments in the mathematical foundations of Classical and Quantum Mechanics which have allowed to formulate both theories in a common language. From the algebraic point of view, the set of observables of a physical system, be it classical or quantum, is described by a Jordan-Lie algebra. From the geometric point of view, the space of states of any system is described by a uniform Poisson space with transition probability. Both these structures (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Does Homotopy Type Theory Provide a Foundation for Mathematics?James Ladyman & Stuart Presnell - 2016 - British Journal for the Philosophy of Science:axw006.
    Homotopy Type Theory is a putative new foundation for mathematics grounded in constructive intensional type theory that offers an alternative to the foundations provided by ZFC set theory and category theory. This article explains and motivates an account of how to define, justify, and think about HoTT in a way that is self-contained, and argues that, so construed, it is a candidate for being an autonomous foundation for mathematics. We first consider various questions that a foundation for mathematics might be (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Univalent foundations as structuralist foundations.Dimitris Tsementzis - 2017 - Synthese 194 (9):3583-3617.
    The Univalent Foundations of Mathematics provide not only an entirely non-Cantorian conception of the basic objects of mathematics but also a novel account of how foundations ought to relate to mathematical practice. In this paper, I intend to answer the question: In what way is UF a new foundation of mathematics? I will begin by connecting UF to a pragmatist reading of the structuralist thesis in the philosophy of mathematics, which I will use to define a criterion that a formal (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)Identity in Homotopy Type Theory, Part I: The Justification of Path Induction.James Ladyman & Stuart Presnell - 2015 - Philosophia Mathematica 23 (3):386-406.
    Homotopy Type Theory is a proposed new language and foundation for mathematics, combining algebraic topology with logic. An important rule for the treatment of identity in HoTT is path induction, which is commonly explained by appeal to the homotopy interpretation of the theory's types, tokens, and identities as spaces, points, and paths. However, if HoTT is to be an autonomous foundation then such an interpretation cannot play a fundamental role. In this paper we give a derivation of path induction, motivated (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Univalence and Ontic Structuralism.Lu Chen - 2024 - Foundations of Physics 54 (3):1-27.
    The persistent challenge of formulating ontic structuralism in a rigorous manner, which prioritizes structures over the entities they contain, calls for a transformation of traditional logical frameworks. I argue that Univalent Foundations (UF), which feature the axiom that all isomorphic structures are identical, offer such a foundation and are more attractive than other proposed structuralist frameworks. Furthermore, I delve into the significance in the case of the hole argument and, very briefly, the nature of symmetries.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Identity in Martin‐Löf type theory.Ansten Klev - 2021 - Philosophy Compass 17 (2):e12805.
    The logic of identity contains riches not seen through the coarse lens of predicate logic. This is one of several lessons to draw from the subtle treatment of identity in Martin‐Löf type theory, to which the reader will be introduced in this article. After a brief general introduction we shall mainly be concerned with the distinction between identity propositions and identity judgements. These differ from each other both in logical form and in logical strength. Along the way, connections to philosophical (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • The logic of isomorphism and its uses.Staffan Angere - unknown
    We present a class of first-order modal logics, called transformational logics, which are designed for working with sentences that hold up to a certain type of transformation. An inference system is given, and com- pleteness for the basic transformational logic HOS is proved. In order to capture ‘up to isomorphism’, we express a very weak version of higher category theory in terms of first-order models, which makes tranforma- tional logics applicable to category theory. A category-theoretical concept of isomorphism is used (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Set Theory and its Place in the Foundations of Mathematics: A New Look at an Old Question.Mirna Džamonja - 2017 - Journal of the Indian Council of Philosophical Research 34 (2):415-424.
    This paper reviews the claims of several main-stream candidates to be the foundations of mathematics, including set theory. The review concludes that at this level of mathematical knowledge it would be very unreasonable to settle with any one of these foundations and that the only reasonable choice is a pluralist one.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Identity and intensionality in Univalent Foundations and philosophy.Staffan Angere - 2017 - Synthese 198 (Suppl 5):1-41.
    The Univalent Foundations project constitutes what is arguably the most serious challenge to set-theoretic foundations of mathematics since intuitionism. Like intuitionism, it differs both in its philosophical motivations and its mathematical-logical apparatus. In this paper we will focus on one such difference: Univalent Foundations’ reliance on an intensional rather than extensional logic, through its use of intensional Martin-Löf type theory. To this, UF adds what may be regarded as certain extensionality principles, although it is not immediately clear how these principles (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • What is a Higher Level Set?Dimitris Tsementzis - 2016 - Philosophia Mathematica:nkw032.
    Structuralist foundations of mathematics aim for an ‘invariant’ conception of mathematics. But what should be their basic objects? Two leading answers emerge: higher groupoids or higher categories. I argue in favor of the former over the latter. First, I explain why to choose between them we need to ask the question of what is the correct ‘categorified’ version of a set. Second, I argue in favor of groupoids over categories as ‘categorified’ sets by introducing a pre-formal understanding of groupoids as (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Expressing ‘the structure of’ in homotopy type theory.David Corfield - 2017 - Synthese 197 (2):681-700.
    As a new foundational language for mathematics with its very different idea as to the status of logic, we should expect homotopy type theory to shed new light on some of the problems of philosophy which have been treated by logic. In this article, definite description, and in particular its employment within mathematics, is formulated within the type theory. Homotopy type theory has been proposed as an inherently structuralist foundational language for mathematics. Using the new formulation of definite descriptions, opportunities (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Stefania Centrone, Deborah Kant, and Deniz Sarikaya, eds, Reflections on the Foundations of Mathematics: Univalent Foundations, Set Theory, and General Thoughts.Hans-Christoph Kotzsch - 2022 - Philosophia Mathematica 30 (1):88-102.
    Download  
     
    Export citation  
     
    Bookmark  
  • Representation and Spacetime: The Hole Argument Revisited.Aboutorab Yaghmaie, Bijan Ahmadi Kakavandi, Saeed Masoumi & Morteza Moniri - 2022 - International Studies in the Philosophy of Science 35 (2):171-188.
    Ladyman and Presnell have recently argued that the Hole argument is naturally resolved when spacetime is represented within homotopy type theory rather than set theory. The core idea behind their proposal is that the argument does not confront us with any indeterminism, since the set-theoretically different representations of spacetime involved in the argument are homotopy type-theoretically identical. In this article, we will offer a new resolution based on ZFC set theory to the argument. It neither relies on a constructive-intuitionistic form (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Identity in Homotopy Type Theory: Part II, The Conceptual and Philosophical Status of Identity in HoTT.James Ladyman & Stuart Presnell - 2016 - Philosophia Mathematica:nkw023.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Identity in Homotopy Type Theory: Part II, The Conceptual and Philosophical Status of Identity in HoTT.James Ladyman & Stuart Presnell - 2017 - Philosophia Mathematica 25 (2):210-245.
    Among the most interesting features of Homotopy Type Theory is the way it treats identity, which has various unusual characteristics. We examine the formal features of “identity types” in HoTT, and how they relate to its other features including intensionality, constructive logic, the interpretation of types as concepts, and the Univalence Axiom. The unusual behaviour of identity types might suggest that they be reinterpreted as representing indiscernibility. We explore this by defining indiscernibility in HoTT and examine its relationship with identity. (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The semantic plights of the ante-rem structuralist.Bahram Assadian - 2018 - Philosophical Studies 175 (12):1-20.
    A version of the permutation argument in the philosophy of mathematics leads to the thesis that mathematical terms, contrary to appearances, are not genuine singular terms referring to individual objects; they are purely schematic or variables. By postulating ‘ante-rem structures’, the ante-rem structuralist aims to defuse the permutation argument and retain the referentiality of mathematical terms. This paper presents two semantic problems for the ante- rem view: (1) ante-rem structures are themselves subject to the permutation argument; (2) the ante-rem structuralist (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • The Mathematical Description of a Generic Physical System.Federico Zalamea - 2015 - Topoi 34 (2):339-348.
    When dealing with a certain class of physical systems, the mathematical characterization of a generic system aims to describe the phase portrait of all its possible states. Because they are defined only up to isomorphism, the mathematical objects involved are “schematic structures”. If one imposes the condition that these mathematical definitions completely capture the physical information of a given system, one is led to a strong requirement of individuation for physical states. However, we show there are not enough qualitatively distinct (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Does Identity Make Sense?Andrei Rodin - 2024 - Manuscrito 47 (1):2024-0073.
    In this paper we present novel conceptions of identity arising in and motivated by a recently emerged branch of mathematical logic, namely, Homotopy Type theory (HoTT). We consider an established 2013 version of HoTT as well as its more recent generalised version called Directed HoTT or Directed Type theory (DTT), which at the time of writing remains a work in progress. In HoTT, and in particular in DTT, identity is not just a relation but a mathematical structure which admits for (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A meaning explanation for HoTT.Dimitris Tsementzis - 2020 - Synthese 197 (2):651-680.
    In the Univalent Foundations of mathematics spatial notions like “point” and “path” are primitive, rather than derived, and all of mathematics is encoded in terms of them. A Homotopy Type Theory is any formal system which realizes this idea. In this paper I will focus on the question of whether a Homotopy Type Theory can be justified intuitively as a theory of shapes in the same way that ZFC can be justified intuitively as a theory of collections. I first clarify (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Modal Homotopy Type Theory. The Prospect of a New Logic for Philosophy. [REVIEW]A. Klev & C. Zwanziger - 2022 - History and Philosophy of Logic 44 (3):337-342.
    1. The theory referred to by the—perhaps intimidating—main title of this book is an extension of Per Martin-Löf's dependent type theory. Much philosophical work pertaining to dependent type theory...
    Download  
     
    Export citation  
     
    Bookmark  
  • Goals shape means: a pluralist response to the problem of formal representation in ontic structural realism.Agnieszka M. Proszewska - 2022 - Synthese 200 (3):1-21.
    The aim of the paper is to assess the relative merits of two formal representations of structure, namely, set theory and category theory. The purpose is to articulate ontic structural realism. In turn, this will facilitate a discussion on the strengths and weaknesses of both concepts and will lead to a proposal for a pragmatics-based approach to the question of the choice of an appropriate framework. First, we present a case study from contemporary science—a comparison of the formulation of quantum (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • On gauge symmetries, indiscernibilities, and groupoid-theoretical equalities.Gabriel Catren - 2022 - Studies in History and Philosophy of Science Part A 91 (C):244-261.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Hole Argument, take n.John Dougherty - 2020 - Foundations of Physics 50 (4):330-347.
    I apply homotopy type theory to the hole argument as formulated by Earman and Norton. I argue that HoTT gives a precise sense in which diffeomorphism-related Lorentzian manifolds represent the same spacetime, undermining Earman and Norton’s verificationist dilemma and common formulations of the hole argument. However, adopting this account does not alleviate worries about determinism: general relativity formulated on Lorentzian manifolds is indeterministic using this standard of sameness and the natural formalization of determinism in HoTT. Fixing this indeterminism results in (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Symmetries as Isomorphisms.Lu Chen - forthcoming - British Journal for the Philosophy of Science.
    Download  
     
    Export citation  
     
    Bookmark