The distinction between a type and its tokens is a useful metaphysical distinction. In §1 it is explained what it is, and what it is not. Its importance and wide applicability in linguistics, philosophy, science and everyday life are briefly surveyed in §2. Whether types are universals is discussed in §3. §4 discusses some other suggestions for what types are, both generally and specifically. Is a type the sets of its tokens? What exactly is a word, (...) a symphony, a species? §5 asks what a token is. §6 considers the relation between types and their tokens. Do the type and all its tokens share the same properties? Must all the tokens be alike in some or all respects? §7 explains some problems for the view that types exist, and some problems for the view that they don't. §8 elucidates a distinction often confused with the type-token distinction, that between a type (or token) and an occurrence of it. It also discusses some problems that occurrences might be thought to give rise to, and one way to resolve them. (shrink)

In this book, Linda Wetzel examines the distinction between types and tokens and argues that types exist (as abstract objects, since they lack a unique ...

The entry provides an overview of the type-token distinction, including a comparison to other nearby distinctions.

Charles S. Peirce introduces the distinction between a token and a type into semiotics and philosophy by using as an example two ways of individuating words:(P1) A common mode of estimating the amount of matter in a MS. or printed book is to count the number of words. There will ordinarily be about twenty the's on a page, and of course they count as twenty words. In another sense of the word "word," however, there is but one word "the" in (...) the English language; and it is impossible that this word should lie visibly on a page or be heard in any voice, for the reason that it is not a Single thing or Single event. It does not exist; it only determines things that do exist. Such a definitely significant Form, I propose.. (shrink)

The distinction between institution types and institution tokens plays an important role in Francesco Guala’s philosophy of institutions. In this commentary, I argue that this distinction faces a number of difficulties that are not sufficiently addressed in Understanding Institutions. In particular, I critically discuss Guala’s comparison between the taxonomy of organisms and the taxonomy of institutions, consider the semantics of institution terms on different levels in this taxonomy, and argue for an alternative solution to the problem of how (...) to reconcile reformism and realism about institutions like marriage. (shrink)

Floridi’s infosphere consisting of informational reality is estimated and delineated by introducing the new notion of Typ-Ken, an undifferentiated amalgam of type and token that can be expressed as either type or token dependent on contingent ontological commitment. First, we elaborate Floridi’s system, level of abstraction (LoA), model, and structure scheme, which is proposed to reconcile ontic with epistemic structural reality, and obtain the duality of type and token inherited in the relationship between LoA and model. While we focus on (...) the ontological commitment that can negotiate and emphasize the discrepancy between type and token, we show that most research focusing on different hierarchical layers (type and token) has converged onto the flattened perspective of type and token to clarify the role of ontological commitment. We propose the idea of Typ-Ken to avoid this flattening. In addition, we elaborate Taddeo and Floridi’s criticism of approaches to the symbol grounding problem and show that their criticism based on the zero semantical commitment condition is specific to the agents affected by the flattening. We then take bird flocks as a metaphor for the living infosphere as if it had one mind. The knowledge recently yielded by image analysis indicates that it is difficult for previous flock models based on agents equipped with the flattening of local (token) and global (type) to show the special feature of a flock of the scale-free proportion (SFP). We show here that agents based on the Typ-Ken can reveal the SFP, which is the essential characteristic of the living infosphere. In other words, Typ-Ken is an expression for informational reality (LoA and model with ontological commitment) that can reveal seamless local and global interactions in the functioning of a flock or infosphere. (shrink)

Causal Bayes nets (CBNs) provide one of the most powerful tools for modelling coarse-grained type-level causal structure. As in other fields (e.g., thermodynamics) the question arises how such coarse-grained characterisations are related to the characterisation of their underlying structure (in this case: token-level causal relations). Answering this question meets what is called a “coherence-requirement” in the reduction debate: How are different accounts of one and the same system (or kind of system) related to each other. We argue that CBNs as (...) tools for type-level causal inference are abstract enough to roughly fit any current token-level theory of causation as long as certain modelling assumptions are satisfied, but accounts of actual causation, i.e. accounts that attempt to infer token-causation based on CBNs, for the very same reason, face certain limitations. (shrink)

This dialogue introduces type nihilism and token realism about the meaning of life.

A central motivation for the type-token model of music works is its ability to explain musical multiplicity—the fact that musical works are capable of having multiple performances through which they can be experienced and which cannot be individually identified with the works themselves. The type-token model explains multiplicity by identifying musical works with structural types and taking performances to be tokens of those types. In this paper, I argue that musical works are flexible in ways which permit (...) performances which are tokens of distinct structural types to be performances of the same musical work. And I argue that various attempts to reconcile the type-token model with musical flexibility are ultimately unsuccessful. (shrink)

Corcoran, John. 2005. Meanings of word: type-occurrence-token. Bulletin of Symbolic Logic 11(2005) 117. -/- Once we are aware of the various senses of ‘word’, we realize that self-referential statements use ambiguous sentences. If a statement is made using the sentence ‘this is a pronoun’, is the speaker referring to an interpreted string, a string-type, a string-occurrence, a string-token, or what? The listeners can wonder “this what?”. -/- John Corcoran, Meanings of word: type-occurrence-token Philosophy, University at Buffalo, Buffalo, NY 14260-4150 E-mail: (...) [email protected] The four-letter written-English expression ‘word’, which plays important roles in applications and expositions of logic and philosophy of logic, is ambiguous (multisense, or polysemic) in that it has multiple normal meanings (senses, or definitions). Several of its meanings are vague (imprecise, or indefinite) in that they admit of borderline (marginal, or fringe) cases. This paper juxtaposes, distinguishes, and analyses several senses of ‘word’ focusing on a constellation of senses analogous to constellations of senses of other expression words such as ‘expression’, ‘symbol’, ‘character’, ‘letter’, ‘term’, ‘phrase’, ‘formula’, ‘sentence’, ‘derivation’, ‘paragraph’, and ‘discourse’. Consider, e.g., the word ‘letter’. In one sense there are exactly twenty-six letters (letter-types or ideal letters) in the English alphabet and there are exactly four letters in the word ‘letter’. In another sense, there are exactly six letters (letter-repetitions or letter-occurrences) in the word-type ‘letter’. In yet another sense, every new inscription (act of writing or printing) of ‘letter’ brings into existence six new letters (letter-tokens or ink-letters) and one new word that had not previously existed. The number of letter-occurrences (occurrences of a letter-type) in a given word-type is the same as the number of letter-tokens (tokens of a letter-type) in a single token of the given word. Many logicians fail to distinguish “token” from “occurrence” and a few actually confuse the two concepts. Epistemological and ontological problems concerning word-types, word-occurrences, and word-tokens are described in philosophically neutral terms. This paper presents a theoretical framework of concepts and principles concerning logicography, including use of English in logic. The framework is applied to analytical exposition and critical evaluation of classic passages in the works of philosophers and logicians including Boole, Peirce, Frege, Russell, Tarski, Church and Quine. This paper is intended as a philosophical sequel to Corcoran et al. “String Theory”, Journal of Symbolic Logic 39(1974) 625-637. https://www.academia.edu/s/cdfa6c854e?source=link -/- . (shrink)

This study has two goals. The first is to identify three desiderata required for a successful defense of a version of nonreductive physicalism: semantic externalism, token‐identity between mental and physical events, and nonrelational type‐individuation of physical states. In this context, the paper also presents a refutation of recent challenges to content‐externalism by those who attempt to resuscitate internalism by focusing on narrow content associated with the fundamental phenomenology, rather than the intentionality, of mental states. The second goal is to defend (...) the token‐identity thesis from Tyler Burge's argument to the effect that token‐identity is incompatible with semantic externalism. An account is also offered as to why Burge's argument, albeit fallacious, might seem persuasive under a certain interpretation of possible worlds. (shrink)

If—as many scholars aver—gender is not a biological but rather a social fact, then how is it possible for someone assigned to the category Man at birth at some point later to feel or otherwise experience a personal (as contrasted with social) reality as a woman? If gender is social, how could a statement of the form “I feel like a woman” be true for such a person? This paper aims to defuse the apparent tension, by articulating an account of (...) the construction of oneself-as-gendered (which we may refer to as a gender token), within the wider context of social construction. The aim is to illuminate the differences between constructions of gender tokens, on the one hand, and the social constructions of gender types (known just as gender), on the other. Illuminating both as constructions, but of distinct origins and requiring differential degrees of social collaboration, defuses the tension. (shrink)

Peirce illustrated the type-token distinction by means of the definite article: there is only one word type “the,” but there are likely to be about twenty tokens of it on this page. Not all tokens are inscriptions; some are sounds, whispered or shouted, and some are smoke signals. The type “the” is neither written ink nor spoken sound; it is an abstract object. Or consider the Grizzly Bear, Ursus arctos horribilis. At one time its U.S. range was most (...) of the area west of the Missouri River and it numbered 10,000 in California alone. Today it numbers less than 1,000. Of course no particular bear numbers 1,000 and no particular bear ever had a range comprising most of the area west of the Missouri. It is a type of bear, a species of bear, that has both properties.We are all familiar with this way of talking about types of things. But—aside from being universals—what are types? What makes a token of one type rather than another? How do we know it is a token of that type? Do some types fail to have tokens? What, if anything, do all and only tokens of a particular type have in common other than being tokens of that type? The first half of the paper answers the last question (“Nothing beyond being a token of the type”). The second half contains sketches of answers to the other questions. (shrink)

What kind of entities are works of art from an ontological point of view? This question has become canonical in the framework of analytic philosophy. One way of answering the puzzle seemed to be conclusive. It is the hypothesis that all, or the majority of artworks can be identified with types embedded into tokens. To begin with, I will survey how the type-token distinction transitioned from semiotics to ontology. Secondly, I will consider how some contemporary art forms contributed (...) to questioning this approach to the ontology of artworks. Lastly, I will suggest how the nature of types and tokens should be reassessed in order to properly describe artworks in their historical and socially construed nature. (shrink)

The extent to which we generalize a novel property from a sample of familiar instances to novel instances depends on the sample composition. Previous property induction experiments have only used samples consisting of novel types (unique entities). Because real‐world evidence samples often contain redundant tokens (repetitions of the same entity), we studied the effects on property induction of adding types and tokens to an observed sample. In Experiments 1–3, we presented participants with a sample of birds (...) or flowers known to have a novel property and probed whether this property generalized to novel items varying in similarity to the initial sample. Increasing the number of novel types (e.g., new birds with the target property) in a sample produced tightening, promoting property generalization to highly similar stimuli but decreasing generalization to less similar stimuli. On the other hand, increasing the number of tokens (e.g., repeated presentations of the same bird with the target property) had little effect on generalization. Experiment 4 showed that repeated tokens are encoded and can benefit recognition, but appear to be given little weight when inferring property generalization. We modified an existing Bayesian model of induction (Navarro, Dry, & Lee, 2012) to account for both the information added by new types and the discounting of information conveyed by tokens. (shrink)

The distinction between historiography and the social sciences.

This paper addresses ethical challenges posed by a robot acting as both a general type of system and a discrete, particular machine. Using the philosophical distinction between “type” and “token,” we locate type-token ambiguity within a larger field of indefinite robotic identity, which can include networked systems or multiple bodies under a single control system. The paper explores three specific areas where the type-token tension might affect human–robot interaction, including how a robot demonstrates the highly personalized recounting of information, how (...) a robot makes moral appeals and justifies its decisions, and how the possible need for replacement of a particular robot shapes its ongoing role. We also consider how a robot might regard itself as a replaceable token of a general robotic type and take extraordinary actions on that basis. For human–robot interaction robotic type-token identity is not an ontological problem that has a single solution, but a range of possible interactions that responsible design must take into account, given how people stand to gain and lose from the shifting identities social robots will present. (shrink)

Guy Rohrbaugh and Allan Hazlett have provided two arguments against the thesis that musical works are types. In short, they assume that, according to our modal talk and intuitions, musical works are modally flexible entities; since types are modally inflexible entities, musical works are not types. I argue that Rohrbaugh’s and Hazlett’s arguments fail and that the type/token theorist can preserve the truth of our modal claims and intuitions even if types are modally inflexible entities. First, (...) I consider two alternatives for the type/token theorist proposed in recent literature about the topic: the created types’ solution and the created abstract objects’ solution. I argue that none of them is attractive for the type/token theorist because they do not preserve the theoretical advantages of type/token theories to explain musical works’ repeatable nature. Then, I focus on the arguments’ common premise that musical works are modally flexible entities. A deeper analysis of musical practice will show that this premise is not true: our modal claims do not imply that musical works could have had different intrinsic but, instead, extrinsic properties. Finally, I show how the nested types theory may offer a satisfactory explanation of this fact and how it captures the truth of our modal talk about musical works. (shrink)

SummaryHow can the immense amount of suffering and waste inherent in the evolutionary process be reconciled with the existence of a perfectly good and omnipotent God? A widely embraced proposal in the area of “evolutionary theodicy” is the so-called “Only Way”-argument. This argument contends that certain valuable goods – in particular, creaturely independence and human freedom – can only come about through a genuinely indeterministic and partly uncontrolled process of evolution. In a previous article, I have argued that the “Only (...) Way”-argument can be defeated by a “Twin Earth”-thought experiment: If God is omnipotent, he could have created – directly, without evolution – creatures that are molecule-for-molecule identical to those that he actually created through evolution. If the creatures that he actually created have freedom and independence, there is no valid reason to deny that the non-evolved “twin creatures” would also be free and independent. Recently, Eikrem and Søvik have suggested a way of blocking my Twin Earth-argument by appealing to the distinction between type-values and token-values. While ES admit that the Twin Earth-argument shows the non-necessity of evolution for the existence of certain type-goods, they argue that an evolutionary creation can be justified by appeal to valuable token-goods that could not have existed without evolution. In this article, I respond to ES’s token-goods argument by showing that it is incompatible with a basic presupposition of “Only Way” evolutionary theodicies, namely the claim that the evolutionary process is genuinely indeterministic and partly uncontrolled. (shrink)

It has recently been suggested that the type/token theorist concerning musical works cannot come up with an adequate semantic theory of those sentences in which we purport to talk about such works. Specifically, it has been claimed that, since types are abstract entities, a type/token theorist can only account for the truth of sentences such as “The 1812 Overture is very loud” and “Bach's Two Part Invention in C has an F-sharp in its fourth measure” by adopting an untenable (...) semantic claim: namely, that the predicates in such sentences, once applied to musical works, undergo a systematic shift in their meanings. This article is a sustained explanation of why our talk about musical works in fact provides no problem for the type/token theorist. First, we demonstrate that the aforementioned “meaning shift” approach to the sentences’ predicates is well motivated and very credible. Second, we explain how the type/token theorist can adopt the best available version of an alternative, generic quantificational approach to such sentences. Third, we establish that other semantic theories, presented as undermining the type/token theory by giving us a reason for adopting eliminativism about types, are much less theoretically virtuous than the two theories that a type/token theorist can freely adopt. (shrink)

Slurs are derogatory, and theories of slurs aim at explaining their “derogatory force”. This paper draws a distinction between the type derogatory force and the token derogatory force of slurs. To explain the type derogatory force is to explain why a slur is a derogatory word. By contrast, to explain the token derogatory force is to explain why an utterance of a slur is derogatory. This distinction will be defended by examples in which the type and the token derogatory force (...) come apart. Because of the distinction, an adequate theory of slurs must be plausible for both the type and the token derogatory force. However, I will argue that many theories fail to be plausible for both. In particular, Hom’s combinatorial externalism and the conventional implicature theory offer implausible accounts of the token derogatory force, whereas the prohibitionist theory is insufficient to explain the type derogatory force. (shrink)

Propertarian justifications of intellectual property postulate the appropriation of various entities, often called patterns, designs, or technologies. These must be immaterial and should not be confused with material structures that embody them. Hence two classes of objects are distinguished. It is convenient to refer to them as types and tokens. The type must involve a condition defining which material structures should be considered its tokens. For an IP regime to be economically meaningful one must necessarily appropriate (...) class='Hi'>types in a way which restricts access to wide classes of similar, non-identical material structures. Therefore, type conditions must be general. They must define, with a margin of tolerance, only certain aspects of the structure, leaving others unspecified. Consequently, the relationship between such types and tokens is of many-to-many variety. The recognition of these facts leads to four problems in justifying intellectual property on propertarian grounds. The first problem is to demonstrate possession of the type in the pre-legal situation. The second one is to explain, why boundaries of an appropriated type should be placed in a particular location. The third problem is to avoid claim deadlocks resulting from conflicts of rights generated by separate overlapping types. The fourth problem is to justify why ownership of the type should entail the control over other separate entities—that is tokens. In the propertarian framework grounded in the pre-legal state of nature, satisfactory solutions do not seem to have been proposed for any of these four problems. (shrink)

The popular interpretation of token‐reflexivism states that at the level of logical form, indexicals and demonstratives are disguised descriptions that employ complex demonstratives or special quotation‐mark names involving particular tokens of the appropriate expression‐types. In this article I first demonstrate that this interpretation of token‐reflexivism is only one of many, and that it is better to think of token‐reflexivism as denoting a family of distinct theoretical frameworks. Second, I contrast two interpretations of the idea of the token‐reflexive paraphrase (...) of an indexical sentence. The utterance approach claims that token‐reflexive paraphrases involve tokens of entire utterances. The sub‐utterance approach maintains that token‐reflexive paraphrases involve tokens of the particular indexical words used in the utterance. Next, I pose a problem that shows that neither of the two approaches is correct. The problem shows that the only viable version of the token‐reflexive proposition must somehow take into account the referential intentions of the speaker of the context. Therefore I conclude the article by sketching the framework of restricted intentional token‐reflexivism. I argue that it is an attractive semantic theory of distributed utterances that, among other things, enables automatic and intentional indexicals to be distinguished. (shrink)

Machamer, Darden, and Craver's account of the nature and role of mechanisms in the special sciences has been very influential. Unfortunately, a confusing array of ontic, epistemic, and pragmatic distinctions is required to individuate their mechanisms, mechanism schemata, and mechanism sketches. I diagnose this as a conflation of token-level causal relations with type-level relations. I propose instead that a mechanism is an abstraction that relates entity types and activity types on the model of a directed graph. Mechanisms have (...) an ontic status distinct from the causal chains of token entities and token activities that instantiate them. (shrink)

This paper examines the relationship between knowing how to G and the ability to G, which is typically presented in one of the following ways: knowing how to G entails the ability to G; knowing how to G does not entail the ability to G. In an attempt to reconcile these two putatively opposing positions, I distinguish between type and token actions. It is my contention that S can know how to G in the absence of an ability to \, (...) where this action is derived from an action-type, but not in the absence of the ability to perform the action-type itself \\). This refinement is an attempt to reconcile differences between intellectualism and anti-intellectualism with regard to knowledge how and ability. (shrink)

The idea of representing words with cell assemblies is very appealing. However, syntactic sequences need to be represented as well. This cannot be done by using the activity levels of assemblies. Instead, structural relations and operations between assemblies are needed to achieve serial order in syntactic word strings.

The use of evolutionary explanations to explain phenomena at the individual level has been described by various authors as an explanatory error, the so-called Phylogeny Fallacy. In this paper, this fallacy will be analyzed in the context of teleosemantics, a central project of the philosophy of mind whose main aim is to naturalize intentional systems by appealing to their biological teleofunctions. I will argue that those teleosemantics projects that invoke evolutionary functions generally commit the fallacy. First, I will point to (...) various arguments in the literature that point to this fallacy. However, a more general argument will also be made. To illustrate this puzzling scenario, I will present two desiderata that any teleosemantic project must fulfill. I will argue that naturalizing intentionality based on natural selection creates an explanatory gap between types and tokens. This gap prohibits an adequate explanation of the desiderata. To close the gap, teleosemantics invokes replicator biology, a view of inheritance that has already been identified to commit the fallacy. This leads teleosemantics into a complex situation: to close the gap, it must commit the fallacy. (shrink)

In this article, I argue that Kant’s Categorical Imperative applies to maxim tokens rather than to maxim types. The article has three main parts. In the first, I explain my thesis. In the second, I argue for it. In the third, I argue, further, that, if my thesis is correct, then tokens of different maxim types can have different deontic statuses for different agents.

The two-fold ontological character of linguistic objects revealed due to the distinction between “type” and “token” introduced by Ch. S. Peirce can be a base of the two-fold, both theoretical and axiomatic, approach to the language. Referring to some ideas included in A. A. Markov’s work [1954] (in Russian) on Theory of Algorithms and in some earlier papers of the author, the problem of formalization of the concrete and abstract words theories raised by J. Słupecki was solved. The construction of (...) the theories presented here has two levels. The axiomatic theory of label-tokens: material, physical linguistic objects, constitutes the first one. Label-types, according to the literature of the subject, are defined on the other level as equivalence classes of equiform label-tokens. Assuming the opposite point of view, one can accept that theory of label-types: abstract labels, formalized on the first level, in which it is possible to define the notion of label-token as well as the derivative notions on the second level, should become the basis of formalization of the theory of linguistic expressions and the theory of language in general. The axioms and definitions of both theories of labels: T k and T p representing the other approach to the ontology of language are included in the sequel of the abstract. The foundations of the theory of labels T k in which the primary assumption as to the label-types existence is superfluous have been referred on the basis of the author's monography "Teorie Języków Syntaktycznie Kategorialnych" ( "The Theories of Syntactically Categorial Languages"), PWN, Warszawa-Wrocław 1985. The basis of the theory of labels T p which takes into account the other position has to be presented here for the first time. Some extended ideas of the paper will also be presented in author's paper "Logiczne podstawy ontologii składni Języka" ("Logical foundations of language syntax ontology), Studia Filozoficzne 6-7 (271-272), (1988), pp. 263-284. (shrink)

Qiyās, or “correlational inference”, comprises a primary set of methodological tools recognized by a majority of premodern Sunnī jurists. Its elements, valid modes, and proper applications were the focus of continual argument and refinement. A particular area of debate was the methodology of determining or justifying the ʿilla: the legal cause giving rise to a ruling in God’s Law. This was most often discussed under the rubric of “the modes of causal justification”. Among these modes was the much debated test (...) of dawarān. In brief, proponents of dawarān employed it to justify claims that a property occasioned the ruling in an authoritative source-case. In concert with other considerations, the demonstrated co-presence and co-absence of property and ruling—that is, their concomitance “in existence” and “in nonexistence” — was taken as an indication that the property was the ruling’s ʿilla. Delving further into dawarān and causation, the current study interprets “in existence” and “in nonexistence” not as a kind of metaphor for true and false, but as an accurate terminology vis-à-vis the meaning of causality statements, fully compatible with dominant Islamicate views on causal agency. In brief, a deeper logical and linguistic analysis of the different existential modes of dawarān strongly suggests that we should distinguish property and ruling as types as opposed to tokens. Our reading of dawarān as shaped by a finer-grained structure not only allows us to identify the efficient occasioning process as a function which takes some particular token of the ʿilla and renders a token of the general ruling type, but it allows us to elucidate the role of taʿlīl in shaping an epistemological theory of argument to the best explanation: a sophisticated, premodern manifestation of abductive reasoning. (shrink)

This paper argues that the propositions “S knowing how to Φ entails that S has the ability to Φ” and “S knowing how to Φ does not entail the ability to Φ” can both be true and non-contradictory when true, so long as one distinguishes between Φ as an action-type and Φ as an action-token. In order to defend this claim, recent work by Young, Levy, and Gaultier is discussed with a view to integrating into a coherent and novel position (...) certain commonalities within their respective views. As a consequence of this integration, a revised version of Young’s type-token action clause is suggested that provides comprehensive support for the assertion that knowing how to Φ both does and does not necessitate the ability to Φ, depending on whether one is talking about action types or action tokens. (shrink)

In this commentary, I am going to focus on the earlier sections of Lapointe’s paper in which she defends an interpretation of Frege’s account of the individuation of lexical types. According to Lapointe, Frege rejects the view that two signs – concrete particulars – belong to the same lexical type just in case they are tokens of the same orthographic or phonographic type. Instead Frege’s position is that two signs belong to the same lexical type “only if they (...) are recognized as belonging to the same lexical type.” [p. 1] And recognizing that a (currently perceived) sign is of the same lexical type as previous perceived sign requires recognizing (i) that the current sign was produced and deployed with communicative intentions and (ii) that the speaker/ inscriber of the current sign and the speaker/ inscriber of the previous sign have “the same mental state or mental states that are similar in some essential manner.” [p. (shrink)

The literature on causation distinguishes between causal claims relating properties or types and causal claims relating individuals or tokens. Many authors maintain that corresponding to these two kinds of causal claims are two different kinds of causal relations. Whether to regard causal relations among variables as yet another variety of causation is also controversial. This essay maintains that causal relations obtain among tokens and that type causal claims are generalizations concerning causal relations among these tokens.

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)