Is the mathematical function being computed by a given physical system determined by the system’s dynamics? This question is at the heart of the indeterminacy of computation phenomenon (Fresco et al. [unpublished]). A paradigmatic example is a conventional electrical AND-gate that is often said to compute conjunction, but it can just as well be used to compute disjunction. Despite the pervasiveness of this phenomenon in physical computational systems, it has been discussed in the philosophical literature only indirectly, mostly with reference (...) to the debate over realism about physical computation and computationalism. A welcome exception is Dewhurst’s ([2018]) recent analysis of computational individuation under the mechanistic framework. He rejects the idea of appealing to semantic properties for determining the computational identity of a physical system. But Dewhurst seems to be too quick to pay the price of giving up the notion of computational equivalence. We aim to show that the mechanist need not pay this price. The mechanistic framework can, in principle, preserve the idea of computational equivalence even between two different enough kinds of physical systems, say, electrical and hydraulic ones. (shrink)

Is the mathematical function being computed by a given physical system determined by the system’s dynamics? This question is at the heart of the indeterminacy of computation phenomenon (Fresco et al. [unpublished]). A paradigmatic example is a conventional electrical AND-gate that is often said to compute conjunction, but it can just as well be used to compute disjunction. Despite the pervasiveness of this phenomenon in physical computational systems, it has been discussed in the philosophical literature only indirectly, mostly with reference (...) to the debate over realism about physical computation and computationalism. A welcome exception is Dewhurst’s ([2018]) recent analysis of computational individuation under the mechanistic framework. He rejects the idea of appealing to semantic properties for determining the computational identity of a physical system. But Dewhurst seems to be too quick to pay the price of giving up the notion of computational equivalence. We aim to show that the mechanist need not pay this price. The mechanistic framework can, in principle, preserve the idea of computational equivalence even between two different enough kinds of physical systems, say, electrical and hydraulic ones. (shrink)

Alan Sidelle's Necessity, Essence, and Individuation is a sustained defense of empiricism—or, more generally, conventionalism—against recent attacks by realists. Sidelle focuses his attention on necessity a posteriori, a kind of necessity which contemporary realists have taken to support realism over empiricism. Turning the tables against the realists, Sidelle argues that if there are in fact truths necessary a posteriori, it is not realism, but rather empiricism which provides the best explanation for them.

How many senses do humans possess? Five external senses, as most cultures have it—sight, hearing, touch, smell, and taste? Should proprioception, kinaesthesia, thirst, and pain be included, under the rubric bodily sense? What about the perception of time and the sense of number? Such questions reduce to two. 1. How do we distinguish a sense from other sorts of information-receiving faculties? 2. By what principle do we distinguish the senses? Aristotle discussed these questions in the De Anima. H. P. Grice (...) revived them in 1967. More recently, they have taken on fresh interest as a result of a collection of essays edited by Fiona Macpherson. This entry reviews some approaches to these questions and advances some new ideas for the reader’s consideration. It proposes that the senses constitute an integrated learning system, membership in which answers question 1. It also proposes that the modalities can be distinguished from one another in two ways, by the means of information pick-up and by the kinds of activity that a perceiver undertakes to make use of them. (shrink)

The metaphysical problem of individuation requires an answer to two different but intimately related questions: 1) How are we to characterize individuality ontologically? To what ontological category or logical type does individuality belong? 2) What sort of distinction is there between the individuality and nature of an individual, e.g., a real distinction, a modal distinction, a distinction of reason, or some other distinction My purpose in this article is to clarify a bare particular account of individuation and respond (...) to objections that have been raised against bare particulars as individuators. (shrink)

Aquinas has much to say about individuation over the course of his career. Although certain aspects of his views appear to undergo development, there is one aspect that remains constant throughout—namely, his commitment to assigning both prime matter and quantity an essential role in the individuation of substances. This paper examines the vexed issue of how either prime matter or quantity, as Aquinas understands them, could have any role to play in this context. In the course of doing (...) so, the author attempts to put to rest a number of longstanding worries about the coherence of Aquinas’s views about individuation, as well as to draw out some of his broader commitments in metaphysics and natural philosophy that have yet to be fully appreciated. (shrink)

ABSTRACT The idea that two words can be instances of the same word is a central intuition in our conception of language. This fact underlies many of the claims that we make about how we communicate, and how we understand each other. Given this, irrespective of what we think words are, it is common to think that any putative ontology of words, must be able to explain this feature of language. That is, we need to provide criteria of identity for (...) word-types which allow us to individuate words such that it can be the case that two particular word-instances are instances of the same word-type. One solution, recently further developed by Irmak, holds that words are individuated by their history. In this paper, I argue that this view either fails to account for our intuitions about word identity, or is too vague to be a plausible answer to the problem of word individuation. (shrink)

Philosophers often consider better compliance with prevalent pre-theoretical intuitions to be an advantage of a theory of ontology of musical works. However, despite many predictions of what these intuitions on relevant questions might be, so far there is only one experimental philosophy study on the repeatability of musical works by Christopher Bartel. We decided to examine the intuitions concerning the individuation of musical works by creating scenarios reflecting the differences in the positions of musical ontologists: pure and timbral sonicism, (...) instrumentalism, and contextualism. The results show that emotional expressivity, instrument, timbre, and images evoked in the listeners were not considered as properties individuating musical works. However, the musical works were held to be different if the composers were different. In most cases, the participants had clear intuitions. Pure sonicism, complemented with additional stress on significance of the composer’s creativity, seems to be the most intuitive position. (shrink)

ABSTRACTScholarship on medieval philosophy has rightfully acknowledged the historical and systematical merit of Avicenna’s thought in all divisions of philosophy. Avicenna however did not...

Spinoza developed a highly interesting metaphysical theory of nature and individuality. In this paper, I endeavor to bring forward some ideas on how Spinozistic views on extended substance, physical world, and individuality can be approached using the concept of power as the basis of interpretation. Jonathan Bennett's ‘field metaphysical’ interpretation of Spinoza's doctrine of one extended substance has generated much discussion, and forms the other starting point of my paper. I believe that the field metaphysical interpretation enables one to deal (...) with the central questions concerning physical individuation — individuality and the persistence of individual being — in a rather novel way. My main question is this: what follows if physical individuals are seen as parts of a unified field of extended power? (shrink)

This book offers a sustained re-evaluation of the most central and perplexing themes of Leibniz's metaphysics. In contrast to traditional assessments that view the metaphysics in terms of its place among post-Cartesian theories of the world, Jan Cover and John O'Leary-Hawthorne examine the question of how the scholastic themes which were Leibniz's inheritance figure - and are refigured - in his mature account of substance and individuation. From this emerges a fresh and sometimes surprising assessment of Leibniz's views on (...) modality, the Identity of Indiscernibles, form as an internal law, and the complete-concept doctrine. As a rigorous philosophical treatment of a still-influential mediary between scholastic and modern metaphysics, their study will be of interest to historians of philosophy and contemporary metaphysicians alike. (shrink)

Christopher Peacocke has presented an original version of the perennial philosophical thesis that we can gain substantive metaphysical and epistemological insight from an analysis of our concepts. Peacocke's innovation is to look at how concepts are individuated by their possession conditions, which he believes can be specified in terms of conditions in which certain propositions containing those concepts are accepted. The ability to provide such insight is one of Peacocke's major arguments for his theory of concepts. I will critically examine (...) this "fruitfulness" argument by looking at one philosophical problem Peacocke uses his theory to solve and treats in depth. Peacocke (1999, 2001) defines what he calls the "Integration Challenge." The challenge is to integrate our metaphysics with our epistemology by showing that they are mutually acceptable. Peacocke's key conclusion is that the Integration Challenge can be met for "epistemically individuated concepts." A good theory of content, he believes, will close the apparent gap between an account of truth for any given subject matter and an overall account of knowledge. I shall argue that there are no epistemically individuated concepts, and shall critically analyze Peacocke's arguments for their existence. I will suggest more generally that the possession conditions of concepts and their principles of individuation shed little light on the epistemology or metaphysics of things other than concepts. My broader goal is to shed light on what concepts are by showing that they are more fundamental than the sorts of cognitive and epistemic factors a leading theory uses to define them. (shrink)

Not long ago, one of us has clarified and defended a bare particular theory of individuation. More recently, D. W. Mertz has raised a set of objections against this account and other accounts of bare particulars and proffered an alternative theory of individuation. He claims to have shown that 'the concept of bare particulars, and consequently substratum ontology that requires it, is untenable.' We disagree with this claim and believe there are adequate responses to the three arguments Mertz (...) raises against bare particulars. To substantiate this assertion, we clarify the nature of bare particulars as individuators, state Mertz's objections, and respond to them. We conclude that Mertz has failed to show that bare particular theory is untenable. (shrink)

In this paper it is argued that sensitivity theory suffers from a fatal defect. Sensitivity theory is often glossed as: (1) S knows that p only if S would not believe that p if p were false. As Nozick showed in his pioneering work on sensitivity theory, this formulation needs to be supplemented by a further counterfactual condition: (2) S knows that p only if S would believe p if p were true. Nozick further showed that the theory needs a (...) qualification on the method used to form the belief. However, when these complications are spelled out in detail, it becomes clear that the two counterfactuals are in irresolvable tension. To jibe with the externalist intuitions that motivate sensitivity theory in the first place, (1) needs a fine-grained grouping of belief-formation methods, but (2) needs coarse-grained grouping. It is therefore suggested that sensitivity theory is in dire straits: either its proponents need to provide a workable principle of method individuation or they must retrench and give up their claims to providing sufficient conditions for knowledge. (shrink)

Objects and substances bear fundamentally different ontologies. In this article, we examine the relations between language, the ontological distinction with respect to individuation, and the world. Specifically, in cross‐linguistic developmental studies that follow Imai and Gentner (1997), we examine the question of whether language influences our thought in different forms, like (1) whether the language‐specific construal of entities found in a word extension context (Imai & Gentner, 1997) is also found in a nonlinguistic classification context; (2) whether the presence (...) of labels per se, independent of the count‐mass syntax, fosters ontology‐based classification; (3) in what way, if at all, the count‐mass syntax that accompanies a label changes English speakers' default construal of a given entity?On the basis of the results, we argue that the ontological distinction concerning individuation is universally shared and functions as a constraint on early learning of words. At the same time, language influences one's construal of entities cross‐lingistically and developmentally, and causes a temporary change of construal within a single language. We provide a detailed discussion of how each of these three ways language may affect the construal of entities, and discuss how our universally possessed knowledge interacts with language both within a single language and in cross‐linguistic context. (shrink)

In this article I expound an understanding of the quantum mechanics of so-called “indistinguishable” systems in which permutation invariance is taken as a symmetry of a special kind, namely the result of representational redundancy. This understand- ing has heterodox consequences for the understanding of the states of constituent systems in an assembly and for the notion of entanglement. It corrects widespread misconceptions about the inter-theoretic relations between quantum mechanics and both classical particle mechanics and quantum field theory. The most striking (...) of the heterodox consequences are: that fermionic states ought not always to be considered entangled; it is possible for two fermions or two bosons to be discerned using purely monadic quantities; and that fermions may always be so discerned. (shrink)

Few notions are more central to Aquinas’s thought than those of matter and form. Although he invokes these notions in a number of different contexts, and puts them to a number of different uses, he always assumes that in their primary or basic sense they are correlative both with each other and with the notion of a “hylomorphic compound”—that is, a compound of matter (hyle) and form (morphe). Thus, matter is an entity that can have form, form is an entity (...) that can be had by matter, and a hylomorphic compound is an entity that exists when the potentiality of some matter to have form is actualized.1 What is more, Aquinas assumes that the matter of a hylomorphic compound explains certain of its general characteristics, whereas its form explains certain of its more specific characteristics. Thus, the matter of a bronze statue explains the fact that it is bronze, whereas its form explains the fact that it is a statue. Again, the matter of a human being explains the fact that it is a material object, whereas its form explains the specific type of material object it is (namely, human). My aim in this chapter is to provide a systematic introduction to Aquinas’s primary or basic notions of matter and form. To accomplish this aim, I focus on the two main theoretical contexts in which he deploys them—namely, his theory of change and his theory of individuation. In both contexts, as we shall see, Aquinas appeals to matter and form to account for relations of sameness and difference holding between distinct individuals. (shrink)

Not long ago, one of us has clarified and defended a bare particular theory of individuation. More recently, D. W. Mertz has raised a set of objections against this account and other accounts of bare particulars and proffered an alternative theory of individuation. He claims to have shown that 'the concept of bare particulars, and consequently substratum ontology that requires it, is untenable.' We disagree with this claim and believe there are adequate responses to the three arguments Mertz (...) raises against bare particulars. To substantiate this assertion, we clarify the nature of bare particulars as individuators, state Mertz's objections, and respond to them. We conclude that Mertz has failed to show that bare particular theory is untenable. (shrink)

Obsessed by the cases where things go wrong, we pay too little attention to the vastly more numerous cases where they go right, and where it is perhaps easier to see that the descriptive content of the expression concerned is wholly at the service of this function [of identifying reference], a function which is complementary to that of predication and contains no element of predication in itself (Strawson [1974], p. 66).An earlier version of the paper was written during an enjoyable (...) year spent as a Research Fellow at the University of Melbourne. (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)

It is sometimes suggested that criteria of identity should play a central role in an account of our most fundamental ways of referring to objects. The view is nicely illustrated by an example due to (Quine, 1950). Suppose you are standing at the bank of a river, watching the water that floats by. What is required for you to refer to the river, as opposed to a particular segment of it, or the totality of its water, or the current temporal (...) part of this water? According to Quine, you must at least implicitly be operating with some criterion of identity that informs you when two sightings of water count as sightings of the same referent. For unless you have at least an implicit grasp of what is required for your intended referent to be identical with another object with which you are presented, you have not succeeded in singling out a unique object for reference. (shrink)

The book is a systematic study of the issue of self-individuation in the scholastic debate on principles of individuation. The point of departure is a general formulation of the problem of individuation acceptable for all the participants of the scholastic debate: a principle of individuation of x is what makes x individual. The book argues against a prima facie plausible view that everything that is individual is individual by itself and not by anything distinct from it. (...) The keynote topic of the book is a detailed analysis of the two competing ways of rejecting the Strong Self-Individuation Thesis: the Scotistic and the Thomistic one. The book defends the latter one, discussing a number of issues concerning substantial and accidental forms, essences, properties, instantiation, the Thomistic notion of materia signata, Frege’s Begriff-Gegenstand distinction, and Geach’s form-function analogy developed in his writings on Aquinas. In the context of both the scholastic and contemporary metaphysics, the book offers a framework for dealing with issues of individuality and defends a Thomistic theory of individuation. (shrink)

In this paper, I examine the crucial relationship between Locke’s theory of individuation and his theory of kinds. Locke holds that two material objects—e.g., a mass of matter and an oak tree—can be in the same place at the same time, provided that they are ‘of different kinds’. According to Locke, kinds are nominal essences, that is, general abstract ideas based on objective similarities between particular individuals. I argue that Locke’s view on coinciding material objects is incompatible with his (...) view on kinds. In order for two material objects to be in the same place at the same time, they must differ with respect to at least one nominal essence. However, Locke thinks that it is impossible that x and y have the same real essence but differ with respect to any nominal essence; and coinciding material objects have the same real essence. Therefore, Locke cannot hold what he in fact holds, namely that distinct material objects can be in the same place at the same time. (shrink)

In _Always More Than One_, the philosopher, visual artist, and dancer Erin Manning explores the concept of the "more than human" in the context of movement, perception, and experience. Working from Whitehead's process philosophy and Simondon's theory of individuation, she extends the concepts of movement and relation developed in her earlier work toward the notion of "choreographic thinking." Here, she uses choreographic thinking to explore a mode of perception prior to the settling of experience into established categories. Manning connects (...) this to the concept of "autistic perception," described by autistics as the awareness of a relational field prior to the so-called neurotypical tendency to "chunk" experience into predetermined subjects and objects. Autistics explain that, rather than immediately distinguishing objects—such as chairs and tables and humans—from one another on entering a given environment, they experience the environment as gradually taking form. Manning maintains that this mode of awareness underlies all perception. What we perceive is never first a subject or an object, but an ecology. From this vantage point, she proposes that we consider an ecological politics where movement and relation take precedence over predefined categories, such as the neurotypical and the neurodiverse, or the human and the nonhuman. What would it mean to embrace an ecological politics of collective individuation? (shrink)

In dicephalus conjoined twinning, it appears that two heads share a body; in cephalopagus, it appears that two bodies share a head. How many human animals are present in these cases? One answer is that there are two in both cases—conjoined twins are precisely that, conjoined twins. Another is that the number of humans corresponds to the number of bodies—so there is one in dicephalus and two in cephalopagus. I show that both of these answers are incorrect. Prominent accounts of (...) biological individuation, which treat the organism as an integrated whole, reveal that in these and other cases of conjoined twinning the ‘twins’ share a single human animal. This has a number of consequences for the debate about what we are. First, if animalism is true, individuals of our kind can be—and are—profoundly psychologically divided. Second, cephalopagus twinning does not divide animalism from its rivals, as has been claimed. Finally, animalists can reply to a vicious species of the ‘too many thinkers’ problem to which they are allegedly uniquely vulnerable. (shrink)

The role of content in computational accounts of cognition is a matter of some controversy. An early prominent view held that the explanatory relevance of content consists in its supervenience on the the formal properties of computational states (see, e.g., Fodor 1980). For reasons that derive from the familiar Twin Earth thought experiments, it is usually thought that if content is to supervene on formal properties, it must be narrow; that is, it must not be the sort of content that (...) determines reference and truth-conditions. An interesting alternative to this view has recently been proposed by Egan (1995). According to Egan, the explanatory role of content is such that contents must in general be broad to be explanatorily relevant. But Egan’s view involves a non-realist interpretation of content assignments. I will argue here that this non-realism about contents is undermotivated. A realist variation on her view of the explanatory role of content, however, would survive this criticism. This realist variation, I suggest, shares with the views of other commentators on Marr’s theory (e.g., Burge 1986; Shapiro 1993; forthcoming) certain commitments concerning the supervenience base of visual contents and processes. I will argue, however, that these commitments beg important questions regarding the individuation of cognitive states and processes. I conclude, contrary to Burge and Shapiro, that Marr’s theory does not favor anti-individualism. (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)

Taking into account significant developments in the metaphysical thinking of E. J. Lowe over the past 20 years, _More Kinds of Being:A Further Study of Individuation, Identity, and the Logic of Sortal Terms_ presents a thorough reworking and expansion of the 1989 edition of _Kinds of Being_ Brings many of the original ideas and arguments put forth in _Kinds of Being_ thoroughly up to date in light of new developments Features a thorough reworking and expansion of the earlier work, (...) rather than just a new edition Reflects the author's conversion to what he calls 'the four-category ontology,' a metaphysical system that takes its inspiration from Aristotle Provides a unified discussion of individuation and identity that should prove to be essential reading for philosophers working in metaphysics. (shrink)

The paper discusses concept individuation in the context of scientific concepts and conceptual change in science. It is argued that some concepts can be individuated in different ways. A particular term may be viewed as corresponding to a single concept. But at the same time, we can legitimately individuate in a more fine grained manner, i.e., this term can also be considered as corresponding to two or several concepts. The reason is that there are different philosophical and explanatory interests (...) that underlie a particular study of the change of a scientific term. These interests determine how a concept is to be individuated; and as the same term can be subject to different philosophical studies and interests, its content can be individuated in different ways. (shrink)