Switch to: References

Add citations

You must login to add citations.
  1. 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  
  • Events and the regress of pure powers: Reply to Taylor.Ashley Coates - 2022 - Analysis 82 (4):647-654.
    Taylor has recently argued that adopting either the standard Kimian or Davidsonian approaches to the metaphysics of events quite directly solves the regress of pure powers. I argue, though, that on closer inspection Taylor’s proposal does not succeed, given either the Kimian or the Davidsonian account of events.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The many facets of identity criteria.Massimiliano Carrara & Pierdaniele Giaretta - 2004 - Dialectica 58 (2):221–232.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • The regress of pure powers?Alexander Bird - 2007 - Philosophical Quarterly 57 (229):513–534.
    Dispositional monism is the view that natural properties and relations are ‘pure powers’. It is objected that dispositional monism involves some kind of vicious or otherwise unpalatable regress or circularity. I examine ways of making this objection precise. The most pressing interpretation is that is fails to make the identities of powers determinate. I demonstrate that this objection is in error. It does however puts certain constraints on what the structure of fundamental properties is like. I show what a satisfactory (...)
    Download  
     
    Export citation  
     
    Bookmark   66 citations  
  • Property Identity.Paul Audi - 2016 - Philosophy Compass 11 (12):829-840.
    The question of how properties are individuated is extremely important. Consider the following proposals. To be in pain is to be in a certain neurological state. To be red is to appear red to normal observers in standard conditions. To be obligatory is to maximize the good. Each makes a claim of property identity. Each is a substantive metaphysical thesis of wide interest. None can be studied with due scrutiny in the absence of a general account of property identity. Here, (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Identity and Extensionality in Boffa Set Theory.Nuno Maia & Matteo Nizzardo - 2024 - Philosophia Mathematica 32 (1):115-123.
    Boffa non-well-founded set theory allows for several distinct sets equal to their respective singletons, the so-called ‘Quine atoms’. Rieger contends that this theory cannot be a faithful description of set-theoretic reality. He argues that, even after granting that there are non-well-founded sets, ‘the extensional nature of sets’ precludes numerically distinct Quine atoms. In this paper we uncover important similarities between Rieger’s argument and how non-rigid structures are conceived within mathematical structuralism. This opens the way for an objection against Rieger, whilst (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Sui criteri d'identità.Massimiliano Carrara - 2018 - Padova: Padova University Press.
    Download  
     
    Export citation  
     
    Bookmark  
  • The Many Facets of Identity Criteria.Pierdaniele Giaretta Massimiliano Carrara - 2004 - Dialectica 58 (2):221-232.
    The aim of this note is to discuss the general form and role of identity criteria. We have taken two readings into consideration which express two different functions of identity criteria. The first expresses the epistemic function whilst the second deals with the ontological function. We argue that there are several problems related to the specification of both these functions. As a consequence, we conclude that identity criteria are not necessary to provide ontological legitimacy.
    Download  
     
    Export citation  
     
    Bookmark  
  • Real Selves: Persons as a Substantial Kind.E. J. Lowe - 1991 - Royal Institute of Philosophy Supplement 29:87-107.
    Are persons substances or modes? Two currently dominant views may be characterized as giving the following rival answers to this question. According to the first view, persons are just biological substances. According to the second, persons are psychological modes of substances which, as far as human beings are concerned, happen to be biological substances, but which could in principle be non-biological. There is, however, also a third possible answer, and this is that persons are psychological substances. Such a view is (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Identifying Criteria of Identity.Aleksandar Kellenberg - 2009 - Metaphysica 10 (1):109-122.
    I discuss E. J. Lowe's conception of criteria of identity and sketch a different and, I think, more adequate conception. On my view, criteria of identity are some of the things we can do. They are what we do when distinguishing between single entities of the kind in question and pairs of entities of the relevant domain. And they enable us to make such distinctions because they are applicable to all single and to all pairs of entities of the relevant (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Impredicative Identity Criteria.Leon Horsten - 2010 - Philosophy and Phenomenological Research 80 (2):411-439.
    In this paper, a general perspective on criteria of identity of kinds of objects is developed. The question of the admissibility of impredicative or circular identity criteria is investigated in the light of the view that is articulated. It is argued that in and of itself impredicativity does not constitute sufficient grounds for rejecting a putative identity criterion. The view that is presented is applied to Davidson’s criterion of identity for events and to the structuralist criterion of identity of places (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • What Is a Thing?M. Oreste Fiocco - 2019 - Metaphilosophy 50 (5):649-669.
    ‘Thing’ in the titular question should be construed as having the utmost generality. In the relevant sense, a thing just is an entity, an existent, a being. The present task is to say what a thing of any category is. This task is, I believe, the primary one of any comprehensive and systematic metaphysics. Indeed, an answer provides the means for resolving perennial disputes concerning the integrity of the structure in reality—whether some of the relations among things are necessary merely (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Engineering differences between natural, social, and artificial kinds.Eric T. Kerr - 2013 - In Maarten Franssen, Peter Kroes, Pieter Vermaas & Thomas A. C. Reydon (eds.), Artefact Kinds: Ontology and the Human-made World. Synthese Library.
    My starting point is that discussions in philosophy about the ontology of technical artifacts ought to be informed by classificatory practices in engineering. Hence, the heuristic value of the natural-artificial distinction in engineering counts against arguments which favour abandoning the distinction in metaphysics. In this chapter, I present the philosophical equipment needed to analyse classificatory practices and then present a case study of engineering practice using these theoretical tools. More in particular, I make use of the Collectivist Account of Technical (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation