In this chapter, I present the first systematic trope nominalist approach to natural kinds of objects. It does not identify natural kinds with the structures of mind-independent entities (objects, universals or tropes). Rather, natural kinds are abstractions from natural kind terms and objects belong to a natural kind if they satisfy their mind-independent application conditions. By relying on the trope theory SNT (Keinänen 2011), I show that the trope parts of a simple object determine the kind to which it belongs. (...) Moreover, I take the first steps to generalize the trope nominalist theory to the natural kinds of complex objects. (shrink)

In this work, we focus on a very specific case study: assuming that quantum theories deal with “particles” of some kind, what kind of entity can such particles be? One possible answer, the one we shall examine here, is that they are not the usual kind of object found in daily life: individuals. Rather, we follow a suggestion by Erwin Schrödinger, according to which quantum mechanics poses a revolutionary kind of entity: non-individuals. While physics, as a scientific field, is not (...) concerned with whether entities posited by a specific physical theory are individuals or not, answering this question is part of the quest for a better understanding of physical reality. Here lies, in large measure, the relevance of ontology. (shrink)

In The Principles of Mathematics, Russell writes: Whatever may be an object of thought, or may occur in any true or false proposition, or can be counted as one, I call a term. This, then, is the widest word in the philosophical vocabulary. I shall use as synonymous with it the words unit, individual and entity. The first two emphasize the fact that every term is one, while the third is derived from the fact that every term has being, i.e. (...) is in some sense. A man, a moment, a number, a class, a relation, a chimera, or anything else that can be mentioned, is sure to be a term'. Now in this remark, a certain extremely general, topic-neutral use of ‘object’ is singled out, a use in which the expression is treated as equivalent to (equally neutral) uses of ‘term’, ‘entity’, ‘unit’, ‘individual’, and ‘thing’. In addition, a claim is made to the effect that the content of the expression, with its emphasis on one, is such as to be adequate to comprehend the sum-total of existence, to include whatever there may be. The paper addresses the question of what this claim means, and whether it might be true. (shrink)

Sortal concepts are at the center of certain logical discussions and have played a significant role in solutions to particular problems in philosophy. Apart from logic and philosophy, the study of sortal concepts has found its place in specific fields of psychology, such as the theory of infant cognitive development and the theory of human perception. In this monograph, different formal logics for sortal concepts and sortal-related logical notions are characterized. Most of these logics are intensional in nature and possess, (...) in addition, a bidimensional character. That is, they simultaneously represent two different logical dimensions. In most cases, the dimensions are those of time and natural necessity, and, in other cases, those of time and epistemic necessity. Another feature of the logics in question concerns second-order quantification over sortal concepts, a logical notion that is also represented in the logics. Some of the logics adopt a constant domain interpretation, others a varying domain interpretation of such quantification. Two of the above bidimensional logics are philosophically grounded on predication sortalism, that is, on the philosophical view that predication necessarily requires sortal concepts. Another bidimensional logic constitutes a logic for complex sortal predicates. These three sorts of logics are among the important novelties of this work since logics with similar features have not been developed up to now, and they might be instrumental for the solution of philosophically significant problems regarding sortal predicates. The book assumes a modern variant of conceptualism as a philosophical background. For this reason, the approach to sortal predicates is in terms of sortal concepts. Concepts, in general, are here understood as intersubjective realizable cognitive capacities. The proper features of sortal concepts are determined by an analysis of the main features of sortal predicates. Posterior to this analysis, the sortal-related logical notions represented in the above logics are discussed. There is also a discussion on the extent to which the set-theoretic formal semantic systems of the book capture different aspects of the conceptualist approach to sortals. These different semantic frameworks are also related to realist and nominalist approaches to sortal predicates, and possible modifications to them are considered that might represent those alternative approaches. (shrink)

Haecceities are non-qualitative properties for individuation but the current theories about haecceities are still to be much more explored. This paper aims to develop a “haecceity mereology” – that is, an ontological system that understands substances as mereological combinations of haecceities and qualitative properties. In this way, the view developed is an alternative to Paul’s : 578–96; 2006. “Coincidence as Overlap.” Noûs 40 : 623–59) mereological approach. Three rules are proposed: If S is a substance, then there is one and (...) only one haecceity which is S’s qualitative part; For all the fusions with the same haecceity, at most only one of those fusions is a substance; When all the relevant elements are abundant, every element must overlap at least one substance. This is the first ontology of haecceities in the recent literature and would be a model for systematic metaphysics. (shrink)

Bare particularism is a constituent ontology according to which substances—concrete, particular objects like people, tables, and tomatoes—are complex entities constituted by their properties and their bare particulars. Yet, aside from this description, much about bare particularism is fundamentally unclear. In this paper, I attempt to clarify this muddle by elucidating the key metaphysical commitments underpinning any plausible formulation of the position. So the aim here is primarily catechismal rather than evangelical—I don’t intend to convert anyone to bare particularism, but, by (...) looking at a series of questions, to instead specify what, if one is a bare particularist, one is committed to. Along the way, I address three major objections: a classic objection about whether bare particulars have properties, a new objection raised by Bailey, and an understanding objection that questions some of the position’s resources. (shrink)

Philosophy and Phenomenological Research, EarlyView.

Quine ha promovido una forma de escepticismo sobre los juicios de modalidad de re que cuestiona su función y sugiere, en consecuencia, su eliminación. Wiggins, por su parte, ha argumentado que nuestros juicios ordinarios de individuación de objetos nos comprometen con un cierto esencialismo, con la aceptación de ciertos juicios de modalidad de re. Si Wiggins tuviera razón, tendríamos una respuesta potencial al escepticismo quineano de la función. Sin embargo, en este trabajo argumento que la propuesta de Wiggins es incapaz (...) de proporcionar una respuesta satisfactoria al escepticismo quineano, pues presupone aquello mismo que está en cuestión: los compromisos esencialistas se siguen sólo de la adopción previa de otros juicios de modalidad de re cuya función está precisamente en entredicho. Asimismo, argumento que esta misma conclusión puede extraerse de la consideración de algunas otras teorías contemporáneas de la individuación, similares a la de Wiggins. (shrink)

Is it metaphysically possible for a world to contain power properties but no nonpower properties? Recently, much progress has been made by powers theorists to defend the coherence of such a possibility. But unfortunately, it remains unclear how the powers in a power world are individuated. The problem is that the most obvious principle of individuation for properties in a power world is one that is circular. In this paper, it is argued that this circularity is generated by a modal (...) assumption, which is that different families of powers exist in different possible worlds. By rejecting this assumption, a noncircular principle of individuation for power properties can be formulated. Moreover, this solution is not ad hoc because there are independent reasons for rejecting the aforementioned modal assumption. (shrink)

Biological individuality is a notoriously thorny topic for biologists and philosophers of biology. In this paper we argue that biological individuality presents multiple, interconnected questions for biologists and philosophers that together form a problem agenda. Using a case study of an interdisciplinary research group in ecology, behavioral and evolutionary biology, we claim that a debate on biological individuality that seeks to account for diverse practices in the biological sciences should be broadened to include and give prominence to questions about uniqueness (...) and temporality. We show that broadening the problem agenda of biological individuality draws attention to underrecognized philosophical issues and discussions and thereby organizes and enriches the existing debate. (shrink)

I argue (1) that what (ontic) New Mechanistic philosophers of science call mechanisms would be material Gestalten, and (2) that Merleau-Ponty’s engagement with Gestalt theory can help us frame a standing challenge against ontic conceptions of mechanisms. In short, until the (ontic) New Mechanist can provide us with a plausible account of the organization of mechanisms as an objective feature of mind-independent ontic structures in the world which we might discover – and no ontic Mechanist has done so – it (...) is more conservative to claim that mechanistic organization is instead a mind-dependent aspect of our epistemic strategies of mechanistic explanation. (shrink)

This article proposes a “third way” in the philosophy of time beyond A-theory and the block universe, in which time is understood as a purely local phenomenon. It does so by starting with simple metaphysical assumptions about substances and their properties. Based on these assumptions, the notions of “before”, of change, and of time as local quantification of change can be derived non-circularly, i.e. without invoking temporal concepts. I then proceed to prove the irreversibility of local time by showing that (...) the propositional content of the local past cannot be changed, since this would imply a contradiction, whereas that of the future can. Time’s familiar asymmetric character, in particular the difference between the fixed past and the open or “branching” future, is therefore a non-illusory but purely local phenomenon. Such a model requires no past-present-future distinction valid for the entire cosmos, and is therefore consistent with special and general relativity. (shrink)

The interdisciplinary debate about the nature of expertise often conflates having expertise with either the individual possession of competences or a certain role ascription. In contrast to this, the paper attempts to demonstrate how different dimensions of expertise ascription are inextricably interwoven. As a result, a balanced account of expertise will be proposed that more accurately determines the closer relationship between the expert’s dispositions, their manifestations and the expert’s function. This finally results in an advanced understanding of expertise that views (...) someone as an expert only if she is undefeatedly disposed to fulfill a contextually salient service function adequately at the moment of assessment. (shrink)

According to the semantic view of computation, computations cannot be individuated without invoking semantic properties. A traditional argument for the semantic view is what we shall refer to as the argument from the cognitive science practice. In its general form, this argument rests on the idea that, since cognitive scientists describe computations (in explanations and theories) in semantic terms, computations are individuated semantically. Although commonly invoked in the computational literature, the argument from the cognitive science practice has never been discussed (...) in detail. In this paper, we shall provide a critical reconstruction of this argument and an extensive analysis of its prospects, taking into account some ways of defending it that have never been explored so far. We shall argue that explanatory considerations support at best a weak version of the argument from the cognitive science practice, according to which semantic properties concur with formal syntactic properties in individuating computations in cognitive science, but not a strong version, according to which computation individuation in cognitive science is semantic as opposed to formal syntactic. (shrink)

According to the species-as-individuals thesis(hereafter S-A-I), species are cohesive entities. Barker and Wilson recently pointed out that the type of cohesion exhibited by species is fundamentally different from that of organisms (paradigmatic individuals), suggesting that species are homeostatic property cluster kinds. In this article, I propose a shift in how to approach cohesion in the context of S-A-I: instead of analyzing the different types of cohesion and questioning whether species have them, I focus on the role played by cohesion in (...) the identity of individuals. This shift allows us to recognize why cohesion matters to S-A-I, as well as to reconceive the analogy between species and organisms (paradigmatic individuals), and also allows us to highlight the context sensitivity of both ‘‘cohesion’’ and ‘‘individuals.’’ From this perspective, I identify two problems in Barker and Wilson’s argumentation. Firstly, the authors fail to recognize that species are individuals even if they do not have the same type of cohesion that organisms have. Secondly, their argument relies on a misinterpretation of S-A-I. I conclude that species cohesion is still best framed as a feature of species individuality rather than a feature of species as homeostatic property cluster kinds. The arguments presented here contribute to the re-articulation and reevaluation of S-A-I in the face of contemporary discussions. (shrink)

This paper is about the nature of God’s pre-creation knowledge of possible creatures. I distinguish three theories: non-qualitative singularism, qualitative singularism, and qualitative generalism, which differ in terms of whether the relevant knowledge is qualitative or non-qualitative, and whether God has singular or merely general knowledge of creatures. My main aim is to argue that qualitative singularism does not depend on a version of the Principle of Identity of Indiscernibles to the effect that, necessarily, qualitatively indiscernible individuals are identical. It (...) follows that qualitative singularism does not depend on the view that possible creatures categorically have qualitative individual essences. (shrink)

It is often claimed that principles of individuation imply essential properties of the things individuated. For example, sets are individuated by their members, hence sets have their members essentially. But how does this inference work? First I discuss the form of such inferences, and conclude that the essentialist inference is not a purely formal matter: although there is a form which all principles of individuation have in common, it is not true that any statement of that form is a principle (...) of individuation, and hence there is no valid inference based purely on that form. However, I argue that there is a viable version of the essentialist inference nonetheless. The resources for a proper reconstruction of this type of inference can be gathered from reflections upon the role principles of individuation play in the project of the ontologist: such principles turn out to carry a modal weight similar to that of definitions or conceptual truths. It follows that, no matter how austere the ontology, some portion of essentialist modality is inevitable. (shrink)

An argument to the effect that, under a few reasonable assumptions, the bare particular ontology is best understood in terms of supersubstativalism: objects are identical to regions of space(-time) and properties directly inhere in space(-time) points or region as their bearers.

In his paper Bare Particulars, T. Sider claims that one of the most plausible candidates for bare particulars are spacetime points. The aim of this paper is to shed light on Sider’s reasoning and its consequences. There are three concepts of spacetime points that allow their identification with bare particulars. One of them, Moderate structural realism, is considered to be the most adequate due its appropriate approach to spacetime metric and moderate view of mereological simples. However, it pushes the Substratum (...) theory to dismiss primitive thisness as the only identity condition for bare particulars, but the paper argues that such elimination is a legitimate step. (shrink)

It has long been debated whether objects are ‘sortally’ individuated. This paper begins by clarifying some of the key terms in play—in particular, ‘sortal’, ‘individuation’, and ‘object’. The term ‘individuation’ is taken to have both a cognitive and a metaphysical sense, in the former denoting the singling out of an object in thought and in the latter a determination relation between entities. ‘Sortalism’ is defined as the doctrine that only as falling under some specific sortal concept can an object be (...) successfully singled out in thought. It is argued that such a view is too strong, but that a weaker one, ‘categorialism’, can be defended, this implying that a thinker cannot successfully single out an object in thought without having at least an implicit grasp of the criterion of identity that the object satisfies. (shrink)

Questions about the relation between identity and discernibility are important both in philosophy and in model theory. We show how a philosophical question about identity and dis- cernibility can be ‘factorized’ into a philosophical question about the adequacy of a formal language to the description of the world, and a mathematical question about discernibility in this language. We provide formal definitions of various notions of discernibility and offer a complete classification of their logical relations. Some new and surprising facts are (...) proved; for instance, that weak dis- cernibility corresponds to discernibility in a language with constants for every object, and that weak discernibility is the most discerning nontrivial discernibility relation. (shrink)

The identity and diversity of individual objects may be grounded or ungrounded, and intrinsic or contextual. Intrinsic individuation can be grounded in haecceities, or absolute discernibility. Contextual individuation can be grounded in relations, but this is compatible with absolute, relative or weak discernibility. Contextual individuation is compatible with the denial of haecceitism, and this is more harmonious with science. Structuralism implies contextual individuation. In mathematics contextual individuation is in general primitive. In physics contextual individuation may be grounded in relations via (...) weak discernibility. (shrink)

We critically examine the claim that identity is a fundamental concept. According to those putting forward this thesis, there are four related reasons that can be called upon to ground the fundamental character of identity: identity is presupposed in every conceptual system; identity is required to characterize individuality; identity cannot be defined; the intelligibility of quantification requires identity. We address each of these points and argue that none of them advances compelling reasons to hold that identity is fundamental; in fact, (...) most of the tasks that seem to require identity may be performed without identity. So, in the end, identity may not be a fundamental concept after all. (shrink)

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 (...) domain but fulfilled only by all single entities of the kind in question. This feature of criteria of identity allows us to define these criteria, to explain how to identify a particular criterion of identity and to determine the logical form in which to express such identifications. (shrink)

This paper is the first trope-theoretical reply to E. J. Lowe’s serious dilemma against trope nominalism in print. The first horn of this dilemma is that if tropes are identity dependent on substances, a vicious circularity threatens trope theories because they must admit that substances are identity dependent on their constituent tropes. According to the second horn, if the trope theorist claims that tropes are identity independent, she faces two insurmountable difficulties. (1) It is hard to understand the ontological dependence (...) of tropes on substances. (2) The identity-conditions of tropes cannot be determinate, which threatens the determination of the identity-conditions of substances. Our reply to the first horn of Lowe’s dilemma is to deny the identity dependence of tropes. Yet we can avoid the second horn because our theory can explain the ontological dependence of tropes on substances and the fully-determined identity-conditions of both tropes and substances. (shrink)

We articulate a distinction between ontology, understood as involving existence questions, and metaphysics, understood as either providing for metaphysical profiles of entities or else as dealing with fundamentality and/or grounding and dependence questions. The distinction, we argue, allows a better understanding of the roles of metaontology and metametaphysics when it comes to discussing the relations between ontology and science on the one hand, and metaphysics and science on the other. We argue that while ontology, as understood in this paper, may (...) have reasonable perspectives for naturalization, given its relation to science, the same cannot be said for metaphysics, given that it is typically understood as an additional theoretical layer over science, not participating in the scientific investigation. That may result either in skepticism over metaphysics, or else on accepting that metaphysics is an autonomous branch of investigation, depending on one’s concern for metaphysics. (shrink)

According to the iterative conception of set, sets can be arranged in a cumulative hierarchy divided into levels. But why should we think this to be the case? The standard answer in the philosophical literature is that sets are somehow constituted by their members. In the first part of the paper, I present a number of problems for this answer, paying special attention to the view that sets are metaphysically dependent upon their members. In the second part of the paper, (...) I outline a different approach, which circumvents these problems by dispensing with the priority or dependence relation altogether. Along the way, I show how this approach enables the mathematical structuralist to defuse an objection recently raised against her view. (shrink)

The significance of Max Black’s indistinguishable spheres for the nature of particles in quantum mechanics is discussed, focusing in particular on the use of the idea of weak indiscernibility. It is argued that there can be four such Black spheres but that five are impossible. It follows from this that Black’s example cannot serve as a model for indistinguishability in physics. But Black’s discussion of his spheres gave rise to the idea of weak discernibility and it is argued that such (...) predicates are unsatisfiable in the way intended. The underlying problem with weak discernibility spreads out to also undermine the whole notion that indistinguishability rests on a notion of the permutation invariance of particles. A better foundation is indicated. (shrink)

Conservationists have two types of arguments for why we should conserve ecosystems: instrumental and intrinsic value arguments. Instrumental arguments contend that we ought to conserve ecosystems because of the benefits that humans, or other morally relevant individuals, derive from ecosystems. Conservationists are often loath to rely too heavily on the instrumental argument because it could potentially force them to admit that some ecosystems are not at all useful to humans, or that if they are, they are not more useful than (...) alternative configurations of those ecosystems. Consequently, conservationists often resort to an intrinsic value argument, contending that ecosystems are objectively valuable as ends in themselves, rather than merely as means to an end. If ecosystems have intrinsic value, then they have moral standing, which means that we must consider their needs and interests in any decisions we make about them. This paper concerns the significance of this move for... (shrink)

It is plausible that every true representation is made true by something in the world beyond itself. I believe that a simple fact is the truthmaker of each true proposition. Simple facts are not familiar entities. This lack of familiarity might lead many to regard them with suspicion, to think that including them in one’s ontology is an ad hoc maneuver. Although such suspicion is warranted initially, it is, I believe, ultimately unfounded. In this paper, I first present what I (...) take to be the simplest argument for simple facts. I then clarify what a simple fact is supposed to be by elucidating the way in which such entities are simple and elaborating an account of their nature. The simplest argument for simple facts relies on a premise that is deeply plausible and yet not uncontroversial, so I present a second argument that forgoes this premise. The second argument is more subtle—and shows the relevance to this discussion of unity from complexity, a metaphysical notion of profound importance—and yet leads to the same conclusion: simple facts exist. I end by considering some concerns one might have regarding the existence of simple facts or the fundamental role that I maintain they have in making true our thoughts and claims about the world. (shrink)

In this paper, I argue that how a mind can come to be about an object and how the world is independently of the workings of any mind are inextricably linked. Hence, epistemology, at its most basic, and metaphysics are systematically related. In order to demonstrate the primary thesis of the paper, I first articulate two contrary accounts of the nature of reality and then two contradictory general views of intentionality. I argue that these positions can be combined in only (...) two ways. This argument turns on the impossibility of there being an object that cannot, in principle, be thought of or referred to, so I present reasons for thinking such a thing cannot exist. The upshot is that there are but two intentional-cum-ontological positions, that is, two unified positions regarding how a mind relates to the world and what the world is like in itself. This might be surprising, for one might have thought that the views in the different domains were independent; it is significant, because it shows that views that might have seemed related by mere affinity are, in fact, necessarily conjoined. I conclude by presenting reasons for thinking one of the two intentional-cum-ontological positions is untenable. (shrink)

This paper explores a new non-deflationary approach to the puzzle of nonexistence and its cousins. On this approach, we can, under a plausible assumption, express true de re propositions about certain objects that don’t exist, exist indeterminately or exist merely possibly. The defense involves two steps: First, to argue that if we can actually designate what individuates a nonexistent target object with respect to possible worlds in which that object does exist, then we can express a de re proposition about (...) “it”. Second, to adapt the concept of outer truth with respect to a possible world – a concept familiar from actualist modal semantics – for use in representing the actual world. (shrink)

Token physicalism is often viewed as a modest and unproblematic physicalist commitment, as contrasted with type physicalism. This paper argues that the prevalence of functional individuation in biology creates serious problems for token physicalism, because the latter requires that biological entities can be individuated physically and without reference to biological functioning. After characterizing the main philosophical roles for token physicalism, I describe the distinctive uses of functional individuation in models of biological processes. I then introduce some requirements on token identity (...) claims that arise from a position on individuation and identity known as sortalism. An examination of biological examples shows that these sortalist requirements cannot be plausibly met due to differences between individuation by functional biological criteria and by physical criteria. Even without assuming sortalism, token physicalism faces the more basic problem of excluding functionally irrelevant detail from the individuation of biological tokens. I close by suggesting that the philosophical roles for token identity are better fulfilled by a notion of token composition, which promotes a hierarchical picture of individuality. (shrink)

In a recent article in this journal, J. P. Moreland extends his theory of individuation to include universals. In this note, I show how Moreland’s novel proposal leads to the unwanted conclusion that every concrete particular exists of necessity and has but a single essential property.

In this article I examine an as yet unexplored aspect of J.P. Moreland’s defense of so-called bare particularism — the ontological theory according to which ordinary concrete particulars (e.g., Socrates) contain bare particulars as individuating constituents and property ‘hubs.’ I begin with the observation that if there is a constituency relation obtaining between Socrates and his bare particular, it must be an internal relation, in which case the natures of the relata will necessitate the relation. I then distinguish various ways (...) in which a bare particular might be thought to have a nature and show that on none of these is it possible for a bare particular to be a constituent of a complex particular. Thus, Moreland’s attempt to resurrect bare particulars as ontologically indispensable entities is not wholly without difficulties. (shrink)

Platonists affirm the existence of abstract mathematical objects, and Nominalists deny the existence of abstract mathematical objects. While there are standard arguments in favor of Nominalism, these arguments fail to account for the necessity of Nominalism. Furthermore, these arguments do nothing to explain why Nominalism is true. They only point to certain theoretical vices that might befall the Platonist. The goal of this paper is to formulate and defend a simple, valid argument for the necessity of Nominalism that seeks to (...) precisify the widespread intuition that mathematical objects are somehow ‘spooky’ or ‘mysterious’. (shrink)

Neofregeanism and structuralism are among the most promising recent approaches to the philosophy of mathematics. Yet both have serious costs. We develop a view, structuralist neologicism, which retains the central advantages of each while avoiding their more serious costs. The key to our approach is using arbitrary reference to explicate how mathematical terms, introduced by abstraction principles, refer. Focusing on numerical terms, this allows us to treat abstraction principles as implicit definitions determining all properties of the numbers, achieving a key (...) neofregean advantage, while preserving the key structuralist advantage, which objects play the number role does not matter. (shrink)

Although it is very often taken for granted that there is something fundamental, the literature appears to have developed with little to no careful consideration of what exactly it is that the fundamentalia are supposed to do. If we are to have a good reason to believe that there is something fundamental, we need not only to know what exactly it is that the fundamentalia are invoked for, but why it is that nothing else is available for the task to (...) hand. A good argument in defense of fundamentality, then, will contain an assumption that stipulates an explanatory target; along with a second, crucial, assumption that tells us that no dependent entity is available to do the work that needs to be done. In this paper, I explore both of these assumptions. (shrink)

There are predicates and subjects. It is thus tempting to think that there are properties on the one hand, and things that have them on the other. I have no quarrel with this thought; it is a fine place to begin a theory of properties and property-having. But in this paper, I argue that one such theory—bare particularism—is false. I pose a dilemma. Either bare particulars instantiate the properties of their host substances or they do not. If they do not, (...) then bare particularism is both unmotivated and false. If they do, then the view faces a problematic—and, I shall argue, false—crowding consequence. (shrink)

The Received View on quantum non-individuality is, roughly speaking, the view according to which quantum objects are not individuals. It seems clear that the RV finds its standard expression nowadays through the use of the formal apparatuses of non-reflexive logics, mainly quasi-set theory. In such logics, the relation of identity is restricted, so that it does not apply for terms denoting quantum particles; this “lack of identity” formally characterizes their non-individuality. We face then a dilemma: on the one hand, identity (...) seems too important to be given up, on the other hand the RV seems to require that identity be given up. In this paper we shall discuss how the specific characterization of the RV through non-reflexive logics came to be framed. We examine some of the main objections to this version of the RV and argue that they are misguided under this specific “non-reflexive” understanding of the RV. Finally, we shall also argue that this non-reflexive view is not the only option for a metaphysical articulation of the RV: less radical approaches to identity and logic are open. In particular, some of these alternative approaches to the RV we present may be immune to most of the criticisms presented against the non-reflexive approach. (shrink)

The aim of this paper is to argue that some objections raised by Jantzen (Synthese, 2010 ) against the separation of the concepts of ‘counting’ and ‘identity’ are misled. We present a definition of counting in the context of quasi-set theory requiring neither the labeling nor the identity and individuality of the counted entities. We argue that, contrary to what Jantzen poses, there are no problems with the technical development of this kind of definition. As a result of being able (...) to keep counting and identity apart for those entities, we briefly suggest that one venerable tradition concerning the nature of quantum particles may be consistently held. According to that tradition, known as the Received View on particles non-individuality, quantum particles may be seen as entities having both features: (i) identity and individuality do not apply to them, (ii) they may be gathered in collections comprising a plurality of them. (shrink)

Biological macromolecules, considered as the items of the biochemical domain, are typically conceived under the ontological category of substantial individuals. In this paper, I will argue that the philosophical framework of process ontology, according to which the living world is not populated by individuals but by a dynamic hierarchy of processes, is more adequate to account for the structure and functioning of macromolecules. In particular, I will analyze its application to the phenomenon of cell signaling and to one of its (...) key concepts, cell receptors. Current knowledge in biochemistry allows us to conceive receptors as processual and dynamic entities, relationally stabilized and not separated from the biochemical phenomenon of which they are part. (shrink)

According to process ontology in the philosophy of biology, the living world is better understood as processes rather than as substantial individuals. Within this perspective, an organism does not consist of a hierarchy of structures like a machine, but rather a dynamic hierarchy of processes, dynamically maintained and stabilized at different time scales. With this respect, two processual approaches on enzymes by Stein (Hyle Int J Philos Chem 10(4):5–22, 2004, Process Stud 34:62–80, 2005, Found Chem 8:3–29, 2006) and by Guttinger (...) (Everything Flows: Towards a Processual Philosophy of Biology, Oxford University Press, Oxford, 2018) allows to think of macromolecules as relational and processual entities. In this work, I propose to extend their arguments to another case study within the biochemical domain, which is the case of ligand receptors and receptor-mediated biosignaling. The aim of this work is to analyze the case of G Protein-Coupled Receptors and biosignaling under the consideration of a processual ontology. I will defend that the processual ontology framework is adequate for the biochemical domain and that it allows accounting for the current biochemical knowledge related to the case study. (shrink)

According to process ontology in the philosophy of biology, the living world is better understood as processes rather than as substantial individuals. Within this perspective, an organism does not consist of a hierarchy of structures like a machine, but rather a dynamic hierarchy of processes, dynamically maintained and stabilized at different time scales. With this respect, two processual approaches on enzymes by Stein (Hyle Int J Philos Chem 10(4):5–22, 2004, Process Stud 34:62–80, 2005, Found Chem 8:3–29, 2006) and by Guttinger (...) (Everything Flows: Towards a Processual Philosophy of Biology, Oxford University Press, Oxford, 2018) allows to think of macromolecules as relational and processual entities. In this work, I propose to extend their arguments to another case study within the biochemical domain, which is the case of ligand receptors and receptor-mediated biosignaling. The aim of this work is to analyze the case of G Protein-Coupled Receptors and biosignaling under the consideration of a processual ontology. I will defend that the processual ontology framework is adequate for the biochemical domain and that it allows accounting for the current biochemical knowledge related to the case study. (shrink)